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

High precision tilt stage as a key element to a universal test mirror for characterization and calibration of slope measuring instruments

The ultimate performance of surface slope metrology instrumentation, such as long trace profilers and auto-collimator based deflectometers, is limited by systematic errors that are increased when the entire angular range is used for metrology of significantly curved optics. At the ALS X-Ray Optics Laboratory, in collaboration with the HZB/BESSY-II and PTB (Germany) metrology teams, we are working on a calibration method for deflectometers, based on a concept of a universal test mirror (UTM) [V. V. Yashchuk et al., Proc. SPIE 6704, 67040A (2007)]. Potentially, the UTM method provides high performance calibration and accounts for peculiarities of the optics under test (e.g., slope distribution) and the experimental arrangement (e.g., the distance between the sensor and the optic under test). At the same time, the UTM calibration method is inherently universal, applicable to a variety of optics and experimental arrangements. In this work, we present the results of tests with a key component of the UTM system, a custom high precision tilt stage, which has been recently developed in collaboration with Physik Instrumente, GmbH. The tests have demonstrated high performance of the stage and its capability (after additional calibration) to provide angular calibration of surface slope measuring profilers over the entire instrumental dynamic range with absolute accuracy better than 30 nrad. The details of the stage design and tests are presented. We also discuss the foundation of the UTM method and calibration algorithm, as well as the possible design of a full scale UTM system

Efficacy of anti‐PD1 therapy in relapsed or refractory NK/T cell lymphoma: a matched cohort analysis from the LYSA

International audienc