12 papers
STLSat---An Improved Tableau for Satisfiability Checking of Signal Temporal Logic Formulas
Marco Zamponi, Florian Lammel, Ezio Bartocci +1
Signal Temporal Logic (STL) is a formalism used to describe temporal properties of real-valued signals in cyber-physical systems. In mission- and safety-critical domains, specifica…
Investigating potential benefits of future sub-L1 missions with STEREO-A
Eva Weiler, Emma E. Davies, Christian Möstl +4
We present the first statistical study of geomagnetic storm forecasting using in situ data from the STEREO-A spacecraft as a sub-L1 monitor. Between November 2022 and June 2024, ST…
Role of anisotropic electronic friction in laser-driven hydrogen recombination on copper
Alexander Spears, Wojciech G. Stark, Reinhard J. Maurer
Ultrafast light-driven chemical dynamics at surfaces are governed by energy transfer from excited electrons to vibrational degrees of freedom. When this nonadiabatic energy transfe…
On the accuracy of mass and size measurements of young protoplanetary disks
Eduard I. Vorobyov, Aleksandr Skliarevskii, Vardan Elbakyan +2
Knowing the masses and sizes of protoplanetary disks is of fundamental importance for the contemporary theories of planet formation. However, their measurements are associated with…
Archaeological investigation of galaxies' evolutionary history in the cosmic middle ages
Anna R. Gallazzi, Stefano Zibetti, Mark Sargent +14
The cosmic Middle Ages, spanning the last 8-10 Gyr of the Universe, is a critical period in which massive early-formed systems coexist with global star formation quenching in less…
Metastable Multi-centered Polarons in BiVO
Seyeon Park, Yajing Zhang, Michele Reticcioli +2
Polarons, quasiparticles formed through interactions between lattice and charge carriers (electrons and holes), strongly influence the electronic and optical properties of function…