Le problème de Yamabe sur des sous domaines de
Frank Pacard (1996-1997)
Séminaire Équations aux dérivées partielles
Similarity:
Frank Pacard (1996-1997)
Séminaire Équations aux dérivées partielles
Similarity:
Laurent Miclo (1998)
ESAIM: Probability and Statistics
Similarity:
Georgi Popov, Georgi Vodev (1997-1998)
Séminaire Équations aux dérivées partielles
Similarity:
Patrick Gérard (1998)
ESAIM: Control, Optimisation and Calculus of Variations
Similarity:
Jean-Marc Delort (1996-1997)
Séminaire Équations aux dérivées partielles
Similarity:
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.
Mourad Bellassoued (2001)
ESAIM: Control, Optimisation and Calculus of Variations
Similarity:
Dans cet article on étudie le problème de l’unicité locale pour le système de Lamé. On prouve qu’on a l’unicité de Cauchy par rapport à toute surface non caractéristique. Nous donnons également deux résultats de densité qui s’applique à la théorie du contrôle pour le système de Lamé.
Jean-Michel Bony (1996-1997)
Séminaire Équations aux dérivées partielles
Similarity: