EN FR
EN FR

2010 Rapports d'activité des équipes Inria

Les équipes de recherche d'Inria produisent un rapport d'activité annuel présentant leurs activités et leurs résultats de l'année. Ces rapports incluent les membres de l'équipe, le programme scientifique, le logiciel développé par l'équipe et les nouveaux résultats de l'année. Le rapport décrit également les subventions, les contrats et les activités de diffusion et d'enseignement. Enfin, le rapport donne la liste des publications de l'année.

A

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

B

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

C

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

D

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

E

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

F

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

G

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

H

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

I

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

K

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

L

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

M

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

N

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

O

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

P

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

R

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

S

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

T

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

V

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

W

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