: The vise tightens. (Ensembles : L'étau se resserre.)
Habsieger, Laurent, Plagne, Alain (2002)
Integers
Similarity:
Habsieger, Laurent, Plagne, Alain (2002)
Integers
Similarity:
Jouanolou, Jean-Pierre (1996)
The Electronic Journal of Combinatorics [electronic only]
Similarity:
David Lannes (1999-2000)
Séminaire Équations aux dérivées partielles
Similarity:
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...
Hilsum, Michel (1999)
Annals of Mathematics. Second Series
Similarity:
André, Yves (2000)
Annals of Mathematics. Second Series
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.
Faouzi Chaabane, Faïza Maaouia (2000)
ESAIM: Probability and Statistics
Similarity:
Gerd Grubb (2001-2002)
Séminaire Équations aux dérivées partielles
Similarity:
The lecture presents current results on heat trace expansions, and the related resolvent trace and zeta function expansions, for elliptic operators with boundary conditions on -dimensional compact manifolds. As a background, we recall the set-up of elliptic differential operators with differential boundary conditions having heat trace expansions in powers . Then we consider the spectral boundary conditions of Atiyah, Patodi and Singer for Dirac-type first-order operators, leading to...
Gilles Lebeau (2002)
ESAIM: Control, Optimisation and Calculus of Variations
Similarity:
Nous prouvons que pour toute solution du problème de Kelvin–Helmholtz des nappes de tourbillons pour l’équation d’Euler bi-dimensionnelle, définie localement en temps, la courbe de saut de et la densité de tourbillon sont analytiques (sous une hypothèse de régularité Holderienne de la courbe de saut). Nous donnons également un résultat de régularité partielle de la trace de sur lorsque est définie sur un demi-interval .