Rapport d'activité INRIA 2000

Navigation encyclopédique : Liste des termes
corpus / delay / distribution de Rayleigh généralisée / division

delay

• Projet : MATHFI - Contrôle optimal de systèmes avec retard

démonstrateur haptique

• Avant-Projet : I3D - Démonstrateur haptique

démonstration

• Projet : LOGICAL - Développement en Coq
• Projet : LOGICAL - Réduction, réécriture, automatisation

démonstration automatique

• Action : CONTRAINTES - Langages concurrents avec contraintes
• Projet : LOGICAL - Réduction, réécriture, automatisation
• Projet : PROTHEO - CALIFE

démonstration constructive

• Projet : LOGICAL - Logique et calcul

démonstrations formelles

• Projet : LOGICAL - Développement en Coq

déplacement

• Projet : EPIDAURE - Analyse du mouvement et des déformations

dérivation

• Projet : LOGICAL - Développement en Coq

dérivée

• Projet : LOGICAL - Développement en Coq
• projet : TROPICS - Odyssée

dérivée topologique

• projet : NUMATH - Optimisation de formes

déroulement de phase

• Projet : ARIANA - Modèles variationnels et EDP en interférométrie radar RSO : déroulement de phase

descente de gradient

• Projet : EPIDAURE - Recalage d'images

descripteurs de Fourier

• PROJET : AIR - Analyse de trajectoires de nuages sur des séquences d'images

description audio pour l'indexation

• projet : SIGMA2 - Traitement de la parole et du langage

description d'architecture

• Projet : EPATR - Projet IST SafeAir, convention n°100C01490031307005 (01/2000-06/2002)
• Projet : EPATR - Mises en oeuvre distribuées et description d'architectures de communication

descriptions multiples

• Projet : TEMICS - Représentation temps-fréquence et par bases de fonctions redondantes
• Projet : TEMICS - Codage et codage conjoint source-canal

design patterns

• Projet : PAMPA - Méta-Framework pour Objets Répartis

désorption

• projet : CAIMAN - Conseil scientifique pour Alcatel Space Industries
• projet : CAIMAN - Simu_ESD

Détection

• Avant-projet : IMEDIA - Requêtes partielles
• Projet : TEMICS - Tatouage d'images

détection d'évolution

• Projet : EPIDAURE - Recalage d'images

détection de bâtiments

• Projet : ARIANA - Détection de bâtiments par processus Markov objet

détection de changements

• Projet : FRACTALES - Traitement d'images
• Projet : FRACTALES - Présentation et objectifs généraux

détection de collision

• Avant-Projet : I3D - Bibliothèque de détection de collisions
• Avant-Projet : I3D - Détection de collisions

détection de contours

• Projet : EPIDAURE - Bibliothèque Edges3D

détection de fissures

• Projet : MIAOU - Identification et déconvolution

détection de panne

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

détection de propriétés

• Projet : ADP - Détection de propriétés
• Projet : ADP - Détection de propriétés

détection de visages

• Avant-projet : IMEDIA - Requêtes partielles

détection décentralisée

• Projet : ADP - Détection de propriétés
• Projet : ADP - Détection de propriétés

détection et suivi d'objets en mouvement

• Projet : ROBOTVIS - Méthodes variationnelles, EDPs et applications

déterminants

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

déterminisation

• Projet : PAMPA - Test de conformité et d'interopérabilité

diagnostic

• Projet : AIDA - Surveillance de systèmes physiques
• 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
• Projet : PAMPA - Diagnostic de pannes dans les réseaux de télécommunications (RNRT Magda)
• projet : SIGMA2 - Télécommunications : diagnostic de pannes en gestion de réseaux, turbo-codes, décodage conjoint source-canal
• projet : SIGMA2 - Présentation et objectifs généraux
• Projet : SOSSO - Automatique, Traitement du signal et Sciences biomédicales
• Projet : SOSSO - Modélisation et commande de systèmes physiologiques.
• Projet : SOSSO - Automatique, Traitement du signal et Sciences biomédicales.

diagnostic de panne

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

diagnostic médical

• Action : ROMANS - Contexte et objectifs du projet

diagnostiqueur

• Projet : AIDA - Surveillance de systèmes physiques

diagramme de Voronoï

• Projet : PRISME - Géométrie Algorithmique
• Projet : PRISME - Algorithmes géométriques

diagrammes de décision binaires

• Projet : EPATR - Vérification et synthèse
• Projet : EPATR - Thèmes de recherche
• Action : TICK - Méthodes d'analyse et de vérification automatique de systèmes réactifs synchrones
• Action : TICK - Xeve

dialogue

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

dichotomie spectrale

• Projet : ALADIN - Problèmes aux valeurs propres

diesel

• Projet : SOSSO - Automatique, Informatique et Automobile

différences finies

• Projet : MATHFI - Méthodes numériques pour l'évaluation et la couverture des produits dérivés
• Projet : ONDES - Méthodes d'ordre élevé pour les équations des ondes

différenciation de service

• Projet : ARMOR - Fondements scientifiques

différentiation automatique

• 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
• Projet : ESTIME - Méthodes numériques en optimisation
• projet : TROPICS - Différentiation Automatique
• projet : TROPICS - Odyssée
• projet : TROPICS - Différentiation Automatique des boucles parallélisables

diffraction

• Projet : ONDES - Code de calcul pour la diffraction

diffusion

• Projet : ADP - Systèmes transactionnels dupliqués fondés sur la communication de groupes
• Projet : ADP - Systèmes transactionnels dupliqués fondés sur la communication de groupe
• PROJET : AIR - Estimation de l'ensoleillement au sol

diffusion anisotrope

• Projet : EPIDAURE - Restauration et segmentation d'images

diffusions avec sauts

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

dilemme du fabricant de tables

• Projet : ARENAIRE - Calcul des fonctions élémentaires

dimensionnement

• Projet : ARMOR - Fondements scientifiques

dimensionnement de réseaux

• Projet : MASCOTTE - CTI avec le CNET
• Projet : MASCOTTE - Dimensionnement de réseaux de télécommunication haut débit

dirigeable

• Projet : ICARE - Drônes aériens d'observation

discrétisation

• Projet : GAMMA - Maillage des courbes implicites

discrétisation de diffusions

• Projet : OMEGA - Vitesse de convergence optimale de l'algorithme particulaire pour les équations de conservation scalaires

discussion

• Action : AID - Hermès - Aide à la confrontation de points de vues sur le Web

disparité

• Projet : TEMICS - Analyse, modélisation et édition de séquences d'images

disponibilité

• Projet : ARMOR - Fondements scientifiques
• Projet : PARIS - Haute disponibilité

distance à l'instabilité

• Projet : SOSSO - Analyse et commande de systèmes à hystérésis ou à retards

distribution

• Action : CONTRAINTES - Langages concurrents avec contraintes
• Projet : HIPERCOM - Méthodologie de l'évaluation des algorithmes de télécommunications
• Action : MIMOSA - Programmation réactive
• Action : MIMOSA - Programmation réactive distribuée
• Projet : OASIS - Programmation objet, concurrence et répartition
• Projet : SOSSO - Méthode d'«Adéquation Algorithme Architecture»

distribution de données

• Projet : LANDE - Actions « amont »

distribution de Rayleigh généralisée

• Projet : ARIANA - Processus -stable en imagerie radar RSO

  ---

  Navigation encyclopédique : Liste des termes
  corpus / delay / distribution de Rayleigh généralisée / division