Rapport d'activité INRIA 2000

Navigation encyclopédique : Liste des termes
analyse financière / approche multimodèles / auto-focalisation / automate

approche multimodèles

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

approche neuronale

• Action : AID - Raisonnement à partir de cas

approche spectrale

• Projet : SIAMES - CSTB : simulation d'éclairage

approches formelles

• Action : AID - Sémantique de sites/services Web

approximation analytique

• Projet : MIAOU - Problèmes inverses géométriques et identification de paramètres pour le Laplacien 2D

approximation méromorphe

• Projet : MIAOU - Problèmes inverses géométriques et identification de paramètres pour le Laplacien 2D
• Projet : MIAOU - Identification et déconvolution

approximation paraxiale

• Projet : ESTIME - Inversion sismique

approximation rationnelle

• Projet : MIAOU - Problèmes inverses géométriques et identification de paramètres pour le Laplacien 2D
• Projet : MIAOU - Identification et déconvolution

approximation stochastique

• projet : SIGMA2 - Identification et approximation stochastique

arbre

• Projet : VISTA - Modèles markoviens hiérarchiques et estimation bayésienne

arbre d'index

• Projet : ALGO - Analyse d'algorithmes

arbre de syntaxe abstraite

• projet : TROPICS - Analyses et transformations de programmes

architecture

• Projet : SIAMES - Les environnements architecturaux et urbains
• Projet : VERSO - Bases de données et le Web

architecture de commande

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

architecture de contrôle

• Projet : BIP - Contrôle/commande de systèmes robotiques complexes
• Action : CHIR - Intégration temps-réel sécurisée avec réalité augmentée

architecture de logiciel

• Projet : LANDE - Action Castor

architecture de processeur

• Projet : CAPS - Domaines d'applications

Architecture embarquée

• Projet : PAMPA - AEE : Architecture Electroniques Embarquées

architecture hétérogène

• Projet : EPATR - Objectif général du projet
• Projet : EPATR - Thèmes de recherche
• Projet : EPATR - Mises en oeuvre distribuées et description d'architectures de communication

architecture multiprocesseur

• Projet : VASY - Action FormalFame (Dyade)
• Projet : VASY - Etudes de cas et applications pratiques

architecture opérationnelle

• Projet : HIPERCOM - AEE

architecture parallèle

• Projet : COSI - Panorama
• Projet : VASY - Action FormalFame (Dyade)
• Projet : VASY - Etudes de cas et applications pratiques

architecture qualité de services

• Projet : ADP - Aide à la conception des applications multimédias
• Projet : ADP - Aide à la conception des applications multimedia

architecture sécurisée

• Projet : LANDE - Domaines d'applications

architectures de commande

• Projet : MACSI - Organisation et gestion de production

architectures de logiciel

• Projet : LANDE - Actions « amont »

architectures de logiciels

• Projet : LANDE - Actions « amont »

Architectures logicielles

• Projet : SOLIDOR - Fondements scientifiques

argumentation

• Action : AID - Logiciels
• Action : AID - Hermès - Aide à la confrontation de points de vues sur le Web
• Action : AID - Conception de systèmes de recommandations personnalisées
• Action : AID - Evaluation du langage ROL pour nos applications Web

arguments implicites

• Projet : LOGICAL - Modularité

Arinc

• Projet : EPATR - Avionique

arithmétique

• Projet : PRISME - Calcul géométrique

arithmétique asynchrone

• Projet : ARENAIRE - ST Microelectronics

arithmétique d'intervalles

• Projet : ALADIN - Encadrement garanti de résultats

arithmétique des ordinateurs

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

arithmétique exacte

• Projet : ARENAIRE - Arithmétique virgule flottante : spécification et algorithmes de manipulation d'expansions

Arnoldi

• Projet : ALADIN - Problèmes aux valeurs propres

AROM

• Action : ROMANS - Contexte et objectifs du projet

arrêt optimal

• Projet : MATHFI - Problèmes de temps d'arrêt optimal et options américaines

ASIC

• Projet : COSI - Panorama
• Projet : COSI - MMAlpha
• Projet : COSI - Synthèse de très haut niveau

ASIP

• Projet : COSI - Conception de processeurs programmables spécialisés et leurs outils de compilation
• Projet : COSI - Compilation pour processeurs spécialisés programmables

aspect

• Projet : LANDE - Actions « amont »

assemblée neuronale

• Avant-projet : CORTEX - La modélisation biologique

Assembleur typé

• Projet : LOGICAL - Développement en Coq

asservissement visuel

• Projet : BIP - Les robots bipèdes
• Projet : ICARE - Drônes aériens d'observation
• Projet : ICARE - Robotique sous-marine
• Projet : ICARE - Vision active
• Projet : MOVI - Couplage vision/robotique
• Projet : VISTA - Commande référencée vision
• Projet : VISTA - Présentation et objectifs généraux

assimilation de données

• Projet : IDOPT - Environnement

assistance à l'utilisateur

• Projet : ACACIA - Introduction
• Projet : ACACIA - Actions européennes
• Projet : ACACIA - Aide à la modélisation et construction de mémoire d'entreprise

assistance à la conduite automobile

• Projet : SOLIDOR - Domaines d'applications
• Projet : SOLIDOR - Systèmes d'information pour ordinateurs de poche en environnement mobile

ASTRID

• Action : ROMANS - Contexte et objectifs du projet

astronomie

• Projet : ORION - Panorama

asymétrie d'information

• Projet : OMEGA - Mathématiques financières

asynchronisme

• Projet : PAMPA - Méthodologie de tests d'interopérabilité

atelier de conception

• Projet : SIRAC - Domaines d'applications

atlas anatomique

• Projet : EPIDAURE - INSERM-Medtronic

ATM

• Projet : ARMOR - Fondements scientifiques
• Projet : COSI - Conception d'architectures pour les télécommunications
• Projet : COSI - Algorithmique fondamentale
• Projet : HIPERCOM - Mise en oeuvre du protocole IPv6 au-dessus d'une infrastructure ATM
• Projet : MASCOTTE - Dimensionnement de réseaux de télécommunication haut débit

atomicité

• Projet : VASY - Etudes de cas et applications pratiques

attaque

• Projet : LANDE - Actions « aval »

attracteur

• projet : NUMATH - Prédicibilité et simulation numérique pour les modèles océaniques
• projet : NUMATH - Prédicibilité et simulation

audiovisuel

• Projet : SIAMES - Le multimédia, l'audiovisuel et les jeux

audit de logs

• Projet : LOGICAL - Développement en Coq

authentification

• Projet : TEMICS - Tatouage d'images

auto-calibration

• 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
• Projet : TEMICS - Modélisation 3D par géométrie projective

auto-étalonnage

• Projet : MOVI - Couplage vision/robotique

auto-focalisation

• projet : CAIMAN - Électromagnétisme

  ---

  Navigation encyclopédique : Liste des termes
  analyse financière / approche multimodèles / auto-focalisation / automate