Action Exploratoire AoT.js AoT.js : Compilation optimisante de la programmation d’ordre supérieur à l’architecture des ordinateurs Selon les statistiques GitHub 2022, les deux langages de programmation les plus utilisés sont...
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 CircleD Réutilisation structurelle assistée par ordinateur pour la conception circulaire Résumé: La conception circulaire vise à prolonger la durée de vie des produits industriels grâce à...
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 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 Inria-EDF Gérer les systèmes électriques de demain Le défi intitulé "gérer les systèmes électriques de demain" vise à imaginer et développer de...
Action Exploratoire ITHEA Informatique théâtrale L'action exploratoire ITHEA associe des chercheurs en informatique, arts appliqués et études...
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 QAT Architectures, Algorithmes et Applications du Calcul Quantique et leur théorie. Le traitement quantique de l'information consiste à trouver des algorithmes et des protocoles qui...
Action Exploratoire REALPRIOREIT Inférence bayésienne avec a priori physiologiques réalistes pour la tomographie par impédance électrique (EIT) Ce projet vise à utiliser des méthodes d’inférence bayésienne pour résoudre des problèmes inverses...
Défi SmartNet Méthodes d'IA pour la gestion intelligente des réseaux Le projet SMARTNET explore le potentiel de l'IA dans la gestion des réseaux intelligents, en se...
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...
Action Exploratoire AuDaCITI Collecte et étiquetage de données automatisé par interaction Les succès récents de l'IA sont le fruit de large modèles computationnels et d’ensembles de données...
