198 citations
- Slovak Academy of SciencesSK13 papers
- Uppsala UniversitySE7 papers
- Stony Brook UniversityUS5 papers
- City University of New YorkUS3 papers
- Czech Academy of Sciences, Astronomical InstituteCZ3 papers
- Helsinki Institute of PhysicsFI3 papers
- Hunter CollegeUS3 papers
- Imperial College LondonGB3 papers
- P.N. Lebedev Physical Institute of the Russian Academy of SciencesRU3 papers
- University of HelsinkiFI3 papers
- Astronomical Institute of the Slovak Academy of SciencesSK2 papers
- Charles UniversityCZ2 papers
14 papers · 1 filter
Almost Linear Büchi Automata
Tomáš Babiak, Vojtěch Řehák, Jan Strejček
We introduce a new fragment of Linear temporal logic (LTL) called LIO and a new class of Buechi automata (BA) called Almost linear Buechi automata (ALBA). We provide effective tran…
BioDiVinE: A Framework for Parallel Analysis of Biological Models
Jiří Barnat, Luboš Brim, Ivana Černá +5
In this paper a novel tool BioDiVinEfor parallel analysis of biological models is presented. The tool allows analysis of biological models specified in terms of a set of chemical r…
An omnidirectional retroreflector based on the transmutation of dielectric singularities
Yun Gui Ma, C. K. Ong, Tomas Tyc +1
In the field of transformation optics, metamaterials mimic the effect of coordinate transformations on electromagnetic waves, creating the illusion that the waves are propagating t…
New extended superconformal sigma models and Quaternion Kahler manifolds
Sergei M. Kuzenko, Ulf Lindstrom, Rikard von Unge
Quaternion Kahler manifolds are known to be the target spaces for matter hypermultiplets coupled to N=2 supergravity. It is also known that there is a one-to-one correspondence bet…
Geometry of the N=2 supersymmetric sigma model with Euclidean worldsheet
C. M. Hull, U. Lindstrom, L. Melo dos Santos +2
We investigate the target space geometry of supersymmetric sigma models in two dimensions with Euclidean signature, and the conditions for N=2 supersymmetry. For a real action, the…
Unambiguous comparison of quantum measurements
Mario Ziman, Teiko Heinosaari, Michal Sedlak
The goal of comparison is to reveal the difference of compared objects as fast and reliably as possible. In this paper we formulate and investigate the unambiguous comparison of un…