Rapport d'activité INRIA 2000

Navigation encyclopédique : Liste des termes
automate / calcul d'horloges / causalité / CAVE

calcul d'horloges

• Projet : EPATR - Vérification et validation

calcul de Palm

• Avant-projet : TREC - Analyse de processus de couverture

calcul de point fixe

• Projet : LANDE - Actions « aval »

calcul de recommandation

• Action : AID - Systèmes de recommandations
• Action : AID - Présentation et objectifs généraux

calcul de variations

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

Calcul des Constructions

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

calcul des constructions inductives

• Projet : LOGICAL - Calcul des Constructions Inductives
• Projet : LOGICAL - Preuves et Programmes
• Projet : LOGICAL - Réduction, réécriture, automatisation

calcul des prédicats

• Projet : LOGICAL - Logique et calcul

calcul des séquents

• Projet : CALLIGRAMME - Calcul des séquents et réseaux de démonstration
• Projet : CALLIGRAMME - Présentation et objectifs généraux
• Action : CONTRAINTES - Langages concurrents avec contraintes
• Projet : LOGICAL - Réduction, réécriture, automatisation

calcul des variations

• Projet : ARIANA - Classification d'image satellitaire multispectrale par approche variationnelle et équations aux dérivées partielles

calcul distribué

• Projet : RESEDAS - Calculs distribués et échange des données entre processeurs
• Projet : RESEDAS - Présentation et objectifs généraux

calcul formel

• Projet : APACHE - Panorama
• Projet : ARENAIRE - Présentation et objectifs généraux
• Projet : CAFE - Aspects logiciels du calcul formel
• Projet : CAFE - Bibliothèque it
• Projet : CAFE - Base de formules

calcul mixte commutatif

• Projet : PARAGRAPHE - Logique linéaire

calcul numérique

• Projet : COMPOSE - Domaines d'applications
• Projet : REMAP - Outils pour le calcul parallèle scientifique
• projet : TROPICS - Différentiation Automatique

calcul parallèle

• projet : CAIMAN - Équations intégrales et méthode multipôle rapide en électromagnétisme
• projet : CAIMAN - MAXWELL/VF
• projet : CAIMAN - Électromagnétisme
• Projet : ESTIME - Méthodes numériques pour les équations aux dérivées partielles
• Projet : ESTIME - Méthodes numériques pour la simulation acoustique
• Projet : IDOPT - Environnement
• Projet : MACS - Solveurs pour le calcul intensif en mécanique du solide
• projet : NUMATH - Problèmes Non Linéaires en électromagnétisme

calcul relationnel

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

calcul scientifique

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

calcul variationnel

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

calculs approchés

• Projet : SAGA - Lien symbolique-numérique

calibrage

• Projet : SIAMES - Reconstruction 3D à partir d'une ou de plusieurs images

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

cancérologie

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

CAO

• Projet : COSI - Panorama
• Projet : COSI - MMAlpha
• Projet : COSI - Synthèse de très haut niveau
• Projet : EPIDAURE - Data Proxima
• Projet : GAMMA - Logiciel Emc2
• Projet : PRISME - Panorama

CAO système

• Projet : SOSSO - Méthode d'«Adéquation Algorithme Architecture»

capacité

• Projet : SIRAC - Support système pour grappes de machines

capillarité

• Projet : IDOPT - Identification et optimisation en physique

capitalisation des connaissances

• Projet : ACACIA - Introduction
• Projet : ACACIA - Actions européennes
• Projet : ACACIA - CGKAT (Conceptual Graph Knowledge Acquisition Tool)
• Projet : ACACIA - Cokace et WebCokace
• Projet : ACACIA - MULTIKAT
• Projet : ACACIA - Aide à la modélisation et construction de mémoire d'entreprise
• Projet : ACACIA - Acquisition des connaissances, multiples points de vue, multi-expertise et ingénierie concourante

capteur de vision et de télémétrie

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

capteur logiciel

• Projet : COMORE - Domaines d'applications

capteurs/actionneurs

• Projet : MACS - Mécanique active
• Projet : MACS - Mécanique active

caractérisation topologique

• Projet : EPIDAURE - Recalage d'images

caractéristique différentielle

• PROJET : AIR - Déformation

carte à puce

• Projet : LANDE - Action Secsafe
• Projet : LANDE - Domaines d'applications
• Projet : LANDE - Actions « amont »
• Projet : SIRAC - Logiciels

carte auto-organisatrice

• Avant-projet : CORTEX - Le connexionnisme

carte de visibilité

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

cartes de profondeur

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

cartographie

• Projet : ICARE - Perception pour la modélisation

cartographie à la demande

• Projet : APACHE - Panorama

cartographie comparée

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

cas de test

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

cas particuliers

• 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

case-based reasoning

• Action : AID - Raisonnement à partir de cas
• Action : AID - Analyse des usages

Casting

• Projet : LANDE - Actions « aval »

catégorisation

• Avant-projet : IMEDIA - Recherche interactive

causalité

• Projet : ADP - Détection de propriétés
• Projet : ADP - Points de contrôle et retour arrière
• Projet : ADP - Détection de propriétés
• Projet : ADP - Points de contrôle et retour arrière
• Projet : EPATR - Mises en oeuvre distribuées et description d'architectures de communication
• Action : TICK - Programmation Réactive Synchrone et Esterel
• Action : TICK - Esterel

  ---

  Navigation encyclopédique : Liste des termes
  automate / calcul d'horloges / causalité / CAVE