Rapport d'activité INRIA 2000

Navigation encyclopédique

Retour à la page d'accueil Liste des termes d'indexation
Retour à la liste des projets Aide à l'utilisation de l'index
DE À
A abstraction algorithme évolutionnaire
algorithme génétique analyse et transformation de programme
analyse financière approche locale
approche multimodèles auto-focalisation
automate calcul
C calcul d'horloges causalité
CAVE collecte de traces
collecte de traces de programmes compilation séparée
complément de Schur dual contour actif
contour déformable corps commutatifs
corpus degré algébrique des algorithmes
D delay distribution de Rayleigh généralisée
division electroencéphalographie
E électromagnétisme épuration biologique
équation aux dérivées partielles estimation de mouvement
estimation dense de carte de profondeur fiabilité numérique
F fibres optiques génération aléatoire
G génération d'automate gestion de réseau
gestion de ressources HPF
H HTTP ingénierie
I ingénierie concourante Java
J Java Card logiciel pour carte à puce
L logique Matlab toolbox
M matrice creuse méthode de Godunov
méthode de Goldschmidt modèle biologique
modèle booléen modélisation en biologie
modélisation en entreprise multimodularité
multiplexage ontologie
O OpenMath parallélisation automatique
P parallélisation d'application planification de réseaux
planification de trajectoires problème de Riemann
problème de Stokes généralisé programmation sûre
programmation synchrone quantiles
Q quotient reconstruction 3D
R reconstruction réseau de neurones artificiels
réseau de Petri robotique
robotique embarquée sécurité des systèmes informatiques
S segmentation Signal
signalement actif spécialisation
spécialisation à l'exécution suivi de mouvements
suivi multi-caméras système d'information
système d'information intégré système parabolique non linéaire
système physiologique temps réel
T temps réel souple tolérance aux fautes
topographie treillis de relations spatiales
tri vérification de programme
V vérification du locuteur Web
W Web mining zéros de polynômes orthogonaux