EN FR
EN FR

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

  1. acacia - Acquisition des Connaissances pour l'Assistance à la Conception par Interaction entre Agents PDF
  2. adp - Algorithmes distribués et protocoles PDF
  3. airelle - Représentations et Langages PDF
  4. aladin - Algorithmes adaptés au calcul numérique intensif PDF
  5. algo - Algorithmes PDF
  6. api - Architectures parallèles intégrées PDF
  7. archi - Architecture PDF
  8. as - Automatique et signal PDF
  9. atgc - Action Transversale Génome et Calcul (not available)
  10. atoll - Atelier d'outils logicels pour le langage naturel PDF

B

  1. bip - Contrôle/commande de robots marcheurs et applications PDF

C

  1. caps - Compilation, Architectures Parallèles et Système PDF
  2. clorec - Classification automatique et reconnaissance des formes PDF
  3. codes - Codes et Protection de l'Information PDF
  4. conge - Contrôle géométrique des systèmes non linéaires PDF
  5. coq - Spécifications et preuves de programmes PDF
  6. cristal - Programmation typée, modularité et compilation PDF
  7. croap - Conception et réalisation d'outils d'aide à la programmation PDF

D

  1. dialogue - Dialogue homme-machine à forte composante langagière PDF

E

  1. ep-atr - Environnement de programmation d'applications temps réel PDF
  2. epidaure - Epidaure, Projet Images, Diagnostic Automatique, Robotique PDF
  3. eureca - Preuve, calcul symbolique et logique PDF

F

  1. fractales - Approches Fractales pour l'Analyse et la Modélisation des Signaux PDF

G

  1. graph'is - Synthèse d'Image PDF

I

  1. icare - Instrumentation, Commande, Architecture des Robots Evolués PDF
  2. icsla - Interprétation, Compilation et Sémantique des Langages Applicatifs PDF
  3. ident - Estimation de Paramètres et Applications Industrielles PDF
  4. idopt - Identification et optimisation de sytèmes en physique et en environnement PDF

L

  1. lande - Langages déclaratifs PDF

M

  1. made - Environnements de développement d'applications multimédia PDF
  2. masda - Mouvement, Analyse d'images, Synthèse d'images, Déformation et Animation PDF
  3. mefisto - Filtrage et Identification des Systèmes Dynamiques Stochastiques PDF
  4. meije - Parallélisme, Synchronisation et Temps-Réel PDF
  5. menusin - Méthodes numériques des sciences de l'ingénieur PDF
  6. meta2 - Méta-automatique et méthodes de l'automatique (not available)
  7. meval - Modélisation et Évaluation des Systèmes Informatiques PDF
  8. miaou - Mathématiques et Informatique de l'Automatique et de l'Optimisation pour l'Utilisateur PDF
  9. micas - Modèles et implémentation des calculs syntaxiques PDF
  10. mistral - Modélisation en Informatique et Systèmes de Télécommunications PDF
  11. model - Modélisation des systèmes aléatoires PDF
  12. modulef - Méthodes et outils pour le calcul scientifique PDF
  13. multi-projet - Calcul parallèle en simulation numérique (not available)

N

  1. numath - Analyse Mathématique & Traitement Numérique de Modèles Non Linéaires PDF

O

  1. omega - Méthodes numériques probabilistes pour les équations aux dérivées partielles et les Mathématiques financières PDF
  2. opera - Outils pour les documents électroniques, recherche et applications PDF
  3. orion - Environnements Intelligents de résolution de problèmes pour des systèmes autonomes PDF

P

  1. pampa - Programmation des architectures parallèles réparties : fondements et méthodologie PDF
  2. para - Parallélisme PDF
  3. pastis - Projet Analyse de Scènes et Traitement d'Images Symboliques PDF
  4. prisme - Géométrie, Algorithmes et Robotique PDF
  5. prograis - Dérivation de Spécifications et de Programmes PDF
  6. promath - Programmation mathématique PDF
  7. protheo - Contraintes, Déduction Automatique et Preuve de Propriétés de Logiciels. PDF
  8. psycho-ergo - Psychologie ergonomique pour l'informatique PDF

R

  1. reflecs - Systèmes informatiques répartis temps réel tolérant les fautes PDF
  2. repco - Représentation des connaissances PDF
  3. robotvis - Robotique et Vision par Ordinateur PDF
  4. rodeo - Réseaux à haut débit, Réseaux ouverts PDF
  5. rodin - Systèmes de Bases de Données PDF

S

  1. safir - Systèmes Algébriques Formels pour l'Industrie et la Recherche PDF
  2. sagep - Simulation, Analyse et Gestion des Systèmes de Production PDF
  3. saturne - Système réparti tolérant les fautes et les intrusions PDF
  4. secoia - Systèmes experts et conception d'outils pour l'intelligence artificielle PDF
  5. sharp - Programmation automatique et systèmes décisionnels en robotique PDF
  6. sherpa - Bases de connaissances à objets PDF
  7. shood - Méthodes et outils pour l'intégration des systèmes industriels PDF
  8. siames - Synthèse d'image, animation, modélisation et simulation PDF
  9. sinus - Simulation Numérique dans les Sciences de l'Ingénieur PDF
  10. solidor - Construction de Systèmes et d'Applications Distribués PDF
  11. sor - Systèmes d'objets répartis PDF
  12. sosso - Applications et Outils de l'Automatique PDF
  13. spectre - Spécification et programmation des systèmes communicants et temps réel PDF
  14. syco - Modèles fondamentaux et applications des processus perceptifs et cognitifs PDF
  15. syntim - Analyse Synthèse d'Images PDF
  16. systol - Modélisation statistique et applications biomédicales PDF

T

  1. temis - Traitement, exploitation et modélisation d'images séquentielles PDF

V

  1. verso - Bases de Données PDF