Laboratoire d'Intégration des Systèmes et des Technologies

Leveraging Symbolic Artificial Intelligence and Fuzzy Logic for Materials Science: A Review of Methods, Challenges, and Applications to Scarce and Imperfect Experimental Data

This article explores the transformative potential of symbolic artificial intelligence (AI) in the field of materials science, particularly in leveraging experimental data. While state‐of‐the‐art methods like neural networks and statistical models face challenges with limited and...

Toward the Use of Real‐World Data for Regulatory and HTA Decision‐Making: Experiences and Recommendations from Six EU ‐Funded Projects

Real-world data are increasingly important for regulatory and health technology assessment decision-making, yet their effective use across Europe remains limited by technical, methodological, regulatory, and societal challenges. Drawing on the experiences of six Horizon Europe pr...

AADT: Abstract Abstract Data Types

Proving properties of programs that manipulate compound data structures requires both disjunctive reasoning (e.g., a pointer may target different arrays) and relational reasoning. Existing abstract interpreters struggle to combine both: non-relational designs support modular comp...

Review of Particle Physics *

The Review summarizes much of particle physics and cosmology. Using data from previous editions, plus 3,200 new measurements from 903 papers, we list, evaluate, and average measured properties of gauge bosons and the recently discovered Higgs boson, leptons, quarks, mesons, and b...