Rapport d'activité INRIA 2000

Navigation encyclopédique : Liste des termes
complément de Schur dual / contour déformable / corps commutatifs / corpus

contour déformable

• Action : CHIR - Modélisation d'organes déformables
• Projet : EPIDAURE - Simulation

contours actifs

• Projet : ARIANA - Classification d'image radar satellitaire RSO

contours actifs géodésiques

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

contraction

• Avant-projet : TREC - Calcul d'exposants de Lyapunov

contrainte

• Projet : EPATR - Conception synchrone
• Projet : LANDE - Action Two
• Projet : LANDE - Actions « aval »
• Projet : OPERA - Formatage de documents multimédia structurés
• Projet : PROTHEO - Contraintes
• Projet : PROTHEO - Démonstration automatique
• Projet : ROBOTVIS - Méthodes variationnelles, EDPs et applications
• Action : ROMANS - Contexte et objectifs du projet
• Projet : VERSO - Données complexes
• Projet : VERSO - Données complexes

contrainte épipolaire

• Projet : TEMICS - Modélisation 3D par géométrie projective

contraintes floues

• Action : CONTRAINTES - Solveurs de contraintes

contraintes géométrique

• 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

contraintes globales

• Action : AID - Vérification statique de sites Web

contraintes hiérarchiques

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

contraintes linéaires

• Action : CONTRAINTES - Solveurs de contraintes

contraintes non-linéaires

• Action : CONTRAINTES - Solveurs de contraintes

contraintes quadratiques

• Projet : NUMOPT - Fondements scientifiques

contraintes symboliques

• Projet : PROTHEO - daTac

contrôlabilité

• projet : NUMATH - Contrôle et Stabilisation

contrôle

• Projet : MACS - Mécanique active
• Projet : MACS - Mécanique active
• Projet : SIAMES - Outils de restitution et de contrôle de mouvements acquis
• Projet : SOSSO - Automatique, Informatique et Automobile
• Projet : SOSSO - Méthode d'«Adéquation Algorithme Architecture»

contrôle d'admission

• Projet : HIPERCOM - Garantie déterministe de la qualité de service dans les systèmes multimédia
• Projet : MASCOTTE - Routage
• Avant-projet : TRIO - Mécanismes exécutifs et protocoles

Contrôle d'humanoïde

• Projet : SIAMES - Asservissement visuel et animation

contrôle de caméra

• Projet : SIAMES - Asservissement visuel et animation

contrôle de congestion

• Projet : ARMOR - Fondements scientifiques
• Projet : TEMICS - Codage et codage conjoint source-canal

contrôle de flux

• Projet : ARMOR - Fondements scientifiques

Controle de pertinence

• Avant-projet : IMEDIA - Recherche interactive

contrôle de trafic

• Projet : ARMOR - Fondements scientifiques

contrôle en observation incomplète

• Projet : MATHFI - Choix de portefeuille en observation partielle

contrôle ergodique

• Projet : MATHFI - Contrôle stochastique ergodique - Application en gestion de portefeuilles avec coûts de transaction

contrôle hybride

• Projet : MISTRAL - Contrôle et théorie des jeux

contrôle impulsionnel

• Projet : MATHFI - Optimisation dynamique de portefeuilles avec coûts fixes et proportionnels: un problème combiné de contrôle stochastique et de contrôle impulsionnel

contrôle optimal

• Projet : COMORE - Modélisation et contrôle de procédés agroalimentaires

contrôle singulier et impulsionnel

• Projet : MATHFI - Contrôle stochastique

contrôle stochastique

• Projet : MATHFI - Contrôle stochastique

contrôle stochastique singulier

• Projet : MATHFI - Contrôle stochastique ergodique - Application en gestion de portefeuilles avec coûts de transaction
• Projet : MATHFI - Gestion de portefeuille dans un marché gouverné par des processus de diffusion avec sauts

contrôle/commande

• Projet : BIP - Contrôle/commande de systèmes robotiques complexes
• Projet : BIP - Logiciels

contrôleur

• Projet : MACSI - Synthèse de la commande des systèmes industriels
• Action : TICK - Synthèse de circuits
• Action : TICK - Systèmes embarqués en avionique/automobile

convexité

• Projet : NUMOPT - Fondements scientifiques

convolution

• Projet : EPIDAURE - Recalage d'images

coopération

• Projet : ACACIA - Introduction
• Projet : ACACIA - MULTIKAT
• Projet : ACACIA - Aide à la modélisation et construction de mémoire d'entreprise
• Action : AID - Logiciels
• Action : AID - Hermès - Aide à la confrontation de points de vues sur le Web
• Action : CONTRAINTES - Solveurs de contraintes
• Projet : ECOO - Présentation et objectifs généraux
• Projet : EIFFEL - Présentation et objectifs généraux
• Projet : OPERA - Programme Génie
• Action : ROMANS - Contexte et objectifs du projet
• Projet : SIAMES - Interactions en Univers Virtuels 3D

coopération multisensorielle

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

coordination

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

coordonnées homogènes

• Projet : TEMICS - Modélisation 3D par géométrie projective

copyright

• Projet : TEMICS - Tatouage d'images
• Projet : TEMICS - Tatouage d'images

Coq

• Projet : EPATR - Vérification et validation
• Projet : LANDE - Actions « amont »
• Projet : LEMME - Sémantique des langages de programmation
• Projet : LEMME - Certification d'algorithmes
• Projet : LOGICAL - Développement du système Coq
• Projet : LOGICAL - Développement en Coq

coque

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

CORBA

• Projet : ADP - Contrat FT R&D sur les contraintes non-fonctionnelles
• Projet : ADP - Contrat RÉUTEL 2000
• Projet : ADP - Panorama
• Projet : ADP - EDEN :un service de communication de groupe
• Projet : PARIS - Jaco3 : un environnement pour l'exécution d'applications de simulation numérique distribuée
• Projet : PARIS - PaCo : objet Corba parallèle
• Projet : PARIS - Programmation d'une grappe hétérogène de calculateurs
• Projet : PARIS - Programmation d'une grappe hétérogène de calculateurs
• Projet : RESEDAS - Calculs distribués et échange des données entre processeurs
• Projet : RESEDAS - Supervision et contrôle
• Projet : RESEDAS - Présentation et objectifs généraux

corps commutatifs

• Projet : LOGICAL - Développement en Coq

  ---

  Navigation encyclopédique : Liste des termes
  complément de Schur dual / contour déformable / corps commutatifs / corpus