Zobrazeno 1 - 10
of 217
pro vyhledávání: '"Mrazek Jan"'
Autor:
Ivan Kasik, Vlastimil Matejec, Hayer Milos, Kamradek Michal, Podrazky Ondrej, Mrazek Jan, Peterka Pavel, Honzatko Pavel
Publikováno v:
Ceramics-Silikáty, Vol 64, Iss 1, Pp 29-34 (2019)
Optical fibers represent the key component of modern optical telecommunication networks. Such fibers are based on silica glass of high purity usually modified with several percent of glassforming oxides such as GeO₂ and P₂O₅. These materials wi
Externí odkaz:
https://doaj.org/article/64353331cb404d50b135c634823aba7f
Publikováno v:
MATEC Web of Conferences, Vol 292, p 01062 (2019)
The soft targets and crowded places are closely related to the risk of attack on a group of people. These places are very specific because the moving in the soft targets is not organized. That’s mean these places have open access and the public. Th
Externí odkaz:
https://doaj.org/article/7acec0c7756c473fb6d59fae713c654c
Publikováno v:
MATEC Web of Conferences, Vol 292, p 03014 (2019)
The article is focused on the issue of interval on a light signaling device. Light signaling devices operate on different systems by means of which they are controlled. The control problem is a very static setting that does not respond to real-time t
Externí odkaz:
https://doaj.org/article/a4b0f519963f41f09a420038a3dac1c8
Autor:
Weiser, Adam, Todt, Juraj, Holcova, Jitka, Zalezak, Tomas, Paulik, Anna M., Holec, David, Jary, Milan, Zobac, Ondrej, Mrazek, Jan, Frenzel, Jan, Keckes, Jozef, Dlouhy, Antonin
Publikováno v:
In Acta Materialia 15 September 2024 277
Publikováno v:
In Journal of the European Ceramic Society January 2025 45(1)
Autor:
Mrázek, Jan
“I love Christmas, that Muslim holiday.”(K. Biebl) In 1926, the communist avant-garde poet Konstantin Biebl (1898–1951) travelled from Czechoslovakia to the Dutch East Indies. In his texts, poetic and often comic, both landlocked Bohemia and th
In this paper, we describe DiOS, a lightweight model operating system which can be used to execute programs that make use of POSIX APIs. Such executions are fully reproducible: running the same program with the same inputs twice will result in two ex
Externí odkaz:
http://arxiv.org/abs/1907.03356
In semi-symbolic (control-explicit data-symbolic) model checking the state-space explosion problem is fought by representing sets of states by first-order formulas over the bit-vector theory. In this model checking approach, most of the verification
Externí odkaz:
http://arxiv.org/abs/1711.09084
Autor:
Vařák, Petr, Kamrádek, Michal, Mrázek, Jan, Podrazký, Ondřej, Aubrecht, Jan, Peterka, Pavel, Nekvindová, Pavla, Kašík, Ivan
Publikováno v:
In Optical Materials: X August 2022 15
Autor:
Mrázek, Jan
Publikováno v:
Anthropos, 2021 Jan 01. 116(1), 29-54.
Externí odkaz:
https://www.jstor.org/stable/27284234