The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

Displaying similar documents to “Sur l’équilibre fort selon Berge”

Tarification par des jeux coopératifs avec demandes élastiques

F. Bendali, J. Mailfert, A. Quilliot (2001)

RAIRO - Operations Research - Recherche Opérationnelle

Similarity:

Nous proposons ici un modèle de Tarification basé sur une extension du formalisme des Jeux Coopératifs et qui prend en compte la notion d’Élasticité de la Demande. Nous présentons pour ce modèle un résultat d’existence ainsi qu’un algorithme de calcul associé. Nous interprétons enfin ce nouveau concept dans le cas d’un problème de production et nous le prolongeons au cas d’un problème de transport.

Les types de données syntaxiques du système ℱ

Samir Farkh, Karim Nour (2001)

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications

Similarity:

Nous présentons dans ce papier une définition purement syntaxique des types entrées et des types sorties du système ℱ . Nous définissons les types de données syntaxiques comme étant des types entrées et sorties. Nous démontrons que les types à quantificateurs positifs sont des types de données syntaxiques et qu’un type entrée est un type sortie. Nous imposons des restrictions sur la règle d’élimination des quantificateurs pour démontrer qu’un type sortie est un type entrée.

Les I -types du système ℱ

K. Nour (2001)

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications

Similarity:

Nous démontrons dans ce papier que les types du système ℱ habités uniquement par des λ I -termes (les I -types) sont à quantificateur positif. Nous présentons ensuite des conséquenses de ce résultat et quelques exemples.

Un algorithme pour la bipartition d’un graphe en sous-graphes de cardinalité fixée

Philippe Michelon, Stéphanie Ripeau, Nelson Maculan (2001)

RAIRO - Operations Research - Recherche Opérationnelle

Similarity:

Nous présentons une méthode de Séparation et Évaluation Progressive pour la bipartition d’un graphe en 2 sous-ensembles ayant une cardinalité fixée. À chaque nœud de l’arbre de recherche, nous calculons une borne inférieure en dualisant les contraintes d’intégralité et en approximant le domaine réalisable par un ellipsoïde. Une borne supérieure est également calculée par la méthode Tabou. Des résultats numériques sont présentés et commentés.

Sur des problèmes d’asservissements stratigraphiques

Gérard Gagneux, Guy Vallet (2002)

ESAIM: Control, Optimisation and Calculus of Variations

Similarity:

On expose les difficultés d’ordre mathématique que posent des modèles récents de sédimentation-érosion de bassins élaborés par l’Institut Français du Pétrole et fondés sur la prise en compte de diverses contraintes d’unilatéralité. On présente quelques résultats partiels théoriques et des directions de recherche pour la résolution d’un problème inverse posé par l’étude stratigraphique d’une colonne monolithologique.

Remarques sur l’observabilité pour l’équation de Laplace

Kim-Dang Phung (2003)

ESAIM: Control, Optimisation and Calculus of Variations

Similarity:

Nous quantifions la propriété de continuation unique pour le laplacien dans un domaine borné quand la condition aux bords est a priori inconnue. Nous établissons une estimation de dépen-dance de type logarithmique suivant la terminologie de John [5]. Les outils utilisés reposent sur les inégalités de Carleman et les techniques des travaux de Robbiano [8, 11]. Aussi, nous déterminons en application de l’inégalité d’observabilité obtenue un coût du contrôle approché pour un problème elliptique...