Rapport d'activité INRIA 2000

Navigation encyclopédique : Liste des termes
approche multimodèles / automate / calcul / calcul d'horloges

automate

• Projet : AIDA - La génomique
• Projet : SIAMES - Modélisation et simulation comportementale
• Projet : VASY - Action FormalFame (Dyade)
• Projet : VASY - Technologie des modèles - vérification
• Projet : VASY - Technologie des langages - compilation
• Projet : VASY - Etudes de cas et applications pratiques

automate à pile

• Projet : ATOLL - DYALOG: Automates à piles et Programmation dynamique

automates temporisés

• Avant-projet : TRIO - Formalismes et techniques de vérification

automatique non linéaire

• Projet : COMORE - Fondements scientifiques
• Projet : COMORE - Mathématiques de la modélisation
• Projet : COMORE - Capteurs logiciels pour des systèmes biologiques
• Projet : COMORE - Modélisation et contrôle de procédés d'épuration biologique
• Projet : MIAOU - Structure et commande des systèmes non-linéaires

automatismes industriels

• Projet : EPATR - Énergie
• Projet : EPATR - Actions nationales
• Projet : EPATR - Thèmes de recherche
• Projet : EPATR - Multi-formalisme et modélisation synchrone de la norme IEC 1131 de programmation des systèmes de contrôle

automobile

• Projet : ACACIA - Panorama
• Projet : EPATR - Panorama
• Projet : EPATR - Objectif général du projet
• Projet : PAMPA - AEE : Architecture Electroniques Embarquées
• projet : SIGMA2 - Présentation et objectifs généraux
• Projet : SOSSO - Automatique, Informatique et Automobile
• Action : TICK - Systèmes embarqués en avionique/automobile

avionique

• Projet : EPATR - Projet IST SafeAir, convention n°100C01490031307005 (01/2000-06/2002)
• Projet : EPATR - Panorama
• Projet : EPATR - Objectif général du projet
• Action : TICK - Systèmes embarqués en avionique/automobile

Avionique embarquée

• Projet : SOLIDOR - Avionique modulaire embarquée

avionique modulaire embarquée

• Projet : SOLIDOR - Domaines d'applications

Axe médian

• Projet : EPIDAURE - Recalage d'images

balayage

• Projet : PRISME - Calcul géométrique

bancs de filtres multi-fréquences

• Projet : TEMICS - Représentation temps-fréquence et par bases de fonctions redondantes

base de connaissances

• Projet : ACACIA - RESEDA
• Action : ROMANS - Contexte et objectifs du projet

base de données

• Projet : ACACIA - Aide à la capitalisation des connaissances à partir de traces informatiques
• Projet : ACACIA - Aide à la modélisation et construction de mémoire d'entreprise

base de données active

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

base de données déductive

• Projet : CAFE - Aspects logiciels du calcul formel
• Projet : CAFE - Base de formules

base de données images

• Avant-projet : IMEDIA - Indexation d'images et espace de description

base de formules

• Projet : CAFE - Aspects logiciels du calcul formel
• Projet : CAFE - Base de formules

bases de données à objets

• Action : ORPAILLEUR - Systèmes intelligents de traitement de l'information

bases de données distribuées

• Action : ORPAILLEUR - Systèmes intelligents de traitement de l'information

bases de Gröbner

• Projet : ALGO - Calcul formel

BDD

• 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

BDL

• Projet : EPATR - Projet Reutel-2000, convention Alcatel Alsthom Recherche/Inria n° 197A93600000MC012 (09/1997-08/2000)
• Projet : EPATR - BDL, un formalisme synchrone déclaratif pour UML
• Projet : PAMPA - Alcatel/Reutel

benchmark

• Projet : MISTRAL - WAGON: Un générateur de trafic Web

bézoutien

• Projet : SAGA - Bibliothèque ALP

bibliothèque

• Projet : REMAP - Présentation et objectifs généraux
• Projet : REMAP - Algorithmique, bibliothèques et compilateurs

bibliothèque électronique

• Projet : ATOLL - Bibliothèques électroniques
• Projet : VERSO - Applications culturelles

bibliothèques de démonstrations

• Projet : LOGICAL - Modularité

bibliothèques numériques

• Projet : REMAP - Outils pour le calcul parallèle scientifique

bilan d'énergie

• PROJET : AIR - Estimation de l'évapotranspiration par imagerie satellite

bioinformatique

• Projet : AIDA - La génomique
• Projet : ORION - Panorama
• Projet : PROTHEO - Contraintes

biologie

• Projet : CAPS - Domaines d'applications
• Projet : COMORE - Fondements scientifiques
• Action : HELIX - Présentation et objectifs généraux

biologie moléculaire

• Projet : COSI - Panorama

bioréacteur

• Projet : COMORE - Domaines d'applications
• Projet : COMORE - Fondements scientifiques
• Projet : COMORE - Modélisation de la croissance du plancton
• Projet : COMORE - Outils pour la modélisation en biologie
• Projet : COMORE - Capteurs logiciels pour des systèmes biologiques
• Projet : COMORE - Modélisation et contrôle de procédés d'épuration biologique

bisimulation

• Projet : EPATR - Vérification et validation
• Action : TICK - Xeve
• Projet : VASY - Technologie des modèles - vérification

boîte à outils

• Action : AID - Broadway*Tools - Pour la génération de systèmes de recommandations adaptatifs
• Projet : OPERA - Environnement auteur/lecteur de documents multimédia structurés

bras manipulateur

• Projet : ICARE - Robots et commande

bruit de chatoiement

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

bruits colorés

• Projet : SYSDYS - Identification et filtrage

BSD

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

bus logiciel

• Action : AID - Logiciels
• Action : AID - ROL - « Reactive Object Language »
• Action : AID - Conception de systèmes de recommandations personnalisées
• Projet : SIRAC - Logiciels

Byzance

• Projet : OPERA - Programme Génie

C++

• Projet : GAMMA - Logiciel FreeFem+
• Projet : SAGA - Bibliothèque ALP

cache

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

Cache web distribué

• Projet : REMAP - Applications pour le multimédia

CADP

• Projet : PAMPA - TGV : un outil de génération automatique de tests de conformité

calcul

• Projet : LOGICAL - Logique et calcul
• Projet : PROTHEO - ELAN

  ---

  Navigation encyclopédique : Liste des termes
  approche multimodèles / automate / calcul / calcul d'horloges