2 papers
physics.atom-ph2026
Bound-state QED test above the Schwinger limit with kaonic fluorine
F. Clozza, S. Manti, F. Sgaramella +35
Kaonic atoms, formed when a negatively charged kaon replaces an electron in an atomic orbit, provide access to bound-state quantum electrodynamics (BSQED) in electromagnetic fields…
cs.FL2025
Undecidability of the Emptiness Problem for Weak Models of Distributed Computing
Flavio T. Principato, Javier Esparza, Philipp Czerner
Esparza and Reiter have recently conducted a systematic comparative study of weak asynchronous models of distributed computing, in which a network of identical finite-state machine…