1.8k citations
- University of ViennaAT106 papers
- Centre National de la Recherche ScientifiqueFR105 papers
- Commissariat à l'Énergie Atomique et aux Énergies AlternativesFR51 papers
- Vienna Center for Quantum Science and TechnologyAT45 papers
- European Organization for Nuclear ResearchCH41 papers
- CEA Paris-SaclayFR36 papers
- Charles UniversityCZ36 papers
- Heidelberg UniversityDE29 papers
- Technical University of MunichDE29 papers
- University of BolognaIT26 papers
- FZU ‒ Institute of Physics of the Academy of Sciences of the Czech RepublicCZ25 papers
- Institut National de Physique Nucléaire et de Physique des ParticulesFR25 papers
22 papers · 1 filter
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…
Robust Classification in ML: A Topological Semantics Approach
Dominik Pichler, Mirko Tagliaferri
Robust classification is commonly understood as the stability of a classifier under small perturbations (often adversarial) of input data. In this paper, we propose a logical frame…
Energy-differential measurement of the C(n,p) and C(n,d) reactions at the n_TOF facility at CERN
P. Žugec, N. Colonna, D. Rochman +129
Energy-differential cross section of the C(n,p) and C(n,d) reactions was measured at the neutron time of flight facility n_TOF at CERN. The measur…