Rapport d'activité INRIA 2000

Navigation encyclopédique : Liste des termes
planification de trajectoires / problème de Stokes généralisé / programmation sûre / programmation synchrone

problème de Stokes généralisé

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

problème inverse

• PROJET : AIR - Estimation de profils verticaux d'espèces chimiques : couplage radiatif-chimie
• PROJET : AIR - Estimation de profils verticaux d'espèces chimiques : inversion de modèle radiatif
• Projet : ESTIME - Inversion sismique
• Projet : ESTIME - Ecoulement et transport en milieu poreux pour les problèmes d'environnement
• Projet : ESTIME - Problèmes inverses
• Projet : ESTIME - Ecoulements en milieu poreux
• Projet : FRACTALES - Problèmes inverses
• Projet : FRACTALES - Algorithmes génétiques
• Projet : FRACTALES - Présentation et objectifs généraux
• Projet : FRACTALES - Optimisation topologique de formes par algorithme évolutionnaire : étude d'une représentation par IFS
• Projet : IDOPT - Environnement
• Projet : IDOPT - Identification et optimisation en physique
• Projet : MIAOU - Problèmes inverses géométriques et identification de paramètres pour le Laplacien 2D
• Projet : MIAOU - Identification et déconvolution
• projet : NUMATH - Optimisation de formes
• Projet : ROBOTVIS - Outils pour l'Imagerie cérébrale

problème surcontraint

• Action : CONTRAINTES - Solveurs de contraintes

problème variationnel et à frontière libre

• projet : NUMATH - Optimisation de formes

procédé agroalimentaire

• Projet : COMORE - Modélisation et contrôle de procédés agroalimentaires

procédure de complétion

• Projet : PROTHEO - Preuve de propriétés de programmes

procédures de décision

• Projet : PROTHEO - Déduction automatique

processus

• Projet : GAMMA - Actions européennes

processus alpha-stable

• Projet : ARIANA - Processus -stable en imagerie radar RSO
• Projet : FRACTALES - Cours financiers
• Projet : FRACTALES - Processus fractals

processus cognitifs

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

processus d'innovation

• Projet : SYSDYS - Identification et filtrage

processus de couverture

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

processus de diffusion

• Projet : MIAOU - Structure et commande des systèmes non-linéaires

processus de diffusion réfléchis

• Projet : MATHFI - Gestion de portefeuille dans un marché gouverné par des processus de diffusion avec sauts

Processus de Dirichlet

• Projet : SYSDYS - Analyse stochastique

processus de Markov

• Projet : ARMOR - Fondements scientifiques
• Projet : SYSDYS - Génomique

processus de Poisson

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

processus de Poisson marqué

• Projet : OMEGA - Mathématiques financières

processus léger

• Projet : APACHE - Logiciel de base pour architecture parallèle et distribuée

processus localement autosimilaire

• Projet : FRACTALES - Etude du Mouvement Brownien Multifractionnaire Généralisé

processus Markov objet

• Projet : ARIANA - Détection de bâtiments par processus Markov objet

processus markoviens contrôlés

• Projet : MISTRAL - Contrôle et théorie des jeux

processus ponctuel

• Projet : ARIANA - Processus ponctuels de Gibbs pour l'extraction des réseaux routiers
• Avant-projet : TREC - Analyse de processus de couverture

processus ponctuel marqué

• Projet : ARIANA - Etude d'un algorithme MCMC pour la simulation d'un processus ponctuel de Markov, application à des réseaux linéiques

processus stochastique

• Projet : ARMOR - Fondements scientifiques
• Projet : MEVAL - Fondements scientifiques
• Projet : OMEGA - Interprétation probabiliste d'équations aux dérivées partielles
• Projet : OMEGA - Théorie des processus stochastiques et applications

produit de matrices aléatoires

• Avant-projet : TREC - Analyse de protocoles de contrôle de flux dans les réseaux

produit synchronisé d'automates

• Avant-projet : TREC - Systèmes à événements-propriétés logiques

profils utilisateurs

• Action : AID - Broadway-1 - Aide personnalisée à la navigation sur le Web

programmation

• Projet : LEMME - Sémantique des langages de programmation

programmation à objets répartie

• Projet : OASIS - Programmation objet, concurrence et répartition

programmation asynchrone

• Action : AID - Broadway*Tools - Pour la génération de systèmes de recommandations adaptatifs
• Action : AID - Conception de systèmes de recommandations personnalisées
• Action : AID - Evaluation du langage ROL pour nos applications Web

programmation concurrente

• Action : CONTRAINTES - Langages concurrents avec contraintes

programmation constructive

• Projet : SIRAC - Construction d'applications réparties

programmation des algorithmes géométriques

• Projet : PRISME - Calcul géométrique

programmation dynamique

• Projet : ATOLL - Formalismes grammaticaux
• Projet : ATOLL - DYALOG: Automates à piles et Programmation dynamique
• Projet : COSI - Algorithmique fondamentale
• Avant-projet : IMEDIA - Descripteurs d'images  : Bases spécifiques

programmation entière

• Projet : PROTHEO - Contraintes
• Projet : PROTHEO - Contraintes

programmation fonctionnelle

• Projet : COSI - MMAlpha
• Projet : PROTHEO - Réécriture et stratégies

programmation génétique

• Projet : FRACTALES - Problèmes inverses
• Projet : FRACTALES - Optimisation topologique de formes par algorithme évolutionnaire : étude d'une représentation par IFS

programmation logique

• Projet : ATOLL - Formalismes grammaticaux
• Projet : ATOLL - DYALOG: Automates à piles et Programmation dynamique
• Action : CONTRAINTES - Langages concurrents avec contraintes

programmation logique avec contraintes

• Projet : LANDE - Action OADYMPPAC

programmation logique inductive

• Projet : AIDA - Apprentissage automatique

programmation objet

• projet : CAIMAN - Interfaçage de programmes
• projet : CAIMAN - Mécanique des fluides et problèmes connexes
• Projet : OASIS - La bibliothèque C++//
• Projet : OASIS - Bibliothèque ProActive
• Projet : SIAMES - Gasp : Raffinement des concepts disponibles et nouveaux algorithmes.

programmation orientée domaine

• Action : CHIR - Intégration temps-réel sécurisée avec réalité augmentée

programmation par aspects

• Projet : PARIS - Dupleix : une mémoire virtuelle partagée fondée sur l'utilisation de Gamma et de la programmation par aspects

programmation par composants

• Projet : SIRAC - Construction d'applications réparties adaptables

programmation par contraintes

• Action : CONTRAINTES - Langages concurrents avec contraintes
• Projet : PROTHEO - Contraintes

programmation par règles

• Projet : PROTHEO - Réécriture et stratégies

programmation parallèle

• Projet : CAPS - Environnement pour architectures hautes performances (cf. 2.2)
• Projet : MACS - Solveurs pour le calcul intensif en mécanique du solide
• Projet : VASY - Action FormalFame (Dyade)

programmation parallèle asynchrone

• Action : AID - Logiciels
• Action : AID - ROL - « Reactive Object Language »

programmation parallèle et distribuée

• Projet : PARIS - Programmation d'une grappe hétérogène de calculateurs

programmation réactive

• Action : MIMOSA - Télécommunications
• Action : MIMOSA - Reactive C, SugarCubes, Icobjs, Junior
• Action : TICK - Systèmes embarqués en avionique/automobile

programmation réactive synchrone

• Action : TICK - Programmation Réactive Synchrone et Esterel

programmation répartie

• Projet : SIRAC - Construction d'applications réparties adaptables

programmation sûre

• Action : CERTILAB - Logiciel embarqué
• Action : CERTILAB - Programmation sur internet
• Action : CERTILAB - Panorama
• Action : CERTILAB - Preuve de propriétés de langages
• Action : CERTILAB - Résultats

  ---

  Navigation encyclopédique : Liste des termes
  planification de trajectoires / problème de Stokes généralisé / programmation sûre / programmation synchrone