Action Exploratoire CACHAÇA Cryptologie Asymètrique Compacte et Haute-Assurance pour Applications sous Contraintes La cryptologie forte, efficace, et sûre est essentielle pour la communication sécurisée en réseau...
Défi COLaF Corpus et Outils pour les Langues de France À travers le projet COLaF (Corpus et Outils pour les Langues de France), Inria a pour objectif de...
Action Exploratoire DATA4US Transparence des données personnelles pour les internautes Depuis mai 2018, le Règlement Général sur la Protection des Données (RPGD) controle la collecte de...
Action Exploratoire Define preDicting protEin Functions : wIder aNd dEeper ABS étudie la structure et la dynamique des protéines, avec un focus sur les méthodes de géométrie...
Action Exploratoire DEPARTURE Nonlocalité dans les réseaux et calcul distribué dans l’internet quantique Les corrélations quantiques sont un aspect clef de la théorie de l’information quantique, pour...
Action Exploratoire IMPROOF Manipulation directe pour la démonstration et l'exploration de théorèmes Nous cherchons à trouver des mécanismes universels pour le développement de preuves interactives qui...
Défi LiberAbaci L'outil de preuve interactif Coq et l'enseignement des maths Les outils interactifs de preuves sur ordinateur comme le logiciel Coq ont acquis une reconnaissance...
Action Exploratoire MARCQ Méthodes hybrides couplant Apprentissage par Renforcement et méthodes de Contrôle optimal des edp pour l’informatique Quantique Ce projet a trait à l’ordinateur quantique : on s’intéresse à la possibilité d’encoder une porte...
Action Exploratoire NO-BIF Optimisation structurelle de systèmes mécaniques dynamiques à bifurcation Les méthodes de conception des structures mécaniques (aéronautique, spatial, transport, production d...
Défi OmicFinder Biological data indexation Les données génomiques produites grâce à la lecture de l'ADN des cellules permettent des avancées...
Action Exploratoire POSP Processus Ponctuel pour le traitement du signal Dans le contexte de la modélisation des signaux biologiques, les techniques non supervisées qui...
Action Exploratoire Réal Réal : Réécriture algébrique La réécriture est une branche du calcul formel consistant à transformer des expressions...
Action Exploratoire SmolPhone SmolPhone : un smartphone conscient des limites énergétiques Le projet SmolPhone est une recherche-action dans le domaine de l'informatique frugale. En pratique...
Défi URGE Analyse des parcours patients aux URgences et optimisation des prises en charGE Les structures d’urgences sont confrontées depuis plus de 15 ans à un accroissement régulier du...
Action Exploratoire ALPHA-Design Apprentissage de Lois PHysiques pour l'Aide au Design La conception de nouveaux produits innovants s'appuie généralement sur des simulations numériques...