EN
FR
Accessibility settings
2003
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.
A
a3 - Analyse Avancée Appliquée à l'optimisation des codes
PDF
XML
acacia - Acquisition des Connaissances pour l'Assistance à la Conception par Interaction entre Agents
PDF
XML
aces - Ambient Computing and Embedded Systems
PDF
XML
adage - Applying Discrete Algorithms to GEnomics Algorithmique Discrète et ses Applications à la GÉnomique
PDF
XML
adept - Asynchronous Distributed Environments, Protocols, and Time
PDF
XML
air2 - Image processing and dynamic satellite data
PDF
XML
aladin - Advanced Algorithms for Scientific Computing
PDF
XML
alcove - Interacting with complex objects in collaborative virtual environment
PDF
XML
algorille - Algorithms for the Grid
PDF
XML
apache - Algorithmique Parallèle, Programmation et Répartition de Charge
PDF
XML
ares - Architecture de réseaux de services
PDF
XML
ariana - Inverse Problems in Earth Observation and Cartography
PDF
XML
arles - Software Architectures and Distributed Systems
PDF
XML
armor - Architectures et Modèles de Réseaux
PDF
XML
artis - Acquisition, Representation and Transformations for Image Synthesis
PDF
XML
arénaire - Computer Arithmetic
PDF
XML
atlas - Complex Data Management in Distributed Systems
PDF
XML
atoll - Atelier d'Outils Logiciels pour le Langage naturel
PDF
XML
axis - User-Centered Design, Improvement and Analysis of Information Systems
PDF
XML
B
bang - Biomédical, Analyse Numérique et Géophysique
PDF
XML
bipop - Modelling, Simulating, Controlling Non-Regular Dynamical Systems
PDF
XML
C
café - Calcul Formel et Équations
PDF
XML
caiman - Calcul scientifique, modélisation et analyse numérique
PDF
XML
calligramme - Linear Logic, Proof Nets and Categorial Grammars
PDF
XML
calvi - Calcul Scientifique et Visualisation
PDF
XML
caps - Compilation, architectures des processeurs superscalaires et spécialisés
PDF
XML
cassis - Combinaison d'Approches pour la Sécurité des Systèmes InfiniS
PDF
XML
codes - Codage et cryptographie
PDF
XML
comore - Modelling and Control of Renewable Resources
PDF
XML
compose - Design and Development of Adaptive Programs and Systems
PDF
XML
compsys - Compilation and Embedded Computing Systems
PDF
XML
conge - Contrôle géométrique des systèmes non linéaires
PDF
XML
contraintes - Constraint Programming
PDF
XML
coprin - Constraints solving, OPtimization, Robust INterval analysis
PDF
XML
cordial - Man-machine oral and multimodal communication
PDF
XML
corida - Contrôle Robuste Infini-Dimensionnel et Applications
PDF
XML
cortex - Neuromimetic Intelligence
PDF
XML
cosivie - COuplage de modèles pour la SImulation numérique de problèmatiques enVIronnementalEs
PDF
XML
cristal - Type-safe programming, modularity and compilation
PDF
XML
D
dart - Dataparallelism for Real-Time
PDF
XML
dream - Diagnosis, REcommending Actions and Modelling
PDF
XML
E
e-motion - Geometry and Probability for Motion and Action
PDF
XML
ecoo - Middleware for supporting cooperative work through Internet
PDF
XML
eiffel - Cognition and Cooperation in Design
PDF
XML
epidaure - Epidaure, Projet Images, Diagnostic AUtomatique, RobotiquE Medical Imaging & Robotics
PDF
XML
espresso - Environnement de Spécification de Programmes RéactifS SynchrOnes
PDF
XML
estime - Parameter Estimation and Modeling in Heterogeneous Media
PDF
XML
evasion - Virtual environments for animation and image synthesis of natural objects
PDF
XML
exmo - Computer-mediated communication of structured knowledge
PDF
XML
F
fractales - Fractals, Complex Models and Artificial Evolution
PDF
XML
G
galaad - Géométrie, Algèbre, Algorithmes
PDF
XML
gamma - Génération Automatique de Maillages et Méthodes d'Adaptation
PDF
XML
gemo - Management of Data and Knowledge Distributed Over the Web
PDF
XML
geometrica - Geometric Computing
PDF
XML
grand-large - Calcul parallèle et distribué à grande échelle
PDF
XML
gyroweb - Dynamic graphs and large networks
PDF
XML
H
helix - Informatics and genomics
PDF
XML
hipercom - HIgh PERformance COMmunication
PDF
XML
I
icare - Instrumentation, Commande et Architecture des Robots Évolués
PDF
XML
idopt - Systems optimization and identification in physics and environment
PDF
XML
imara - Informatique, Mathématiques et Automatique pour la Route Automatisée
PDF
XML
imedia - Images and Multimedia: Indexing, Retrieval and Navigation
PDF
XML
in-situ - Interaction Située
PDF
XML
iparla - Visualization and interaction for complex data, on mobile and connected devices
PDF
XML
is2 - Inférence statistique pour l'industrie et la santé
PDF
XML
isa - Models, algorithms and geometry for computer graphics and vision
PDF
XML
J
jacquard - Weaving of Software Components
PDF
XML
L
l&d - Langue et Dialogue
PDF
XML
lande - Logiciel : ANalyse et DEveloppement
PDF
XML
lear - Learning and Recognition in Vision
PDF
XML
lemme - Software and mathematics
PDF
XML
logical - Logic and Calculus
PDF
XML
M
macs - Modeling, Analysis and Control for Computational Structural Dynamics
PDF
XML
macsi - Modeling, Analysis and Control of Industrial Systems
PDF
XML
madynes - Management of Dynamic Networks and Services
PDF
XML
maia - MAchine Intelligente Autonome
PDF
XML
mascotte - Méthodes Algorithmiques, Simulation et Combinatoire pour l'OpTimisation des TElécommunications
PDF
XML
mathfi - Financial Mathematics
PDF
XML
maxplus - Algèbres max-plus et mathématiques de la décision
PDF
XML
merlin - Methods for Interactive Software Ergonomics
PDF
XML
metalau - Methods, Algorithms and Software for Systems and Control
PDF
XML
metiss - Modélisation et Expérimentation pour le Traitement des Informations et des Signaux Sonores
PDF
XML
miaou - Mathématiques et Informatique de l'Automatique et de l'Optimisation pour l'Utilisateur
PDF
XML
micmac - Methods and Engineering of Multiscale Computing from Atom to Continuum
PDF
XML
mimosa - Migration et Mobilité: Sémantique et Applications
PDF
XML
mirages - Object Manipulation in Image Sequences for Augmented Reality and Special Effects
PDF
XML
mirÓ - Objects, Types, and Prototypes: Semantics and Validation
PDF
XML
mistral - Modeling of Computer Systems and Telecommunication Networks: Research and Software Development
PDF
XML
modbio - Modèles Informatiques en Biologie Moléculaire
PDF
XML
moscova - Mobility, Security, Concurrency, Verification and Analysis
PDF
XML
mostrare - Modeling Tree Structures, Machine Learning, and Information Extraction
PDF
XML
movi - Computational models for computer vision
PDF
XML
N
numopt - Numerical Optimization
PDF
XML
O
oasis - Objets Actifs, Sémantique, Internet et Sécurité
PDF
XML
obasco - OBjects, ASpects and COmponents
PDF
XML
odyssee - Biological and Computer Vision
PDF
XML
omega - Méthodes numériques probabilistes pour les équations aux dérivées partielles et les mathématiques financières
PDF
XML
ondes - Modélisation et Simulation de Phénomènes de Propagation d'Ondes
PDF
XML
opale - Optimization and Control, Numerical Algorithms and Integration of Multidisciplinary Complex P.D.E. Systems
PDF
XML
orion - Intelligent Environments for Problem Solving by Autonomous Systems
PDF
XML
orpailleur - Extraction de connaissances
PDF
XML
ostre - Optimization of embedded real-time systems
PDF
XML
P
paris - Programming Parallel and Distributed Systems for Large Scale Numerical Simulation Applications
PDF
XML
parole - Analysis, Perception and speech recognition
PDF
XML
planete - Protocoles et Applications pour l'Internet
PDF
XML
pop art - Programming and OPerating Systems for Applications in Real-Time
PDF
XML
pops - System & Networking for Portable Objects Proved to be Safe
PDF
XML
preval - Probabilités, modélisation et évaluation de systèmes
PDF
XML
prima - Perception, recognition and integration for interactive environments
PDF
XML
protheo - Constraints, Mechanized Deduction and Proofs of Software Properties
PDF
XML
R
r2d2 - Reconfigurable and Retargetable Digital Devices
PDF
XML
rap - Réseaux, Algorithmes et Probabilités
PDF
XML
regal - Resource management in large scale distributed systems
PDF
XML
remap - Regularity and Massive Parallelism
PDF
XML
reso - Optimized protocols and software for high performance networks
PDF
XML
reves - Rendering and Virtual Environments with Sound
PDF
XML
runtime - Efficient Runtime Systems for Parallel Architectures
PDF
XML
S
s4 - System Synthesis and Supervision, Scenarios
PDF
XML
sagep - Simulation, analysis and management of production systems
PDF
XML
sardes - System Architecture for Reflective Distributed Computing Environments
PDF
XML
scalapplix - High Performance Schemes and Algorithms for Complex Scientific Applications
PDF
XML
scilab - Equipe opérationnelle du consortium Scilab
PDF
XML
secsi - Sécurité des systèmes d'information
PDF
XML
siames - Image Synthesis, Animation, Modeling and Simulation
PDF
XML
sigma2 - Signaux, modèles et algorithmes
PDF
XML
signes - Linguistic signs, grammar and meaning: computational logic for natural language
PDF
XML
smash - Simulation, Modelization and Analysis of Heterogeneous Systems in mechanical engineering
PDF
XML
smis - Secured Mediation Systems
PDF
XML
sosso - Applications and tools for automatic control
PDF
XML
spaces - Solving Problems through Algebraic Computation and Efficient Software
PDF
XML
sydoco - SYstèmes Dynamiques, Optimisation et Commande Optimale
PDF
XML
symbiose - SYstèmes et Modèles BIOlogiques, BIOinformatique et SEquences
PDF
XML
T
tanc - Théorie algorithmique des nombres pour la cryptologie
PDF
XML
temics - TraitEment, Modélisation d'Images et CommunicationS
PDF
XML
texmex - Efficient Exploitation of Multimedia Documents: exploring, indexing and searching in very large databases
PDF
XML
tick - Theory and Practice of Synchronous Reactive Systems
PDF
XML
trec - Network Theory and Communications
PDF
XML
trio - Temps Réel et InterOpérabilité (Real Time and InterOperability)
PDF
XML
triskell - Reliable and efficient component based sofware engineering
PDF
XML
tropics - Transformations et Outils Informatiques pour le Calcul Scientifique
PDF
XML
V
vasy - Validation of Systems
PDF
XML
vertecs - Verification models and techniques applied to the Testing and Control of reactive Systems
PDF
XML
vista - Vision Spatio-Temporelle et Active
PDF
XML
W
wam - Web, Adaptation and Multimedia
PDF
XML