Action Exploratoire ECOPTICS Modélisation de l’Apparence Visuelle pour l’Écologie Comportementale Le projet ECOPTICS ambitionne de contribuer à percer certains mystères entourant la compréhension de...
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 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 LearnToOpt Au-delà de l'optimisation basée sur le gradient Le contexte général de ce projet est l’optimisation numérique de problèmes difficiles qui peuvent...
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 LiveIt Ressentir et percevoir les symptômes de la schizophrénie en réalité augmentée pour réduire la stigmatisation Les symptômes de la schizophrénie sont difficiles à se représenter et cela mène souvent à une...
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...
Défi PULSE Favoriser l’émergence de services à faible émission de carbone en bordure de réseau Pour faire face aux enjeux climatiques tout en répondant aux besoins croissants en ressources de...
Action Exploratoire Réal Réal : Réécriture algébrique La réécriture est une branche du calcul formel consistant à transformer des expressions...
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...
Défi YS.AI Towards the metaverse Le métavers est devenu un mot à la mode suite aux récentes annonces d'investissements massifs dans...
Action Exploratoire ALPHA-Design Apprentissage de Lois PHysiques pour l'Aide au Design La conception de nouveaux produits innovants s'appuie généralement sur des simulations numériques...
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...