Rapport d'activité INRIA 2000

Navigation encyclopédique : Liste des termes
réseau de Petri / robotique embarquée / sécurité des systèmes informatiques / segmentation

robotique embarquée

• Projet : SOLIDOR - Domaines d'applications
• Projet : SOLIDOR - Systèmes d'information pour ordinateurs de poche en environnement mobile

robotique manufacturière

• Projet : VISTA - Domaines d'applications

robotique sous-marine

• Projet : ICARE - Action avec Ifremer
• Projet : VISTA - Domaines d'applications

robots parallèles

• Projet : SAGA - Robots parallèles

robustesse

• Projet : OMEGA - Mathématiques financières
• Projet : PRISME - Calcul géométrique
• Projet : PRISME - Calcul géométrique
• Projet : SAGA - Fondements scientifiques
• Projet : SAGA - Bibliothèque ALIAS

routage

• Projet : MASCOTTE - Collaboration avec le CNES Toulouse
• Projet : MASCOTTE - Algorithmique parallèle et distribuée
• Projet : MASCOTTE - Routage

routage compact

• Projet : MASCOTTE - Routage

routage compétitif

• Projet : MASCOTTE - Routage

routage dynamique

• Projet : HIPERCOM - Analyse et évaluation de protocoles d'accès au canal et de protocoles de routage dans les réseaux locaux sans fil

routage proactif

• Projet : HIPERCOM - Analyse et évaluation de protocoles d'accès au canal et de protocoles de routage dans les réseaux locaux sans fil

routeur d'accès

• Avant-projet : TREC - Simulateur de l'interaction d'un grand nombre de sources TCP

RPC

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

rythme cardiaque

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

sac-à-dos non borné

• Projet : COSI - Algorithmique fondamentale

santé

• Projet : ACACIA - Panorama
• Projet : ALADIN - Présentation et objectifs généraux
• projet : CAIMAN - Mécanique des fluides et problèmes connexes
• projet : CAIMAN - Propagation d'ondes électromagnétiques
• Projet : CAPS - Domaines d'applications
• Projet : EIFFEL - Domaines d'applications
• Projet : EPIDAURE - Atlas, morphométrie et analyse statistique
• Projet : EPIDAURE - Restauration et segmentation d'images
• projet : NUMATH - Chimie moléculaire
• projet : NUMATH - Panorama
• Projet : OPERA - Applications multimédia
• Projet : ORION - Panorama
• Projet : PAROLE - Fondements scientifiques
• Projet : PAROLE - Analyse de la parole
• Projet : SAGA - Panorama
• Projet : SAGA - Fondements scientifiques
• Projet : SOSSO - Automatique, Traitement du signal et Sciences biomédicales
• Projet : SOSSO - Modélisation des systèmes à hystérésis
• Projet : SOSSO - Modélisation et commande de systèmes physiologiques.
• Projet : SOSSO - Analyse et commande de systèmes à hystérésis ou à retards
• Projet : SOSSO - Automatique, Traitement du signal et Sciences biomédicales.
• Projet : VISTA - Domaines d'applications

satellite

• Projet : MIAOU - Stabilisation
• Projet : PRISME - Panorama

satisfaisabilité

• Projet : PROTHEO - Contraintes

saturation

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

Scade

• Projet : EPATR - Projet IST SafeAir, convention n°100C01490031307005 (01/2000-06/2002)
• Projet : EPATR - Avionique

scalabilité

• Projet : TEMICS - Codage et codage conjoint source-canal

scenario de simulation

• Projet : SIAMES - Modélisation et simulation comportementale

scénario pire cas

• Projet : HIPERCOM - Méthodologie de l'évaluation des algorithmes de télécommunications

scénario pour l'animation

• Projet : SIAMES - Cité des sciences et de l'industrie : images animées autonomes
• Projet : SIAMES - Scénario pour l'animation comportementale

schéma

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

schéma centré élément

• projet : CAIMAN - Électromagnétisme

schéma d'ordre élevé

• projet : CAIMAN - Mécanique des fluides et problèmes connexes

schéma de programme

• Projet : LANDE - Actions « amont »

schéma de Yee

• projet : CAIMAN - Électromagnétisme

schéma implicite

• Projet : SINUS - Algorithmes de résolution

schéma mixte implicite/explicite

• projet : CAIMAN - Mécanique des fluides et problèmes connexes

schéma MUSCL

• Projet : SINUS - Méthodes d'approximation

schéma TVD

• projet : CAIMAN - Mécanique des fluides et problèmes connexes

schémas cinétiques

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

schémas d'équilibre

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

SCI

• Projet : PARIS - Programmation d'une grappe hétérogène de calculateurs
• Projet : PARIS - Programmation des grappes de calculateurs homogènes
• Projet : SIRAC - Support système pour serveurs en grappes

science cognitive

• Projet : ACACIA - Introduction
• Projet : ACACIA - Aide à la modélisation et construction de mémoire d'entreprise

sclérose en plaques

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

script

• Action : MIMOSA - Programmation réactive

sculpture

• Avant-Projet : I3D - Geoclay : logiciel de modélisation de formes libres sur le plan de travail virtuel

SDH

• Projet : MASCOTTE - CTI avec le CNET
• Projet : MASCOTTE - Dimensionnement de réseaux de télécommunication haut débit
• Projet : MASCOTTE - Dimensionnement de réseaux haut débit

SDL

• Projet : PAMPA - Convergence SDL-UML (RNRT Convergence)
• Projet : PAMPA - Domaines d'applications
• Projet : PAMPA - TGV : un outil de génération automatique de tests de conformité
• Avant-projet : TRIO - Procédés de modélisation

sécurité

• Projet : ARMOR - Fondements scientifiques
• Projet : LANDE - Action Java-Sécurité
• Projet : LANDE - Action Castor
• Projet : LANDE - Action Secsafe
• Projet : LANDE - Domaines d'applications
• Projet : LANDE - Actions « aval »
• Projet : LANDE - Actions « amont »
• Projet : LOGICAL - Développement en Coq
• Projet : MOSCOVA - Domaines d'applications
• Projet : OASIS - Programmation objet, concurrence et répartition
• Projet : OASIS - Spécifications, environnements, analyses et transformations
• Projet : SIAMES - Les simulateurs pour la recherche dans le domaine des transports

sécurité des systèmes informatiques

• Projet : EPATR - Projet Castor, convention n°100C01560031399012 (10/1999-04/2002)

  ---

  Navigation encyclopédique : Liste des termes
  réseau de Petri / robotique embarquée / sécurité des systèmes informatiques / segmentation