Rapport d'activité INRIA 2000

Navigation encyclopédique : Liste des termes
modélisation en entreprise / multiplexage / ontologie / OpenMath

multiplexage

• Projet : MIAOU - Identification et synthèse de systèmes résonnants

multipoint

• Projet : RESEDAS - Évolution des protocoles et des réseaux
• Avant-projet : TREC - Analyse de protocoles de contrôle de flux dans les réseaux

multiprécision

• Projet : ARENAIRE - Collaboration avec l'UC Berkeley
• Projet : ARENAIRE - Collaboration avec l'UC Berkeley

multiprocesseur

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

multiprocesseurs hétérogènes

• Projet : SOLIDOR - Ordinateurs de poche

Multithreading distribué

• Projet : REMAP - Environnements d'exécution haute performance

musée

• Projet : VERSO - Applications culturelles

MYOSYS

• Action : ROMANS - Contexte et objectifs du projet

Myrinet

• Projet : REMAP - Environnements d'exécution haute performance

n bus logiciel

• Action : AID - Evaluation du langage ROL pour nos applications Web

navigation

• Action : AID - Panorama
• Action : AID - Logiciels
• Action : AID - Présentation et objectifs généraux
• Action : AID - Conception de systèmes de recommandations personnalisées
• Projet : ICARE - Conduite automatisée
• Projet : SIAMES - Navigation en temps réel dans des scènes complexes à travers un réseau bas débit

navigation intelligente sur le Web

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

NBMA

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

négociation

• Action : AID - Reconception de sites Web basée sur une analyse de l'usage
• Action : AID - Logiciels
• Action : AID - Hermès - Aide à la confrontation de points de vues sur le Web
• Action : AID - Conception de systèmes de recommandations personnalisées
• Action : AID - Evaluation du langage ROL pour nos applications Web
• Avant-projet : TRIO - Mécanismes exécutifs et protocoles

neurone

• Projet : MEVAL - Fondements scientifiques

neurones impulsionnels

• Avant-projet : CORTEX - La modélisation biologique

neurosciences computationnelles

• Avant-projet : CORTEX - La modélisation biologique

niveaux de détail

• Projet : IMAGIS - Animation et modélisation
• Projet : SIAMES - Modèles dynamiques de mouvement
• Projet : SIAMES - Navigation en temps réel dans des scènes complexes à travers un réseau bas débit

nombres flottants

• Projet : LEMME - Certification d'algorithmes

nombres réels

• Projet : LOGICAL - Développement en Coq

non-déterminisme

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

non-expansivité

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

non-linéarité

• Projet : EPIDAURE - Simulation
• Projet : ONDES - Modélisation numérique en acoustique musicale: étude de la guitare
• projet : SIGMA2 - Nonlinear Modelling Matlab Toolbox

non-paramétrique

• projet : SIGMA2 - Nonlinear Modelling Matlab Toolbox

normalisation

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

normalisation forte

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

norme IEC 1131

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

norme IEEE754

• Projet : LEMME - Certification d'algorithmes

notification

• Projet : VERSO - Bases de données et le Web

ObjectGéode

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

objectif de test

• Projet : LANDE - Action Two
• Projet : PAMPA - Génération automatique de tests
• Projet : PAMPA - Test de conformité et d'interopérabilité

objet

• Action : CERTILAB - Résultats
• Action : MIMOSA - Programmation réactive
• Projet : PAMPA - Convergence SDL-UML (RNRT Convergence)
• Projet : PAMPA - Oural
• Projet : PAMPA - Alcatel/Reutel
• Projet : PAMPA - Technologie objet dans un contexte de génie logiciel réparti
• Projet : PARIS - Do! : Générateur automatique de code Java réparti
• Projet : PARIS - Programmation d'une grappe hétérogène de calculateurs
• projet : TROPICS - Extension d'IL aux constructions objet

objets concurrents

• Action : MIMOSA - Sémantique de la mobilité

objets mobiles

• Projet : VERSO - Applications multidimensionnelles

objets réactifs

• Action : AID - Logiciels
• Action : AID - ROL - « Reactive Object Language »
• Action : AID - Conception de systèmes de recommandations personnalisées
• Action : AID - Evaluation du langage ROL pour nos applications Web
• Projet : SIAMES - Modélisation et simulation comportementale

objets temps réel

• Projet : SIAMES - Modélisation et simulation comportementale

observateur

• Projet : COMORE - Outils pour la modélisation en biologie
• Projet : COMORE - Capteurs logiciels pour des systèmes biologiques
• Action : TICK - Xeve

observateur à grand gain

• projet : SIGMA2 - Surveillance et estimation de systèmes dynamiques non-linéaires

observateur adaptatif

• projet : SIGMA2 - Surveillance et estimation de systèmes dynamiques non-linéaires

observateur implicite

• projet : SIGMA2 - Surveillance et estimation de systèmes dynamiques non-linéaires

observation partielle

• Projet : VISTA - Modèles markoviens hiérarchiques et estimation bayésienne

océanographie

• Projet : APACHE - Panorama
• Projet : IDOPT - Environnement

octree

• Projet : GAMMA - Génération automatique de maillages hexaédriques

Odyssée

• Projet : LOGICAL - Développement en Coq

ombrage

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

oncologie

• Projet : EPIDAURE - Atlas, morphométrie et analyse statistique

onde de Mayer

• Projet : SOSSO - Automatique, Traitement du signal et Sciences biomédicales.

onde de pression

• Projet : M3N - Algorithmes numériques et modélisation pour les fluides avec des frontières mobiles

ondelette

• Projet : FRACTALES - Analyse temps fréquence/temps échelle
• Projet : FRACTALES - Présentation et objectifs généraux
• Projet : IS2 - Estimation de lois d'échelle par ondelettes

ondes de surface

• Projet : MIAOU - Identification et synthèse de systèmes résonnants

ondes radioéléctriques

• Projet : SIAMES - CSTB Grenoble : simulation de propagation d'ondes radioélectriques

ontologie

• Projet : ACACIA - Aide à la capitalisation des connaissances à partir de traces informatiques
• Projet : ACACIA - Introduction
• Projet : ACACIA - Actions européennes
• Projet : ACACIA - CGKAT (Conceptual Graph Knowledge Acquisition Tool)
• Projet : ACACIA - CORESE
• Projet : ACACIA - MULTIKAT
• Projet : ACACIA - Aide à la modélisation et construction de mémoire d'entreprise
• Projet : ACACIA - Serveur de connaissances sur un Web sémantique
• Action : EXMO - Présentation et objectifs généraux
• Projet : VERSO - Bases de données et le Web
• Projet : VERSO - CWeb

  ---

  Navigation encyclopédique : Liste des termes
  modélisation en entreprise / multiplexage / ontologie / OpenMath