EN
FR
Accessibility settings
2004
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
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
alchemy - Architectures, Languages and Compilers to Harness the End of Moore Years
PDF
XML
alcove - Interacting with complex objects in collaborative virtual environments
PDF
XML
algorille - Algorithms for the Grid
PDF
XML
anubis - Tools of automatic control for scientific computing, Models and Methods in Biomathematics
PDF
XML
aoste - Models and Methods for the Analysis and Optimization of Systems with Real-time and Embedded Constraints
PDF
XML
apache - Algorithmique Parallèle, Programmation et Répartition de Charge
PDF
XML
apics - Analysis and Problems of Inverse type in Control and Signal processing
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
aspi - Applications statistiques des systèmes de particules en interaction
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 - Modeling, 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
clime - Couplage de la données environnementale et des modèles de simulation numérique pour une intégration logicielle
PDF
XML
codes - Codage et cryptographie
PDF
XML
comore - Modelling and Control of Renewable Resources
PDF
XML
complex - Evolution Artificielle et Fractales
PDF
XML
compsys - Compilation and Embedded Computing Systems
PDF
XML
comète - Concurrence, Mobilité et Transactions
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 des Systèmes Infini-Dimensionnels 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
demar - DEambulation et Mouvement ARtificiel
PDF
XML
distribcom - Distributed and Iterative Algorithms in Management and Signal Processing for Telecommunications
PDF
XML
dolphin - Discrete multi-objective Optimization for Large scale Problems with Hybrid dIstributed techNiques
PDF
XML
dream - Diagnosis, REcommending Actions and Modeling
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
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
everest - Environnements de vérification et sécurité du logiciel
PDF
XML
exmo - Computer-mediated communication of structured knowledge
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
ipso - Invariant Preserving Solvers
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
lagadic - Visual servoing in robotics, computer vision, and computer animation
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
maestro - Models for Performance Analysis and Control of Networks
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/Max-plus algebras and mathematics of decision
PDF
XML
mere - Modelling and Water Ressources
PDF
XML
merlin - Methods for Interactive Software Ergonomics
PDF
XML
metalau - Méthodes, algorithmes et logiciels pour l'automatique
PDF
XML
metiss - Modélisation et Expérimentation pour le Traitement des Informations et des Signaux Sonores
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
mistis - Modelling and Inference of Complex and Structured Stochastic Systems
PDF
XML
modbio - Computational Models in Molecular Biology
PDF
XML
moscova - Mobility, Security, Concurrency, Verification and Analysis
PDF
XML
mosel - Proof-oriented development of computer-based systems
PDF
XML
mostrare - Modeling Tree Structures, Machine Learning, and Information Extraction
PDF
XML
movi - Computational models for computer vision
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 - Modeling and Simulation of Wave Propagation Phenomena
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
P
paris - Programming Parallel and Distributed Systems for Large Scale Numerical Simulation Applications
PDF
XML
parole - Analysis, Perception and speech recognition
PDF
XML
phoenix - Programming Language Technology For Communication Services
PDF
XML
planÈte - 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
proval - Proof of programs
PDF
XML
Q
qgar - Querying Graphics Through Analysis and Recognition
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
reo - Numerical simulation of biological flows
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
sage - Simulations and Algorithms on Grids for Environmental Applications
PDF
XML
salsa - Solvers for ALgebraic Systems and Applications
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
select - Model Selection and Statistical Learning
PDF
XML
siames - Image Synthesis, Animation, Modeling and Simulation
PDF
XML
signes - Linguistic signs, grammar and meaning: computational logic for natural language
PDF
XML
sisthem - Statistical Inference for STructural HEalth Monitoring
PDF
XML
smash - Simulation, Modelization and Analysis of Heterogeneous Systems in mechanical engineering
PDF
XML
smis - Secured and Mobile Information Systems
PDF
XML
sosso2 - 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
tao - Thème apprentissage et optimisation
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
trec - Network Theory and Communications
PDF
XML
trio - Temps Réel et InterOpérabilité (Real Time and InterOperability)
PDF
XML
triskell - Model Driven Engineering for Component Based Software
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
visages - Vision Action et Gestion d'informations en Santé
PDF
XML
vista - Vision Spatio-Temporelle et Apprentissage
PDF
XML
W
wam - Web, Adaptation and Multimedia
PDF
XML