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 Back In Time Baliser l’Analyse CryptographiK de lettres anciennes grâce à l’INtelligence artifi-cielle : Technique et IMplémentation Exploratoire Get ready to uncover unexpected plots and secrets as old as time! BACK IN TIME brings together the...
Exploratory action Comanche Computational Models of Lexical Meaning and Change (COMANCHE) COMANCHE proposes to transfer and adapt recent algorithms of representation learning from deep...
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 DATA4US Personal DAta TrAnsparency for web USers Since May 2018, General Data Protection Regulation (GDPR) regulates collection of personal data in...
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 HLI Humanlab Inria The Humanlab Inria (HLI) exploratory action aims to create a model of collaboration between INRIA...
Challenge LearnNet Learning Networks While machine learning is revolutionizing entire sectors of the digital economy and scientific...
Exploratory action LLM4DICE Large Language Models for Detection and Correction of Errors Large Language Models (LLMs) are a hot and rapidly evolving research topic. In particular, their...
Exploratory action MEGAVOLT Machine Learning and Evolution Equations A fierce scientific problem is to build a mathematical and numerical bridge between, on the one hand...
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 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 NO-BIF Structural optimisation of dynamic mechanical systems with bifurcation The design methods for mechanical structures (aeronautics, aerospace, transport, energy production...
Challenge OmicFinder Biological data indexation The genomic data produced by reading the DNA of cells is enabling crucial advances in medicine...
Exploratory action OptiGPR3D Optimal direct and inverse modeling for 3D GPR imaging in complex environments With an a priori provided by a classical imaging method, could we design a network of emitters that...