1998 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 - Gestion des connaissances pour l'aide à la conception coopérative (not available)
5. aida - Avant-projet Aïda - Modélisation et Apprentissage pour l'Interprétation de Données et l'Aide à la décision (not available)
6. air - PROJET : AIR - Traitement d'image et données satellites dynamiques (not available)
7. airelle - Action : AIRELLE - Représentations et Langages (not available)
8. aladin - Algorithmes adaptés au calcul numérique intensif (not available)
9. algo - Algorithmes (not available)
10. apache - Algorithmique Parallèle, Programmation et Répartition de Charge (not available)
11. ariana - Problèmes Inverses en Observation de la Terre et Cartographie (not available)
12. atgc - Action : ATGC - Action Transversale Génome et Calcul (not available)
13. 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 - projet : 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 - PROJET : CODES - Codage et cryptographie (not available)
5. comore - Contrôle et Modélisation de Ressources Renouvelables (not available)
6. 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. cortex - Avant-projet : CORTEX - Intelligence neuromimétique (not available)
10. cosi - Conception de systèmes sur silicium (not available)
11. cristal - Programmation typée, modularité et compilation (not available)
12. croap - projet : CROAP - Conception et Réalisation d'Outils d'Aide à la Programmation (not available)

E

1. ecoo - Avant-projet : ECOO - Environnements et COOpération (not available)
2. eiffel - Action : EIFFEL - Cognition et coopération en conception (not available)
3. epatr - Environnement de programmation d'applications temps réel (not available)
4. epidaure - Epidaure, Projet Images, Diagnostic, Automatique, Robotique (not available)
5. estime - Estimation de paramètres et modélisation en milieu hétérogène (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)

H

1. hipercom - avant-projet : HIPERCOM - Communication à 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 - Modélisation, Simulation et Image (not available)

L

1. lande - Conception et validation de logiciels (not available)
2. led - Langue et Dialogue (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. macsi - Avant Modélisation, Analyse et Conduite des Systèmes Industriels (not available)
3. maia - Avant-Machine Intelligente et Autonome (not available)
4. meije - Parallélisme, Synchronisation et Temps-Réel (not available)
5. merlin - Action : MErLIn - Méthodes pour l'Ergonomie des Logiciels Interactifs (not available)
6. meta2 - Méta-automatique et méthodes de l'automatique (not available)
7. meval - Modélisation et Évaluation des Systèmes Informatiques (not available)
8. miaou - Mathématiques et Informatique de l'Automatique et de l'Optimisation pour l'Utilisateur (not available)
9. mistral - Modélisation en Informatique et Systèmes de Télécommunications (not available)
10. model - Modélisation de systèmes aléatoires (not available)
11. mostra - Avant-Modélisation Numérique des Structures, Structures Adaptatives (not available)
12. 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)
2. numopt - Optimisation Numérique (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 - Outils pour les documents électroniques, recherche et applications (not available)
4. orion - Environnements de résolution de problèmes pour des systèmes autonomes (not available)
5. orpailleur - Action : Orpailleur - Représentations, raisonnements, et extraction de connaissances à partir de bases de donneées (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. polka - Avant-Polynômes, Combinatoire, Arithmétique (not available)
5. prisme - Géométrie, Algorithmes et Robotique (not available)
6. promath - Programmation Mathématique (not available)
7. protheo - Contraintes, Déduction automatique et Preuves de Propriétés de Logiciels (not available)

R

1. read - - Reconnaissance de l'Ecriture et Analyse de Documents (not available)
2. reflecs - Génie système et informatique distribuée temps réel tolérant les fautes (not available)
3. remap - Régularité et parallélisme massif (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)

S

1. safir - Systèmes Algébriques et Formels pour l'Industrie et la Recherche (not available)
2. saga - Avant-Systèmes algébriques, Géométrie et Applications (not available)
3. sharp - Programmation automatique et systèmes décisionnels en robotique (not available)
4. sherpa - Modèles et bases de connaissances à objets (not available)
5. siames - Synthèse d'Images, Animation, Modélisation et Simulation (not available)
6. sigma2 - projet : SIGMA2 - Signaux, modèles et algorithmes (not available)
7. sinus - Simulation Numérique dans les Sciences de l'Ingénieur (not available)
8. sirac - Systèmes Informatiques Répartis pour Applications Coopératives (not available)
9. sloop - Simulation, Langages à Objets et Parallélisme (not available)
10. sodas - action : SODAS - Structures de classification Ordonnées et Discrimination : Algorithmes et Simulations (not available)
11. solidor - Construction de systèmes et d'applications distribués (not available)
12. sor - Systèmes Objets Répartis (not available)
13. sosso - Applications et Outils de l'Automatique (not available)
14. sysdys - Systèmes Dynamiques Stochastiques (not available)

T

1. temics - TraitEment, Modélisation d'Images et CommunicationS (not available)
2. types - Logique, Théorie de la Démonstration et Programmation (not available)

V

1. vasy-ra - 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)