Rapport d'activité INRIA 2000

Navigation encyclopédique : Liste des termes
parallélisation d'application / planification de trajectoires / problème de Riemann / problème de Stokes généralisé

planification de trajectoires

• Projet : MIAOU - Transformations et équivalence des systèmes non-linéaires
• Projet : MIAOU - Structure et commande des systèmes non-linéaires
• Projet : PRISME - Géométrie Algorithmique

planification et commande référencée capteur

• Projet : ICARE - Navigation de robots mobiles
• Projet : ICARE - Perception et navigation

planification et simulation

• Action : CHIR - Planification et simulation de procédures robotiques

plaquage de texture

• Projet : IMAGIS - Visualisation, rendu et simulation de l'éclairage

plaque

• Projet : MACS - Développement et analyse de méthodes numériques performantes pour le calcul des structures

plasma

• projet : CAIMAN - Conseil scientifique pour Alcatel Space Industries
• projet : CAIMAN - Simu_ESD
• projet : CAIMAN - Électromagnétisme
• Projet : IDOPT - Identification et optimisation en physique
• projet : NUMATH - Problèmes Non Linéaires en électromagnétisme
• projet : NUMATH - Panorama

plate-forme

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

plate-forme de développement

• Avant-projet : CORTEX - Plates-formes de développement

plate-forme logicielle

• Projet : SIAMES - Plate-forme de simulation

plate-forme objet

• Action : AID - CBR*Tools - Plateforme objet en raisonnement à partir de cas
• Action : AID - Logiciels

point critique

• Projet : MIAOU - Identification et déconvolution

point de contrôle

• Projet : ADP - Points de contrôle et retour arrière
• Projet : ADP - Points de contrôle et retour arrière

point de contrôle et d'observation (PCO)

• Projet : PAMPA - Génération automatique de tests

point de vue

• Projet : ACACIA - Actions européennes
• Projet : ACACIA - Acquisition des connaissances, multiples points de vue, multi-expertise et ingénierie concourante
• Action : AID - Reconception de sites Web basée sur une analyse de l'usage
• Action : AID - Conception de systèmes de recommandations personnalisées
• Action : AID - Evaluation du langage ROL pour nos applications Web
• Projet : EIFFEL - Présentation et objectifs généraux

politique de maintenance

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

politique de remplacement de pages

• Projet : MISTRAL - Modèles de trafic pour les réseaux

politique de sécurité

• Projet : LANDE - Actions « amont »

politique environnementale

• Projet : COMORE - Jeux dynamiques

pollen

• Projet : ORION - Panorama

pollution

• Projet : ALADIN - Panorama
• Projet : ESTIME - Ecoulement et transport en milieu poreux pour les problèmes d'environnement

pollution atmosphérique

• PROJET : AIR - Estimation de l'ensoleillement au sol
• PROJET : AIR - Estimation de profils verticaux d'espèces chimiques : couplage radiatif-chimie
• PROJET : AIR - Estimation de profils verticaux d'espèces chimiques : inversion de modèle radiatif

polymère

• Projet : OMEGA - Méthodes numériques probabilistes en ingéniérie
• Projet : OMEGA - Vitesse de convergence optimale de l'algorithme particulaire pour les équations de conservation scalaires

polymorphisme

• Projet : SIAMES - Gasp : Raffinement des concepts disponibles et nouveaux algorithmes.

polynôme

• 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 : SAGA - Lien symbolique-numérique

polynômes

• Projet : SAGA - Bibliothèque ALP

polynômes orthogonaux

• Projet : MIAOU - Identification et déconvolution

polyréférence

• projet : SIGMA2 - Méthodes de sous-espace, application à la surveillance de structures soumises à vibrations en opération

portage d'applications

• Projet : CAPS - Environnement pour architectures hautes performances (cf. 2.2)

portails

• Action : AID - Panorama

post-production

• Projet : TEMICS - Logiciel de post-production vidéo

poursuite

• projet : SIGMA2 - Identification et approximation stochastique
• Projet : VISTA - Extraction de pistes et trajectographie

poursuite de projection

• Projet : ARIANA - Analyse de texture dans l'espace hyperspectral par des méthodes probabilistes pour l'extraction de zones urbaines

poutre

• Projet : MACS - Développement et analyse de méthodes numériques performantes pour le calcul des structures

pragmatique

• Projet : LED - Etude et modélisation de l'usage de la langue

précision

• Projet : ALADIN - Présentation et objectifs généraux
• Projet : ONDES - Raffinement de maillage pour une méthode de résolution des équations de Maxwell et de l'équation des ondes

précision multiple

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

préconditionnement

• Projet : ALADIN - Problèmes linéaires et non linéaires

prédicibilité

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

prédiction

• Action : AID - Analyse des usages sur internet/intranet
• Action : AID - Présentation et objectifs généraux
• Action : AID - Analyse des usages
• Projet : TEMICS - Estimation de mouvement et segmentation

prédiction de branchement

• Projet : CAPS - L'exécution spéculative
• Projet : CAPS - Architecture de processeurs
• Projet : CAPS - Architecture de processeurs (cf. 2.1)

préférences utilisateurs

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

présentation

• Projet : OPERA - Présentation de documents multimédia structurés

préservation de la fonction distance

• Projet : ROBOTVIS - Outils pour l'Imagerie cérébrale

préservation de propriétés

• Action : EXMO - Présentation et objectifs généraux

preuve

• Action : CERTILAB - Preuve de propriétés de langages
• Projet : LEMME - Environnements de preuves
• Projet : PAMPA - Test de conformité et d'interopérabilité

preuve assistée

• Projet : LANDE - Actions « aval »

preuve d'algorithmes

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

preuve de programmes

• Action : CONTRAINTES - Environnements de programmation

preuve de théorème

• Projet : EPATR - Vérification et validation

preuve équationnelle

• Projet : PROTHEO - Preuve de propriétés de programmes

preuve formelle

• Action : CHIR - Intégration temps-réel sécurisée avec réalité augmentée
• Projet : LANDE - Actions « amont »

preuve par récurrence

• Projet : PROTHEO - SPIKE
• Projet : PROTHEO - Preuve de propriétés de programmes

preuves

• Projet : OASIS - Spécifications, environnements, analyses et transformations

prévention et contrôle de la congestion

• Projet : MISTRAL - Analyse quantitive des protocoles dans les réseaux
• Avant-projet : TREC - Analyse de protocoles de contrôle de flux dans les réseaux

prévision

• Projet : IDOPT - Environnement

pricer

• Projet : MATHFI - Développement d'un logiciel de pricer d'options : Premia

principe du maximum

• Projet : MATHFI - Gestion de portefeuille dans un marché gouverné par des processus de diffusion avec sauts

principe turbo

• Projet : TEMICS - Codage et codage conjoint source-canal

prix des actifs

• Projet : OMEGA - Mathématiques financières

probabilités invariantes

• Projet : OMEGA - Méthodes numériques probabilistes pour les EDP

problème de Helmholtz

• projet : CAIMAN - Électromagnétisme

problème de Riemann

• projet : CAIMAN - Équations de conservation et volumes finis
• projet : CAIMAN - Électromagnétisme
• projet : CAIMAN - Mécanique des fluides et problèmes connexes
• Projet : SINUS - Méthodes d'approximation

  ---

  Navigation encyclopédique : Liste des termes
  parallélisation d'application / planification de trajectoires / problème de Riemann / problème de Stokes généralisé