1997 Inria teams activity reports

A

1. a3 - Avant-projet A3 - Analyse Avancée Appliquée à l'optimisation de code (not available)
2. acacia - Acquisition des Connaissances pour l'Assistance à la Conception par Interaction entre Agents (not available)
3. adp - Algorithmes distribués et protocoles (not available)
4. aid - Action Aid - Action AID, Gestion des connaissances pour l'Aide à la conception coopérative (not available)
5. air - Traitement d'image et données satellites dynamiques (not available)
6. airelle - Action Airelle - Représentations et Langages (not available)
7. aladin - Rapport activite 1997 (not available)
8. algo - Algorithmes (not available)
9. apache - Algorithmique Parallèle, Programmation et Répartition de Charge (not available)
10. api - Architectures parallèles intégrées (not available)
11. atoll - Avant-projet Atoll - ATelier d'Outils Logiciels pour le Langage naturel (not available)

B

1. bip - Contrôle/commande de robots marcheurs et applications (not available)

C

1. caiman - Calcul scientifique, modélisation et analyse numérique (not available)
2. calligramme - Logique Linéaire, Réseaux de Démonstration et Grammaires Catégorielles (not available)
3. caps - Compilation, Architectures Parallèles et Systèmes (not available)
4. codes - Codage et cryptographie (not available)
5. comore - Action Comore - Contrôle et Modélisation de Ressources Renouvelables (not available)
6. compose - Avant-projet Compose - Conception de programmes et systèmes adaptatifs (not available)
7. conge - Contrôle Géométrique des Systèmes Non Linéaires (not available)
8. coq - Spécifications et preuves de programmes (not available)
9. cristal - Programmation typée, modularité et compilation (not available)
10. croap - Conception et réalisation d'outils d'aide à la programmation (not available)

D

1. dialogue - Dialogue à forte composante orale (not available)

E

1. ecoo - Action Ecoo - ACTION ECOO, Environnements pour la COOpération (not available)
2. epatr - Environnement de programmation d'applications temps réel (not available)
3. epidaure - Epidaure, projet images, diagnostic, automatique, robotique (not available)
4. estime - Avant-projet Estime - Estimation de paramètres et modélisation en milieu hétérogène (not available)
5. eureca - Preuve, calcul symbolique et logique (not available)

F

1. fractales - Approche Fractale pour l'Analyse et la Modélisation des Signaux (not available)

G

1. gamma - Génération Automatique de Maillages et Méthodes d'Adaptation (not available)
2. genome - Action ATGC - Action ATGC, Action Transversale Génome et Calcul (not available)

H

1. hipercom - Avant-projet Hipercom - Communication de hautes performances (not available)

I

1. icare - Instrumentation, Commande et Architecture des Robots Évolués (not available)
2. idopt - Identification et optimisation de systèmes en physique et en environnement (not available)
3. imagis - Modèles, Algorithmes, Géométrie pour le Graphique et l'Image de Synthèse (not available)
4. is2 - Inférence statistique pour l'industrie et la santé (not available)
5. isa - Rapport activite 1997 (not available)

L

1. lande - Conception et validation de logiciels (not available)
2. letool - Action LeTool - Environnement de Programmation Orienté-Objets et Interfaces Visuelles (not available)
3. loco - Programmation en LOgique avec COntraintes (not available)

M

1. m3n - Multi-Modèles et Méthodes Numériques (not available)
2. meije - Parallélisme, Synchronisation et Temps-Réel (not available)
3. meta2 - Rapport activite 1997 (not available)
4. meval - Modélisation et Évaluation des Systèmes Informatiques (not available)
5. miaou - Mathématiques et Informatique de l'Automatique et de l'Optimisation pour l'Utilisateur (not available)
6. mistral - Modélisation en Informatique et Systèmes de Télécommunications (not available)
7. model - Rapport activite 1997 (not available)
8. mostra - Avant-projet Mostra - Modélisation Numérique des Structures, Structures Adaptatives (not available)
9. movi - Modélisation pour la Vision par Ordinateur (not available)

N

1. numath - Analyse Mathématique & Traitement Numérique de Modèles Non linéaires (not available)

O

1. omega - Méthodes numériques probabilistes pour les équations aux dérivées partielles et les mathématiques financières (not available)
2. ondes - Modélisation et Simulation de Phénomènes de Propagation d'Ondes (not available)
3. opera-g - Outils pour les documents électroniques, recherche et applications (not available)
4. opera-r - Action Opera-Rennes - Action OPÉRA-Rennes, Outils pour l'édition électronique, recherche et applications (not available)
5. orion - Environnements de résolution de problèmes pour des systèmes autonomes (not available)

P

1. pampa - Modèles et outils pour la programmation des architectures parallèles réparties (not available)
2. para - Parallélisme (not available)
3. paragraphe - Parallélisme et graphes (not available)
4. pastis - Projet d'Analyse de Scènes et Traitement d'Images Symboliques (not available)
5. prisme - Géométrie, Algorithmes et Robotique (not available)
6. promath - Rapport activite 1997 (not available)
7. protheo - Contraintes, Déduction Automatique et Preuve de Propriétés de Logiciels (not available)
8. psycho - Psychologie ergonomique pour l'informatique (not available)

R

1. reflecs - Génie système et informatique distribuée temps réel tolérant les fautes (not available)
2. remap - Régularité et Parallélisme Massif (not available)
3. repco - Rapport activite 1997 (not available)
4. resedas - Outils Logiciels pour les Télécommunications et les Systèmes Distribués (not available)
5. robotvis - Robotique et Vision par Ordinateur (not available)
6. rodeo - Réseaux à haut débit, Réseaux ouverts (not available)
7. rodin - Systèmes de Bases de Données (not available)
8. rusken - Action Rusken - Environnements pour le travail coopératif assisté par ordinateur (not available)

S

1. safir - Systèmes Algébriques et Formels pour l'Industrie et la Recherche (not available)
2. sagep - Simulation, Analyse et Gestion des Systèmes de Production (not available)
3. saturne - Système réparti tolérant les fautes et les intrusions (not available)
4. sharp - Programmation automatique et systèmes décisionnels en robotique (not available)
5. sherpa - Modèles et bases de connaissances à objets (not available)
6. siames - Synthèse d'Images, Animation, Modélisation et Simulation (not available)
7. sigma2 - Signaux, Modèles et Algorithmes (not available)
8. sinus - Simulation Numérique dans les Sciences de l'Ingénieur (not available)
9. sirac - Systèmes Informatiques Répartis pour Applications Coopératives (not available)
10. sloop - Simulation, Langages à Objets et Parallélisme (not available)
11. sodas - Action Sodas - Structures de classification Ordonnées et Discrimination : Algorithmes et Simulations (not available)
12. solidor - Construction de systèmes et d'applications distribués (not available)
13. sor - Systèmes Objets Répartis (not available)
14. sosso - Applications et Outils de l'Automatique (not available)
15. syco - Modèles fondamentaux et applications des processus perceptifs et cognitifs (not available)
16. syntim - Analyse Synthèse d'Images (not available)
17. sysdys - Systèmes Dynamiques Stochastiques (not available)

T

1. temics - TraitEment, Modélisation d'Images et CommunicationS (not available)

V

1. vasy - Action Vasy-RA - Validation de Systèmes - Recherche et Applications (not available)
2. verso - Bases de Données (not available)
3. vista - Vision Spatio-Temporelle et Active (not available)