2004 Rapports d'activité des équipes Inria

A

1. acacia - Acquisition des Connaissances pour l'Assistance à la Conception par Interaction entre Agents PDF
2. aces - Ambient Computing and Embedded Systems PDF
3. adage - Applying Discrete Algorithms to GEnomics Algorithmique Discrète et ses Applications à la GÉnomique PDF
4. adept - Asynchronous Distributed Environments, Protocols, and Time PDF
5. alchemy - Architectures, Languages and Compilers to Harness the End of Moore Years PDF
6. alcove - Interacting with complex objects in collaborative virtual environments PDF
7. algo - Algorithms PDF
8. algorille - Algorithms for the Grid PDF
9. anubis - Tools of automatic control for scientific computing, Models and Methods in Biomathematics PDF
10. aoste - Models and Methods for the Analysis and Optimization of Systems with Real-time and Embedded Constraints PDF
11. apache - Algorithmique Parallèle, Programmation et Répartition de Charge PDF
12. apics - Analysis and Problems of Inverse type in Control and Signal processing PDF
13. ares - Architecture de réseaux de services PDF
14. ariana - Inverse Problems in Earth Observation and Cartography PDF
15. arles - Software Architectures and Distributed Systems PDF
16. armor - Architectures et Modèles de Réseaux PDF
17. artis - Acquisition, Representation and Transformations for Image Synthesis PDF
18. arénaire - Computer Arithmetic PDF
19. aspi - Applications statistiques des systèmes de particules en interaction PDF
20. atlas - Complex Data Management in Distributed Systems PDF
21. atoll - Atelier d'Outils Logiciels pour le Langage naturel PDF
22. 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 - Modeling, 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. clime - Couplage de la données environnementale et des modèles de simulation numérique pour une intégration logicielle PDF
8. codes - Codage et cryptographie PDF
9. comore - Modelling and Control of Renewable Resources PDF
10. complex - Evolution Artificielle et Fractales PDF
11. compsys - Compilation and Embedded Computing Systems PDF
12. comète - Concurrence, Mobilité et Transactions PDF
13. conge - Contrôle géométrique des systèmes non linéaires PDF
14. contraintes - Constraint Programming PDF
15. coprin - Constraints solving, OPtimization, Robust INterval analysis PDF
16. cordial - Man-machine oral and multimodal communication PDF
17. corida - Contrôle Robuste des Systèmes Infini-Dimensionnels et Applications PDF
18. cortex - Neuromimetic Intelligence PDF
19. cosivie - COuplage de modèles pour la SImulation numérique de problèmatiques enVIronnementalEs PDF
20. cristal - Type-safe programming, modularity and compilation PDF

D

1. dart - Dataparallelism for Real-Time PDF
2. demar - DEambulation et Mouvement ARtificiel PDF
3. distribcom - Distributed and Iterative Algorithms in Management and Signal Processing for Telecommunications PDF
4. dolphin - Discrete multi-objective Optimization for Large scale Problems with Hybrid dIstributed techNiques PDF
5. dream - Diagnosis, REcommending Actions and Modeling 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 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. everest - Environnements de vérification et sécurité du logiciel PDF
9. exmo - Computer-mediated communication of structured knowledge 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. ipso - Invariant Preserving Solvers 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. lagadic - Visual servoing in robotics, computer vision, and computer animation PDF
3. lande - Logiciel : ANalyse et DEveloppement PDF
4. lear - Learning and Recognition in Vision PDF
5. lemme - Software and mathematics PDF
6. 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. maestro - Models for Performance Analysis and Control of Networks PDF
5. maia - MAchine Intelligente Autonome PDF
6. mascotte - Méthodes Algorithmiques, Simulation et Combinatoire pour l'OpTimisation des TElécommunications PDF
7. mathfi - Financial Mathematics PDF
8. maxplus - Algèbres max-plus et mathématiques de la décision/Max-plus algebras and mathematics of decision PDF
9. mere - Modelling and Water Ressources PDF
10. merlin - Methods for Interactive Software Ergonomics PDF
11. metalau - Méthodes, algorithmes et logiciels pour l'automatique PDF
12. metiss - Modélisation et Expérimentation pour le Traitement des Informations et des Signaux Sonores PDF
13. micmac - Methods and Engineering of Multiscale Computing from Atom to Continuum PDF
14. mimosa - Migration et Mobilité: Sémantique et Applications PDF
15. mirages - Object Manipulation in Image Sequences for Augmented Reality and Special Effects PDF
16. mistis - Modelling and Inference of Complex and Structured Stochastic Systems PDF
17. modbio - Computational Models in Molecular Biology PDF
18. moscova - Mobility, Security, Concurrency, Verification and Analysis PDF
19. mosel - Proof-oriented development of computer-based systems PDF
20. mostrare - Modeling Tree Structures, Machine Learning, and Information Extraction PDF
21. movi - Computational models for computer vision 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 - Modeling and Simulation of Wave Propagation Phenomena 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

P

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

Q

1. qgar - Querying Graphics Through Analysis and Recognition 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. reo - Numerical simulation of biological flows 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. sage - Simulations and Algorithms on Grids for Environmental Applications PDF
3. salsa - Solvers for ALgebraic Systems and Applications PDF
4. sardes - System Architecture for Reflective Distributed Computing Environments PDF
5. scalapplix - High Performance Schemes and Algorithms for Complex Scientific Applications PDF
6. scilab - Equipe opérationnelle du consortium Scilab PDF
7. secsi - Sécurité des systèmes d'information PDF
8. select - Model Selection and Statistical Learning PDF
9. siames - Image Synthesis, Animation, Modeling and Simulation PDF
10. signes - Linguistic signs, grammar and meaning: computational logic for natural language PDF
11. sisthem - Statistical Inference for STructural HEalth Monitoring PDF
12. smash - Simulation, Modelization and Analysis of Heterogeneous Systems in mechanical engineering PDF
13. smis - Secured and Mobile Information Systems PDF
14. sosso2 - Applications and tools for automatic control PDF
15. spaces - Solving Problems through Algebraic Computation and Efficient Software PDF
16. sydoco - SYstèmes Dynamiques, Optimisation et Commande Optimale PDF
17. symbiose - SYstèmes et Modèles BIOlogiques, BIOinformatique et SEquences PDF

T

1. tanc - Théorie algorithmique des nombres pour la cryptologie PDF
2. tao - Thème apprentissage et optimisation PDF
3. temics - TraitEment, Modélisation d'Images et CommunicationS PDF
4. texmex - Efficient Exploitation of Multimedia Documents: Exploring, Indexing and Searching in Very Large Databases PDF
5. trec - Network Theory and Communications PDF
6. trio - Temps Réel et InterOpérabilité (Real Time and InterOperability) PDF
7. triskell - Model Driven Engineering for Component Based Software 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. visages - Vision Action et Gestion d'informations en Santé PDF
4. vista - Vision Spatio-Temporelle et Apprentissage PDF

W

1. wam - Web, Adaptation and Multimedia PDF