- Centre National de la Recherche ScientifiqueFR528 papers
- University of ViennaAT480 papers
- Vienna Center for Quantum Science and TechnologyAT328 papers
- Commissariat à l'Énergie Atomique et aux Énergies AlternativesFR275 papers
- European Organization for Nuclear ResearchCH263 papers
- Charles UniversityCZ245 papers
- ETH ZurichCH223 papers
- Institute of High Energy PhysicsCN223 papers
- Université Paris-SaclayFR219 papers
- CEA Paris-SaclayFR215 papers
- University of WarsawPL215 papers
- Massachusetts Institute of TechnologyUS209 papers
6,056 papers
Uncovering the origin of complex velocity distributions in edge-on disc galaxies
Sophie Townson, Marie Martig, Robert J. J. Grand +3
Stellar line-of-sight velocity distributions are a powerful tool for studying galaxy kinematics and formation history, with multiple-peaked LOSVDs often indicating the presence of…
Interface-Controlled Defect Engineering in TiN/TaN Superlattices for Enhanced Hardness and Fracture Toughness
Zecui Gaoa, Qimin Wang, Julian Buchinger +6
TiNTaN superlattice coatings were designed to investigate how atomic-scale interface chemistry and defect-stabilized TaN layers govern hardness and fracture toughness. Guided by fi…
ATLAS: Discovering Agent Strategies through LLM-Guided Abstraction and Automata Learning
Ignacio D. Lopez-Miguel, Andreas Happe, Jürgen Cito +3
Large Language Model (LLM)-based agents are increasingly used for complex tasks such as software testing and cybersecurity assessment. While these agents demonstrate impressive cap…
ASPaeroFlow: Decomposition Heuristics for Joint Air Traffic Flow & Capacity Management
Alexander Beiser, Markus Hecher, Nysret Musliu +2
While mathematical models act as vital decision support systems for operational Air Traffic Flow and Capacity Management (ATFCM), existing approaches isolate Air Traffic Flow Manag…
Perfect absorption by metal-contacted two-dimensional systems with ultra-proximate reflectors
Kirill Kapralov, Vladislav Atlasov, Alina Khisameeva +2
Electromagnetic absorbance by most two-dimensional electron systems is typically well below unity, which hinders both practical applications in photodetection and fundamental studi…
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…