1.2k citations
- Université Sorbonne Paris NordFR291 papers
- Centre National de la Recherche ScientifiqueFR216 papers
- Sorbonne Paris CitéFR64 papers
- Sorbonne UniversitéFR40 papers
- Université Paris CitéFR34 papers
- Laboratoire de Physique Théorique de la Matière CondenséeFR32 papers
- Laboratoire Bordelais de Recherche en InformatiqueFR20 papers
- Institut national de recherche en sciences et technologies du numériqueFR19 papers
- The Open UniversityGB19 papers
- Institute of Nuclear Physics, Polish Academy of SciencesPL18 papers
- Université Pierre-et-Marie-CurieFR18 papers
- Horia Hulubei National Institute for R and D in Physics and Nuclear EngineeringRO17 papers
476 papers
Delayed Constraints in Narrowing for the Logic-Based Analyses of Real-Time Systems
Santiago Escobar, Raúl López-Rueda, Carlos Olarte
The formal analysis of real-time systems must address two dimensions of infiniteness: an unbounded number of agents and messages, and a potentially infinite state space induced by…
Efficient Decision Procedures for RNmatrix Semantics
Renato R. Leme, Carlos Olarte, Elaine Pimentel
Logical matrices provide a semantic framework in which connectives are interpreted by deterministic truth-functions. While elegant, this approach is often too restrictive to captur…
Collusion Relations and their Applications to Balance Theory
Jean-Baptiste Joinet, Carlos Olarte
We study quadrangular properties of binary relations on a set X -i.e., properties defined on configurations of four elements -- within an agonistic interpretation, where xRy is int…
Trading off rewards and errors in multi-armed bandits
Akram Erraqabi, Alessandro Lazaric, Michal Valko +2
In multi-armed bandits, the most-explored arms are the most informative, while reward maximization typically pulls only the best arm. We study the tradeoff between identifying arm…
A Rocq Formalization of Simplicial Lagrange Finite Elements
Sylvie Boldo, François Clément, Vincent Martin +2
Formalization of mathematics is a major topic, that includes in particular numerical analysis, towards proofs of scientific computing programs. The present study is about the finit…
A Survey of Algorithm Debt in Machine and Deep Learning Systems: Definition, Smells, and Future Work
Emmanuel Iko-Ojo Simon, Chirath Hettiarachchi, Fatemeh Fard +2
The adoption of Machine and Deep Learning (ML/DL) technologies introduces maintenance challenges, leading to Technical Debt (TD). Algorithm Debt (AD) is a TD type that impacts the…