Action Exploratoire AM2OR Adaptation de Maillage pour les Modèles d'Ordre Réduit Adaptation de maillage et modèles d'ordre réduit ont tous deux pour objectif de réduire...
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 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...
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 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 ECOPTICS Modélisation de l’Apparence Visuelle pour l’Écologie Comportementale Le projet ECOPTICS ambitionne de contribuer à percer certains mystères entourant la compréhension de...
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...
Action Exploratoire KoopduMonde Modélisation par l'opérateur de Koopman de systèmes dynamiques non-linéaires pour les méthodes d'ensemble Les méthodes de prévision dites "d'ensemble" en océanographie et en météorologie s'appuient sur un...
Action Exploratoire MEGAVOLT MachinE learninG et équAtions d’éVOLuTion Un problème scientifique majeur est de construire un pont mathématique et numérique entre, d'une...
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 Ofast3D Compilateur optimisant pour impression 3D rapide L’objectif de Ofast3D est d’augmenter la capacité de production des acteurs utilisant l’impression...
Equipe-projet ABS Algorithmes et Biologie Structurale La bioinformatique structurale est le domaine scientifique développant des méthodes algorithmiques...
Equipe-projet ACENTAURI • Intelligence artificielle et algorithmes efficaces pour la robotique autonome L'objectif d'ACENTAURI est d'étudier et de développer des robots intelligents, mobiles et autonomes...
Equipe-projet AIO Mise en réseau fiable, sans fil à faible consommation et micro-robotique Inria-AIO is a leading research team in low-power wireless communications. The team is designing...