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 In Time Baliser l’Analyse CryptographiK de lettres anciennes grâce à l’INtelligence artifi-cielle : Technique et IMplémentation Exploratoire Soyez prêts à découvrir des complots inattendus et à déterrer des secrets vieux comme le monde...
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 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 Comanche Modèles computationnels du sens lexical et de ses changements (COMANCHE) COMANCHE propose de transférer et d'adapter les récents algorithmes d'apprentissage de...
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...
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...
Action Exploratoire LLM4DICE Des Grands Modèles de Language pour la détection et la correction des erreurs Les grands modèles de langage (LLMs) sont un sujet de recherche en pleine évolution. En particulier...
Action Exploratoire META4QIP Coder l'avenir : métasurface pour le traitement quantique de l'information Les métasurfaces sont des structures plates qui possèdent des propriétés extraordinaires pour...
Défi OmicFinder Biological data indexation Les données génomiques produites grâce à la lecture de l'ADN des cellules permettent des avancées...
Action Exploratoire SmolPhone SmolPhone : un smartphone conscient des limites énergétiques Le projet SmolPhone est une recherche-action dans le domaine de l'informatique frugale. En pratique...
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...
Défi URGE Analyse des parcours patients aux URgences et optimisation des prises en charGE Les structures d’urgences sont confrontées depuis plus de 15 ans à un accroissement régulier du...
Equipe-projet ARAMIS Algorithmes, modèles et méthodes pour les images et les signaux du cerveau humain sain et pathologique Notre équipe est intégrée au sein de l'Institut du Cerveau (ICM) et est commune avec le CNRS, l...