- Centre National de la Recherche ScientifiqueFR1.6k papers
- University of MilanIT1.6k papers
- University of EdinburghGB1.6k papers
- Heidelberg UniversityDE1.6k papers
- Rutherford Appleton LaboratoryGB1.6k papers
- University of LiverpoolGB1.6k papers
- University of ManchesterGB1.6k papers
- Queen Mary University of LondonGB1.6k papers
- University of British ColumbiaCA1.6k papers
- Royal Holloway University of LondonGB1.6k papers
- University of GenoaIT1.6k papers
- University of California, IrvineUS1.6k papers
6,293 papers
Non-Wellfounded and Cyclic Proofs for LTL: A Syntactic Correspondence with Linear Nested Sequents
Tim S. Lyon, Lukas Zenger
We introduce the formalism of non-wellfounded and cyclic linear nested sequent calculi, developing concrete systems for linear temporal logic (LTL). The paper addresses two central…
Electronic-Entropy-Driven Phase Transitions in Compressed Iron Oxides
S. Azadi, S. M. Vinko, C. Crepisson +3
Electronic entropy is usually treated as a secondary correction to structural stability, but under strong electronic excitation it can become a primary thermodynamic driving force.…
La substitution studies on the heavy-fermion superconductor CeRhAs
Sushma Lakshmi Ravi Sankar, Manuel Brando, Jochen Wosnitza +1
CeRhAs has been receiving considerable attention due to its unusual two-phase superconductivity. The superconducting (SC) phase appears at = 0.35 K in an o…
Effective Ionic Valence and Local Magnetic Moment in Kagome Superconductors
Ruoshi Jiang, Zi-Jian Lang, Yuzki Oey +11
In order to understand the unexpected similarity and the correlated behavior in kagome superconductor families AVSb (A = K, Rb, Cs) and ATiBi (A = Rb, Cs), we inves…
The Value Generating Power of Weighted Tree Automata with Initial Algebra Semantics
Manfred Droste, Zoltán Fülöp, Andreja Tepavčević +1
We consider the generating power of the initial algebra semantics of weighted tree automata over strong bimonoids (hence also over semirings) and the question under which condition…
An improved direct limit on the muon electric dipole moment
2 Collaboration, D. P. Aguillard, T. Albahri +192
A limit on the permanent electric dipole moment (EDM) of the positive muon is presented based on data from the Fermilab Muon g-2 Experiment taken between 2019 and 2020. The trackin…