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

E

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

H

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

L

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

R

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

S

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

T

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

V

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