Action Exploratoire Back to the trees Back to the trees Entre flores centenaires et reconnaissance d’images par intelligence artificielle, nous proposons d...
Action Exploratoire BrainGPT Transformer les Transformers en Modèles de Langage Cognitifs Dans le sillage de l'émergence des modèles de langage à grande échelle, tels ChatGPT, le projet...
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 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...
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 META4QIP Coder l'avenir : métasurface pour le traitement quantique de l'information Les métasurfaces sont des structures plates qui possèdent des propriétés extraordinaires pour...
Action Exploratoire MRF-zero Optimisation de séquences d'acquisition pour l'IRM fingerprint par contrôle optimal L'IRM fingerprint (MRF) est une technologie récente qui a le potentiel de changer la donne en...
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...
Action Exploratoire PreMedIT La topologie au service de la médecine de précision Le but de la médecine de précision est d'adapter les traitements aux caractéristiques de chaque...
Action Exploratoire SDMote Software-Defined Mote Les réseaux maillés deviennent de plus en plus décentralisés. Les architectures des nœuds sans fil...
Action Exploratoire A/D Drugs D'un médicament analogique vers un médicament digital Dans la prise en charge des troubles mentaux, l’apparition de résistances aux traitements est un...
Action Exploratoire APOLLON Apollon (Art de la POLitique : Langage aristotélicien et Optimisation Numérique) L'étude des idées de textes historiques nécessite une expertise identifiant le contexte, le sens...
Action Exploratoire Backbone Manipulation Symbolique Efficace Pour Les Systèmes Creux Un problème difficile est d'abord et avant tout un problème mal compris. Une façon (presque...