Select a theme :

Select an INRIA Research Centre :

List of projects-team in 2002

Team Activity Report Access

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