Equipe-projet CARAMBA Cryptology, arithmetic : algebraic methods for better algorithms Nos travaux visent le domaine général d'application de la cryptographie et de la cryptanalyse, d'un...
Equipe-projet CARMEN Modélisation et calculs pour l'électrophysiologie cardiaque L'équipe Carmen developpe des modèles mathématiques et des méthodes numériques d'ordre élevées pour...
Equipe-projet CONVECS Construction de systèmes concurrents vérifiés CONVECS est une équipe de recherche travaillant sur la modélisation et la vérification formelle de...
Equipe-projet COSMIQ Cryptologie symétrique, cryptologie fondée sur les codes et information quantique Les travaux de recherche de l'équipe-projet COSMIQ sont essentiellement consacrés à la conception et...
Equipe-projet EX-SITU Interaction Située Extrême ExSitu explore les limites de l'interaction en étudiant comment des utilisateurs "extrêmes"...
Equipe-projet HEKA Méthodes basées sur les données et modèles en santé pour l'acquisition de connaissances HeKA est une équipe-projet de recherche commune à Inria, Inserm et l’Université Paris Cité. HeKA...
Equipe-projet HEPHAISTOS HExapode, PHysiologie, AssISTance et Objets de Service Le projet HÉPHAÏSTOS a été créé le 1er Janvier 2014. Il regroupe des chercheurs INRIA et des...
Equipe-projet HYCOMES Modélisation hybride & conception par contrats pour les systèmes embarqués multi-physiques Les travaux de recherche de l'équipe-projet Hycomes portent sur deux sujets relatifs à la conception...
Equipe-projet I4S Inférence Statistique pour la Surveillance et la Sécurité des Structures La surveillance d'intégrité de structures (ou SHM, pour Structural Health Monitoring) désigne la...
Equipe-projet ILDA Interacting with Large Data Les jeux de données ne sont plus seulement de grande taille. Ils proviennent désormais de sources...
Equipe-projet LOKI Technologie et connaissance pour l'Interaction L'Interaction Humain-Machine (IHM) est un domaine en constante évolution. D 'un côté , le progrès...
Equipe-projet MAGNET Machine Learning in Information Networks A primary objective of Magnet is in making artificial intelligence more acceptable to society by...
Equipe-projet MAKUTU Modélisation et simulation de la propagation des ondes fondées sur des mesures expérimentales pour caractériser des milieux géophysiques et héliophysiques et concevoir des objets complexes