Zobrazeno 1 - 10
of 2 411
pro vyhledávání: '"P, Jerabek"'
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
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:
Ebert Alvares, Kai Sellschopp, Bo Wang, ShinYoung Kang, Thomas Klassen, Brandon C. Wood, Tae Wook Heo, Paul Jerabek, Claudio Pistidda
Publikováno v:
npj Computational Materials, Vol 10, Iss 1, Pp 1-14 (2024)
Abstract The quantification of interphase properties between metals and their corresponding hydrides is crucial for modeling the thermodynamics and kinetics of the hydrogenation processes in solid-state hydrogen storage materials. In particular, inte
Externí odkaz:
https://doaj.org/article/fda8597b537e4bc4b23cbbc929a99bcd
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
Autor:
Anju Chandran, Archa Santhosh, Claudio Pistidda, Paul Jerabek, Roland C. Aydin, Christian J. Cyron
Publikováno v:
Frontiers in Materials, Vol 11 (2024)
Intermetallic titanium aluminides, leveraging the ordered γ-TiAl phase, attract increasing attention in aerospace and automotive engineering due to their favorable mechanical properties at high temperatures. Of particular interest are γ-TiAl-based
Externí odkaz:
https://doaj.org/article/9a26b233e8a7465482755a2cf926b92c
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