The omega-inequality problem for concatenation hierarchies of star-free languages

The problem considered in this paper is whether an inequality of omega-terms is valid in a given level of a concatenation hierarchy of star-free languages. The main result shows that this problem is decidable for all (integer and half) levels of the Straubing-Th\'erien hierarchy

Ultra Low Dispersion Spectroscopy with Gaia and Astronomical Slitless Surveys

The ultra-low dispersion spectroscopy to be applied in the ESA Gaia space observatory and the ground-based objective-prism plate surveys represent a similar type of astrophysical data. Although the dispersion in plate surveys is usually larger than in the Gaia blue and red photometers (BP/RP), the spectral resolutions differ by a factor of 2–3 only, since the resolution in ground-based spectra is seeing-limited. We argue that some of the algorithms developed for digitized objective-prism plates can also be applied for the Gaia spectra. At the same time, the plate results confirm the feasibility of observing strong emission lines with Gaia RP/BP

Ultra Low-Dispersion Spectroscopy with Gaia and Photographic Objective Prism Surveys

This paper discusses the ultra low-dispersion spectroscopy to be applied in the ESA Gaia space observatory and the ground-based objective-prism plate surveys. Although the dispersion in plate surveys is usually larger than in the Gaia BP/RP spectrometers, the spectral resolutions differ by a factor of 2–3 only, since the resolution in ground-based spectra is seeing-limited. We argue that some of the algorithms developed for digitized objective-prism plates can also be applied for the Gaia spectra. At the same time, the plate results confirm the feasibility of observing strong emission lines with Gaia RP/BP

Astronomical Image Compression Techniques Based on ACC and KLT Coder

This paper deals with a compression of image data in applications in astronomy. Astronomical images have typical specific properties — high grayscale bit depth, size, noise occurrence and special processing algorithms. They belong to the class of scientific images. Their processing and compression is quite different from the classical approach of multimedia image processing. The database of images from BOOTES (Burst Observer and Optical Transient Exploring System) has been chosen as a source of the testing signal. BOOTES is a Czech-Spanish robotic telescope for observing AGN (active galactic nuclei) and the optical transient of GRB (gamma ray bursts) searching. This paper discusses an approach based on an analysis of statistical properties of image data. A comparison of two irrelevancy reduction methods is presented from a scientific (astrometric and photometric) point of view. The first method is based on a statistical approach, using the Karhunen-Loeve transform (KLT) with uniform quantization in the spectral domain. The second technique is derived from wavelet decomposition with adaptive selection of used prediction coefficients. Finally, the comparison of three redundancy reduction methods is discussed. Multimedia format JPEG2000 and HCOMPRESS, designed especially for astronomical images, are compared with the new Astronomical Context Coder (ACC) coder based on adaptive median regression

Resolving flow around tandem cylinders with RANS-LES hybrid methods

The financial support for this project was partly provided by the SGS22/148/OHK2/3T/12

On Varieties of Ordered Automata

The Eilenberg correspondence relates varieties of regular languages to pseudovarieties of finite monoids. Various modifications of this correspondence have been found with more general classes of regular languages on one hand and classes of more complex algebraic structures on the other hand. It is also possible to consider classes of automata instead of algebraic structures as a natural counterpart of classes of languages. Here we deal with the correspondence relating positive $\mathcal C$-varieties of languages to positive $\mathcal C$-varieties of ordered automata and we present various specific instances of this correspondence. These bring certain well-known results from a new perspective and also some new observations. Moreover, complexity aspects of the membership problem are discussed both in the particular examples and in a general setting

Rethinking “democratic backsliding” in Central and Eastern Europe – looking beyond Hungary and Poland

This essay introduces contributions to a special issue of East European Politics on “Rethinking democratic backsliding in Central and Eastern Europe”, which seeks to expand the study of democratic regression in CEE beyond the paradigmatic cases of Hungary and Poland. Reviewing these contributions, we identify several directions for research: 1) the need to critique “democratic backsliding”, not simply as a label, but also as an assumed regional trend; 2) a need to better integrate the role of illiberal socio-economic structures such as oligarchical structures or corrupt networks; and 3) a need to (re-)examine the trade-offs between democratic stability and democratic quality. We also note how insights developed researching post-communist regions such as Western Balkans or the post-Soviet space could usefully inform work on CEE backsliding. We conclude by calling for the study of CEE democracy to become more genuinely interdisciplinary, moving beyond some narrowly institutionalist comparative political science assumptions

Interaction of Temperature and Light in the Development of Freezing Tolerance in Plants

Abstract Freezing tolerance is the result of a wide range of physical and biochemical processes, such as the induction of antifreeze proteins, changes in membrane composition, the accumulation of osmoprotectants, and changes in the redox status, which allow plants to function at low temperatures. Even in frost-tolerant species, a certain period of growth at low but nonfreezing temperatures, known as frost or cold hardening, is required for the development of a high level of frost hardiness. It has long been known that frost hardening at low temperature under low light intensity is much less effective than under normal light conditions; it has also been shown that elevated light intensity at normal temperatures may partly replace the cold-hardening period. Earlier results indicated that cold acclimation reflects a response to a chloroplastic redox signal while the effects of excitation pressure extend beyond photosynthetic acclimation, influencing plant morphology and the expression of certain nuclear genes involved in cold acclimation. Recent results have shown that not only are parameters closely linked to the photosynthetic electron transport processes affected by light during hardening at low temperature, but light may also have an influence on the expression level of several other cold-related genes; several cold-acclimation processes can function efficiently only in the presence of light. The present review provides an overview of mechanisms that may explain how light improves the freezing tolerance of plants during the cold-hardening period

Conserved Molecular Underpinnings and Characterization of a Role for Caveolin-1 in the Tumor Microenvironment of Mature T-Cell Lymphomas

Neoplasms of extra-thymic T-cell origin represent a rare and difficult population characterized by poor clinical outcome, aggressive presentation, and poorly defined molecular characteristics. Much work has been done to gain greater insights into distinguishing features among malignant subtypes, but there also exists a need to identify unifying characteristics to assist in rapid diagnosis and subsequent potential treatment. Herein, we investigated gene expression data of five different mature T-cell lymphoma subtypes (n = 187) and found 21 genes to be up- and down-regulated across all malignancies in comparison to healthy CD4+ and CD8+ T-cell controls (n = 52). From these results, we sought to characterize a role for caveolin-1 (CAV1), a gene with previous description in the progression of both solid and hematological tumors. Caveolin-1 was upregulated, albeit with a heterogeneous nature, across all mature T-cell lymphoma subtypes, a finding confirmed using immunohistochemical staining on an independent sampling of mature T-cell lymphoma biopsies (n = 65 cases). Further, stratifying malignant samples in accordance with high and low CAV1 expression revealed that higher expression of CAV1 in mature T-cell lymphomas is analogous with an enhanced inflammatory and invasive gene expression profile. Taken together, these results demonstrate a role for CAV1 in the tumor microenvironment of mature T-cell malignancies and point toward potential prognostic implications