EN FR
EN FR

2003 Inria teams activity reports

The Inria's Research Teams produce an annual Activity Report presenting their activities and their results of the year. These reports include the team members, the scientific program, the software developed by the team and the new results of the year. The report also describes the grants, contracts and the activities of dissemination and teaching. Finally, the report gives the list of publications of the year.

A

  1. a3 - Analyse Avancée Appliquée à l'optimisation des codes PDF XML
  2. acacia - Acquisition des Connaissances pour l'Assistance à la Conception par Interaction entre Agents PDF XML
  3. aces - Ambient Computing and Embedded Systems PDF XML
  4. adage - Applying Discrete Algorithms to GEnomics Algorithmique Discrète et ses Applications à la GÉnomique PDF XML
  5. adept - Asynchronous Distributed Environments, Protocols, and Time PDF XML
  6. air2 - Image processing and dynamic satellite data PDF XML
  7. aladin - Advanced Algorithms for Scientific Computing PDF XML
  8. alcove - Interacting with complex objects in collaborative virtual environment PDF XML
  9. algo - Algorithms PDF XML
  10. algorille - Algorithms for the Grid PDF XML
  11. apache - Algorithmique Parallèle, Programmation et Répartition de Charge PDF XML
  12. ares - Architecture de réseaux de services PDF XML
  13. ariana - Inverse Problems in Earth Observation and Cartography PDF XML
  14. arles - Software Architectures and Distributed Systems PDF XML
  15. armor - Architectures et Modèles de Réseaux PDF XML
  16. artis - Acquisition, Representation and Transformations for Image Synthesis PDF XML
  17. arénaire - Computer Arithmetic PDF XML
  18. atlas - Complex Data Management in Distributed Systems PDF XML
  19. atoll - Atelier d'Outils Logiciels pour le Langage naturel PDF XML
  20. axis - User-Centered Design, Improvement and Analysis of Information Systems PDF XML

B

  1. bang - Biomédical, Analyse Numérique et Géophysique PDF XML
  2. bipop - Modelling, Simulating, Controlling Non-Regular Dynamical Systems PDF XML

C

  1. café - Calcul Formel et Équations PDF XML
  2. caiman - Calcul scientifique, modélisation et analyse numérique PDF XML
  3. calligramme - Linear Logic, Proof Nets and Categorial Grammars PDF XML
  4. calvi - Calcul Scientifique et Visualisation PDF XML
  5. caps - Compilation, architectures des processeurs superscalaires et spécialisés PDF XML
  6. cassis - Combinaison d'Approches pour la Sécurité des Systèmes InfiniS PDF XML
  7. codes - Codage et cryptographie PDF XML
  8. comore - Modelling and Control of Renewable Resources PDF XML
  9. compose - Design and Development of Adaptive Programs and Systems PDF XML
  10. compsys - Compilation and Embedded Computing Systems PDF XML
  11. conge - Contrôle géométrique des systèmes non linéaires PDF XML
  12. contraintes - Constraint Programming PDF XML
  13. coprin - Constraints solving, OPtimization, Robust INterval analysis PDF XML
  14. cordial - Man-machine oral and multimodal communication PDF XML
  15. corida - Contrôle Robuste Infini-Dimensionnel et Applications PDF XML
  16. cortex - Neuromimetic Intelligence PDF XML
  17. cosivie - COuplage de modèles pour la SImulation numérique de problèmatiques enVIronnementalEs PDF XML
  18. cristal - Type-safe programming, modularity and compilation PDF XML

D

  1. dart - Dataparallelism for Real-Time PDF XML
  2. dream - Diagnosis, REcommending Actions and Modelling PDF XML

E

  1. e-motion - Geometry and Probability for Motion and Action PDF XML
  2. ecoo - Middleware for supporting cooperative work through Internet PDF XML
  3. eiffel - Cognition and Cooperation in Design PDF XML
  4. epidaure - Epidaure, Projet Images, Diagnostic AUtomatique, RobotiquE Medical Imaging & Robotics PDF XML
  5. espresso - Environnement de Spécification de Programmes RéactifS SynchrOnes PDF XML
  6. estime - Parameter Estimation and Modeling in Heterogeneous Media PDF XML
  7. evasion - Virtual environments for animation and image synthesis of natural objects PDF XML
  8. exmo - Computer-mediated communication of structured knowledge PDF XML

F

  1. fractales - Fractals, Complex Models and Artificial Evolution PDF XML

G

  1. galaad - Géométrie, Algèbre, Algorithmes PDF XML
  2. gamma - Génération Automatique de Maillages et Méthodes d'Adaptation PDF XML
  3. gemo - Management of Data and Knowledge Distributed Over the Web PDF XML
  4. geometrica - Geometric Computing PDF XML
  5. grand-large - Calcul parallèle et distribué à grande échelle PDF XML
  6. gyroweb - Dynamic graphs and large networks PDF XML

H

  1. helix - Informatics and genomics PDF XML
  2. hipercom - HIgh PERformance COMmunication PDF XML

I

  1. i3d - 3D Interaction PDF XML
  2. icare - Instrumentation, Commande et Architecture des Robots Évolués PDF XML
  3. idopt - Systems optimization and identification in physics and environment PDF XML
  4. imara - Informatique, Mathématiques et Automatique pour la Route Automatisée PDF XML
  5. imedia - Images and Multimedia: Indexing, Retrieval and Navigation PDF XML
  6. in-situ - Interaction Située PDF XML
  7. iparla - Visualization and interaction for complex data, on mobile and connected devices PDF XML
  8. is2 - Inférence statistique pour l'industrie et la santé PDF XML
  9. isa - Models, algorithms and geometry for computer graphics and vision PDF XML

J

  1. jacquard - Weaving of Software Components PDF XML

L

  1. l&d - Langue et Dialogue PDF XML
  2. lande - Logiciel : ANalyse et DEveloppement PDF XML
  3. lear - Learning and Recognition in Vision PDF XML
  4. lemme - Software and mathematics PDF XML
  5. logical - Logic and Calculus PDF XML

M

  1. macs - Modeling, Analysis and Control for Computational Structural Dynamics PDF XML
  2. macsi - Modeling, Analysis and Control of Industrial Systems PDF XML
  3. madynes - Management of Dynamic Networks and Services PDF XML
  4. maia - MAchine Intelligente Autonome PDF XML
  5. mascotte - Méthodes Algorithmiques, Simulation et Combinatoire pour l'OpTimisation des TElécommunications PDF XML
  6. mathfi - Financial Mathematics PDF XML
  7. maxplus - Algèbres max-plus et mathématiques de la décision PDF XML
  8. merlin - Methods for Interactive Software Ergonomics PDF XML
  9. metalau - Methods, Algorithms and Software for Systems and Control PDF XML
  10. metiss - Modélisation et Expérimentation pour le Traitement des Informations et des Signaux Sonores PDF XML
  11. miaou - Mathématiques et Informatique de l'Automatique et de l'Optimisation pour l'Utilisateur PDF XML
  12. micmac - Methods and Engineering of Multiscale Computing from Atom to Continuum PDF XML
  13. mimosa - Migration et Mobilité: Sémantique et Applications PDF XML
  14. mirages - Object Manipulation in Image Sequences for Augmented Reality and Special Effects PDF XML
  15. mirÓ - Objects, Types, and Prototypes: Semantics and Validation PDF XML
  16. mistral - Modeling of Computer Systems and Telecommunication Networks: Research and Software Development PDF XML
  17. modbio - Modèles Informatiques en Biologie Moléculaire PDF XML
  18. moscova - Mobility, Security, Concurrency, Verification and Analysis PDF XML
  19. mostrare - Modeling Tree Structures, Machine Learning, and Information Extraction PDF XML
  20. movi - Computational models for computer vision PDF XML

N

  1. numopt - Numerical Optimization PDF XML

O

  1. oasis - Objets Actifs, Sémantique, Internet et Sécurité PDF XML
  2. obasco - OBjects, ASpects and COmponents PDF XML
  3. odyssee - Biological and Computer Vision PDF XML
  4. omega - Méthodes numériques probabilistes pour les équations aux dérivées partielles et les mathématiques financières PDF XML
  5. ondes - Modélisation et Simulation de Phénomènes de Propagation d'Ondes PDF XML
  6. opale - Optimization and Control, Numerical Algorithms and Integration of Multidisciplinary Complex P.D.E. Systems PDF XML
  7. orion - Intelligent Environments for Problem Solving by Autonomous Systems PDF XML
  8. orpailleur - Extraction de connaissances PDF XML
  9. ostre - Optimization of embedded real-time systems PDF XML

P

  1. paris - Programming Parallel and Distributed Systems for Large Scale Numerical Simulation Applications PDF XML
  2. parole - Analysis, Perception and speech recognition PDF XML
  3. planete - Protocoles et Applications pour l'Internet PDF XML
  4. pop art - Programming and OPerating Systems for Applications in Real-Time PDF XML
  5. pops - System & Networking for Portable Objects Proved to be Safe PDF XML
  6. preval - Probabilités, modélisation et évaluation de systèmes PDF XML
  7. prima - Perception, recognition and integration for interactive environments PDF XML
  8. protheo - Constraints, Mechanized Deduction and Proofs of Software Properties PDF XML

R

  1. r2d2 - Reconfigurable and Retargetable Digital Devices PDF XML
  2. rap - Réseaux, Algorithmes et Probabilités PDF XML
  3. regal - Resource management in large scale distributed systems PDF XML
  4. remap - Regularity and Massive Parallelism PDF XML
  5. reso - Optimized protocols and software for high performance networks PDF XML
  6. reves - Rendering and Virtual Environments with Sound PDF XML
  7. runtime - Efficient Runtime Systems for Parallel Architectures PDF XML

S

  1. s4 - System Synthesis and Supervision, Scenarios PDF XML
  2. sagep - Simulation, analysis and management of production systems PDF XML
  3. sardes - System Architecture for Reflective Distributed Computing Environments PDF XML
  4. scalapplix - High Performance Schemes and Algorithms for Complex Scientific Applications PDF XML
  5. scilab - Equipe opérationnelle du consortium Scilab PDF XML
  6. secsi - Sécurité des systèmes d'information PDF XML
  7. siames - Image Synthesis, Animation, Modeling and Simulation PDF XML
  8. sigma2 - Signaux, modèles et algorithmes PDF XML
  9. signes - Linguistic signs, grammar and meaning: computational logic for natural language PDF XML
  10. smash - Simulation, Modelization and Analysis of Heterogeneous Systems in mechanical engineering PDF XML
  11. smis - Secured Mediation Systems PDF XML
  12. sosso - Applications and tools for automatic control PDF XML
  13. spaces - Solving Problems through Algebraic Computation and Efficient Software PDF XML
  14. sydoco - SYstèmes Dynamiques, Optimisation et Commande Optimale PDF XML
  15. symbiose - SYstèmes et Modèles BIOlogiques, BIOinformatique et SEquences PDF XML

T

  1. tanc - Théorie algorithmique des nombres pour la cryptologie PDF XML
  2. temics - TraitEment, Modélisation d'Images et CommunicationS PDF XML
  3. texmex - Efficient Exploitation of Multimedia Documents: exploring, indexing and searching in very large databases PDF XML
  4. tick - Theory and Practice of Synchronous Reactive Systems PDF XML
  5. trec - Network Theory and Communications PDF XML
  6. trio - Temps Réel et InterOpérabilité (Real Time and InterOperability) PDF XML
  7. triskell - Reliable and efficient component based sofware engineering PDF XML
  8. tropics - Transformations et Outils Informatiques pour le Calcul Scientifique PDF XML

V

  1. vasy - Validation of Systems PDF XML
  2. vertecs - Verification models and techniques applied to the Testing and Control of reactive Systems PDF XML
  3. vista - Vision Spatio-Temporelle et Active PDF XML

W

  1. wam - Web, Adaptation and Multimedia PDF XML