Equipe-projet POEMS Propagation des Ondes : Etude Mathématique et Simulation L'activité générale de l'équipe est orientée vers la conception, l'analyse et l'approximation...
Equipe-projet POTIOC Nouvelles Interactions Multimodales pour une Expérience Utilisateur Stimulante Potioc conçoit, développe, et évalue de nouvelles approches qui exploitent l’interaction multimodale...
Equipe-projet QINFO Traitement optimal de l'information avec des dispositifs quantiques Les dispositifs de traitement de l'information qui peuvent tirer parti des lois de la théorie...
Equipe-projet RAPSODI Approximations numériques fiables pour les systèmes dissipatifs RAPSODI est une équipe commune entre Inria, l’Université de Lille et le CNRS.L’activité de l’équipe...
Equipe-projet SIMBIOTX SImulations en Médecine, BIOtechnologie et ToXicologie de systèmes multicellulaires L'objectif global de SIMBIOTX est la mise en œuvre de modèles et d'outils numériques ayant des...
Equipe-projet SODA Méthodes computationnelles et mathématiques pour comprendre la société et la santé à partir de données La recherche de l'équipe soda est à l'intersection de l'apprentissage statistique, des bases de...
Equipe-projet STAMP • Sûreté du logiciel et Preuves Mathématiques Formalisées L'équipe-project STAMP s'intéresse à la vérification formelle d'algorithmes et de résultats...
Equipe-projet STARS Reconnaissance d’Activités Spatio-Temporelles pour les interactions Sociales L'équipe de recherche Stars se focalise sur la conception de systèmes cognitifs pour la...
Equipe-projet STORM Optimisation statique, méthodes d’exécution Les succès de l'informatique en simulation scientifique numérique, enanalyse de données et désormais...
Equipe-projet TAU IA : vers des problèmes mieux posés Building upon the expertise in machine learning (ML) and stochastic optimization of the late TAO...
Equipe-projet TITANE Modélisation géométrique d'environnements 3D La modélisation et le traitement de la géométrie s'articulent autour de trois objectifs principaux...
Equipe-projet TOCCATA Certified Programs, Certified Tools, Certified Floating-Point Computations Toccata est une équipe de recherche du centre INRIA Saclay-Île-de-France, en partenariat avec le...
Equipe-projet TROPICAL Méthodes tropicales: structures, algorithmes et interactions Ce projet développe des méthodes s'appuyant sur les mathématiquestropicales pour traiter des...
Equipe-projet TYREX Types and Reasoning for the Web Nous construisons les fondements de la prochaine génération de systèmes d'extraction d'information...
Equipe-projet VIRTUS Nous, virtuels L'objectif principal de l'équipe VirtUs est de créer et de simuler des scènes virtuelles peuplées...
