Équipes de recherche arrêtées

 A - B - C - E - F - G - I - J - L - M - N - O - P - R - S - T - V 
Voir aussi : liste classée par année.

Légende :

• Équipe-projet INRIA

Équipes de recherche arrêtées :

• A3 - Analyse avancée appliquée à l'optimisation de codes
• ACACIA - Acquisition des connaissances pour l'assistance à la conception par interaction entre agents
• ADAGE - Algorithmique discrète et ses applications à la génomique
• ADOPT - Optimisation discrète et analyse exploratrice de données
• ADP - Algorithmes distribués et protocoles
• AID - Gestion des connaissances pour l'aide à la conception coopérative
• AIDA - Modélisation et Apprentissage pour l'Interprétation de Données et l'Aide à la décision
• AIR - Traitement d'image et données satellites dynamiques
• AIR2 - Traitement d'image et donnees satellites dynamiques (action)
• AIRELLE - Représentations et Langages
• ALADIN - Algorithmes adaptés au calcul numérique intensif
• ALGO - Algorithmes
• APACHE - Algorithmique parallèle, programmation et partage de charge
• API - Architectures parallèle intégrées
• ARES - Architectures de réseaux de services
• ARMOR - Architectures et modèles de réseaux
• AS - Automatique et signal
• ATGC - Action transversale génome et calcul
• ATOLL - Atelier d'outils logiciels pour le langage naturel
• BIP - Robot bipède
• CAFE - Calcul formel et équations
• CAIMAN - Calcul scientifique, modélisation et analyse numérique
• CARAVEL - Systèmes de médiation d'information
• CERTILAB - Spécifications formelles, certification de logiciel
• CHARME - Compilation
• CHIR - Chirurgie, informatique et robotique
• CLOREC - Classification automatique et reconnaissance des formes
• CODES - Codes et cryptographie
• COMPLEX - Evolution Artificielle et Fractales
• COMPOSE - Conception de programmes et systèmes adaptatifs
• CONGE - Contrôle géométrique des systèmes non linéaires
• COQ - Spécifications et preuves de programmes
• CORDIAL - Dialogue oral homme-machine
• COSI - Conception de systèmes sur silicium
• COSIVIE - COuplage de modèles pour la SImulation numérique pour des problématiques enVIronnementalEs
• CRISTAL - Programmation typée, modularité et compilation
• CROAP - Conception et réalisation d'outils d'aide à la programmation
• EIFFEL - Cognition et coopération en conception
• EIFFEL2 - Cognition et coopération en conception
• EPATR - Environnement de programmation d'applications temps réel
• EPIDAURE - Imagerie et robotique médicale
• EURECA - Preuve, calcul symbolique et logique
• FRACTALES - Fractales, modèles complexes et évolution artificielle
• GYROWEB - Graphes dynamiques et graphe du web
• IBIS - Modélisation, simulation, analyse expérimentale et contrôle de réseaux de régulation bactériens
• ICARE - Instrumentation, commande et architecture des robots évolués
• IDENT - Estimation de paramètres et applications industrielles
• IDOPT - Identification et optimisation de systèmes en physique et en environnement
• IMAGIS - Modèles, Algorithmes, Géométrie pour le Graphique et l'Image de Synthèse
• IPV6 - IPv6 - RSVP - ATM
• IS2 - Inférence statistique pour l'industrie et la santé
• ISA - Modèles, algorithmes et géométrie pour l'informatique graphique et la vision
• JACQUARD - Tissage de composants logiciels
• LANGUE ET DIALOGUE - Dialogue homme-machine à forte composante langagière
• LEMME - Logiciels et mathématiques
• LOCO - Programmation en LOgique avec COntraintes
• LOGICAL - Logique et Calcul
• LORIASI - Loria dans la société de l'information
• M3N - Multi-Modèles et Méthodes Numériques
• MACSI - Modélisation, analyse et conduite des systèmes industriels
• MADE - Environnement de développement d'applications multimédia
• MEIJE - Parallélisme, Synchronisation et Temps-Réel
• META2 - Méta-automatique et méthodes de l'automatique
• MEVAL - Modélisation et évaluation des Systèmes Informatiques
• MIAOU - Mathématiques et Informatique de l'Automatique et de l'Optimisation pour l'Utilisateur
• MIRHO - Systèmes à objets, types et prototypes : sémantique et validation
• MISTRAL - Modélisation en Informatique et Systèmes de Télécommunication : Recherche et Applications Logicielles
• MOCOA - Méthodes de l'Optimisation, de la Commande Optimale et Applications
• MODBIO - Modèles informatiques en biologie moléculaire
• MODEL - Modélisation de systèmes aléatoires
• MODULEF - Méthodes et outils pour le calcul scientifique
• MOSTRA - Modélisation de matériaux nouveaux et structures adaptatives
• MOVI - Modélisation, localisation, reconnaissance et interprétation en vision par ordinateur
• NOVALTIS - NOVel ALgorithms and VALidation Techniques for TIme-critical and high Integrity Systems
• NUMATH - Analyse Mathématique et Traitement Numérique de Modèles Non linéaires
• NUMOPT - Optimisation Numérique
• OMEGA - Méthodes numériques probabilistes
• ONDES - Modélisation et simulation de phénomènes de propagation d'ondes
• OPERA - Outils pour les documents électroniques, recherche et applications
• ORION - Environnements de résolution de problèmes pour des systèmes autonomes
• OSCAR - Outils syntaxiques pour la construction et l'analyse de programmes
• OSTRE - Optimisation des systèmes distribués temps réel embarqués
• OTTO - Optique, transport et trajectoires optimales
• PAMPA - Modèles et outils pour la programmation des architectures parallèles réparties
• PARA - Parallélisme
• PARAGRAPHE - Parallélisme et graphes
• PASTIS - Analyse de scènes et traitement d'images symboliques
• POLKA - Polynômes, combinatoire, arithmétique
• PREVAL - Probabilités, modélisation et évaluation de systèmes
• PRISME - Géométrie, Algorithmes et Robotique
• PROLO - Programmation en logique
• PROMATH - Programmation mathématique
• PROTHEO - Contraintes, déduction automatique et preuves de propriétés de logiciels
• PSYCHO ERGO - Psychologie ergonomique pour l'informatique
• R2D2 - Exploration, estimation, prototypage pour la conception de systèmes matériels sur des plates-formes sur silicium reconfigurable
• REFLECS - Génie système et informatique distribuée temps réel tolérant les fautes
• REMAP - Régularité et parallélisme massif
• REPCO - Représentation des connaissances
• RESEDAS - Outils logiciels pour les télécommunications et les systèmes distribués
• ROBOTVIS - Vision par ordinateur et robotique
• RODEO - Réseaux à haut débit, Réseaux ouverts
• RODIN - Systèmes de bases de données
• ROMANS - Relations et objets pour la modélisation du numérique et du symbolique
• SAFIR - Systèmes algébriques formels pourl'industrie et la recherche
• SAGA - Systèmes Algébriques, Géométrie et Applications
• SAGEP - Simulation, analyse et gestion des systèmes de production
• SAMIE - Schémas Abstraits pour la Modélisation des Intranets
• SCILAB - Equipe opérationnelle du consortium Scilab
• SHARP - Programmation automatique et systèmes décisionnels en robotique
• SHERPA - Modèles et bases de connaissances à objets
• SHOOD - Méthodes et outils pour l'intégration des systèmes industriels
• SIAMES - Synthèse d'images, animation, modélisation et simulation
• SIGMA2 - Signaux, modèles, algorithmes
• SINUS - Simulation Numérique dans les Sciences de l'Ingénieur
• SIRAC - Systèmes Informatiques Répartis pour Applications Coopératives
• SISTHEM - Inférence statistique pour la surveillance d'intégrité de structures
• SLOOP - Simulation, Langages à Objets et Parallélisme
• SODAS - Structures de classification ordonnées et discrimination : algorithmes et simulations
• SOLIDOR - Construction de systèmes et d'applications distribués
• SOR - Systèmes Objets Répartis
• SOSSO - Applications et outils de l'automatique
• SOSSO2 - Applications et outils de l'automatique
• SPACES - Systèmes polynomiaux, arithmétiques, calculs efficaces et sûrs
• SPECTRE - Spécification et programmation des systèmes communicants et temps réel
• SYCO - Modèles fondamentaux et applications des processus perceptifs et cognitifs
• SYDOCO - Systèmes dynamiques et commande optimale
• SYNTIM - Analyse et synthèse d'images
• SYSDYS - Systèmes Dynamiques Stochastiques
• SYSTOL - Modélisation statistique et applications biomédicales
• TEMIS - Traitement, exploitation et modélisation d'images séquentielles
• TEST_NUMASIS - Adaptation et optimisation des performances applicatives<br> Etude et mise en oeuvre sur des applications en SISmologie
• TICK - Etude et implémentation des systèmes réactifs synchrones
• TRANSREP - Transactionnel réparti
• VERSO - Bases de Données