2003 Rapports d'activité des équipes Inria

A

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

B

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

C

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

D

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

E

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

F

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

G

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

H

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

I

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

J

1. jacquard - Weaving of Software Components PDF

L

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

M

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

N

1. numopt - Numerical Optimization PDF

O

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

P

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

R

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

S

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

T

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

V

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

W

1. wam - Web, Adaptation and Multimedia PDF