Action Exploratoire BARD(E) Bactéries, Antibiotiques, et Résistance: vers un Diagnostic Efficace La résistance aux antibiotiques est une menace majeure pour la santé publique, et les cliniciens...
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 CONTINUA Dépôt continu de matériaux pâteux La fabrication additive ("additive manufacturing" ou AM) avec des matériaux pâteux (par exemple, l...
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...
Défi DORNELL Une poignée haptique multimodale et façonnable pour l'aide à la mobilité des personnes handicapées Si la technologie permet de compenser de nombreux handicaps moteurs, les déficiences visuelles et/ou...
Action Exploratoire E-MOTS Modélisation économique de stratégie de ciblage Les réseaux sociaux conduisent à des comportements stratégiques dans un monde d'information...
Défi FedMalin Apprentissage automatique fédéré sur Internet Dans de nombreux cas d'utilisation de l'apprentissage automatique, les données sont naturellement...
Action Exploratoire LearnToOpt Au-delà de l'optimisation basée sur le gradient Le contexte général de ce projet est l’optimisation numérique de problèmes difficiles qui peuvent...
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...
Défi OcéanIA Intelligence Artificielle, Données et Modèles pour Comprendre les Océans et le Changement Climatique Il existe des preuves scientifiques solides concernant les effets négatifs du changement climatique...
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 2MDS Modélisation multi-échelle du syndrome de Dravet Il s’agit de développer un cadre de modélisation multi-échelle pour les canalopathies, un groupe de...
Action Exploratoire AlaMVic Distiller des Machines Virtuelles : une approche générative pour la construction de machines virtuelles Les machines virtuelles (VM) sont omniprésentes dans tous les ordinateurs portables, serveurs et...
Action Exploratoire AVoCat Vérification Automatique de Programmes Catala Catala est un nouveau langage de programmation, conçu pour être compréhensible par les juristes et...
Action Exploratoire Ayana Télédetection et IA embarqués pour le ”New Space” l’AEx AYANA est un projet interdisciplinaire faisant appel à des connaissances en modélisation...