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 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 E-MOTS Modélisation économique de stratégie de ciblage Les réseaux sociaux conduisent à des comportements stratégiques dans un monde d'information...
Action Exploratoire Equity Analytics Adresser l'équité salariale grâce à l'analyse visuelle L'objectif de ce projet est d'explorer, de développer et de tester des solutions d'analyse visuelle...
Action Exploratoire Fluidonics Manipulation des ondes sismiques grâce à des cuves hydrodynamiques Et si les remous de l'eau pouvaient protéger les structures des ondes sismiques ? C'est l'idée...
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 Inria OVHCloud Eco-conception de bout en bout d’un cloud pour en réduire les impacts environnementaux
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...
Défi OcéanIA Intelligence Artificielle, Données et Modèles pour Comprendre les Océans et le Changement Climatique Il existe des preuves scientifiques solides concernant les effets négatifs du changement climatique...
Action Exploratoire OptiGPR3D Modélisations directe et inverse optimales pour l'imagerie GPR 3D en milieu complexe Avec un a priori fourni par une méthode d'imagerie classique, pourrait-on concevoir un réseau d...
Action Exploratoire ProgReco Reconnaissance de programmes par apprentissage automatique et application à l'optimisation de programmes La compréhension de programmes est un problème fondamental de l'informatique, dont les applications...
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 REPAS Vers de nouvelles Représentations des Applications HPC. Quelle est la bonne manière de représenter une application en vue de l’exécuter sur une machine...
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...