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 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 Ofast3D Optimizing compiler for fast 3D printing The goal of Ofast3D is to increase the production capacity of fused deposition modeling 3D printing...
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...
Exploratory action PATH PAtient PaThway in the Hospital environment European healthcare systems are faced with multiple challenges, including an aging population, an...
Exploratory action REPAS New Portrayal of HPC Applications What is the right way to represent an application in order to run it on a highly parallel (typically...
Exploratory action SmolPhone SmolPhone: a smartphone with energy limits The SmolPhone project is an action research on the topic of low-tech in the domain of IT systems...
Exploratory action StellaCage StellaCage: Geometry of plasma confinement in stellarators In collaboration with the start-up Renaissance Fusion, based in Grenoble, we explore some...
Challenge URGE Emergency department patients pathways and care optimization For more than 15 years, emergency departments have been facing a steady increase in their number of...
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 AoT.js AoT.js: Optimizing Compilation from Higher-Order Programming to Computer Architecture According to the 2022 GitHub statistics, the two most used programming languages are JavaScript...
Exploratory action E-MOTS Economic Modeling Of Targeting Strategy Social networks lead to strategic behaviour in a world of imperfect information, such as targeting...
Exploratory action ECOPTICS Visual Appearance Modeling for Behavioral Ecology The ECOPTICS project ambition to bring new tools that help unravel some of the mysteries found in...
Challenge FedMalin Federated MAchine Learning over the INternet (FedMalin) In many use-cases of Machine Learning (ML), data is naturally decentralized: medical data is...
Exploratory action HLI Humanlab Inria The Humanlab Inria (HLI) exploratory action aims to create a model of collaboration between INRIA...