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 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 noCNN No-brain-shift and Comprehensive Neurosurgical Navigation (noCNN) Neuronavigation refers to the set of computer-aided technologies used by neurosurgeons to guide...
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 QAT Quantum Computing Architectures Algorithms Applications and their Theory (QAT) Quantum information processing is about finding algorithms and protocols t hat can solve problems...
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 XGAN Interpretable Representation Learning for Video GANs Despite remarkable progress in generative adversarial networks (GANs), such networks operate...
Project-team ACUMES Analysis and Control of Unsteady Models for Engineering Sciences The project focuses on the analysis and optimal control of classical and non-classical evolutionary...
Project-team AGORA Wireless Networks for Digital Cities Smart city is a constantly reshaped concept, embracing the future of dense metropolitan areas, with...
Project-team BIVWAC Building Immersive Visualizations for Welfare, Awareness, and Comprehension Bivwac is an Inria- CNRS joint research team in association with the LaBRI computer science lab at...
Project-team CAGIRE Computational AGility for internal flows sImulations and compaRisons with Experiments CAGIRE has been bringing together researchers from different backgrounds (turbulence modeling...
Project-team CEDAR Rich Data Exploration at Cloud Scale In today's data-intensive application, variety is the norm, and is likely to remain so for a while...