Action Exploratoire Ayana Télédetection et IA embarqués pour le ”New Space” l’AEx AYANA est un projet interdisciplinaire faisant appel à des connaissances en modélisation...
Action Exploratoire CACHAÇA Cryptologie Asymètrique Compacte et Haute-Assurance pour Applications sous Contraintes La cryptologie forte, efficace, et sûre est essentielle pour la communication sécurisée en réseau...
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 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...
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 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 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...
Action Exploratoire ITHEA Informatique théâtrale L'action exploratoire ITHEA associe des chercheurs en informatique, arts appliqués et études...
Défi LearnNet Réseaux et apprentissage Alors que l'apprentissage machine révolutionne des pans entiers de l'économie numérique et de la...
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 MID-ToRS Mécanismes d’Influence et Dynamiques de Topologies dans les Réseaux Sociaux Dans les réseaux sociaux, les utilisateurs choisissent de se connecter ("follow") à un influenceur...
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...
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...