2006 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. adept - Algorithms for Dynamic Dependable Systems PDF
4. alchemy - Architectures, Languages and Compilers to Harness the End of Moore Years PDF
5. alcove - Interacting with complex objects in collaborative virtual environments PDF
6. algo - Algorithms PDF
7. algorille - Algorithms for the Grid PDF
8. alice - Geometry and Lighting PDF
9. alien - ALgèbre pour Identification et Estimation Numériques PDF
10. anubis - Models and Methods in Biomathematics, Tools of automatic control and scientific computing PDF
11. aoste - Models and Methods for the Analysis and Optimization of Systems with Real-time and Embedded Constraints 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. asap - As Scalable As Possible:Foundations of large-scale dynamic systems 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
3. bunraku - Perception, decision and action of real and virtual humans in virtual environments and impact on real environments 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. contraintes - Constraint Programming PDF
14. coprin - Constraints solving, OPtimization, Robust INterval analysis PDF
15. cordial - Man-machine oral and multimodal communication PDF
16. corida - Robust Control Of Infinite Dimensional Systems and Applications PDF
17. cortex - Neuromimetic Intelligence PDF

D

1. dart - Dataparallelism for Real-Time PDF
2. demar - DEambulation et Mouvement ARtificiel PDF
3. digiplante - Stochastic, functional and interactive models for plant growth and architecture PDF
4. distribcom - Distributed Models and Algorithms for the Management of Telecommunication Systems 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 - Modélisation de systèmes réactifs polychrones 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 - 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. gallium - Programming languages, types, compilation and proofs PDF
3. gamma - Génération Automatique de Maillages et Méthodes d'Adaptation PDF
4. gemo - Management of Data and Knowledge Distributed Over the Web PDF
5. geometrica - Geometric Computing PDF
6. graal - Algorithms and Scheduling for Distributed Heterogeneous Platforms PDF
7. grand-large - Calcul parallèle et distribué à grande échelle PDF
8. gyroweb - Graphs, networks and algorithms 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. imara - Informatique, Mathématiques et Automatique pour la Route Automatisée PDF
4. imedia - Images and Multimedia : Indexing, Retrieval and Navigation PDF
5. in-situ - Situated Interaction PDF
6. iparla - Computer Graphics and 3D Interaction for Mobile Users PDF
7. 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 - Langue et Dialogue 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. magique-3d - Modélisation avancée en Géophysique 3D PDF
6. magnome - Models and Algorithms for the Genome PDF
7. magrit - Visual Augmentation of Complex Environments PDF
8. maia - Autonomous and Intelligent MAchine PDF
9. marelle - Mathematics, Reasoning, and Software PDF
10. mascotte - Méthodes Algorithmiques, Simulation et Combinatoire pour l'OpTimisation des TElécommunications PDF
11. mathfi - Financial Mathematics PDF
12. maxplus - Algèbres max-plus et mathématiques de la décision/Max-plus algebras and mathematics of decision PDF
13. mc2 - Modeling, control and computations: applications to fluid mechanics and laser-plasma interaction. PDF
14. mere - Modelling and Water Resources PDF
15. merlin - Methods for Interactive Software Ergonomics PDF
16. mescal - Middleware Efficiently SCALable PDF
17. metalau - Méthodes, algorithmes et logiciels pour l'automatique PDF
18. metiss - Modélisation et Expérimentation pour le Traitement des Informations et des Signaux Sonores PDF
19. micmac - Methods and Engineering of Multiscale Computing from Atom to Continuum PDF
20. mimosa - Migration et Mobilité: Sémantique et Applications PDF
21. mirages - Object Manipulation in Image Sequences for Augmented Reality and Special Effects PDF
22. mistis - Modelling and Inference of Complex and Structured Stochastic Systems PDF
23. moais - Multi-programmation et Ordonnancement pour les Applications Interactives de Simulation PDF
24. modbio - Computational Models in Molecular Biology PDF
25. moscova - Mobility, Security, Concurrency, Verification and Analysis PDF
26. mosel - Proof-oriented development of computer-based systems PDF
27. mostrare - Modeling Tree Structures, Machine Learning, and Information Extraction PDF
28. moÏse - Modelling, Observations, Identification for Environmental Sciences 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 Discovery guided by Domain Knowledge 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. perception - Interpretation and Modelling of Images and Videos PDF
5. phoenix - Programming Language Technology For Communication Services PDF
6. planete - Protocoles et Applications pour l'Internet PDF
7. poems - Wave propagation: Mathematical Analysis and Simulation PDF
8. pop art - Programming and OPerating systems for Applications in Real-Time PDF
9. pops - System & Networking for Portable Objects Proved to be Safe PDF
10. preval - Probabilités, modélisation et évaluation de systèmes PDF
11. prima - Perception, recognition and integration for interactive environments PDF
12. protheo - Constraints, Mechanized Deduction and Proofs of Software Properties PDF
13. 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. sequel - Sequential Learning PDF
10. sequoia - Algorithms for large-scale sequence analysis PDF
11. signes - Linguistic signs, grammar and meaning: computational logic for natural language PDF
12. simpaf - SImulation and Modelling for PArticles and Fluids PDF
13. sisthem - Statistical Inference for STructural HEalth Monitoring PDF
14. smash - Simulation, Modeling and Analysis of Heterogeneous Systems in mechanical engineering PDF
15. smis - Secured and Mobile Information Systems PDF
16. sosso2 - Applications and tools for automatic control PDF
17. spaces - Solving Problems through Algebraic Computation and Efficient Software PDF
18. sydoco - SYstèmes Dynamiques, Optimisation et Commande Optimale PDF
19. 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 at different scales, from genes to phenotypes 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