Défi EQIP Ingénierie pour les processeurs d'information quantiques La construction d'un ordinateur quantique est l'un des grands défis scientifiques du 21e siècle...
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 I-am Influence de la réalitée augmentée sur la mémoire autobiographique : étude des souvenirs involontaires et des faux souvenirs Si dès sa promotion, le Metavers basé sur les technologies de réalité virtuelle a rapidement suscité...
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...
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...
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 POPEG Propagation d'ondes par états gaussiens Les méthodes de Galerkin permettent d'approximer numériquement une onde harmonique en assemblant des...
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 SIA Les Sciences Informatiques face à l’Anthropocène Le terme Anthropocène exprime l'ampleur géologique des impacts de l'humanité sur les équilibres du...
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...
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...
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...