EN
FR
Accessibility settings
1994
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
adp - Algorithmes distribués et protocoles
PDF
airelle - Représentations et Langages
PDF
aladin - Algorithmes adaptés au calcul numérique intensif
PDF
api - Architectures parallèles intégrées
PDF
as - Automatique et signal
PDF
atgc - Action Transversale Génome et Calcul
(not available)
atoll - Atelier d'outils logicels pour le langage naturel
PDF
B
bip - Contrôle/commande de robots marcheurs et applications
PDF
C
caps - Compilation, Architectures Parallèles et Système
PDF
clorec - Classification automatique et reconnaissance des formes
PDF
codes - Codes et Protection de l'Information
PDF
conge - Contrôle géométrique des systèmes non linéaires
PDF
coq - Spécifications et preuves de programmes
PDF
cristal - Programmation typée, modularité et compilation
PDF
croap - Conception et réalisation d'outils d'aide à la programmation
PDF
D
dialogue - Dialogue homme-machine à forte composante langagière
PDF
E
ep-atr - Environnement de programmation d'applications temps réel
PDF
epidaure - Epidaure, Projet Images, Diagnostic Automatique, Robotique
PDF
eureca - Preuve, calcul symbolique et logique
PDF
F
fractales - Approches Fractales pour l'Analyse et la Modélisation des Signaux
PDF
G
graph'is - Synthèse d'Image
PDF
I
icare - Instrumentation, Commande, Architecture des Robots Evolués
PDF
icsla - Interprétation, Compilation et Sémantique des Langages Applicatifs
PDF
ident - Estimation de Paramètres et Applications Industrielles
PDF
idopt - Identification et optimisation de sytèmes en physique et en environnement
PDF
L
lande - Langages déclaratifs
PDF
M
made - Environnements de développement d'applications multimédia
PDF
masda - Mouvement, Analyse d'images, Synthèse d'images, Déformation et Animation
PDF
mefisto - Filtrage et Identification des Systèmes Dynamiques Stochastiques
PDF
meije - Parallélisme, Synchronisation et Temps-Réel
PDF
menusin - Méthodes numériques des sciences de l'ingénieur
PDF
meta2 - Méta-automatique et méthodes de l'automatique
(not available)
meval - Modélisation et Évaluation des Systèmes Informatiques
PDF
miaou - Mathématiques et Informatique de l'Automatique et de l'Optimisation pour l'Utilisateur
PDF
micas - Modèles et implémentation des calculs syntaxiques
PDF
mistral - Modélisation en Informatique et Systèmes de Télécommunications
PDF
model - Modélisation des systèmes aléatoires
PDF
modulef - Méthodes et outils pour le calcul scientifique
PDF
multi-projet - Calcul parallèle en simulation numérique
(not available)
N
numath - Analyse Mathématique & Traitement Numérique de Modèles Non Linéaires
PDF
O
omega - Méthodes numériques probabilistes pour les équations aux dérivées partielles et les Mathématiques financières
PDF
opera - Outils pour les documents électroniques, recherche et applications
PDF
orion - Environnements Intelligents de résolution de problèmes pour des systèmes autonomes
PDF
P
pampa - Programmation des architectures parallèles réparties : fondements et méthodologie
PDF
pastis - Projet Analyse de Scènes et Traitement d'Images Symboliques
PDF
prisme - Géométrie, Algorithmes et Robotique
PDF
prograis - Dérivation de Spécifications et de Programmes
PDF
promath - Programmation mathématique
PDF
protheo - Contraintes, Déduction Automatique et Preuve de Propriétés de Logiciels.
PDF
psycho-ergo - Psychologie ergonomique pour l'informatique
PDF
R
reflecs - Systèmes informatiques répartis temps réel tolérant les fautes
PDF
repco - Représentation des connaissances
PDF
robotvis - Robotique et Vision par Ordinateur
PDF
rodeo - Réseaux à haut débit, Réseaux ouverts
PDF
rodin - Systèmes de Bases de Données
PDF
S
safir - Systèmes Algébriques Formels pour l'Industrie et la Recherche
PDF
sagep - Simulation, Analyse et Gestion des Systèmes de Production
PDF
saturne - Système réparti tolérant les fautes et les intrusions
PDF
secoia - Systèmes experts et conception d'outils pour l'intelligence artificielle
PDF
sharp - Programmation automatique et systèmes décisionnels en robotique
PDF
sherpa - Bases de connaissances à objets
PDF
shood - Méthodes et outils pour l'intégration des systèmes industriels
PDF
siames - Synthèse d'image, animation, modélisation et simulation
PDF
sinus - Simulation Numérique dans les Sciences de l'Ingénieur
PDF
solidor - Construction de Systèmes et d'Applications Distribués
PDF
sor - Systèmes d'objets répartis
PDF
sosso - Applications et Outils de l'Automatique
PDF
spectre - Spécification et programmation des systèmes communicants et temps réel
PDF
syco - Modèles fondamentaux et applications des processus perceptifs et cognitifs
PDF
syntim - Analyse Synthèse d'Images
PDF
systol - Modélisation statistique et applications biomédicales
PDF
T
temis - Traitement, exploitation et modélisation d'images séquentielles
PDF
V
verso - Bases de Données
PDF