Challenge LiberAbaci The Coq proof assistant and mathematics education Computer proof tools have gained recognition in the production of reliable software and the...
Exploratory action MURENE Study of the problem of mutual debt reduction in B2B payment networks The reduction of mutual debts between companies is a major economic stake, especially in times of...
Exploratory action REALPRIOREIT Bayesian inference with realistic physiological priors for electrical impedance tomography (EIT) This project aims to use Bayesian inference methods to solve inverse biomedical problems, using...
Exploratory action SIA Computer science in the Anthropocene The term Anthropocene reflects the geological scale of human impacts on the Earth system and...
Exploratory action APOLLON Apollo (Aristotle's POLitics : Language and numerical Optimization) The study of ideas of historical texts require an expertise identifying the context, the precise...
Exploratory action AuDaCITI Autonomous Data Collection and Labeling Through Interaction Recent achievements of AI were led by large computational models and equally large datasets, often...
Exploratory action BrainGPT Transforming Transformers into Cognitive Language Models In the wake of the emergence of large-scale language models such as ChatGPT, the BrainGPT project is...
Exploratory action COSMOGRAM New geometric foundations for exploring the shape of the Universe - warming up The Cosmogram project aims at developing new algorithmic tools to explore the shape of the Universe...
Exploratory action Define preDicting protEin Functions : wIder aNd dEeper ABS develops novel methods to study protein structure and dynamics, using computational geometry...
Exploratory action E-MOTS Economic Modeling Of Targeting Strategy Social networks lead to strategic behaviour in a world of imperfect information, such as targeting...
Challenge EQIP Engineering for Quantum Information Processors Building a functional quantum computer is one of the grand scientific challenges of the 21st century...
Exploratory action HLI Humanlab Inria The Humanlab Inria (HLI) exploratory action aims to create a model of collaboration between INRIA...
Exploratory action INCLUDE Integrating fuNctional MRI and EEG with Carbon-wire Loops : towards the characterization of mUltimoDal functional biomarkErs The aim is to develop an high-resolution spatiotemporal imaging technique to map the cerebral...
Exploratory action JoDaIA Harnessing Data and AI for Journalism Journalism is a creative industry with strong ethical foundations. As the world surrounding us goes...
Exploratory action MusMapS Muscle Mapping for Shared-Control assistance of disabled people MusMapS uses effort measurements (mapping of physical capacities) from disabled patients to...