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 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...
Exploratory action Define preDicting protEin Functions : wIder aNd dEeper ABS develops novel methods to study protein structure and dynamics, using computational geometry...
Exploratory action DEPARTURE DistributEd comPuting And network nonlocaliTy in the qUantum inteRnEt Quantum correlations are a cornerstone of quantum information theory, to understand its foundations...
Exploratory action Equity Analytics Addressing pay equity with visual analytics The goal of this project is to explore, develop, and test pay equity visual analytics solutions in...
Exploratory action ExODE Scaling the solving of Ordinary Differential Equation for Computational Biology In biology, the vast majority of systems can be modeled as ordinary differential equations (ODEs)...
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 KoopduMonde Koopman operator modelling of nonlinear dynamical systems for ensemble methods The so-called "ensemble-based" prevision methods in oceanography and meteorology use an ensemble of...
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 MARCQ Méthodes hybrides couplant Apprentissage par Renforcement et méthodes de Contrôle optimal des edp pour l’ordinateur Quantique
Exploratory action MRF-zero Magnetic Resonance Fingerprinting sequence optimization via optimal control Magnetic Resonance Fingerprinting (MRF) is a recent technology which has the potential to become a...
Exploratory action NO-BIF Structural optimisation of dynamic mechanical systems with bifurcation The design methods for mechanical structures (aeronautics, aerospace, transport, energy production...
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 StellaCage StellaCage: Geometry of plasma confinement in stellarators In collaboration with the start-up Renaissance Fusion, based in Grenoble, we explore some...