Exploratory action AlaMVic Distilling VMs – A Generative Approach to Virtual Machine Construction Language Virtual Machines (VMs) are pervasive in every laptop, server and smart-phone. Industry...
Exploratory action ALPHA-Design Learning physical laws to support design The design of new innovative products generally relies on numerical simulations to predict the...
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 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 BARD(E) Bacterial Antibiotic Resistance Diagnostics (Enhanced) Antibiotic resistance is a major public health threat, and clinicians are increasingly confronted...
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 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 GRASP Generalizing Results Across Scientific Pipelines Scientific pipelines are at the heart of modern experimental sciences. But practionners face a...
Exploratory action HLI Humanlab Inria The Humanlab Inria (HLI) exploratory action aims to create a model of collaboration between INRIA...
Challenge OcéanIA Artificial Intelligence, Data, and Models for Understanding Oceans and Climate Change There is strong scientific evidence on the adverse effects of climate change on the global ocean...
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 POPEG Wave propagation using Gaussian states Galerkin methods can numerically approximate time-harmonic waves by combining "basis functions"...