Zobrazeno 1 - 10
of 2 289
pro vyhledávání: '"P. Jeřábek"'
Autor:
David, Jiří, Jeřábek, František, Procházka, Pavel, Černý, Miroslav, Ciobanu, Cristian V., Průša, Stanislav, Šikola, Tomáš, Kodambaka, Suneel, Kolíbal, Miroslav
Blue phosphorene -- two-dimensional, hexagonal-structured, semiconducting phosphorus -- has gained attention as it is considered easier to synthesize on metal surfaces than its allotrope, black phosphorene. Recent studies report different structures
Externí odkaz:
http://arxiv.org/abs/2408.13090
Publikováno v:
Solid Earth, Vol 10, Pp 117-148 (2019)
This study investigates the tectonostratigraphy and metamorphic and tectonic evolution of the Caledonian Reisa Nappe Complex (RNC; from bottom to top: Vaddas, Kåfjord, and Nordmannvik nappes) in northern Troms, Norway. Structural data, phase equilib
Externí odkaz:
https://doaj.org/article/53be109d001647c4b9de0033f7cd28a7
Autor:
Jeřábek, Emil
We give a simple proof that the first-order theory of well orders is axiomatized by transfinite induction, and that it is decidable.
Comment: 4 pages; accepted to the Bulletin of Symbolic Logic
Comment: 4 pages; accepted to the Bulletin of Symbolic Logic
Externí odkaz:
http://arxiv.org/abs/2405.05779
Autor:
Jeřábek, Emil
We axiomatize the first-order theories of exponential integer parts of real-closed exponential fields in a language with $2^x$, in a language with a predicate for powers of 2, and in the basic language of ordered rings. In particular, the last theory
Externí odkaz:
http://arxiv.org/abs/2404.06888
Autor:
Jeřábek Jakub, Kavka Petr
Publikováno v:
Journal of Hydrology and Hydromechanics, Vol 72, Iss 4, Pp 466-485 (2024)
Surface runoff models are essential for designing water and soil protection measures. However, they often exhibit uncertainty in both parameterization and results. Typically, uncertainty is evaluated by comparing model realizations with measured data
Externí odkaz:
https://doaj.org/article/4f840414bf8a496f809042fc081f22fc
Autor:
Jeřábek, Emil
We show that the sum of a sequence of integers can be computed in linear time on a Turing machine. In particular, the most obvious algorithm for this problem, which appears to require quadratic time due to carry propagation, actually runs in linear t
Externí odkaz:
http://arxiv.org/abs/2306.08513
Autor:
Polčák, Libor, Jeřábek, Kamil
Publikováno v:
Pol\v{c}\'ak, L. and Je\v{r}\'abek, K. (2023). Data protection and security issues with Network Error Logging. In SECRYPT'23. SciTePress
Network Error Logging helps web server operators detect operational problems in real-time to provide fast and reliable services. This paper analyses Network Error Logging from two angles. Firstly, this paper overviews Network Error Logging from the d
Externí odkaz:
http://arxiv.org/abs/2305.05343
Autor:
Jeřábek, Kamil, Polčák, Libor
Network Error Logging helps web server operators detect operational problems in real-time to provide fast and reliable services. HTTP Archive provides detail information of historical data on HTTP requests. This paper leverages the data and provides
Externí odkaz:
http://arxiv.org/abs/2305.01249
Autor:
Jeřábek, Emil
We present a streamlined and simplified exponential lower bound on the length of proofs in intuitionistic implicational logic, adapted to Gordeev and Haeusler's dag-like natural deduction.
Comment: 32 pages; mention effects of recent improved ci
Comment: 32 pages; mention effects of recent improved ci
Externí odkaz:
http://arxiv.org/abs/2303.15090
Solving a problem with a single parameter: A smooth bcc to fcc phase transition for metallic lithium
Publikováno v:
Chem. Commun. 2022,58, 13369-13372
Density functional calculations for metallic lithium along a cuboidal bcc-to-fcc transformation path demonstrate that the bcc phase is quasi-degenerate with the fcc phase with a very small activation barrier of 0.1~kJ/mol, but becomes the dominant ph
Externí odkaz:
http://arxiv.org/abs/2211.06317