EN FR
Homepage Inria website

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.

Search by letter
A
    • abs - Algorithms, Biology, Structure PDF XML
    • abstraction - Abstract Interpretation and Static Analysis PDF ePUB XML
    • aces - Ambient computing and embedded systems PDF ePUB XML
    • adam - Adaptive Distributed Applications and Middleware PDF ePUB XML
    • adept - Algorithms for Dynamic Dependable Systems PDF ePUB XML
    • alchemy - Architectures, Languages and Compilers to Harness the End of Moore Years PDF ePUB XML
    • alea - Advanced Learning Evolutionary Algorithms PDF ePUB XML
    • algorille - Algorithms for the Grid PDF ePUB XML
    • alien - Algebra for Digital Identification and Estimation PDF ePUB XML
    • alpage - Large-scale deep linguistic processing PDF ePUB XML
    • amazones - Ambient Middleware Architectures: Service-Oriented, Networked, Efficient and Secured PDF ePUB XML
    • amib - Algorithms and Models for Integrative Biology PDF ePUB XML
    • anubis - Tools of automatic control for scientific computing, Models and Methods in Biomathematics PDF ePUB XML
    • aoste - Models and methods of analysis and optimization for systems with real-time and embedding constraints PDF ePUB XML
    • apics - Analysis and Problems of Inverse type in Control and Signal processing PDF ePUB XML
    • ariana - Inverse Problems in Earth Observation and Cartography PDF ePUB XML
    • arles - Software architectures and distributed systems PDF ePUB XML
    • arobas - Advanced Robotics and Autonomous Systems PDF ePUB XML
    • artis - Acquisition, representation and transformations for image synthesis PDF ePUB XML
    • asap - As Scalable As Possible: foundations of large scale dynamic distributed systems PDF ePUB XML
    • asclepios - Analysis and Simulation of Biomedical Images PDF ePUB XML
    • ascola - Aspect and composition languages PDF ePUB XML
    • aspi - Applications of interacting particle systems to statistics PDF ePUB XML
    • ateams - Analysis and Transformation based on rEliAble tool coMpositionS PDF ePUB XML
    • athena - Computational Imaging of the Central Nervous System PDF ePUB XML
    • atlanmod - Modeling Technologies for Software Production, Operation, and Evolution PDF ePUB XML
    • atlas - Complex Data Management in Distributed Systems PDF ePUB XML
    • axis - Usage-centered design, analysis and improvement of information systems PDF ePUB XML
B
    • bacchus - Parallel tools for Numerical Algorithms and Resolution of essentially Hyperbolic problems PDF ePUB XML
    • bamboo - An algorithmic view on genomes, cells, and environments PDF ePUB XML
    • bang - Nonlinear Analysis for Biology and Geophysical flows PDF ePUB XML
    • bipop - Nonsmooth Dynamics and Optimization PDF ePUB XML
    • bunraku - Perception, decision and action of real and virtual humans in virtual environments and impact on real environments PDF ePUB XML
C
    • cairn - Energy Efficient Computing Architectures PDF ePUB XML
    • calvi - Scientific Computation and Visualization PDF ePUB XML
    • camus - Compilation pour les Architectures MUlti-coeurS PDF ePUB XML
    • caramel - Cryptology, Arithmetic: Hardware and Software PDF ePUB XML
    • carte - Theoretical adverse computations, and safety PDF ePUB XML
    • cascade - Construction and Analysis of Systems for Confidentiality and Authenticity of Data and Entities PDF ePUB XML
    • cassis - Combining approaches for the security of infinite state systems PDF ePUB XML
    • celtique - Software certification with semantic analysis PDF ePUB XML
    • cepage - Algorithmics for computationally intensive applications over wide scale distributed platforms PDF ePUB XML
    • classic - Computational Learning, Aggregation, Supervised Statistical, Inference, and Classification PDF ePUB XML
    • clime - Coupling environmental data and simulation models for software integration PDF ePUB XML
    • combining - COMputational BIology and data miNING PDF ePUB XML
    • comete - Concurrency, Mobility and Transactions PDF ePUB XML
    • commands - Control, Optimization, Models, Methods and Applications for Nonlinear Dynamical Systems PDF ePUB XML
    • comore - Modeling and control of renewable resources PDF ePUB XML
    • compsys - Compilation and Embedded Computing Systems PDF ePUB XML
    • concha - Complex Flow Simulation Codes based on High-order and Adaptive methods PDF ePUB XML
    • contraintes - Constraint programming PDF ePUB XML
    • coprin - Constraints solving, optimization and robust interval analysis PDF ePUB XML
    • corida - Robust control of infinite dimensional systems and applications PDF ePUB XML
    • costeam - Optimal and secure management of manufacturing systems PDF ePUB XML
    • cqfd - Quality control and dynamic reliability PDF ePUB XML
D
    • dart - Dataparallelism for Real-Time PDF ePUB XML
    • defi - Shape reconstruction and identification PDF ePUB XML
    • demar - Artificial movement and gait restoration PDF ePUB XML
    • digiplante - Modelling plant growth and architecture PDF ePUB XML
    • dionysos - Dependability Interoperability and perfOrmance aNalYsiS Of networkS PDF ePUB XML
    • disco - Dynamical Interconnected Systems in COmplex Environments PDF ePUB XML
    • distribcom - Distributed and Iterative Algorithms for the Management of Telecommunications Systems PDF ePUB XML
    • dolphin - Parallel Cooperative Multi-criteria Optimization PDF ePUB XML
    • dracula - Multi-scale modelling of cell dynamics : application to hematopoiesis PDF ePUB XML
    • dream - Diagnosing, REcommending Actions and Modelling PDF ePUB XML
E
    • e-motion - Geometry and Probability for Motion and Action PDF ePUB XML
    • edelweiss - Exchanges, Documents, Extraction, Languages, Web, Ergonomics, Interactions, Semantics, Servers PDF ePUB XML
    • espresso - Synchronous programming for the trusted component-based engineering of embedded systems and mission-critical systems PDF ePUB XML
    • estime - Parameter estimation and modeling in heterogeneous media PDF ePUB XML
    • evasion - Virtual environments for animation and image synthesis of natural objects PDF ePUB XML
    • exmo - Computer-mediated communication of structured knowledge PDF ePUB XML
F
    • flowers - Flowing Epigenetic Robots and Systems : Developmental and Social Robotics PDF ePUB XML
    • fluminance - Fluid flow Analysis, Description and Control from Image Sequences PDF ePUB XML
    • focus - Foundations of Component-based Ubiquitous Systems PDF ePUB XML
    • formes - FOrmal Methods for Embedded Systems PDF ePUB XML
G
    • galaad - Geometry, algebra, algorithms PDF ePUB XML
    • galen - Organ Modeling through Extraction, Representation and Understanding of Medical Image Content PDF ePUB XML
    • gallium - Programming languages, types, compilation and proofs PDF ePUB XML
    • gamma3 - Automatic mesh generation and advanced methods PDF ePUB XML
    • gang - Networks, Graphs and Algorithms PDF ePUB XML
    • geostat - Geometry and Statistics in acquisition data PDF ePUB XML
    • graal - Algorithms and Scheduling for Distributed Heterogeneous Platforms PDF ePUB XML
    • grand-large - Global parallel and distributed computing PDF ePUB XML
    • graphik - Graphs for Inferences on Knowledge PDF ePUB XML
    • gravite - Graph Visualization and Interactive Exploration PDF ePUB XML
H
    • hiepacs - High-End Parallel Algorithms for Challenging Numerical Simulations PDF ePUB XML
    • hipercom - High performance communication PDF ePUB XML
I
    • i4s - Statistical Inference for Structural Health Monitoring PDF ePUB XML
    • ibis - Modeling, simulation, measurement, and control of bacterial regulatory networks PDF ePUB XML
    • imara - Informatics, Mathematics and Automation for La Route Automatisée PDF ePUB XML
    • imedia - Images and Multimedia: Indexing, Retrieval and Navigation PDF ePUB XML
    • indes - Informatique Diffuse et Sécurisée PDF ePUB XML
    • iparla - Visualization and manipulation of complex data for mobile users PDF ePUB XML
    • ipso - Invariant Preserving SOlvers PDF ePUB XML
K
    • kerdata - Scalable Storage for Clouds and Beyond PDF ePUB XML
L
    • lagadic - Visual servoing in robotics, computer vision, and augmented reality PDF ePUB XML
    • lear - Learning and recognition in vision PDF ePUB XML
    • leo - Distributed and heterogeneous data and knowledge PDF ePUB XML
    • lfant - Lithe and Fast Algorithmic Number Theory PDF ePUB XML
    • licit - Legal Issues in Communication and Information Technologies PDF ePUB XML
    • lognet - Logical Networks: Self-organizing Overlay Networks and Programmable Overlay Computing Systems PDF ePUB XML
M
    • macs - Modeling, analysis and control in computational structural dynamics PDF ePUB XML
    • madynes - Management of dynamic networks and services PDF ePUB XML
    • maestro - Models for Performance Analysis and Control of Networks PDF ePUB XML
    • magique-3d - Advanced 3D Numerical Modeling in Geophysics PDF ePUB XML
    • magnome - Models and Algorithms for the Genome PDF ePUB XML
    • magrit - Visual Augmentation of Complex Environments PDF ePUB XML
    • maia - Autonomous intelligent machine PDF ePUB XML
    • marelle - Mathematical, Reasoning and Software PDF ePUB XML
    • masaie - Tools and models of nonlinear control theory for epidemiology and immunology PDF ePUB XML
    • mascotte - Algorithms, simulation, combinatorics and optimization for telecommunications PDF ePUB XML
    • maxplus - Algèbres max-plus et mathématiques de la décision/Max-plus algebras and mathematics of decision PDF ePUB XML
    • mc2 - Modeling, control and computations PDF ePUB XML
    • mere - Modélisation Et Ressources en Eau (Water Resource Modeling) PDF ePUB XML
    • mescal - Middleware Efficiently SCALable PDF ePUB XML
    • metalau - Methods, algorithms and software in automatic control PDF ePUB XML
    • metiss - Speech and sound data modeling and processing PDF ePUB XML
    • mexico - Modeling and Exploitation of Interaction and Concurrency PDF ePUB XML
    • micmac - Methods and engineering of multiscale computing from atom to continuum PDF ePUB XML
    • mint - Methods and tools for gestural interaction PDF ePUB XML
    • mistis - Modelling and Inference of Complex and Structured Stochastic Systems PDF ePUB XML
    • moais - PrograMming and scheduling design fOr Applications in Interactive Simulation PDF ePUB XML
    • moise - Modelling, Observations, Identification for Environmental Sciences PDF ePUB XML
    • moscova - Mobility, security, concurrence, verification and analysis PDF ePUB XML
    • mostrare - Modeling Tree Structures, Machine Learning, and Information Extraction PDF ePUB XML
    • myriads - Design and Implementation of Autonomous Distributed Systems PDF ePUB XML
N
    • nachos - Numerical modeling and high performance computing for evolution problems in complex domains and heterogeneous media PDF ePUB XML
    • nano-d - Algorithms for Modeling and Simulation of Nanosystems PDF ePUB XML
    • necs - Networked Controlled Systems PDF ePUB XML
    • netquest - Declarative Network Programming PDF ePUB XML
    • neuromathcomp - Mathematical and Computational Neuroscience PDF ePUB XML
O
    • oasis - Active objects, semantics, Internet and security PDF ePUB XML
    • opale - Optimization and control, numerical algorithms and integration of complex multidiscipline systems governed by PDE PDF ePUB XML
    • orpailleur - Knowledge Discovery guided by Domain Knowledge PDF ePUB XML
P
    • planète - Protocols and applications for the Internet PDF ePUB XML
    • poems - Wave propagation: mathematical analysis and simulation PDF ePUB XML
    • pop art - Programming languages, Operating systems, Parallelism, and Aspects for Real-Time PDF ePUB XML
    • pops - System and Networking for Portable Objects Proved to be Safe PDF ePUB XML
    • prima - Perception, recognition and integration for observation of activity PDF ePUB XML
    • pulsar - Perception Understanding Learning Systems for Activity Recognition PDF ePUB XML
    • pumas - Plasma, tUrbulence, Modeling, Approximation and Simulation PDF ePUB XML
R
    • rap - Réseaux, Algorithmes et Probabilités PDF XML
    • realopt - Reformulations based algorithms for Combinatorial Optimization PDF ePUB XML
    • regal - Large-Scale Distributed Systems and Applications PDF ePUB XML
    • regularity - Probabilistic modelling of irregularity and application to uncertainties management PDF ePUB XML
    • reo - Numerical simulation of biological flows PDF ePUB XML
    • reso - Protocols and softwares for very high-performance network PDF ePUB XML
    • reves - Rendering and virtual environments with sound PDF ePUB XML
    • rmod - Analyses and Languages Constructs for Object-Oriented Application Evolution PDF ePUB XML
    • runtime - Efficient runtime systems for parallel architectures PDF ePUB XML
S
    • s4 - System Synthesis and Supervision, Scenarios PDF ePUB XML
    • sage - Simulations and Algorithms on Grids for Environment PDF ePUB XML
    • salsa - Solvers for Algebraic Systems and Applications PDF ePUB XML
    • sardes - System architecture for reflective distributed computing environments PDF ePUB XML
    • secret - Security, Cryptology and Transmissions PDF ePUB XML
    • secsi - Security of information systems PDF ePUB XML
    • select - Model selection in statistical learning PDF ePUB XML
    • sequoia2 - Algorithms for large scale sequence analysis PDF ePUB XML
    • serpico - Space-timE RePresentation, Imaging and cellular dynamics of molecular COmplexes PDF ePUB XML
    • shaman - Simulation in Healthcare for Advanced Medical ApplicatioNs PDF ePUB XML
    • signes - Linguistic signs, grammar and meaning: computational logic for natural language PDF ePUB XML
    • simpaf - SImulations and Modeling for PArticles and Fluids PDF ePUB XML
    • sisyphe - SIgnals and SYstems in PHysiology and Engineering PDF ePUB XML
    • smash - Simulation, Modeling and Analysis of Heterogeneous Systems in continuum mechanics PDF ePUB XML
    • smis - Secured and Mobile Information Systems PDF ePUB XML
    • symbiose - Biological systems and models, bioinformatics and sequences PDF ePUB XML
T
    • talaris - Natural Language Processing: representation, inference and semantics PDF ePUB XML
    • tanc - Algorithmic number theory for cryptology PDF ePUB XML
    • tao - Machine Learning and Optimisation PDF ePUB XML
    • temics - TraitEment, Modélisation d'Images et CommunicationS PDF ePUB XML
    • texmex - Efficient Exploitation of Multimedia Documents: Exploring, Indexing and Searching in Very Large Databases PDF ePUB XML
    • tosca - TO Simulate and CAlibrate stochastic models PDF ePUB XML
    • trec - Theory of networks and communications PDF ePUB XML
    • trio - Real time and interoperability PDF ePUB XML
    • triskell - Model-Driven Engineering for Component-Based Software PDF ePUB XML
    • tropics - Program transformations for scientific computing PDF ePUB XML
    • typical - Types, Logic and computing PDF ePUB XML
V
    • vegas - Effective Geometric Algorithms for Surfaces and Visibility PDF ePUB XML
    • veridis - VERIfication of DIstributed Systems PDF ePUB XML
    • vertecs - Verification models and techniques applied to testing and control of reactive systems PDF ePUB XML
    • virtual plants - Modeling plant morphogenesis at different scales, from genes to phenotypes PDF ePUB XML
    • visages - Vision, Action and information manaGement System in health PDF ePUB XML
W
    • wam - Web, Adaptation and Multimedia PDF ePUB XML
    • willow - Models of visual object recognition and scene understanding PDF ePUB XML