Rapport d'activité INRIA 2000

Navigation encyclopédique : Liste des termes
contour déformable / corpus / degré algébrique des algorithmes / delay

corpus

• Projet : LED - Une approche centrée « référence »

correction

• Projet : LANDE - Langages déclaratifs

Correction linéaire des erreurs d'arrondi

• Projet : ARENAIRE - La méthode CENA

corrélation

• 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

corrélation croisée

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

correspondance de Curry-Howard

• Projet : LOGICAL - Réduction, réécriture, automatisation

CoS (classe de service)

• Projet : ARMOR - Fondements scientifiques

couche limite

• projet : NUMATH - Méthodes de perturbations et multi-échelles

couche mince

• Projet : ONDES - Modèles asymptotiques en ferromagnétisme : couches minces et homogénéisation

couches

• 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

couches absorbantes

• Projet : ONDES - Éléments finis mixtes d'ordre élevé en maillage hexaédrique pour les ondes acoustiques et élastiques

couleur

• Avant-projet : IMEDIA - Descripteurs d'images  : Bases génériques

couplage

• projet : CAIMAN - Couplages de modèles et de méthodes
• projet : NUMATH - Chimie moléculaire
• Avant-projet : TRIO - Formalismes et techniques de vérification

couplage coque/3D

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

couplage de codes

• Projet : PARIS - Simulation numérique distribuée
• Projet : PARIS - Programmation d'une grappe hétérogène de calculateurs

couplage de modèles

• projet : CAIMAN - Électromagnétisme

couplage fluide-structure

• Projet : MACS - Dynamique des structures et stabilité

courbe implicite

• Projet : GAMMA - Maillage des courbes implicites

Courbes et surfaces implicites

• Projet : GAMMA - Actions nationales

coûts de transaction

• Projet : MATHFI - Mathématiques financières
• Projet : MATHFI - Gestion de portefeuille dans un marché gouverné par des processus de diffusion avec sauts

couverture

• Projet : MATHFI - Développement d'un logiciel de pricer d'options : Premia
• Projet : MATHFI - Stratégies de couverture réelle

couverture discrète

• Projet : MATHFI - Mathématiques financières

cristallogenèse

• Projet : IDOPT - Identification et optimisation en physique

critère de stabilité de Popov

• Projet : SOSSO - Stabilité et comportement qualitatif des systèmes non linéaires

critère de test

• Projet : LANDE - Test de logiciels

critères de stabilité

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

critères ergonomiques

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

croissance

• Projet : IMAGIS - Animation et modélisation

croissance de micro-organismes

• Projet : COMORE - Fondements scientifiques
• Projet : COMORE - Modélisation de la croissance du plancton

culturel

• Projet : VERSO - Applications culturelles

curseur 3D

• Avant-Projet : I3D - Curseur métrique

cycle d'hystérésis

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

cycle en V

• Projet : EPATR - Contexte des études

data-parallélisme

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

datalog

• Projet : VERSO - Vues Actives pour le commerce électronique
• Projet : VERSO - Vues actives pour le commerce électronique

Davidson

• Projet : ALADIN - Problèmes aux valeurs propres

DC+

• Projet : EPATR - Environnement de programmation Signal
• Projet : EPATR - Sigali
• Projet : EPATR - Thèmes de recherche
• Projet : EPATR - Évolutions de Signal et de son environnement
• Projet : EPATR - Mises en oeuvre distribuées et description d'architectures de communication

débogage

• Action : CONTRAINTES - Environnements de programmation
• Projet : LANDE - Action OADYMPPAC
• Projet : LANDE - Actions « aval »

débruitage

• Projet : FRACTALES - Traitement d'images

décharge sous vide

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

décimation

• Projet : GAMMA - Logiciel YAMS
• Projet : GAMMA - Maillage de surfaces discrètes

décision

• Action : AID - Logiciels
• Action : AID - Conception de systèmes de recommandations personnalisées
• Action : AID - Evaluation du langage ROL pour nos applications Web

décision en univers incertain

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

décision markovienne

• Projet : METALAU - Systèmes à événements discrets et algèbre max-plus

décodage conjoint source-canal

• 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 : SIGMA2 - Codes correcteurs et modèles graphiques

décomposition de domaine

• Projet : ESTIME - Ecoulement et transport en milieu poreux pour les problèmes d'environnement
• Projet : ESTIME - Méthodes numériques pour les équations aux dérivées partielles
• Projet : ESTIME - Ecoulements en milieu poreux
• Projet : IDOPT - Environnement
• Projet : MACS - Solveurs pour le calcul intensif en mécanique du solide
• Projet : MACS - Solveurs pour le calcul intensif en mécanique du solide
• projet : NUMATH - Problèmes Non Linéaires en électromagnétisme
• Projet : SIAMES - Structuration de scènes

décomposition en valeurs singulières

• 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

déconvolution aveugle

• Projet : ARIANA - Restitution de paramètres instrumentaux en imagerie satellitaire

découpe

• Projet : PRISME - Panorama

découpe industrielle

• Projet : PRISME - Placement de formes

découverte des voisins

• Projet : HIPERCOM - Mise en oeuvre du protocole IPv6 au-dessus d'une infrastructure ATM

déduction

• Projet : PROTHEO - Démonstration automatique
• Projet : PROTHEO - ELAN
• Projet : VERSO - Vues Actives pour le commerce électronique
• Projet : VERSO - Vues actives pour le commerce électronique

Déduction automatique

• Projet : PROTHEO - daTac

déduction modulo

• Projet : LOGICAL - Réduction, réécriture, automatisation
• Projet : PROTHEO - Déduction automatique

déflation

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

déformation

• Projet : EPIDAURE - Analyse du mouvement et des déformations
• Projet : EPIDAURE - Recalage d'images
• Projet : IMAGIS - Animation et modélisation
• Projet : SIAMES - Outils de restitution et de contrôle de mouvements acquis
• Projet : VISTA - Présentation et objectifs généraux

dégénérescence

• Projet : PRISME - Calcul géométrique
• Projet : PRISME - Calcul géométrique

dégénérescences algébriques et géométriques

• Projet : SAGA - Géométrie combinatoire et résolution de systèmes polynomiaux

degré algébrique des algorithmes

• Projet : PRISME - CGAL

  ---

  Navigation encyclopédique : Liste des termes
  contour déformable / corpus / degré algébrique des algorithmes / delay