Zobrazeno 1 - 10
of 538
pro vyhledávání: '"P. Jakl"'
We present a categorical theory of the composition methods in finite model theory -- a key technique enabling modular reasoning about complex structures by building them out of simpler components. The crucial results required by the composition metho
Externí odkaz:
http://arxiv.org/abs/2405.06664
Autor:
Jakl, Tomáš, Suarez, Anna Laura
We build on a recent result stating that the frame $\mathsf{SE}(L)$ of strongly exact filters for a frame $L$ is anti-isomorphic to the coframe $\mathsf{S}_o(L)$ of fitted sublocales. The collection $\mathsf{E}(L)$ of exact filters of $L$ is known to
Externí odkaz:
http://arxiv.org/abs/2404.18325
Autor:
Duchaň, Martin, Šiler, Martin, Jákl, Petr, Brzobohatý, Oto, Rakhubovsky, Andrey, Filip, Radim, Zemánek, Pavel
A contactless control of fluctuations of phase space variables of a nanoobject belongs among the key methods needed for ultra-precise nanotechnology and the upcoming quantum technology of macroscopic systems. Here we utilize the experimental platform
Externí odkaz:
http://arxiv.org/abs/2403.04302
Autor:
Liška, Vojtěch, Zemánková, Tereza, Jákl, Petr, Šiler, Martin, Simpson, Stephen H., Zemánek, Pavel, Brzobohatý, Oto
Nanoparticles levitated in an optical trap provide a versatile platform to study mechanical oscillators in a controlled environment with tuneable parameters. Recently, it has become possible to couple two of these optomechanical oscillators. Here, we
Externí odkaz:
http://arxiv.org/abs/2310.03701
Autor:
Liska, Vojtech, Zemankova, Tereza, Svak, Vojtech, Jakl, Petr, Jezek, Jan, Branecky, Martin, Simpson, Stephen H., Zemanek, Pavel, Brzobohaty, Oto
Methods for controlling the motion of single particles, optically levitated in vacuum, have developed rapidly in recent years. The technique of cold damping makes use of feedback-controlled, electrostatic forces to increase dissipation without introd
Externí odkaz:
http://arxiv.org/abs/2305.11809
We present a categorical theory of the composition methods in finite model theory -- a key technique enabling modular reasoning about complex structures by building them out of simpler components. The crucial results required by the composition metho
Externí odkaz:
http://arxiv.org/abs/2304.10196
We explore, experimentally and theoretically, the emergence of coherent coupled oscillations and synchronization between a pair of non-Hermitian, stochastic, opto-mechanical oscillators, levitated in vacuum. Each oscillator consists of a polystyrene
Externí odkaz:
http://arxiv.org/abs/2303.15753
Autor:
Sachin Gulati, Wilhelm Mosgoeller, Dietrich Moldan, Pavol Kosik, Matus Durdik, Lukas Jakl, Milan Skorvaga, Eva Markova, Dominika Kochanova, Katarina Vigasova, Igor Belyaev
Publikováno v:
Ecotoxicology and Environmental Safety, Vol 279, Iss , Pp 116486- (2024)
Human exposure to radiofrequency electromagnetic fields (RF-EMF) is restricted to prevent thermal effects in the tissue. However, at very low intensity exposure ''non-thermal'' biological effects, like oxidative stress, DNA or chromosomal aberrations
Externí odkaz:
https://doaj.org/article/7d6a1f4997f3423e9442ba4cd7417570
Game comonads have brought forth a new approach to studying finite model theory categorically. By representing model comparison games semantically as comonads, they allow important logical and combinatorial properties to be exressed in terms of their
Externí odkaz:
http://arxiv.org/abs/2205.06589
Bilinear maps and their classifying tensor products are well-known in the theory of linear algebra, and their generalization to algebras of commutative monads is a classical result of monad theory. Motivated by constructions needed in categorical app
Externí odkaz:
http://arxiv.org/abs/2205.05382