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 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 Back to the trees Back to the trees Between secular floras and image recognition through artificial intelligence, we plan to use...
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...
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...
Exploratory action CONTINUA Continuous deposition of paste-like materials Additive Manufacturing (AM) with paste-like materials (e.g., clay, silicon) facilitates the...
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...
Challenge DORNELL A multimodal, shapeable haptic handle for mobility assistance of people with disabilities While technology helps people to compensate for a broad set of mobility impairments, visual...
Exploratory action ITHEA Computer theater The exploratory action ITHEA brings together researchers in computer science, applied arts and...
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 MARCQ Méthodes hybrides couplant Apprentissage par Renforcement et méthodes de Contrôle optimal des edp pour l’ordinateur Quantique
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...
Challenge OS Eliminating the Utilization Gap in Data Centers Data centers are today at the heart of all computing, from providing the computing power that...