logo inria

Retour à la page d'accueil

rapport annuel 2002 Le rapport annuel 2002

-----------------------
INRIA - Rapports d'activité 2002

-----------------------

Liste alphabétique

125 teams

A3 - Analyse Avancée Appliquée à l'optimisation des codes
Acacia - Acquisition des Connaissances pour l'Assistance à la Conception par Interaction entre Agents
Aces - Informatique diffuse et systèmes embarqués
Adage - Algorithmique Discrète et ses Applications à la GÉnomique
Adept - Asynchronous Distributed Environments, Protocols, and Time
Air - Traitement d'image et données satellites dynamiques
Aladin - Algorithmes adaptés au calcul numérique intensif
Alcove - Agir et collaborer sur des objets virtuels complexes
Algo - Algorithmes
Apache - Algorithmique Parallèle, Programmation et Répartition de Charge
Arenaire - Arithmétique des Ordinateurs
Ariana - Problèmes Inverses en Observation de la Terre et Cartographie
Arles - Architectures logicielles et systèmes distribués
Armor - Architectures et Modèles de Réseaux
Atoll - Atelier d'Outils Logiciels pour le Langage naturel
Axis - Conception, Analyse et Amélioration de Systèmes d'Information dirigées par l'Usage
Bip - Contrôle/commande de robots marcheurs et applications
Cafe - Calcul Formel et Équations
Caiman - Calcul scientifique, modélisation et analyse numérique
Calligramme - Logique Linéaire, Réseaux de Démonstration et Grammaires Catégorielles
Caps - Compilation, architectures des processeurs superscalaires et spécialisés
Caravel - Systèmes de médiation d'information
Chir - Chirurgie, Informatique, Robotique
Codes - Codage et cryptographie
Comore - Contrôle et Modélisation de Ressources Renouvelables
Compose - Conception de programmes et systèmes adaptatifs
Conge - Contrôle Géométrique des Systèmes Non Linéaires
Contraintes - Programmation par Contraintes
Coprin - Contraintes, OPtimisation, Résolution par INtervalles
Cordial - Communication multimodale personne-machine à composantes orales : méthodes et modèles
Corida - Contrôle Robuste des Systèmes Infini-Dimensionnels et Applications
Cortex - Intelligence neuromimétique
Cosivie - COuplage de modèles pour la SImulation numérique de problèmatiques enVIronnementalEs
Cristal - Programmation typée, modularité et compilation
Dream - Diagnostic, REcommandation d'Actions et Modélisation
Ecoo - Midleware pour le travail coopératif sur Internet
Eiffel - Cognition et Coopération en Conception
Epidaure - Epidaure, Projet Images, Diagnostic AUtomatique, RobotiquE : imagerie & robotique médicales
Espresso - Environnement de Spécification de Programmes RÉactifS SynchrOnes
Estime - Estimation de paramètres et modélisation en milieu hétérogène
Exmo - Échanges de connaissance structurée médiatisés par ordinateur
Fractales - Approches Fractales pour l'Analyse et la Modélisation des Signaux
Galaad - Géométrie, Algèbre, Algorithmes
Gamma - Génération Automatique de Maillages et Méthodes d'Adaptation
Helix - Informatique et génomique
Hipercom - Communication à hautes performances
I3d - Interaction 3D
Icare - Instrumentation, Commande et Architecture des Robots Évolués
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
Imara - Informatique, Mathématiques et Automatique pour la Route Automatisée
Imedia - Images et Multimédia : Indexation, Recherche et Navigation
In-situ - Interaction située
Is2 - Inférence statistique pour l'industrie et la santé
Isa - Modélisation, Simulation et Visualisation
Lande - Logiciel : analyse et développement
Led - Langue et Dialogue
Lemme - Logiciels et Mathématiques
Logical - Logique et Calcul
M3n - Multi-Modèles et Méthodes Numériques
Macs - Modélisation, Analyse et Contrôle pour le Calcul des Structures
Macsi - Modélisation, Analyse et Conduite des Systèmes Industriels
Maia - MAchine Intelligente Autonome
Mascotte - Méthodes Algorithmiques, Simulation et Combinatoire pour l'OpTimisation des TElécommunications
Mathfi - Mathématiques Financières
Merlin - Méthodes pour l'Ergonomie des Logiciels Interactifs
Metalau - Méthodes, Algorithmes et Logiciels pour L'automatique
Metiss - Modélisation et Expérimentation pour le Traitement des Informations et des Signaux Sonores
Miaou - Mathématiques et Informatique de l'Automatique et de l'Optimisation pour l'Utilisateur
Micmac - Méthodes et Ingénierie du Calcul pour les systèmes Multiéchelles : de l'Atome au Continuum
Mimosa - Migration et Mobilité : Sémantique et Applications
Mirages - Manipulations d'objets 3D dans les séquences d'Images pour la Réalité Augmentée et la Génération d'Effets Spéciaux
Miro - Systèmes à Objets, Types et Prototypes : Sémantique et Validation
Mistral - Modélisation en Informatique et Systèmes de Télécommunications : Recherche et Applications Logicielles
Modbio - Modèles Informatiques en Biologie Moléculaire
Moscova - Mobilité, Sécurité, Concurrence, Vérification et Analyse
Movi - Modélisation, localisation, identification et reconnaissance pour la vision par ordinateur
Numopt - Optimisation Numérique
Oasis - Objets Actifs, Sémantique, Internet et Sécurité
Odyssee - Vision algorithmique et biologique
Omega - Méthodes numériques probabilistes pour les équations aux dérivées partielles et les mathématiques financières
Ondes - Modélisation et Simulation de Phénomènes de Propagation d'Ondes
Opale - Optimisation et contrôle, algorithmes numériques et intégration de systèmes complexes multidisciplinaires régis par des E.D.P.
Opera - Outils pour les documents électroniques, recherche et applications
Orion - Systèmes intelligents réutilisables et vision cognitive
Orpailleur - Systèmes de connaissances et extraction de connaissances dans les bases de donneées
Ostre - Optimisation des Systèmes Temps Réel Embarqués
Otto - Optique Transport et Trajectoires Optimales
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
Planete - Protocoles et Applications pour l'Internet
Preval - Probabilités, modélisation et évaluation de systèmes
Prisme - Géométrie, Algorithmes et Robotique
Protheo - Contraintes, Déduction automatique et Preuves de Propriétés de Logiciels
R2d2 - Exploration, estimation, prototypage pour la conception de systèmes matériels sur des plates-formes sur silicium reconfigurable
Rap - Réseaux, Algorithmes et Probabilités
Regal - REpartition et Gestion d'Applications à Large échelle
Remap - Régularité et parallélisme massif
Resedas - Outils Logiciels pour les Télécommunications et les Systèmes Distribués
Reves - Rendu et Environnements VirtuEls Sonorisés
S4 - Synthèse et supervision de systèmes, scénarios
Sagep - Simulation, analyse et gestion des systèmes de production
Sardes - System Architecture for Reflective Distributed Computing Environments
Scalapplix - Schémas et Algorithmes Hautes Performances pour les Applications Scientifiques Complexes
Secsi - Sécurité des systèmes d'information
Sharp - Programmation automatique et systèmes décisionnels en robotique
Siames - Synthèse d'Images, Animation, Modélisation et Simulation
Sigma2 - Signaux, modèles et algorithmes
Smash - Simulation, modélisation et analyse de systèmes hétérogènes en mécanique
Sosso - Applications et Outils de l'Automatique
Spaces - Systèmes Polynomiaux, Arithmétiques, Calculs Efficaces et Sûrs
Sydoco - SYstèmes Dynamiques, Optimisation et Commande Optimale
Symbiose - SYstèmes et Modèles BIOlogiques, BIOinformatique et SEquences
Temics - TraitEment, Modélisation d'Images et CommunicationS
Texmex - Techniques d'exploitation des documents multimédias : exploration, indexation et recherche dans de très grandes bases
Tick - Etude et implémentation des systèmes réactifs synchrones
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
Vasy - Validation de Systèmes
Verso - Bases de Données
Vertecs - Modèles et techniques de VÉRification appliquées au TEst et au Contrôle de Systèmes réactifs
Visa - Véhicules Intelligents et Systèmes Autonomes
Vista - Vision Spatio-Temporelle et Active