logo inria

Retour à la page d'accueil

rapport annuel 2003 Le rapport annuel 2003

-----------------------
INRIA - Rapports d'activité 2003

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

Liste alphabétique

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 Dnvionients 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