Select a theme :

Select an INRIA Research Centre :

List of projects-team in 2003

Team Activity Report Access

145 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
Ambient Computing and Embedded Systems
Adage
Applying Discrete Algorithms to GEnomics
Adept
Asynchronous Distributed Environments, Protocols, and Time
Air2
Image processing and dynamic satellite data
Aladin
Advanced Algorithms for Scientific Computing
Alcove
Interacting with complex objects in collaborative virtual environment
Algo
Algorithms
Algorille
Algorithms for the Grid
Apache
Algorithmique Parallèle, Programmation et Répartition de Charge
Arenaire
Computer Arithmetic
Ares
Architecture de réseaux de services
Ariana
Inverse Problems in Earth Observation and Cartography
Arles
Software Architectures and Distributed Systems
Armor
Architectures et Modèles de Réseaux
Artis
Acquisition, Representation and Transformations for Image Synthesis
Atlas
Complex Data Management in Distributed Systems
Atoll
Atelier d'Outils Logiciels pour le Langage naturel
Axis
User-Centered Design, Improvement and Analysis of Information Systems
Bang
Biomédical, Analyse Numérique et Géophysique
Bipop
Modelling, Simulating, Controlling Non-Regular Dynamical Systems
Cafe
Calcul Formel et Équations
Caiman
Calcul scientifique, modélisation et analyse numérique
Calligramme
Linear Logic, Proof Nets and Categorial Grammars
Calvi
Calcul Scientifique et Visualisation
Caps
Compilation, architectures des processeurs superscalaires et spécialisés
Cassis
Combinaison d'Approches pour la Sécurité des Systèmes InfiniS
Codes
Codage et cryptographie
Comore
Modelling and Control of Renewable Resources
Compose
Design and Development of Adaptive Programs and Systems
Compsys
Compilation and Embedded Computing Systems
Conge
Contrôle géométrique des systèmes non linéaires
Contraintes
Constraint Programming
Coprin
Constraints solving, OPtimization, Robust INterval analysis
Cordial
Man-machine oral and multimodal communication
Corida
Contrôle Robuste Infini-Dimensionnel et Applications
Cortex
Neuromimetic Intelligence
Cosivie
COuplage de modèles pour la SImulation numérique de problèmatiques enVIronnementalEs
Cristal
Type-safe programming, modularity and compilation
Dart
Dataparallelism for Real-Time
Dream
Diagnosis, REcommending Actions and Modelling
Ecoo
Middleware for supporting cooperative work through Internet
Eiffel
Cognition and Cooperation in Design
E-motion
Geometry and Probability for Motion and Action
Epidaure
Epidaure, Projet Images, Diagnostic AUtomatique, RobotiquE Medical Imaging & Robotics
Espresso
Environnement de Spécification de Programmes RéactifS SynchrOnes
Estime
Parameter Estimation and Modeling in Heterogeneous Media
Evasion
Virtual environments for animation and image synthesis of natural objects
Exmo
Computer-mediated communication of structured knowledge
Fractales
Fractals, Complex Models and Artificial Evolution
Galaad
Géométrie, Algèbre, Algorithmes
Gamma
Génération Automatique de Maillages et Méthodes d'Adaptation
Gemo
Management of Data and Knowledge Distributed Over the Web
Geometrica
Geometric Computing
Grand-large
Calcul parallèle et distribué à grande échelle
Gyroweb
Dynamic graphs and large networks
Helix
Informatics and genomics
Hipercom
HIgh PERformance COMmunication
I3d
3D Interaction
Icare
Instrumentation, Commande et Architecture des Robots Évolués
Idopt
Systems optimization and identification in physics and environment
Imara
Informatique, Mathématiques et Automatique pour la Route Automatisée
Imedia
Images and Multimedia : Indexing, Retrieval and Navigation
In-situ
Interaction Située
Iparla
Visualization and interaction for complex data, on mobile and connected devices
Is2
Inférence statistique pour l'industrie et la santé
Isa
Models, algorithms and geometry for computer graphics and vision
Jacquard
Weaving of Software Components
Lande
Logiciel : ANalyse et DEveloppement
Lear
Learning and Recognition in Vision
Led
Langue et Dialogue
Lemme
Software and mathematics
Logical
Logic and Calculus
Macs
Modeling, Analysis and Control for Computational Structural Dynamics
Macsi
Modeling, Analysis and Control of Industrial Systems
Madynes
Management of Dynamic Networks and Services
Maia
MAchine Intelligente Autonome
Mascotte
Méthodes Algorithmiques, Simulation et Combinatoire pour l'OpTimisation des TElécommunications
Mathfi
Financial Mathematics
Maxplus
Algèbres max-plus et mathématiques de la décision
Merlin
Methods for Interactive Software Ergonomics
Metalau
Methods, Algorithms and Software for Systems and Control
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
Methods and Engineering of Multiscale Computing from Atom to Continuum
Mimosa
Migration et Mobilité: Sémantique et Applications
Mirages
Object Manipulation in Image Sequences for Augmented Reality and Special Effects
Miro
Objects, Types, and Prototypes: Semantics and Validation
Mistral
Modeling of Computer Systems and Telecommunication Networks: Research and Software Development
Modbio
Modèles Informatiques en Biologie Moléculaire
Moscova
Mobility, Security, Concurrency, Verification and Analysis
Mostrare
Modeling Tree Structures, Machine Learning, and Information Extraction
Movi
Computational models for computer vision
Numopt
Numerical Optimization
Oasis
Objets Actifs, Sémantique, Internet et Sécurité
Obasco
OBjects, ASpects and COmponents
Odyssee
Biological and Computer Vision
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
Optimization and Control, Numerical Algorithms and Integration of Multidisciplinary Complex P.D.E. Systems
Orion
Intelligent Environments for Problem Solving by Autonomous Systems
Orpailleur
Extraction de connaissances
Ostre
Optimization of embedded real-time systems
Paris
Programming Parallel and Distributed Systems for Large Scale Numerical Simulation Applications
Parole
Analysis, Perception and speech recognition
Planete
Protocoles et Applications pour l'Internet
Popart
Programming and OPerating Systems for Applications in Real-Time
Pops
System & Networking for Portable Objects Proved to be Safe
Preval
Probabilités, modélisation et évaluation de systèmes
Prima
Perception, recognition and integration for interactive environments
Protheo
Constraints, Mechanized Deduction and Proofs of Software Properties
R2d2
Reconfigurable and Retargetable Digital Devices
Rap
Réseaux, Algorithmes et Probabilités
Regal
Resource management in large scale distributed systems
Remap
Regularity and Massive Parallelism
Reso
Optimized protocols and software for high performance networks
Reves
Rendering and Virtual Environments with Sound
Runtime
Efficient Runtime Systems for Parallel Architectures
S4
System Synthesis and Supervision, Scenarios
Sagep
Simulation, analysis and management of production systems
Sardes
System Architecture for Reflective Distributed Computing Environments
Scalapplix
High Performance Schemes and Algorithms for Complex Scientific Applications
Scilab
Equipe opérationnelle du consortium Scilab
Secsi
Sécurité des systèmes d'information
Siames
Image Synthesis, Animation, Modeling and Simulation
Sigma2
Signaux, modèles et algorithmes
Signes
Linguistic signs, grammar and meaning: computational logic for natural language
Smash
Simulation, Modelization and Analysis of Heterogeneous Systems in mechanical engineering
Smis
Secured Mediation Systems
Sosso
Applications and tools for automatic control
Spaces
Solving Problems through Algebraic Computation and Efficient Software
Symbiose
SYstèmes et Modèles BIOlogiques, BIOinformatique et SEquences
Tanc
Théorie algorithmique des nombres pour la cryptologie
Temics
TraitEment, Modélisation d'Images et CommunicationS
Texmex
Efficient Exploitation of Multimedia Documents: exploring, indexing and searching in very large databases
Tick
Theory and Practice of Synchronous Reactive Systems
Trec
Network Theory and Communications
Trio
Temps Réel et InterOpérabilité (Real Time and InterOperability)
Triskell
Reliable and efficient component based sofware engineering
Tropics
Transformations et Outils Informatiques pour le Calcul Scientifique
Vasy
Validation of Systems
Vertecs
Verification models and techniques applied to the Testing and Control of reactive Systems
Vista
Vision Spatio-Temporelle et Active
Wam
Web, Adaptation and Multimedia