2005 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 - Algorithms for Dynamic Dependable Systems 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. alice - Geometry and Lighting PDF
10. alien - ALgèbre pour Identification et Estimation Numériques PDF
11. anubis - Tools of automatic control for scientific computing, Models and Methods in Biomathematics PDF
12. aoste - Models and Methods for the Analysis and Optimization of Systems with Real-time and Embedded Constraints PDF
13. apics - Analysis and Problems of Inverse type in Control and Signal processing PDF
14. ares - Architecture de réseaux de services PDF
15. ariana - Inverse Problems in Earth Observation and Cartography PDF
16. arles - Software Architectures and Distributed Systems PDF
17. armor - Architectures et Modèles de Réseaux PDF
18. artis - Acquisition, Representation and Transformations for Image Synthesis PDF
19. arénaire - Computer Arithmetic PDF
20. asclepios - Analysis and Simulation of Biomedical Images PDF
21. aspi - Applications statistiques des systèmes de particules en interaction PDF
22. atlas - Complex Data Management in Distributed Systems PDF
23. atoll - Atelier d'Outils Logiciels pour le Langage naturel PDF
24. axis - User-Centered Design, Improvement and Analysis of Information Systems PDF

B

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

C

1. c afé - 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 - Scientific Computing and Visualization PDF
5. caps - Compilation, architectures des processeurs superscalaires et spécialisés PDF
6. cassis - Combining approaches for the security of infinite state systems PDF
7. clime - Couplage de la donnée 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 - Geometric control for nonlinear systems 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 - Robust Control Of Infinite Dimensional Systems and Applications PDF
18. cortex - Neuromimetic Intelligence PDF
19. cristal - Type-safe programming, modularity and compilation PDF

D

1. dart - Dataparallelism for Real-Time PDF
2. demar - DEambulation et Mouvement ARtificiel PDF
3. digiplante - Modeling plants growth and plants architecture PDF
4. distribcom - Distributed and Iterative Algorithms in Management and Signal Processing for Telecommunications PDF
5. dolphin - Discrete multi-objective Optimization for Large scale Problems with Hybrid dIstributed techNiques PDF
6. 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. eiffel2 - Cognition and Cooperation in Design PDF
4. espresso - Environnement de spécification de programmes réactifs synchrones PDF
5. estime - Parameter Estimation and Modeling in Heterogeneous Media PDF
6. evasion - Virtual environments for animation and image synthesis of natural objects PDF
7. everest - Environnements de vérification et sécurité du logiciel PDF
8. 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. graal - Algorithms and Scheduling for Distributed Heterogeneous Platforms PDF
6. grand-large - Calcul parallèle et distribué à grande échelle PDF
7. 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 and Virtual Reality 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 - Situated Interaction PDF
7. iparla - Visualization and interaction for complex data on mobile and connected devices PDF
8. ipso - Invariant Preserving Solvers PDF

J

1. jacquard - Weaving of Software Components PDF

L

1. lagadic - Visual servoing in robotics, computer vision, and augmented reality PDF
2. lande - Logiciel : ANalyse et DEveloppement PDF
3. lear - Learning and Recognition in Vision PDF
4. led - Language and Dialog PDF
5. logical - Logic and Computation 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. magique3d - Modélisation avancée en Géophysique 3D PDF
6. magrite - Visual Augmentation of Complex Environments PDF
7. maia - Autnomous and Intelligent MAchine PDF
8. marelle - Mathematics, Reasoning, and Software PDF
9. mascotte - Méthodes Algorithmiques, Simulation et Combinatoire pour l'OpTimisation des TElécommunications PDF
10. mathfi - Financial Mathematics PDF
11. maxplus - Algèbres max-plus et mathématiques de la décision/Max-plus algebras and mathematics of decision PDF
12. mc2 - Modeling, control and computations : applications to fluid mechanics and laser-plasma interaction. PDF
13. mere - Modelling and Water Resources PDF
14. merlin - Methods for Interactive Software Ergonomics PDF
15. mescal - Middleware Efficiently SCALable PDF
16. metalau - Méthodes, algorithmes et logiciels pour l'automatique PDF
17. metiss - Modélisation et Expérimentation pour le Traitement des Informations et des Signaux Sonores PDF
18. micmac - Methods and Engineering of Multiscale Computing from Atom to Continuum PDF
19. mimosa - Migration et Mobilité: Sémantique et Applications PDF
20. mirages - Object Manipulation in Image Sequences for Augmented Reality and Special Effects PDF
21. mistis - Modelling and Inference of Complex and Structured Stochastic Systems PDF
22. moais - Multi-programmation et Ordonnancement pour les Applications Interactives de Simulation PDF
23. modbio - Computational Models in Molecular Biology PDF
24. moscova - Mobility, Security, Concurrency, Verification and Analysis PDF
25. mosel - Proof-oriented development of computer-based systems PDF
26. mostrare - Modeling Tree Structures, Machine Learning, and Information Extraction PDF
27. 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. opale - Optimization and Control, Numerical Algorithms and Integration of Multidisciplinary Complex P.D.E. Systems PDF
6. orion - Intelligent Environments for Problem Solving by Autonomous Systems PDF
7. orpailleur - Knowledge Extraction 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. parsifal - Preuves Automatiques et Raisonnement sur des SpécIFicAtions Logiques PDF
4. phoenix - Programming Language Technology For Communication Services PDF
5. planete - Protocoles et Applications pour l'Internet PDF
6. poems - Wave propagation: Mathematical Analysis and Simulation PDF
7. pop art - Programming and OPerating Systems for Applications in Real-Time PDF
8. pops - System & Networking for Portable Objects Proved to be Safe PDF
9. preval - Probabilités, modélisation et évaluation de systèmes PDF
10. prima - Perception, recognition and integration for interactive environments PDF
11. protheo - Constraints, Mechanized Deduction and Proofs of Software Properties PDF
12. 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, Modelling 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. vegas - Effective Geometric Algorithms for Visibility and Surfaces PDF
3. vertecs - Verification models and techniques applied to the Testing and Control of reactive Systems PDF
4. virtual plants - Modeling plant morphogenesis from genes to phenotype PDF
5. visages - Vision Action et Gestion d'informations en Santé PDF
6. vista - Vision Spatio-Temporelle et Apprentissage PDF

W

1. wam - Web, Adaptation and Multimedia PDF