Rapport d'activité INRIA 2000

Navigation encyclopédique : Liste des termes
abstraction / algorithme évolutionnaire / algorithme génétique

abstraction

• Projet : PAMPA - Test de conformité et d'interopérabilité
• Action : TICK - Méthodes d'analyse et de vérification automatique de systèmes réactifs synchrones
• Action : TICK - Xeve

accélération

• Projet : SIAMES - Analyse des performances de la version distribuée

accès de mémoire à distance

• Projet : APACHE - Logiciel de base pour architecture parallèle et distribuée

accès multiple

• Projet : HIPERCOM - Analyse et évaluation de protocoles d'accès au canal et de protocoles de routage dans les réseaux locaux sans fil

accidentologie

• Projet : ACACIA - Panorama
• Projet : ACACIA - RESEDA

acoustique

• projet : CAIMAN - Propagation d'ondes électromagnétiques
• projet : CAIMAN - Équations intégrales et méthode multipôle rapide en électromagnétisme
• projet : CAIMAN - Électromagnétisme

acquisition d'informations lexicales en corpus

• Projet : AIDA - Recherche d'information dans un ensemble de documents, construction de lexiques

acquisition de connaissances

• Projet : ACACIA - Introduction
• Projet : ACACIA - Actions européennes
• Projet : ACACIA - CGKAT (Conceptual Graph Knowledge Acquisition Tool)
• Projet : ACACIA - Cokace et WebCokace
• Projet : ACACIA - MULTIKAT
• Projet : ACACIA - Aide à la modélisation et construction de mémoire d'entreprise
• Projet : ACACIA - Acquisition des connaissances, multiples points de vue, multi-expertise et ingénierie concourante
• Projet : ACACIA - Serveur de connaissances sur un Web sémantique

acquisition de connaissances à partir de textes

• Projet : ACACIA - Aide à la capitalisation des connaissances à partir de traces informatiques
• Projet : ACACIA - Aide à la modélisation et construction de mémoire d'entreprise

acquisition de mouvements

• Projet : SIAMES - Outils de restitution et de contrôle de mouvements acquis

acquisition de scénario

• Projet : AIDA - Aide à la surveillance de systèmes physiques
• Projet : AIDA - Modélisation de systèmes (ou d'activités complexes) évoluant dans le temps en vue de leur surveillance en ligne

acquisition de scénarios

• Projet : AIDA - Surveillance de systèmes physiques

acteurs autonomes

• Avant-Projet : I3D - Portage de la plate-forme GASP sur le plan de travail virtuel

actionneur électromagnétique

• Projet : ICARE - Action Sagem SA

activité de conception

• Action : AID - Présentation et objectifs généraux
• Projet : VASY - Action FormalCard (Dyade)
• Projet : VASY - Action FormalFame (Dyade)
• Projet : VASY - Contrat Reutel-2000 (Alcatel)
• Projet : VASY - Contrat RNTL Parfums

activité langagière

• Projet : EIFFEL - Présentation et objectifs généraux

adaptatif

• Projet : EPIDAURE - Simulation

adaptation

• Projet : OPERA - Modèles de documents multimédia adaptables
• Projet : OPERA - Transformations de structures
• Projet : OPERA - Transformations de structures

adaptation à l'utilisateur

• Action : AID - Présentation et objectifs généraux
• Action : AID - Sémantique de sites/services Web

adaptation de contenu

• Projet : OPERA - Collaboration avec Innovatel-Cegetel

adaptation de maillage

• Projet : GAMMA - Logiciel Bamg
• Projet : GAMMA - Logiciel BL2D
• Projet : GAMMA - Logiciel BLMESH
• Projet : GAMMA - Logiciel BLSURF
• Projet : GAMMA - Logiciel FreeFem+
• Projet : GAMMA - Maillage de surfaces paramétrées

adaptation et contrôle d'erreurs

• Projet : GAMMA - Panorama

aéronautique

• Projet : ACACIA - Panorama
• Projet : EIFFEL - Domaines d'applications
• Avant-Projet : I3D - Démonstrateur haptique

agencement

• Projet : MACSI - Ordonnancement et gestion des systèmes industriels
• Projet : MACSI - Organisation et gestion de production

agent

• Projet : SIRAC - Logiciels
• Projet : SIRAC - Construction d'applications réparties adaptables

agent informé

• Projet : OMEGA - Mathématiques financières

agent mobile

• Projet : LANDE - Actions « amont »
• Projet : SIRAC - Construction d'applications réparties

agent personnalisé

• Action : AID - Broadway*Tools - Pour la génération de systèmes de recommandations adaptatifs

agent/code mobile

• Projet : MISTRAL - Évaluation de différentes méthodes de localisation d'agents mobiles

agronomie

• Projet : EIFFEL - Domaines d'applications

aide à la navigation

• Action : AID - Broadway-1 - Aide personnalisée à la navigation sur le Web

aide en ligne

• Projet : MERLIN - Présentation et objectifs généraux

aides auditives

• Projet : PAROLE - Fondements scientifiques
• Projet : PAROLE - Analyse de la parole

alarme intelligente

• projet : SIGMA2 - Approche asymptotique locale pour la surveillance et le diagnostic des systèmes continus

Aldor

• Projet : CAFE - Bibliothèque SALLI

algèbre

• Projet : SAGA - Lien symbolique-numérique

algèbre aux différences

• Projet : CAFE - Algorithmes pour équations non linéaires

algèbre de processus

• Projet : VASY - Technologie des langages - compilation

algèbre différentielle

• Projet : CAFE - Algorithmes pour équations non linéaires
• Projet : CAFE - Algorithmes pour équations linéaires

algèbre double et relations de Plücker

• Projet : ROBOTVIS - Géométrie d'un système de caméras et applications
• Projet : ROBOTVIS - Géométrie d'un système de caméras et applications

algèbre linéaire

• Projet : ALADIN - Encadrement garanti de résultats
• Projet : ALADIN - Présentation et objectifs généraux
• Projet : APACHE - Panorama
• Projet : CAFE - Algorithmes pour équations linéaires
• Projet : SAGA - Bibliothèque ALP

algèbre max-plus

• Projet : EPATR - Techniques d'algèbre MaxPlus pour l'évaluation de performances
• Projet : METALAU - Systèmes à événements discrets et algèbre max-plus
• Projet : METALAU - Systèmes à événements discrets, algèbre max-plus et programmation dynamique
• Projet : METALAU - Transports
• Avant-projet : TREC - Calcul d'exposants de Lyapunov
• Avant-projet : TREC - Analyse de protocoles de contrôle de flux dans les réseaux
• Avant-projet : TRIO - Formalismes et techniques de vérification

algorithme

• Projet : IS2 - Modéles à structure cachée
• Projet : LEMME - Implémentations certifiées d'algorithmes de calcul scientifique
• Projet : LOGICAL - Logique et calcul

algorithme adaptatif

• Projet : PRISME - Géométrie Algorithmique

algorithme de couplage

• projet : CAIMAN - Mécanique des fluides et problèmes connexes
• projet : CAIMAN - Mécanique des fluides et problèmes connexes

algorithme de hachage

• Projet : ALGO - Analyse d'algorithmes

algorithme de Metropolis-Hastings

• Projet : ARIANA - ``Paint brushing'' et modélisation stochastique

algorithme de points intérieurs

• Projet : ESTIME - Méthodes numériques en optimisation

algorithme de quasi-Newton

• Projet : ESTIME - Méthodes numériques en optimisation

algorithme évolutif

• Projet : FRACTALES - Algorithmes génétiques

algorithme évolutionnaire

• Projet : FRACTALES - EASEA : langage de specification d'algorithmes évolutionnaires
• Projet : FRACTALES - Théorie markovienne de la convergence des Algorithmes Evolutionnaires

  ---

  Navigation encyclopédique : Liste des termes
  / abstraction / algorithme évolutionnaire / algorithme génétique