From the 2 of 30 papers with an AI index.
1 citations
- Beihang UniversityCN7 papers
- Centre National de la Recherche ScientifiqueFR7 papers
- Istituto Nazionale di Fisica Nucleare, Sezione di FirenzeIT7 papers
- RWTH Aachen UniversityDE7 papers
- University of FlorenceIT7 papers
- University of PisaIT7 papers
- University of VirginiaUS7 papers
- A. Alikhanyan National LaboratoryAM6 papers
- Adıyaman UniversityTR6 papers
- AGH University of KrakowPL6 papers
- American University of the Middle EastKW6 papers
- Arak UniversityIR6 papers
30 papers
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…
Agentic Service-Oriented Computing: A Manifesto for the Next Frontier of Service-Oriented Computing
Amin Beheshti, Rong N. Chang, Boualem Benatallah +7
The paper proposes Agentic Service-Oriented Computing (ASOC), a framework for engineering large‑language‑model‑powered autonomous agents as services and managing their composition,…
The influence of implantation conditions on dopant activation in Al-implanted 4H-SiC: A MD study applying an Al potential fitted to DFT barriers
Sabine Leroch, Robert Stella, Andreas Hössinger +1
The paper uses molecular dynamics simulations with a DFT‑fitted Al–SiC potential to study how implantation temperature and dose affect aluminum dopant activation and defect formati…