1997 Rapports d'activité des équipes Inria

A

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

B

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

C

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

D

1. dialogue - Dialogue à forte composante orale (non disponible)

E

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

F

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

G

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

H

1. hipercom - Avant-projet Hipercom - Communication de hautes performances (non disponible)

I

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

L

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

M

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

N

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

O

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

P

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

R

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

S

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

T

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

V

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