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...
Action Exploratoire Equity Analytics Adresser l'équité salariale grâce à l'analyse visuelle L'objectif de ce projet est d'explorer, de développer et de tester des solutions d'analyse visuelle...
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 GRANIER Aléas gravitaires en montagne dans le cadre de la prédiction des risques - modélisation et simulation non lisse mêlant les données en géomécanique Dans cette action exploratoire, il est proposé de travailler sur des outils numériques pour la...
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 INCLUDE Intégration de données d’IRM fonctionnel et d’EEG utilisant un système de boucles de fil de carbone : vers l’estimation de biomarqueurs de la connectivité fonctionnelle multimodale L’objectif est de développer une technique d’imagerie spatiotemporelle à haute résolution pour...
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 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...
Action Exploratoire MURENE Étude du problème de la réduction de dettes mutuelles dans les réseaux de paiement entre entreprises La réduction des dettes entre entreprises est un enjeu économique majeur, tout particulièrement en...
Action Exploratoire MusMapS Cartographie musculaire pour l'assistance aux personnes handicapées en contrôle partagé MusMapS exploite des mesures d’efforts (cartographie des capacités physiques) de patients en...
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 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...