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 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...
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 Back to the trees Back to the trees Entre flores centenaires et reconnaissance d’images par intelligence artificielle, nous proposons d...
Action Exploratoire CANofGAS Analyses de coûts de la sémantique des jeux Deux réussites scientifiques majeures dans l’étude des langages de programmation d’ordre supérieur -...
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 à...
Action Exploratoire COMPARTIMENTAGE Imagerie et Modélisation Spatio-Temporelles de la Compartimentation des Voies de Signalisation Les récepteurs couplés aux protéines G (RCPG) forment une large classe de récepteurs membranaires...
Action Exploratoire Define preDicting protEin Functions : wIder aNd dEeper ABS étudie la structure et la dynamique des protéines, avec un focus sur les méthodes de géométrie...
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 HLI Humanlab Inria L'action exploratoire Humanlab Inria (HLI) a pour ambition de créer un modèle de collaboration entre...
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 MARCQ Méthodes hybrides couplant Apprentissage par Renforcement et méthodes de Contrôle optimal des edp pour l’ordinateur Quantique
Défi OS Vers une utilisation plus optimale des centres de données Les centres de données sont aujourd'hui au cœur de l'informatique : ils fournissent la puissance de...
Action Exploratoire StellaCage StellaCage : Géométrie du confinement du plasma dans les stellarateurs En collaboration avec la start-up Renaissance Fusion, basée à Grenoble, nous explorons certains...