2010 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.


  1. abs - Algorithms, Biology, Structure PDF XML
  2. abstraction - Abstract Interpretation and Static Analysis PDF ePUB XML
  3. aces - Ambient computing and embedded systems PDF ePUB XML
  4. adam - Adaptive Distributed Applications and Middleware PDF ePUB XML
  5. adept - Algorithms for Dynamic Dependable Systems PDF ePUB XML
  6. alchemy - Architectures, Languages and Compilers to Harness the End of Moore Years PDF ePUB XML
  7. alea - Advanced Learning Evolutionary Algorithms PDF ePUB XML
  8. alf - Amdahl's Law is Forever PDF ePUB XML
  9. algorille - Algorithms for the Grid PDF ePUB XML
  10. algorithms - Algorithms PDF ePUB XML
  11. alice - Geometry and Light PDF ePUB XML
  12. alien - Algebra for Digital Identification and Estimation PDF ePUB XML
  13. alpage - Large-scale deep linguistic processing PDF ePUB XML
  14. amazones - Ambient Middleware Architectures: Service-Oriented, Networked, Efficient and Secured PDF ePUB XML
  15. amib - Algorithms and Models for Integrative Biology PDF ePUB XML
  16. anubis - Tools of automatic control for scientific computing, Models and Methods in Biomathematics PDF ePUB XML
  17. aoste - Models and methods of analysis and optimization for systems with real-time and embedding constraints PDF ePUB XML
  18. apics - Analysis and Problems of Inverse type in Control and Signal processing PDF ePUB XML
  19. ariana - Inverse Problems in Earth Observation and Cartography PDF ePUB XML
  20. arles - Software architectures and distributed systems PDF ePUB XML
  21. arobas - Advanced Robotics and Autonomous Systems PDF ePUB XML
  22. artis - Acquisition, representation and transformations for image synthesis PDF ePUB XML
  23. arénaire - Computer arithmetic PDF ePUB XML
  24. asap - As Scalable As Possible: foundations of large scale dynamic distributed systems PDF ePUB XML
  25. asclepios - Analysis and Simulation of Biomedical Images PDF ePUB XML
  26. ascola - Aspect and composition languages PDF ePUB XML
  27. aspi - Applications of interacting particle systems to statistics PDF ePUB XML
  28. ateams - Analysis and Transformation based on rEliAble tool coMpositionS PDF ePUB XML
  29. athena - Computational Imaging of the Central Nervous System PDF ePUB XML
  30. atlanmod - Modeling Technologies for Software Production, Operation, and Evolution PDF ePUB XML
  31. atlas - Complex Data Management in Distributed Systems PDF ePUB XML
  32. aviz - Analysis and Visualization PDF ePUB XML
  33. axis - Usage-centered design, analysis and improvement of information systems PDF ePUB XML


  1. bacchus - Parallel tools for Numerical Algorithms and Resolution of essentially Hyperbolic problems PDF ePUB XML
  2. bamboo - An algorithmic view on genomes, cells, and environments PDF ePUB XML
  3. bang - Nonlinear Analysis for Biology and Geophysical flows PDF ePUB XML
  4. bipop - Nonsmooth Dynamics and Optimization PDF ePUB XML
  5. bunraku - Perception, decision and action of real and virtual humans in virtual environments and impact on real environments PDF ePUB XML


  1. cad - Computer Aided Design PDF ePUB XML
  2. cairn - Energy Efficient Computing Architectures PDF ePUB XML
  3. calvi - Scientific Computation and Visualization PDF ePUB XML
  4. camus - Compilation pour les Architectures MUlti-coeurS PDF ePUB XML
  5. caramel - Cryptology, Arithmetic: Hardware and Software PDF ePUB XML
  6. carte - Theoretical adverse computations, and safety PDF ePUB XML
  7. cascade - Construction and Analysis of Systems for Confidentiality and Authenticity of Data and Entities PDF ePUB XML
  8. cassis - Combining approaches for the security of infinite state systems PDF ePUB XML
  9. celtique - Software certification with semantic analysis PDF ePUB XML
  10. cepage - Algorithmics for computationally intensive applications over wide scale distributed platforms PDF ePUB XML
  11. classic - Computational Learning, Aggregation, Supervised Statistical, Inference, and Classification PDF ePUB XML
  12. clime - Coupling environmental data and simulation models for software integration PDF ePUB XML
  13. combining - COMputational BIology and data miNING PDF ePUB XML
  14. comete - Concurrency, Mobility and Transactions PDF ePUB XML
  15. commands - Control, Optimization, Models, Methods and Applications for Nonlinear Dynamical Systems PDF ePUB XML
  16. comore - Modeling and control of renewable resources PDF ePUB XML
  17. compsys - Compilation and Embedded Computing Systems PDF ePUB XML
  18. concha - Complex Flow Simulation Codes based on High-order and Adaptive methods PDF ePUB XML
  19. contraintes - Constraint programming PDF ePUB XML
  20. coprin - Constraints solving, optimization and robust interval analysis PDF ePUB XML
  21. corida - Robust control of infinite dimensional systems and applications PDF ePUB XML
  22. cortex - Neuromimetic intelligence PDF ePUB XML
  23. costeam - Optimal and secure management of manufacturing systems PDF ePUB XML
  24. cqfd - Quality control and dynamic reliability PDF ePUB XML


  1. dahu - Verification in databases PDF ePUB XML
  2. dart - Dataparallelism for Real-Time PDF ePUB XML
  3. defi - Shape reconstruction and identification PDF ePUB XML
  4. demar - Artificial movement and gait restoration PDF ePUB XML
  5. digiplante - Modelling plant growth and architecture PDF ePUB XML
  6. dionysos - Dependability Interoperability and perfOrmance aNalYsiS Of networkS PDF ePUB XML
  7. disco - Dynamical Interconnected Systems in COmplex Environments PDF ePUB XML
  8. distribcom - Distributed and Iterative Algorithms for the Management of Telecommunications Systems PDF ePUB XML
  9. dnet - Dynamic Networks PDF ePUB XML
  10. dolphin - Parallel Cooperative Multi-criteria Optimization PDF ePUB XML
  11. dracula - Multi-scale modelling of cell dynamics : application to hematopoiesis PDF ePUB XML
  12. dream - Diagnosing, REcommending Actions and Modelling PDF ePUB XML


  1. e-motion - Geometry and Probability for Motion and Action PDF ePUB XML
  2. edelweiss - Exchanges, Documents, Extraction, Languages, Web, Ergonomics, Interactions, Semantics, Servers PDF ePUB XML
  3. espresso - Synchronous programming for the trusted component-based engineering of embedded systems and mission-critical systems PDF ePUB XML
  4. estime - Parameter estimation and modeling in heterogeneous media PDF ePUB XML
  5. evasion - Virtual environments for animation and image synthesis of natural objects PDF ePUB XML
  6. exmo - Computer-mediated communication of structured knowledge PDF ePUB XML


  1. flowers - Flowing Epigenetic Robots and Systems : Developmental and Social Robotics PDF ePUB XML
  2. fluminance - Fluid flow Analysis, Description and Control from Image Sequences PDF ePUB XML
  3. focus - Foundations of Component-based Ubiquitous Systems PDF ePUB XML
  4. formes - FOrmal Methods for Embedded Systems PDF ePUB XML


  1. galaad - Geometry, algebra, algorithms PDF ePUB XML
  2. galen - Organ Modeling through Extraction, Representation and Understanding of Medical Image Content PDF ePUB XML
  3. gallium - Programming languages, types, compilation and proofs PDF ePUB XML
  4. gamma3 - Automatic mesh generation and advanced methods PDF ePUB XML
  5. gang - Networks, Graphs and Algorithms PDF ePUB XML
  6. geometrica - Geometric computing PDF ePUB XML
  7. geostat - Geometry and Statistics in acquisition data PDF ePUB XML
  8. graal - Algorithms and Scheduling for Distributed Heterogeneous Platforms PDF ePUB XML
  9. grand-large - Global parallel and distributed computing PDF ePUB XML
  10. graphik - Graphs for Inferences on Knowledge PDF ePUB XML
  11. gravite - Graph Visualization and Interactive Exploration PDF ePUB XML


  1. hiepacs - High-End Parallel Algorithms for Challenging Numerical Simulations PDF ePUB XML
  2. hipercom - High performance communication PDF ePUB XML


  1. i4s - Statistical Inference for Structural Health Monitoring PDF ePUB XML
  2. ibis - Modeling, simulation, measurement, and control of bacterial regulatory networks PDF ePUB XML
  3. imara - Informatics, Mathematics and Automation for La Route Automatisée PDF ePUB XML
  4. imedia - Images and Multimedia: Indexing, Retrieval and Navigation PDF ePUB XML
  5. in-situ - Situated interaction PDF ePUB XML
  6. indes - Informatique Diffuse et Sécurisée PDF ePUB XML
  7. iparla - Visualization and manipulation of complex data for mobile users PDF ePUB XML
  8. ipso - Invariant Preserving SOlvers PDF ePUB XML


  1. kerdata - Scalable Storage for Clouds and Beyond PDF ePUB XML


  1. lagadic - Visual servoing in robotics, computer vision, and augmented reality PDF ePUB XML
  2. lear - Learning and recognition in vision PDF ePUB XML
  3. leo - Distributed and heterogeneous data and knowledge PDF ePUB XML
  4. lfant - Lithe and Fast Algorithmic Number Theory PDF ePUB XML
  5. licit - Legal Issues in Communication and Information Technologies PDF ePUB XML
  6. lognet - Logical Networks: Self-organizing Overlay Networks and Programmable Overlay Computing Systems PDF ePUB XML


  1. macs - Modeling, analysis and control in computational structural dynamics PDF ePUB XML
  2. madynes - Management of dynamic networks and services PDF ePUB XML
  3. maestro - Models for Performance Analysis and Control of Networks PDF ePUB XML
  4. magique-3d - Advanced 3D Numerical Modeling in Geophysics PDF ePUB XML
  5. magnome - Models and Algorithms for the Genome PDF ePUB XML
  6. magrit - Visual Augmentation of Complex Environments PDF ePUB XML
  7. maia - Autonomous intelligent machine PDF ePUB XML
  8. marelle - Mathematical, Reasoning and Software PDF ePUB XML
  9. masaie - Tools and models of nonlinear control theory for epidemiology and immunology PDF ePUB XML
  10. mascotte - Algorithms, simulation, combinatorics and optimization for telecommunications PDF ePUB XML
  11. mathfi - Financial mathematics PDF ePUB XML
  12. maxplus - Algèbres max-plus et mathématiques de la décision/Max-plus algebras and mathematics of decision PDF ePUB XML
  13. mc2 - Modeling, control and computations PDF ePUB XML
  14. mere - Modélisation Et Ressources en Eau (Water Resource Modeling) PDF ePUB XML
  15. mescal - Middleware Efficiently SCALable PDF ePUB XML
  16. metalau - Methods, algorithms and software in automatic control PDF ePUB XML
  17. metiss - Speech and sound data modeling and processing PDF ePUB XML
  18. mexico - Modeling and Exploitation of Interaction and Concurrency PDF ePUB XML
  19. micmac - Methods and engineering of multiscale computing from atom to continuum PDF ePUB XML
  20. mint - Methods and tools for gestural interaction PDF ePUB XML
  21. mistis - Modelling and Inference of Complex and Structured Stochastic Systems PDF ePUB XML
  22. moais - PrograMming and scheduling design fOr Applications in Interactive Simulation PDF ePUB XML
  23. moise - Modelling, Observations, Identification for Environmental Sciences PDF ePUB XML
  24. moscova - Mobility, security, concurrence, verification and analysis PDF ePUB XML
  25. mostrare - Modeling Tree Structures, Machine Learning, and Information Extraction PDF ePUB XML
  26. myriads - Design and Implementation of Autonomous Distributed Systems PDF ePUB XML


  1. nachos - Numerical modeling and high performance computing for evolution problems in complex domains and heterogeneous media PDF ePUB XML
  2. nano-d - Algorithms for Modeling and Simulation of Nanosystems PDF ePUB XML
  3. necs - Networked Controlled Systems PDF ePUB XML
  4. netquest - Declarative Network Programming PDF ePUB XML
  5. neuromathcomp - Mathematical and Computational Neuroscience PDF ePUB XML
  6. numed - Numerical Medicine PDF ePUB XML


  1. oasis - Active objects, semantics, Internet and security PDF ePUB XML
  2. opale - Optimization and control, numerical algorithms and integration of complex multidiscipline systems governed by PDE PDF ePUB XML
  3. orpailleur - Knowledge Discovery guided by Domain Knowledge PDF ePUB XML


  1. pareo - Formal islands: foundations and applications PDF ePUB XML
  2. parietal - Modelling brain structure, function and variability based on high-field MRI data. PDF ePUB XML
  3. parole - Analysis, perception and recognition of speech PDF ePUB XML
  4. parsifal - Proof search and reasoning with logic specifications PDF ePUB XML
  5. perception - Interpretation and Modelling of Images and Videos PDF ePUB XML
  6. phoenix - Programming Language Technology For Communication Services PDF ePUB XML
  7. planète - Protocols and applications for the Internet PDF ePUB XML
  8. poems - Wave propagation: mathematical analysis and simulation PDF ePUB XML
  9. pop art - Programming languages, Operating systems, Parallelism, and Aspects for Real-Time PDF ePUB XML
  10. pops - System and Networking for Portable Objects Proved to be Safe PDF ePUB XML
  11. prima - Perception, recognition and integration for observation of activity PDF ePUB XML
  12. proval - Proofs of programs PDF ePUB XML
  13. pulsar - Perception Understanding Learning Systems for Activity Recognition PDF ePUB XML
  14. pumas - Plasma, tUrbulence, Modeling, Approximation and Simulation PDF ePUB XML


  1. r 2 - Design, study and implementation of languages for proofs and programs PDF ePUB XML
  2. rap - Réseaux, Algorithmes et Probabilités PDF XML
  3. realopt - Reformulations based algorithms for Combinatorial Optimization PDF ePUB XML
  4. regal - Large-Scale Distributed Systems and Applications PDF ePUB XML
  5. regularity - Probabilistic modelling of irregularity and application to uncertainties management PDF ePUB XML
  6. reo - Numerical simulation of biological flows PDF ePUB XML
  7. reso - Protocols and softwares for very high-performance network PDF ePUB XML
  8. reves - Rendering and virtual environments with sound PDF ePUB XML
  9. rmod - Analyses and Languages Constructs for Object-Oriented Application Evolution PDF ePUB XML
  10. runtime - Efficient runtime systems for parallel architectures PDF ePUB XML


  1. s4 - System Synthesis and Supervision, Scenarios PDF ePUB XML
  2. sage - Simulations and Algorithms on Grids for Environment PDF ePUB XML
  3. salsa - Solvers for Algebraic Systems and Applications PDF ePUB XML
  4. sardes - System architecture for reflective distributed computing environments PDF ePUB XML
  5. score - Services and Cooperation PDF ePUB XML
  6. secret - Security, Cryptology and Transmissions PDF ePUB XML
  7. secsi - Security of information systems PDF ePUB XML
  8. select - Model selection in statistical learning PDF ePUB XML
  9. sequel - Sequential Learning PDF ePUB XML
  10. sequoia2 - Algorithms for large scale sequence analysis PDF ePUB XML
  11. serpico - Space-timE RePresentation, Imaging and cellular dynamics of molecular COmplexes PDF ePUB XML
  12. shaman - Simulation in Healthcare for Advanced Medical ApplicatioNs PDF ePUB XML
  13. signes - Linguistic signs, grammar and meaning: computational logic for natural language PDF ePUB XML
  14. simpaf - SImulations and Modeling for PArticles and Fluids PDF ePUB XML
  15. sisyphe - SIgnals and SYstems in PHysiology and Engineering PDF ePUB XML
  16. smash - Simulation, Modeling and Analysis of Heterogeneous Systems in continuum mechanics PDF ePUB XML
  17. smis - Secured and Mobile Information Systems PDF ePUB XML
  18. swing - Smart Wireless Networking PDF ePUB XML
  19. symbiose - Biological systems and models, bioinformatics and sequences PDF ePUB XML


  1. talaris - Natural Language Processing: representation, inference and semantics PDF ePUB XML
  2. tanc - Algorithmic number theory for cryptology PDF ePUB XML
  3. tao - Machine Learning and Optimisation PDF ePUB XML
  4. temics - TraitEment, Modélisation d'Images et CommunicationS PDF ePUB XML
  5. texmex - Efficient Exploitation of Multimedia Documents: Exploring, Indexing and Searching in Very Large Databases PDF ePUB XML
  6. tosca - TO Simulate and CAlibrate stochastic models PDF ePUB XML
  7. trec - Theory of networks and communications PDF ePUB XML
  8. trio - Real time and interoperability PDF ePUB XML
  9. triskell - Model-Driven Engineering for Component-Based Software PDF ePUB XML
  10. tropics - Program transformations for scientific computing PDF ePUB XML
  11. typical - Types, Logic and computing PDF ePUB XML


  1. vasy - Validation of Systems PDF ePUB XML
  2. vegas - Effective Geometric Algorithms for Surfaces and Visibility PDF ePUB XML
  3. veridis - VERIfication of DIstributed Systems PDF ePUB XML
  4. vertecs - Verification models and techniques applied to testing and control of reactive systems PDF ePUB XML
  5. virtual plants - Modeling plant morphogenesis at different scales, from genes to phenotypes PDF ePUB XML
  6. visages - Vision, Action and information manaGement System in health PDF ePUB XML


  1. wam - Web, Adaptation and Multimedia PDF ePUB XML
  2. willow - Models of visual object recognition and scene understanding PDF ePUB XML