Exploratory action AM2OR Adaptive Meshes for Model Order Reduction Mesh adaptation and Model Order Reduction both aim at reducing significantly the computational cost...
Exploratory action AVoCat Automated Verification of CATala programs Catala is a new programming language, designed to be understood by legal experts and to follow the...
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 CACHAÇA Compact Asymmetric Cryptography with High Assurance for Constrained Applications Fast, safe, and strong cryptography is essential for secure networked communications. Currently...
Exploratory action COMPARTIMENTAGE Spatio-Temporal Imaging and Modeling of Signaling Pathway Compartmentalization G protein-coupled receptors (GPCRs) form a large class of membrane receptors mainly targeted by...
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 IMPROOF Interactive Direct Manipulation for Theorem Proving and Exploration We aim to find universal mechanisms for interactive proof development that are based on Direct...
Exploratory action ITHEA Computer theater The exploratory action ITHEA brings together researchers in computer science, applied arts and...
Challenge LearnNet Learning Networks While machine learning is revolutionizing entire sectors of the digital economy and scientific...
Exploratory action LiveIt Feeling and perceiving the symptoms of schizophrenia in augmented reality to reduce stigma The symptoms of schizophrenia are difficult to visualise and this often leads to significant...
Exploratory action POSP Point Process for Signal Processing In the context of bio-signal modeling, unsupervised techniques that highlight recurring patterns...
Exploratory action ProgReco Program Recognition by Machine Learning and Application to Program Optimization Program comprehension is a fundamental problem in computer science, with many applications (reverse...
Exploratory action 2MDS Multiscale Modeling of Dravet Syndrome Our aim is to develop a multi-scale modeling framework for channelopathies, a group of diseases...
Exploratory action A/D Drugs From analog to digital drugs When it comes to treating mental disorders, the emergence of resistance to medication is a major...