Rapport d'activité INRIA 2000

Navigation encyclopédique : Liste des termes
Java Card / logique / Matlab toolbox / matrice creuse

logique

• Projet : LANDE - Actions « amont »
• Projet : LOGICAL - Logique et calcul

logique de description

• Projet : ACACIA - Actions nationales

logique du premier ordre avec égalité

• Projet : PROTHEO - daTac

logique intuitionniste

• Projet : LOGICAL - Preuves et Programmes

logique linéaire

• Projet : CALLIGRAMME - Présentation et objectifs généraux
• Action : CONTRAINTES - Langages concurrents avec contraintes
• Projet : PARAGRAPHE - Logique linéaire
• Projet : PARAGRAPHE - Réseaux de Petri, logique linéaire

logique modale

• Projet : AIDA - Raisonnements et logiques non classiques

logique non-commutative

• Action : CONTRAINTES - Langages concurrents avec contraintes

logique temporelle

• Projet : AIDA - Raisonnements et logiques non classiques
• Projet : VASY - La boîte à outils CADP
• Projet : VASY - Technologie des modèles - vérification
• Projet : VASY - Etudes de cas et applications pratiques

logiques de descriptions

• Action : ORPAILLEUR - Fouille de textes et analyse de l'information scientifique et technique
• Action : ORPAILLEUR - Systèmes à bases de connaissances, représentation des connaissances et raisonnements

logiques non classiques

• Projet : AIDA - Raisonnements et logiques non classiques

logiques pour le contrôle

• Projet : EPATR - Synthèse automatique de contrôleurs

loi de paroi

• Projet : M3N - Modélisation, optimisation et contrôle pour les fluides turbulents

loi limite

• Projet : ALGO - Analyse d'algorithmes

loi stable

• Projet : FRACTALES - Présentation et objectifs généraux
• Projet : MATHFI - Mathématiques financières

lois d'échelle

• Projet : IS2 - Estimation de lois d'échelle par ondelettes

Lotos

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

Lustre

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

machine virtuelle Java

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

machines abstraites

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

machines tournantes

• Projet : MACS - Dynamique des structures et stabilité

Madeus

• Projet : OPERA - Collaboration avec Alcatel
• Projet : OPERA - Programme Génie

magnétoencéphalographie

• Projet : ROBOTVIS - Outils pour l'Imagerie cérébrale

magnétohydrodynamique

• Projet : M3N - Algorithmes numériques et modélisation pour les fluides avec des frontières mobiles
• projet : NUMATH - Problèmes Non Linéaires en électromagnétisme

magnétosphère

• projet : CAIMAN - Électromagnétisme

maillage

• Projet : EPIDAURE - Simulation
• Projet : GAMMA - Logiciel Bamg
• Projet : GAMMA - Logiciel BL2D
• Projet : GAMMA - Logiciel BLMESH
• Projet : GAMMA - Logiciel Emc2
• Projet : GAMMA - Logiciel FreeFem+
• Projet : GAMMA - Logiciel GHS3D
• Projet : GAMMA - Génération automatique de maillages hexaédriques
• Projet : GAMMA - Publication générale
• Projet : TEMICS - Approximation par maillages hiérarchiques et éléments finis

maillage adaptatif

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

maillage anisotrope

• Projet : GAMMA - Maillage de surfaces paramétrées

maillage de surface

• Projet : GAMMA - Logiciel BLSURF
• Projet : GAMMA - Logiciel YAMS

maillage dynamique

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

maillage isotrope contrôlé

• Projet : GAMMA - Logiciel GAMHIC3D

maillage mobile

• projet : CAIMAN - Équations de conservation et volumes finis
• projet : CAIMAN - NS3IFS
• projet : CAIMAN - Mécanique des fluides et problèmes connexes

maillage non conforme

• projet : CAIMAN - Électromagnétisme

maillage non structuré

• projet : CAIMAN - Mécanique des fluides et problèmes connexes
• projet : CAIMAN - Couplages de modèles et de méthodes
• projet : CAIMAN - Équations de conservation et volumes finis
• projet : CAIMAN - Électromagnétisme
• projet : CAIMAN - Mécanique des fluides et problèmes connexes

maillages 2D et 3D

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

maillages actifs

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

maillages hiérarchiques

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

maillages simplexes

• Projet : EPIDAURE - Bibliothèque libsimplex
• Projet : EPIDAURE - Bibliothèque yav++

maintenance

• Action : AID - Sémantique en conception de systèmes d'informations hypertextes
• Projet : LANDE - Langages déclaratifs
• Projet : MACSI - Évaluation des performances

maladie de Parkinson

• Projet : EPIDAURE - INSERM-Medtronic

manipulation d'expansions

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

manipulation directe

• Projet : OPERA - Environnement auteur/lecteur de documents multimédia structurés

marche aléatoire

• Projet : MEVAL - Fondements scientifiques
• Projet : SYSDYS - Homogénéisation et milieux aléatoires

marché financier

• Projet : FRACTALES - Intégration-stochastique
• Projet : OMEGA - Mathématiques financières

marché incomplet

• Projet : OMEGA - Mathématiques financières

marchés complétés

• Projet : OMEGA - Mathématiques financières

marge optimale de robustesse

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

MARS

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

masque

• Projet : ROBOTVIS - Géométrie d'un système de caméras et applications
• Projet : ROBOTVIS - Géométrie d'un système de caméras et applications

masque d'objet

• Projet : TEMICS - Logiciel de segmentation et de suivi interactif d'objets vidéo

matching de points

• Avant-projet : IMEDIA - Descripteurs d'images  : Bases spécifiques

matériau anisotrope

• projet : CAIMAN - Électromagnétisme

matériau composite

• Projet : MACS - Développement et analyse de méthodes numériques performantes pour le calcul des structures

matériau fortement hétérogène

• projet : CAIMAN - Électromagnétisme

matériel

• Action : TICK - Synthèse de circuits

Mathematica

• Projet : CAFE - Passerelle OpenMath-MathLink

mathématiques

• Projet : LEMME - Formalisation de théories mathématiques

mathématiques discrètes

• Projet : MASCOTTE - Algorithmique et structures discrètes

MathLink

• Projet : CAFE - Passerelle OpenMath-MathLink

Matlab toolbox

• Projet : IS2 - Boîte à outils MATLAB de modélisation non linéaire
• projet : SIGMA2 - Nonlinear Modelling Matlab Toolbox

  ---

  Navigation encyclopédique : Liste des termes
  Java Card / logique / Matlab toolbox / matrice creuse