21 citations
- Laboratoire d'Informatique de GrenobleFR10 papers
- Université Grenoble AlpesFR6 papers
- Russian Academy of SciencesRU5 papers
- Institut des langues et cultures d'Europe, Amérique, Afrique, Asie et AustralieFR3 papers
- Institut polytechnique de GrenobleFR3 papers
- Laboratoire des Sciences pour la Conception, l'Optimisation et la ProductionFR3 papers
- Laboratoire MédiationsFR2 papers
- LIP6FR2 papers
- Sorbonne UniversitéFR2 papers
- The University of QueenslandAU2 papers
- Tyson Foods (United States)US2 papers
- Université Savoie Mont BlancFR2 papers
42 papers
LPV Control for Dynamic Power Capping in High-Performance Computing under Mixed Workloads
Mohamed Abdeldjalil Maziz, Kouds Halitim, Bogdan Robu +1
Balancing energy consumption and performance remains a critical challenge in High Performance Computing (HPC) systems. While static power capping mechanisms such as Intel's Running…
Beyond Accuracy: Measuring Logical Compliance of Predictive Models
Guillaume Olivier Delplanque, Pierre Genevès, Nabil Layaïda +1
Machine learning models are predominantly evaluated through predictive performance metrics such as ranking quality, prediction error, or classification accuracy. While these metric…
Active Inference of Extended Finite State Machine Models with Registers and Guards
Roland Groz, German Eduardo Vega Baez, Adenilso Simao +3
Extended finite state machines (EFSMs) model stateful systems with internal data variables and have numerous applications in software engineering. A major advantage of this type of…
Approximate Stability of Subadditive Games and Traveling Salesman Games
Nicolas Besson-Niebles, Sylvain Bouveret, Nadia Brauner +1
The core of Transferable Utility (T.U.) games is a well-known solution concept from cooperative game theory yielding a cost allocation among n agents (called players) forming a coa…
Translating Bell Non-Locality to Prepare-and-Measure Scenarios under Dimensional Constraints
Matilde Baroni, Eleni Diamanti, Damian Markham +1
Understanding the connections between different quantum information protocols has been proven fruitful for both theoretical insights and experimental applications. In this work, we…
On Scaling Neurosymbolic Programming through Guided Logical Inference
Thomas Jean-Michel Valentin, Luisa Sophie Werner, Pierre Genevès +1
Probabilistic neurosymbolic learning seeks to integrate neural networks with symbolic programming. Many state-of-the-art systems rely on a reduction to the Probabilistic Weighted M…