The algebraic lambda calculus and the linear algebraic lambda calculus are two extensions of the classical lambda calculus with linear combinations of terms. They arise independently in distinct contexts: the former is a fragment of the differential lambda calculus, the latter is a candidate lambda calculus for quantum computation. Their operational semantics differ in the treatment of applications and algebraic rules. We show how these two languages can simulate each other using an algebraic extension of the well-known call-by-value and call-by-name CPS translations. We prove that the simulations are sound and complete. Joint work with Ali Assaf, Alejandro Díaz-Caro, Christine Tasson and Benoît Valiron.
Une courbe tropicale code de manière combinatoire une dégénérescence de courbes algébriques complexes. Un problème central en géométrie tropicale est de déterminer quelles propriétés peuvent être remontées de la courbe tropicale aux courbes algébriques en question. Le théorème de Patchwork de Viro permettant de recoller'' des courbes algébriques réelles est un exemple de ce type de problématique. Le but de cet exposé est d’expliquer les méthodes tropicales à travers le problème detropicalisation'' des points d’inflexions d’une famille de courbes algébriques planes. Une application de cette étude est l'étude des répartitions possibles des points d'inflexions réels sur une courbe réelle plane. Ce travail est en commun avec Lucia Lopez de Medrano.
On étudie dans cette thèse la relation entre les catégories finies et les matrices carrées positives, ensuite on arrive à étudier l'état de l'ensemble Cat(M) : s'il est vide ou non et déterminer ses bornes si c'est possible.
Liquid impact is a key issue in various industrial applications (seawalls, offshore structures, breakwaters, sloshing in tanks of liquefied natural gas vessels, wave energy converters, offshore wind turbines, etc). Numerical simulations dealing with these applications have been performed by many groups, using various types of numerical methods. In terms of the numerical results, the outcome is often impressive, but the question remains of how relevant these results are when it comes to determining impact pressures. The numerical models are too simplified to reproduce the high variability of the measured pressures. In fact, for the time being, it is not possible to simulate accurately both global and local effects. Unfortunately it appears that local effects predominate over global effects when the behaviour of pressures is considered. Having said this, it is important to point out that numerical studies can be quite useful to perform sensitivity analyses in idealized conditions such as a liquid mass falling under gravity on top of a horizontal wall and then spreading along the lateral sides. Simple analytical models inspired by numerical results on idealized problems can also be useful to predict trends. The talk is organized as follows: After an introduction on some of the industrial applications, it will be explained to what extent numerical studies can be used to improve our understanding of impact pressures. Results on a liquid mass hitting a wall obtained by various numerical codes will be shown.
(suite de l'exposé précédent) On propose une sémantique de jeux pour le langage concurrent CCS (Milner), dont l'ingrédient principal est une catégorie de ``parties'' suffisamment générale pour contenir à la fois une notion de partie en monde clos (quand les joueurs ne peuvent pas interagir avec le monde extérieur) et une notion de vue (ce qu'un joueur retient d'une partie). Les stratégies sont définies sur les vues, puis sont munies (1) d'une opération d'extension à toutes les parties et (2) d'une opération de recollement, qui permet de faire jouer une équipe contre une autre. Ces deux opérations permettent de définir une équivalence de test équitable, analogue à celle donnée indépendamment pour CCS par Cleaveland et al d'une part et Brinksma et al d'autre part, qui compare les stratégies selon leurs réactions à des tests. On donne une traduction de CCS en termes de stratégies et on donne des résultats de comparaison de la sémantique induite avec la bisimilarité faible et avec l'équivalence de test équitable originale.
On sait définir, après Kashiwara, Brylinski le cycle caractéristique d’un faisceau constructible. On tentera de répondre à la question suivante : comment définir un tel objet dans le contexte des espaces d’arcs ? et on donnera des exemples, notamment celui du cycle caractéristique des cycles proches motiviques d’une fonction.
Récemment, des couches très fines autour des structures tourbillonnaires ont été observées dans plusieurs régions océaniques. Ces couches sont quasi horizontales, elles ont une épaisseur de l’ordre de 10 mètres et une taille horizontale de l’ordre de 1 à 10 kilomètres. L'étude de la formation de ces couches conduit à un problème aux limites et à la résolution d'un problème aux valeurs propres généralisé. Les modes instables d'une lentille gaussienne anticyclonique dans un fluide continûment stratifié en rotation sont simulés numériquement. Le mode le plus instable est un mode lent, associé à une instabilité couche critique située à la périphérie du vortex.
(disponible prochainement)
Dans cet exposé, on étudie les ensembles de degrés Turing associés aux pavages générés par un jeu de tuile. En particulier, on prouve qu'il existe un quasi-isomorphisme entre n'importe quelle classe Pi01 de {0,1}^N et un pavage. Pour cela, on introduit une construction permettant d'avoir du calcul tout en ayant un nombre dénombrable de pavages.
On présentera deux modèles où de fortes oscillations peuvent induire sur le problème limite un gain de dissipation. Le premier concerne l'étude d'un fluide visqueux forcé par une source fortement oscillante. On perturbe une solution stationnaire à l'instant initial. On montre que le temps d'existence de la famille de solutions perturbées peut être minoré indépendamment de la taille de la perturbation. En particulier, on exhibe une solution approchée qui justifie que l'interaction d'oscillations peut se traduire au niveau macroscopique par la création d'une viscosité turbulente. Puis on développera un modèle de plasmas pour ITER avec collisions. Sous l'effet d'un champ magnétique, les particules tournent fortement autour des lignes de champ. Lorsque il devient très grand (les oscillations sont très rapides) le terme de collisions, qui dissipe uniquement en vitesse initialement, fait apparaître une dissipation en position.
Le problème de la maximisation des valeurs propres de Neunmann d'un domaine euclidien est très difficile. Pour un domaine du plan, la conjecture de Polya (1954) dit que les valeur propres mu_k de Neumann sont bornées supérieurement par 4k Pi. Dans cet exposé je présenterai une inégalité optimale pour la deuxième valeur propre non nulle mu_2. Je discuterai aussi la maximisation des valeurs propre de Steklov d'un domaine du plan, ainsi que le contrôle isopérimétrique de ce spectre en dimension supérieure à deux. Les travaux présentés sont des collaborations avec N. Nadirashvili, I. Polterovich, B. Colbois et A. El Soufi.
On propose une sémantique de jeux pour le langage concurrent CCS (Milner), dont l'ingrédient principal est une catégorie de ``parties'' suffisamment générale pour contenir à la fois une notion de partie en monde clos (quand les joueurs ne peuvent pas interagir avec le monde extérieur) et une notion de vue (ce qu'un joueur retient d'une partie). Les stratégies sont définies sur les vues, puis sont munies (1) d'une opération d'extension à toutes les parties et (2) d'une opération de recollement, qui permet de faire jouer une équipe contre une autre. Ces deux opérations permettent de définir une équivalence de test équitable, analogue à celle donnée indépendamment pour CCS par Cleaveland et al d'une part et Brinksma et al d'autre part, qui compare les stratégies selon leurs réactions à des tests. On donne une traduction de CCS en termes de stratégies et on donne des résultats de comparaison de la sémantique induite avec la bisimilarité faible et avec l'équivalence de test équitable originale.
Nous commencerons par rappeler un résultat avec Jan Denef reliant espaces d'arcs et points fixes des itérés de la monodromie. Puis nous exposerons un travail récent en collaboration avec Ehud Hrushovski qui en donne une nouvelle démonstration. Cette nouvelle approche, plus géométrique, est basée sur la géométrie non-archimédienne.
Upper bounds are obtained for the heat content of an open set D in a geodesically complete Riemannian manifold M with Dirichlet boundary condition on the boundary of D, and non-negative initial condition. We show that these upper bounds are close to being sharp if (i) the Dirichlet-Laplace-Beltrami operator acting in L2(D) satisfies a strong Hardy inequality with weight d^{-2}, (ii) the initial temperature distribution, and the specific heat of D are given by d^{-a} and d^{-b} respectively, where d is the distance to the boundary of D, and 1 < a < 2; 1 < b < 2.
Le flot géodésique d'une variété à courbure sectionnelle majorée par une constante négative admet une mesure -- dite de Patterson-Sullivan -- relativement à laquelle il est totalement dissipatif et non ergodique ou bien totalement conservatif et ergodique. Nous montrons que cette « loi du zéro-un » est encore satisfaite pour les variétés de rang un.
On s'intéresse à trouver la constante optimale pour l'immersion de l'espace W^{2,1}_Delta(Omega) qui est l'ensemble des u dans W^{1,1}_0(Omega) tel que Delta u appartienne à L^1(Omega) dans L^1(Omega) où Omega est un domaine borné de R^n avec frontière de classe C^{1,1}. Ceci est équivalent à trouver la première valeur propre de l'opérateur 1-biharmonique avec conditions au bord de Navier (généralisées). Dans cet exposé on donne une interpretation du problème aux valeurs propres, on montre une inégalité du type Faber-Krahn, et, si Omega est une boule, on calcule explicitement la première valeur propre et la fonction propre associée. Les résultats ont été obtenus en collaboration avec Bernhard Ruf et Cristina Tarsi (Université degli Studi di Milano)
Le problème de Schottky consiste à caractériser les jacobiennes des surfaces de Riemann parmi les variétés abéliennes principalement polarisées. Ce problème classique a été abordé sous de nombreux angles. Dans ce travail en collaboration avec F. Balacheff et H. Parlier, nous généralisons l'approche géométrique développée par P. Buser et P. Sarnak en obtenant de nouvelles estimées sur les longueurs des réseaux des périodes des jacobiennes.