Ensemble des équipes de recherche

 A - B - C - D - E - G - H - I - L - M - N - O - P - Q - R - S - T - V - W 

Légende :

• Équipe-projet INRIA

Équipes de recherche :

• ABS - Algorithmes et Biologie Structurale
• ABSTRACTION - Interprétation abstraite et analyse statique
• ACES - Informatique diffuse et systèmes embarqués
• ADAM - Adaptive Distributed Applications and Middleware
• ADEPT - Algorithmes pour des systèmes dynamiques sûrs
• ALCHEMY - Architectures, Languages and Compilers to Harness the End of Moore Years
• ALCOVE - Agir et collaborer sur des objets virtuels complexes
• ALGORILLE - Algorithmes pour la Grille
• ALGORITHMS - Algorithmes
• ALICE - Géometrie et Lumière
• ALIEN - ALgèbre pour Identification et Estimation Numériques
• ALPAGE - Analyse linguistique profonde à grande échelle
• ANUBIS - Outils de l'Automatique pour le Calcul Scientifique, Modèles et Méthodes en Bio-Mathématique
• AOSTE - Modèles et méthodes pour l'analyse et l'optimisation des systèmes temps réel embarqués
• APICS - Analyse et Problèmes Inverses pour le Contrôle et le Signal
• APIS - Analyse de Processus, Images et Signaux irréguliers,applications en biologie et médecine.
• ARENAIRE - Arithmétique des ordinateurs
• ARIANA - Problèmes inverses en observation de la terre et cartographie
• ARLES - Architecture logicielles et systèmes distribués
• AROBAS - Robotique Avancée et Systèmes Autonomes
• ARTIS - Acquisition, représentation et transformations pour l'image de synthèse
• ASAP - As Scalable As Possible : fondements des systèmes large-échelle dynamiques
• ASCLEPIOS - Analyse et Simulation d'Images Biomédicales
• ASPI - Applications statistiques des systèmes de particules en interaction
• ATEAMS - Analyse et Transformation a base des composition fideles des outils
• ATLANMOD - Technologies de modélisation pour la production, le fonctionnement et l'évolution du logiciel
• ATLAS - Gestion des données complexes dans les systèmes distribués
• AVIZ - Analyse Visuelle
• AXIS - Conception, analyse et amélioration de systèmes d'informations dirigées par les usages
• BANG - Analyse numérique de modèles non linéaires pour la Bio et Géophysique
• BIPOP - Modélisation, Simulation et Commande des Systèmes Dynamiques Non Réguliers
• BUNRAKU - Perception, décision et action d'humains réels et virtuels au sein d'univers virtuels et l'impact sur le monde réel.
• CACAO - Courbes, Algèbre, Calculs, Arithmétique des Ordinateurs
• CAIRN - Systèmes sur puce reconfigurables : architectures, algorithmes et compilation
• CALLIGRAMME - Logique linéaire, réseaux de démonstration et grammaires catégorielles
• CALVI - Calcul scientifique et visualisation
• CAPS - Compilation, architectures parallèles et système
• CASCADE - Conception et Analyse de Systèmes pour la Confidentialité et l'Authentification de Données et d'Entités
• CASSIS - Combinaison d'approches pour la sécurité des systèmes infinis
• CEPAGE - Chercher et Essaimer dans les Plates-formes A Grande Echelle
• CLIME - Couplage de la donnée environnementale et des modèles de simulation numérique pour une intégration logicielle
• COMETE - Concurrence, Mobilité et Transactions
• COMMANDS - Controle, Optimisation, Modèles, Méthodes et Applications pour les Systèmes Dynamiques non linéaires
• COMORE - Contrôle et modélisation de ressources renouvelables
• COMPSYS - Compilation et systèmes enfouis
• CONCHA - Complex Flow Simulation Codes based on High-order and Adaptive methods
• CONTRAINTES - Programmation par contraintes
• COPRIN - Contraintes, optimisation et résolution par intervalles
• CORIDA - Contrôle robuste infini-dimensionnel et applications
• CORTEX - Intelligence neuromimétique
• CQFD - Contrôle de Qualité et Fiabilité Dynamique
• DAHU - Verification en bases de données
• DART - Apports du parallélisme données au temps réel
• DEFI - Détermination de Formes Et Identification
• DEMAR - Déambulation et mouvement artificiel
• DIGIPLANTE - Modélisation de la croissance et de l'architecture des plantes
• DISTRIBCOM - Algorithmes itératifs et distribués pour la gestion de réseaux et le traitement du signal en télécommunications
• DOLPHIN - Optimisation multi-critère parallèle coopérative
• DREAM - Diagnostic, recommandation d'actions et modélisation
• E-MOTION - Géométrie et probabilité pour le mouvement et l'action
• ECOO - Environnement pour la coopération
• EDELWEISS - Echanges, Documents, Extraction, Languages, Web, Ergonomie, Interactions, Semantique, Serveurs
• ESPRESSO - Environnement de spécification de programmes réactifs synchrones
• ESTIME - Estimation de paramètres et modélisation en milieu hétérogène
• EVASION - Environnements virtuels pour l'animation et la synthèse d'images d'objets naturels
• EVEREST - Environnements de vérification et sécurité du logiciel
• EXMO - Echanges de connaissance structurée médiatisés par ordinateur
• GALAAD - Géométrie, algèbre, algorithmes
• GALEN - Modélisation d’organes à travers l’Extraction, la Représentation et la Compréhension du Contenu des Images Médicales
• GALLIUM - Langages de programmation, types, compilation et preuves
• GAMMA - Génération automatique de maillages et méthodes d'adaptation
• GANG - Réseaux, graphes et algorithmes
• GEMO - Intégration de données et de connaissances distribuées sur le Web
• GEOMETRICA - Calcul géométrique
• GRAAL - Algorithmique et ordonnancement pour plates-formes hétérogènes distribuées
• GRAND-LARGE - Calcul parallèle et distribué à grande échelle
• GRAVITE - Visualisation et exploration interactive de graphes
• HELIX - Informatique et génomique
• HIPERCOM - Communication hautes performances
• I3D - Interaction 3 dimensions
• IMARA - Informatique, Mathématiques et Automatique pour la Route Automatisée
• IMEDIA - Images et multimédia : indexation, navigation et recherche
• IN-SITU - Interaction située
• IPARLA - Visualisation et manipulation de données complexes sur terminaux mobiles communicants
• IPSO - Méthodes numériques préservant les invariants
• LAGADIC - Asservissement visuel en robotique, vision et animation
• LANDE - Conception et validation de logiciels
• LEAR - Apprentissage et reconnaissance en vision par ordinateur
• LOGNET - Réseaux Logiques : Réseaux de Recouvrement Autonomes et Ordinateurs Globaux et Pervasifs
• MACS - Modélisation, analyse et contrôle pour le calcul des structures
• MADYNES - Supervision des réseaux et services dynamiques
• MAESTRO - Modèles pour l'analyse des performances et le contrôle des réseaux
• MAGIQUE-3D - Modélisation Avancée en GéophysIQUE 3D
• MAGNOME - Models and Algorithms for the Genome
• MAGRIT - Augmentation visuelle d'environnements complexes
• MAIA - Machine intelligente et autonome
• MARELLE - Mathématiques, Raisonnement et Logiciel
• MARS - Modèles et Algorithmes pour la RéSolution de problèmes combinatoires
• MASCOTTE - Méthodes algorithmiques, simulation, combinatoire et optimisation des télécommunications
• MATHFI - Mathématiques financières
• MAXPLUS - Algèbres max-plus et mathématiques de la décision
• MC2 - Modélisation, contrôle et calcul
• MERE - Modélisation Et Ressources en Eau
• MERLIN - Méthodes pour l'ergonomie des logiciels interactifs
• MESCAL - Intergiciel, passage à l'échelle
• METALAU - Méthodes, algorithmes et logiciels pour l'automatique
• METISS - Modélisation et expérimentation pour le traitement des informations et des signaux sonores
• MICMAC - Méthodes et ingénierie du calcul multi-échelle de l'atome au continuum
• MIMOSA - Migration et mobilité : sémantique et applications
• MIRAGES - Manipulation d'images pour la réalité augmentée et la génération d'effets spéciaux
• MISTIS - Modélisation et Inférence de phenomenes aléatoires complexes et structures
• MOAIS - Multi-programmation et Ordonnancement pour les Applications Interactives de Simulation
• MOISE - Modélisation, Observations, Identification en Sciences de l'Environnement
• MOSCOVA - Mobilité, sécurité, concurrence, vérification et analyse
• MOSEL - Développement prouvé de systèmes informatiques
• MOSTRARE - Modèles de structures arborescentes, apprentissage et extraction d'information
• NACHOS - Modélisation numérique et calcul intensif pour des problèmes d'évolution en domaines complexes et milieux hétérogènes
• NECS - Systèmes Commandés en Réseau
• OASIS - Objets actifs, sémantique, Internet et sécurité
• OBASCO - Objets, aspects et composants
• ODYSSEE - Vision algorithmique et biologique
• OPALE - Optimisation et contrôle, algorithmiques numériques et intégration de systèmes complexes multidisciplinaires régis par des EDP
• ORPAILLEUR - Représentation de connaissances, raisonnements
• PARIETAL - Modélisation de la structure, du fonctionnement et de la variabilité du cerveau à partir d'IRM à haut champ
• PARIS - Programmation des systèmes parallèles et distribués pour la simulation numérique à grande échelle
• PAROLE - Analyse, perception et reconnaissance de la parole
• PARSIFAL - Recherche de preuve et raisonnement sur des spécifications logiques
• PERCEPTION - Interprétation et Modélisation d'Images et de Vidéos
• PHOENIX - Technologie des langages de programmation pour les services de communication
• PLANETE - Protocoles et applications pour l'Internet
• POEMS - Propagation des Ondes : Étude Mathématique et Simulation
• POP ART - Contrôle-commande temps réel sûr
• POPS - Système et Réseau pour Petits Objets Portables et Sécurisés
• PRIMA - Perception, reconnaissance et intégration pour la modélisation des activités
• PROVAL - Preuve de programmes
• PULSAR - Système de perception. d'interprétation et d'apprentissage pour la reconnaissance d'activités
• QGAR - Recherche d'information graphique par l'analyse et la reconnaissance
• RAP - Réseaux, algorithmes et probabilités
• REALOPT - Reformulations et algorithmes pour l‘Optimisation combinatoire
• REGAL - Répartition et gestion d'applications à large échelle
• REO - Simulation numérique d'écoulements biologiques
• RESO - Protocoles et logiciels optimisés pour réseaux très haut-débit
• REVES - Rendu et environnements virtuels sonorisés
• RMOD - Analyses et construction de langage pour l'évolution d'applications orientées Objet
• RUNTIME - Supports exécutifs performants pour architectures parallèles
• S4 - Synthèse et supervision de systèmes, scénarios
• SAGE - Simulations et algorithmes sur des grilles de calcul appliqués à l'environnement
• SALSA - Résolution de systèmes algébriques et Applications
• SARDES - Architecture de systèmes réflexifs pour les environnements distribués
• SCALAPPLIX - Schémas et algorithmes hautes performances pour les applications scientifiques complexes
• SECRET - Sécurité, Cryptologie et Transmissions
• SECSI - Sécurité des systèmes d'information
• SELECT - Sélection de modèles en apprentissage statistique
• SEQUEL - Sequential Learning
• SEQUOIA - Algorithmes pour analyse à grande échelle de séquences biologiques
• SIGNES - Signes linguistiques, grammaire et sens: algorithmique logique de la langue
• SIMPAF - SImulation et Modèles pour les PArticules et les Fluides
• SISYPHE - SIgnaux et SYstèmes en PHysiologie et ingénieriE
• SMASH - Simulation, modélisation, analyse de systèmes hétérogènes
• SMIS - Systèmes d'informations sécurisés et mobiles
• SYMBIOSE - Systèmes et modèles biologiques, bioinformatique et séquences
• TALARIS - Traitement Automatique des Langues : représentation, inférence et sémantique
• TANC - Théorie algorithmique des nombres pour la cryptologie
• TAO - Thème Apprentissage et Optimisation
• TEMICS - Traitement, modélisation et communication d'images numériques
• TEXMEX - Techniques d'exploitation des données multimédia
• TOSCA - Simuler et calibrer des modèles stochastiques
• TREC - Théorie des réseaux et communications
• TRIO - Temps réel et interopérabilité
• TRISKELL - Construction fiable et efficace d'applications par assemblage de composants logiciels
• TROPICS - Transformations et outils informatiques pour le calcul scientifique
• TYPICAL - Types, logique et calcul
• VASY - Validation de systèmes, recherche et application
• VEGAS - Algorithmes géométriques effectifs pour la visibilité et les surfaces
• VERTECS - Modèles et techniques de vérification appliqués au test et au contrôle de systèmes réactifs
• VIRTUAL PLANTS - Modélisation de la morphogénèse des plantes à différentes échelles, des gènes aux phénotypes
• VISAGES - Vision, Action et Gestion d'informations en Santé
• VISTA - Vision spatio-temporelle et apprentissage
• WAM - Web, adaptation et multimédia
• WILLOW - Modèles de la reconnaissance visuelle d'objets et de scènes