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 ProgReco Program Recognition by Machine Learning and Application to Program Optimization Program comprehension is a fundamental problem in computer science, with many applications (reverse...
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...
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...
Challenge ALVEARIUM Large Scale Secure and Reliable Peer-to-Peer Cloud Storage Cloud storage is part of our daily lives. Most user data is stored by large service providers, GAFAM...
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 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 Ayana AI and Remote Sensing on board for the New Space the AYANA AEx is an interdisciplinary project using knowledge in stochastic modeling, image...
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 CANofGAS Cost ANalyses of GAme Semantics Two independent success stories in the study of higher-order programming languages, which are subtle...
Exploratory action CircleD Computational Structural Reuse for Circular Design Circular design aims at expanding the lifespan of industrial products through repair and reuse. But...
Exploratory action CoCoP Couplage Cœur Poumon : aide au monitorage des fonctions cardio-respiratoires en réanimation Summary: In collaboration with the APHP, the project aims to address to the clinical need for a...
Challenge COLaF Corpus and Tools for the Languages of France Through the COLaF project (Corpus et Outils pour les Langues de France, Corpus and Tools for the...