BEGIN:VCALENDAR VERSION:2.0 PRODID:-//LAMA CALSCALE:GREGORIAN METHOD:PUBLISH X-WR-TIMEZONE:Europe/Paris BEGIN:VEVENT SUMMARY:Jacek JENDREJ DTSTART:20260416T120000Z DTEND:20260416T140000Z DTSTAMP:20260309T163319Z UID:https://lama.univ-smb.fr/talks/1743/ CATEGORIES: DESCRIPTION:Titre: Dynamique des multi-bulles pour les applications d'onde s équivariantes\n\nSummary: Les équations aux dérivées partielles disp ersives sont des équations d'évolution (c'est-à-dire comportant la vari able temporelle) dont les solutions préservent l'énergie\, mais peuvent néanmoins décroître en temps long parce que les différentes fréquence s se propagent avec des vitesses distinctes. Dans certains cas\, il existe des solutions spéciales appelées « solitons » qui ne changent pas de forme au fil du temps. La conjecture de résolution en solitons prédit qu e les solitons sont le seul obstacle à la décroissance des solutions. Pl us précisément\, toute solution se décompose en une superposition de so litons et d'un terme évanescent appelé « radiation ».\nNous présenter ons cette conjecture dans le contexte de l'équation des applications d'on des critique\, qui est l'analogue de l'équation des ondes pour les applic ations de R^2 dans S^2. Nous considérons les solutions « équivariantes »\, qui sont des solutions ayant une certaine symétrie préservée par l e flot. Dans ce cas\, les solitons sont centrés à l'origine\, mais ils p euvent néanmoins se découpler si leurs échelles caractéristiques sont très différentes. Dans un travail commun avec Andrew Lawrie\, nous démo ntrons que la résolution en solitons est vérifiée. À la lumière de ce résultat\, il est naturel d'examiner le comportement à long terme des échelles de plusieurs solitons en interaction. Dans cette direction\, dan s un travail récent avec Joachim Krieger\, nous construisons des solution s développant une singularité par concentration simultanée de deux soli tons à l'origine. URL:https://lama.univ-smb.fr/talks/1743/ END:VEVENT BEGIN:VEVENT SUMMARY:Sébastien Tavenas DTSTART:20251002T130000Z DTEND:20251002T150000Z DTSTAMP:20260309T163319Z UID:https://lama.univ-smb.fr/talks/1718/ CATEGORIES: DESCRIPTION:Titre: Petits circuits arithmétiques de faible profondeur\n\n Summary: Tout polynôme multivarié P(x1​\,…\,xn​) peut s’écrire comme une somme de monômes\, c’est-à-dire une somme de produits de var iables et de constantes. En général\, la taille d’une telle expression correspond au nombre de monômes ayant un coefficient non nul. Que se pas se-t-il si l’on ajoute une autre couche de complexité et que l’on con sidère des expressions sous la forme de sommes de produits de sommes (de variables et de constantes) ? Dans ce cas\, il devient difficile de démon trer qu’un polynôme donné P(x1​\,…\,xn​) ne possède pas de peti tes expressions de ce type.\nNous présenterons le contexte de cette quest ion\, ses liens avec la complexité booléenne classique ainsi que quelque s résultats de base dans ce domaine. Enfin\, nous exposerons certains ré sultats récents sur ces objets. URL:https://lama.univ-smb.fr/talks/1718/ END:VEVENT BEGIN:VEVENT SUMMARY:Pr. Stefan Geiss DTSTART:20240612T080000Z DTEND:20240612T100000Z DTSTAMP:20260309T163319Z UID:https://lama.univ-smb.fr/talks/1629/ CATEGORIES: DESCRIPTION:Titre: mini-cours "An Introduction to Stochastic Differential Equations"\n\nSummary: The aim of the mini course is to give a self-consis tent introduction into the basic theory about Stochastic Differential Equa tions (SDE) driven by the Brownian motion. The following topics are planed :
\n(a) Brownian motion
\n(b) Stochastic integration (Itô integral) with respect to the Brownian motion
\n(c) Ito’s formula
\n(d) Exi stence and uniqueness of solutions to SDEs under Lipschitz conditions
\ n(e) Feynman-Kac theory for parabolic PDEs
\n(f) A remark on weak solut ions and SDEs under non-Lipschitz conditions URL:https://lama.univ-smb.fr/talks/1629/ END:VEVENT BEGIN:VEVENT SUMMARY:Pr. Stefan Geiss DTSTART:20240611T080000Z DTEND:20240611T100000Z DTSTAMP:20260309T163319Z UID:https://lama.univ-smb.fr/talks/1628/ CATEGORIES: DESCRIPTION:Titre: mini-cours "An Introduction to Stochastic Differential Equations"\n\nSummary: The aim of the mini course is to give a self-consis tent introduction into the basic theory about Stochastic Differential Equa tions (SDE) driven by the Brownian motion. The following topics are planed :
\n(a) Brownian motion
\n(b) Stochastic integration (Itô integral) with respect to the Brownian motion
\n(c) Ito’s formula
\n(d) Exi stence and uniqueness of solutions to SDEs under Lipschitz conditions
\ n(e) Feynman-Kac theory for parabolic PDEs
\n(f) A remark on weak solut ions and SDEs under non-Lipschitz conditions URL:https://lama.univ-smb.fr/talks/1628/ END:VEVENT BEGIN:VEVENT SUMMARY:Pr. Stefan Geiss DTSTART:20240610T080000Z DTEND:20240610T100000Z DTSTAMP:20260309T163319Z UID:https://lama.univ-smb.fr/talks/1627/ CATEGORIES: DESCRIPTION:Titre: mini-cours "An Introduction to Stochastic Differential Equations"\n\nSummary: The aim of the mini course is to give a self-consis tent introduction into the basic theory about Stochastic Differential Equa tions (SDE) driven by the Brownian motion. The following topics are planed :
\n(a) Brownian motion
\n(b) Stochastic integration (Itô integral) with respect to the Brownian motion
\n(c) Ito’s formula
\n(d) Exi stence and uniqueness of solutions to SDEs under Lipschitz conditions
\ n(e) Feynman-Kac theory for parabolic PDEs
\n(f) A remark on weak solut ions and SDEs under non-Lipschitz conditions URL:https://lama.univ-smb.fr/talks/1627/ END:VEVENT BEGIN:VEVENT SUMMARY:Shalom Eliahou DTSTART:20221202T090000Z DTEND:20221202T110000Z DTSTAMP:20260309T163319Z UID:https://lama.univ-smb.fr/talks/1489/ CATEGORIES: DESCRIPTION:Titre: La conjecture 3n+1.\n\nSummary: La conjecture 3n+1 est sans doute le problème ouvert actuel le plus élémentaire de toutes les mathématiques. En itérant la très simple fonction arithmétique T(n)= n /2 ou (3n+1)/2 selon que n est pair ou impair\, on ne maîtrise plus grand chose sur l’évolution des trajectoires. En effet\, on conjecture depui s des décennies que quel que soit l’entier de départ n0\, on finira to ujours par tomber sur 1. Mais il semble qu’on soit encore très loin de pouvoir le prouver. Le but de l’exposé est de présenter deux ou trois résultats partiels\, tant théoriques qu’expérimentaux\, sur ce probl ème. URL:https://lama.univ-smb.fr/talks/1489/ END:VEVENT BEGIN:VEVENT SUMMARY:J Blu M Pierre L Véron DTSTART:20221024T074500Z DTEND:20221024T094500Z DTSTAMP:20260309T163319Z UID:https://lama.univ-smb.fr/talks/1472/ CATEGORIES: DESCRIPTION:Titre: Journée en l'hommage de Pierre Baras\n\nSummary: La jo urnée en l'honneur de Pierre aura lieu le lundi 24 octobre de 9h45 à 16h Programme provisoire 10h - 10h45 : hommages de Ph. Galez\, Ph. Briand\, P . Orro\, G. Angénieux\, N. Kardos (amphi Nivolet) 11h - 11h45 : exposé d e J. Blum (amphi Nivolet) 12h - 14h : buffet au bâtiment EVE 14h - 14h45 : exposé de Michel Pierre (salle TLR) 15h - 15h45 : exposé de Laurent V éron (salle TLR) URL:https://lama.univ-smb.fr/talks/1472/ END:VEVENT BEGIN:VEVENT SUMMARY:Paolo Salani DTSTART:20200220T130000Z DTEND:20200220T150000Z DTSTAMP:20260309T163319Z UID:https://lama.univ-smb.fr/talks/1389/ CATEGORIES: DESCRIPTION:Titre: Geometric-Analityc inequalities (and applications to PD Es)\n\nSummary: Many of the most important results in mathematics are base d on some inequality\, of geometric or analytic nature. On the other hand\ , this separation between geometry and analysis is not sharp and the most intriguing inequalities are indeed the ones that have a mixed nature and e nhance the interplay of the two realms. Moreover\, many apparently purely geometric inequalities have some powerful functional counterpart\, like fo r instance the Isoperimetric Inequality and Sobolev Inequality. I will try to give some general overview on geometric-analytic inequalities and will concentrate on one of them\, precisely the Brunn-Minkowski inequality\, a n apparently geometric inequality which is at the core of modern convex ge ometry\, and on its functional counterpart\, the Borell-Brascamp-Lieb ineq uality. And also possibly show some applications to PDEs. URL:https://lama.univ-smb.fr/talks/1389/ END:VEVENT BEGIN:VEVENT SUMMARY:Gilles Lebeau DTSTART:20180125T130000Z DTEND:20180125T150000Z DTSTAMP:20260309T163319Z UID:https://lama.univ-smb.fr/talks/1275/ CATEGORIES: DESCRIPTION:Titre: Dispersion for the wave and the Schrödinger equations outside strictly convex obstacles\n\nSummary: We consider the linear wave equation and the linear Schrödinger equation outside a compact\, strictly convex obstacle in Rd with smooth boundary. In dimension d=3 we show that the linear wave flow and the linear Schrödinger flow satisfy the dispers ive estimates as in R3. For d> 3\, if the obstacle is a ball\, we show tha t there exists points where the dispersive estimates fail for both wave an d Schrödinger equations. URL:https://lama.univ-smb.fr/talks/1275/ END:VEVENT BEGIN:VEVENT SUMMARY:Pierre Arnoux DTSTART:20180118T130000Z DTEND:20180118T150000Z DTSTAMP:20260309T163319Z UID:https://lama.univ-smb.fr/talks/1241/ CATEGORIES: DESCRIPTION:Titre: Fractions continues multidimensionnelles : dynamique\, arithmétique et combinatoire\n\nSummary: Dans cette exposé\, on montre c omment donner une interprétation géométrique et dynamique à certains a lgorithmes de fraction continues multidimensionnelles\; cela permet\, en u tilisant l'algorithme de Brun\, de donner un modèle symbolique pour le fl ot des chambres de Weil. URL:https://lama.univ-smb.fr/talks/1241/ END:VEVENT BEGIN:VEVENT SUMMARY:Arnaud Beauville DTSTART:20170413T120000Z DTEND:20170413T140000Z DTSTAMP:20260309T163319Z UID:https://lama.univ-smb.fr/talks/1220/ CATEGORIES: DESCRIPTION:Titre: Le problème de Lüroth\n\nSummary: URL:https://lama.univ-smb.fr/talks/1220/ END:VEVENT BEGIN:VEVENT SUMMARY:Patrick Gérard DTSTART:20170316T130000Z DTEND:20170316T150000Z DTSTAMP:20260309T163319Z UID:https://lama.univ-smb.fr/talks/1225/ CATEGORIES: DESCRIPTION:Titre: Intégrabilité et turbulence dans les équations aux d érivées partielles hamiltoniennes.\n\nSummary: Dans le monde des systèm es hamiltoniens d'équations aux dérivées partielles\, les notions d'éq uation intégrable et de solution turbulente occupent des places apparemme nt irréconciliables. Après avoir tenté de donner une idée accessible d e ces deux notions\, je discuterai un exemple découvert récemment d'équ ation obtenue comme forme normale d'un modèle d'onde non linéaire\, qui est intégrable au sens de Lax\, mais dont les solutions sont génériquem ent turbulentes. URL:https://lama.univ-smb.fr/talks/1225/ END:VEVENT BEGIN:VEVENT SUMMARY:Alicia Dickenstein DTSTART:20161124T140000Z DTEND:20161124T160000Z DTSTAMP:20260309T163319Z UID:https://lama.univ-smb.fr/talks/1201/ CATEGORIES: DESCRIPTION:Titre: From chemical reaction networks to Descartes' rule of s igns\n\nSummary: In the context of chemical reaction networks with mass-ac tion and other rational kinetics\, a major question is to preclude or to g uarantee multiple positive steady states. I will explain this motivation a nd I will present necessary and sufficient conditions in terms of sign vec tors for the injectivity of families of polynomials maps with arbitrary re al exponents defined on the positive orthant. These conditions extend exis ting injectivity conditions expressed in terms of Jacobian matrices and de terminants\, obtained by several authors. In the context of real algebraic geometry\, this approach can be seen as the first partial multivariate ge neralization of the classical Descartes' rule\, which bounds the number of positive real roots of a univariate real polynomial in terms of the numbe r of sign variations of its coefficients. This is joint work with Stefan M üller\, Elisenda Feliu\, Georg Regensburger\, Anne Shiu and Carsten Conra di. I will also present some further advances in this multivariate general ization obtained in collaboration with Frédéric Bihan\, together with ap plications to biochemical MESSI systems obtained in collaboration with Mer cedes Pérez Millán. URL:https://lama.univ-smb.fr/talks/1201/ END:VEVENT BEGIN:VEVENT SUMMARY:Boulos El-Hilany DTSTART:20160921T120000Z DTEND:20160921T140000Z DTSTAMP:20260309T163319Z UID:https://lama.univ-smb.fr/talks/1193/ CATEGORIES: DESCRIPTION:Titre: Soutenance de thèse\, Géométrie tropicale et systèm es polynomiaux\n\nSummary: URL:https://lama.univ-smb.fr/talks/1193/ END:VEVENT BEGIN:VEVENT SUMMARY:Yann Brenier DTSTART:20160331T120000Z DTEND:20160331T140000Z DTSTAMP:20260309T163319Z UID:https://lama.univ-smb.fr/talks/1163/ CATEGORIES: DESCRIPTION:Titre: Nuages browniens\, transport optimal\, gravitation et h ydrodynamique\n\nSummary: L'observation à un instant T du mouvement brown ien d'un nuage de points indistinguables dont on connaît la position init iale conduit naturellement au problème de transport optimal de Monge\, co mme on le comprend dorénavant bien à la suite d'un article de Schroeding er datant des années 30. En poussant un peu plus loin l'analyse\, à l'ai de du principe de grandes déviations et de techniques de calcul des varia tions\, on arrive à un système dynamique de particules liée au groupe s ymétrique\, dont on peut ensuite dériver par analyse asymptotique des mo dèles classiques de mécanique\, tels que la gravitation de Newton et l'h ydrodynamique d'Euler. URL:https://lama.univ-smb.fr/talks/1163/ END:VEVENT BEGIN:VEVENT SUMMARY:Beniamin Bogosel DTSTART:20151208T130000Z DTEND:20151208T150000Z DTSTAMP:20260309T163319Z UID:https://lama.univ-smb.fr/talks/1133/ CATEGORIES: DESCRIPTION:Titre: Thèse\n\nSummary: URL:https://lama.univ-smb.fr/talks/1133/ END:VEVENT BEGIN:VEVENT SUMMARY:Michel Pierre DTSTART:20150423T120000Z DTEND:20150423T140000Z DTSTAMP:20260309T163319Z UID:https://lama.univ-smb.fr/talks/1097/ CATEGORIES: DESCRIPTION:Titre: Colloquium : Modèles mathématiques de réaction-diffu sion : anciens et nouveaux défis\n\nSummary: Depuis l'exceptionnelle cont ribution d'Alan Turing sur la modélisation mathématique de la morphogén èse en 1952\, il est connu qu'ajouter de la diffusion dans un bon systèm e d'équations différentielles ordinaires peut\, paradoxalement\, détrui re la stabilité des solutions stationnaires. Ces instabilités\, dites de Turing\, conduisent alors à de nouveaux états stationnaires qui sont no n homogènes en espace et font apparaître une riche panoplie de motifs as ymptotiques. Il s'avère que l'ajout de diffusion peut même détruire l'e xistence globale en temps et créer des explosions en temps fini. Le but d e cet exposé est de discuter cette question d'existence globale pour les systèmes de réaction-diffusion\, en particulier ceux\, très fréquents dans les applications\, où la positivité des solutions est préservée e t pour lesquels la masse totale est à priori bornée. Bizarrement\, la qu estion reste encore ouverte dans sa généralité. Nous indiquerons ce qui a été résolu ainsi que les défis restants. URL:https://lama.univ-smb.fr/talks/1097/ END:VEVENT BEGIN:VEVENT SUMMARY:Clotilde Fermanian DTSTART:20150212T130000Z DTEND:20150212T150000Z DTSTAMP:20260309T163319Z UID:https://lama.univ-smb.fr/talks/1076/ CATEGORIES: DESCRIPTION:Titre: Mesures semi-classiques et théorèmes de masse effecti ve\n\nSummary: URL:https://lama.univ-smb.fr/talks/1076/ END:VEVENT BEGIN:VEVENT SUMMARY:Michel Merle DTSTART:20141106T130000Z DTEND:20141106T150000Z DTSTAMP:20260309T163319Z UID:https://lama.univ-smb.fr/talks/1068/ CATEGORIES: DESCRIPTION:Titre: Intégration p-adique et motivique\n\nSummary: URL:https://lama.univ-smb.fr/talks/1068/ END:VEVENT BEGIN:VEVENT SUMMARY:Nasr Almokdad DTSTART:20141103T123000Z DTEND:20141103T143000Z DTSTAMP:20260309T163319Z UID:https://lama.univ-smb.fr/talks/1066/ CATEGORIES: DESCRIPTION:Titre: Méthode de relaxation et calcul variationnel\n\nSummar y: Nous présentons une nouvelle librairie pour le calcul des variations\, la librairie CalcVar. Une attention particulière a été portée lors du développement au calcul efficace de l’évaluation numérique de la fon ction coût\, de son gradient et de sa matrice hessienne. Nous regardons a ussi la régularisation des surfaces discrètes par la minimisation d’é nergies. Nous nous intéressons plus particulièrement à l’étude numé rique de ce type d’approximation en dimension trois. Nous montrons comme nt cette approche peut permettre la régularisation de contours en présen ce de singularités. d’ordre deux. Nous proposons enfin un nouvel algori thme de génération aléatoire d’objets de largeur constante dont nous établissons la convergence presque sûre. Ce travail est\, à notre conna issance\, le premier algorithme permettant de générer des objets de larg eur constante sans informations géométriques restrictives (symétrie de révolution\, coupe de largeur constante\, etc.). URL:https://lama.univ-smb.fr/talks/1066/ END:VEVENT BEGIN:VEVENT SUMMARY:Dorin Bucur DTSTART:20140610T090000Z DTEND:20140610T110000Z DTSTAMP:20260309T163319Z UID:https://lama.univ-smb.fr/talks/1034/ CATEGORIES: DESCRIPTION:Titre: Inégalités isopérimétriques et problèmes à fronti ère libre\n\nSummary: URL:https://lama.univ-smb.fr/talks/1034/ END:VEVENT BEGIN:VEVENT SUMMARY:Jimmy Garnier DTSTART:20140213T130000Z DTEND:20140213T150000Z DTSTAMP:20260309T163319Z UID:https://lama.univ-smb.fr/talks/1015/ CATEGORIES: DESCRIPTION:Titre: Modélisation mathématique en dynamique des population s et génétique des populations\n\nSummary: Au cours de cet exposé\, je vous présenterai mes thèmes de recherche à l'interface entre mathémati ques et écologie et mes problématiques de travail. Un de mes axes d'étu de est de comprendre et de décrire les effets de la dispersion et de la c roissance d'une population sur son devenir et notamment sur sa diversité génétique. Dans un premier temps\, je décrirai les divers modèles math ématiques utilisés en dynamique des population et en génétiques des po pulations pour répondre à ces questions. Ensuite\, je vous montrerai com ment mon approche mathématique basée sur des EDPs permet de décrire la dynamique de la diversité génétique d'un population en expansion. Ces t ravaux sont basés sur l'étude de solutions particulières des équations de réaction-dispersion: les fronts progressifs ou traveling waves. Ces s olutions décrivent l'invasion d'un état stationnaire du système par un autre. URL:https://lama.univ-smb.fr/talks/1015/ END:VEVENT BEGIN:VEVENT SUMMARY:Hervé Pajot DTSTART:20131114T140000Z DTEND:20131114T160000Z DTSTAMP:20260309T163319Z UID:https://lama.univ-smb.fr/talks/979/ CATEGORIES: DESCRIPTION:Titre: Courbure et inégalités de Poincaré\n\nSummary: Un r ésultat maintenant classique (et souvent attribué a Peter Buser) dit que toute variété riemannienne complète à courbure de Ricci positive adme t des inégalités de Poincaré. Dans cet exposé\, on essayera de donner/ proposer des analogues du théorème de Buser dans le cas des espaces mét riques continus (espace géodésiques) ou discrets (graphes). URL:https://lama.univ-smb.fr/talks/979/ END:VEVENT BEGIN:VEVENT SUMMARY:Benjamin Nill DTSTART:20130620T080000Z DTEND:20130620T100000Z DTSTAMP:20260309T163319Z UID:https://lama.univ-smb.fr/talks/962/ CATEGORIES: DESCRIPTION:Titre: Ehrhart polynomials and A-Discriminants\n\nSummary: In this talk I will illustrate how to use basic results in Ehrhart theory to solve a problem on discriminants. I will introduce all the necessary notio ns such as Ehrhart polynomials and lattice polytopes. As it turns out\, th e problem will be reduced to a question about binomial coefficients. URL:https://lama.univ-smb.fr/talks/962/ END:VEVENT BEGIN:VEVENT SUMMARY:Thomas Seiller DTSTART:20130404T120000Z DTEND:20130404T140000Z DTSTAMP:20260309T163319Z UID:https://lama.univ-smb.fr/talks/940/ CATEGORIES: DESCRIPTION:Titre: Géométrie de l'interaction: Preuves\, Opérateurs et Complexité Algorithmique\n\nSummary: La logique\, et plus particulièreme nt la théorie de la démonstration — domaine qui a pour objet d'étude les preuves mathématiques\, a récemment donné lieu à de nombreux déve loppements concernant l'informatique théorique. Ces développements se fo ndent sur une correspondance\, dite de Curry-Howard\, entre les preuves ma thématiques et les programmes informatiques. L'intérêt de cette corresp ondance provient du fait que celle-ci soit dynamique: l'exécution des pro grammes correspond à une procédure sur les preuves\, dite d'élimination des coupures. Suite à une étude poussée de la formalisation des preuve s\, Jean-Yves Girard a initié le programme de géométrie de l'interactio n. Ce programme\, dans une première approximation\, a pour objectif l'obt ention d'une représentation des preuves rendant compte de la dynamique de l'élimination des coupures. Via la correspondance entre preuves et progr ammes\, cela correspond donc à obtenir une sémantique des programmes ren dant compte de la dynamique de leur exécution. Cependant\, le programme d e géométrie de l'interaction est plus ambitieux: au-delà de la simple i nterprétation des preuves\, il s'agit d'une complète reconstruction de l a logique autour de la dynamique d'élimination des coupures. On reconstru it donc la logique des programmes eux-mêmes\, dans un cadre où la notion de formule rend compte du comportement des algorithmes. Depuis l'introduc tion de ce programme\, Jean-Yves Girard a proposé plusieurs constructions afin de le réaliser dans lesquelles les preuves sont représentées par des opérateurs dans une algèbre de von Neumann. Ces constructions étant fondées sur la notion d'exécution des programmes\, le programme de géo métrie de l'interaction est particulièrement pertinent pour l'étude de la complexité algorithmique. En particulier\, ce programme a déjà démo ntré qu'il permettait de formaliser à l'aide d'outils mathématiques des classes de complexité en temps et en espace. URL:https://lama.univ-smb.fr/talks/940/ END:VEVENT BEGIN:VEVENT SUMMARY:Pascal Koiran DTSTART:20130328T130000Z DTEND:20130328T150000Z DTSTAMP:20260309T163319Z UID:https://lama.univ-smb.fr/talks/938/ CATEGORIES: DESCRIPTION:Titre: A Wronskian approach to the real tau-conjecture\n\nSumm ary: According to Shub and Smale's tau-conjecture\, the number of integer roots of a univariate polynomial should be polynomially bounded in the siz e of the smallest (constant free) straight-line program computing it. This statement becomes provably false if one counts real roots instead of inte ger roots. I have proposed a real version of the tau-conjecture where the attention is restricted to straight-line programs of a special form: the s ums of products of sparse polynomials. This conjecture implies that the pe rmanent polynomial cannot be computed by polynomial-size arithmetic circui ts. The complexity of the permanent in the arithmetic circuit model is a l ong standing open problem\, which can be thought of as an algebraic versio n of P versus NP. In this talk I will present the real tau-conjecture and its consequence for the permanent. If time allows\, I will introduce a new tool in this context: the Wronksian determinant. This leads to some modes t progress on the real tau-conjecture\, and to new bounds on the number of solutions of sparse systems of polynomial equations. The latter bounds se em to be of independent interest from the point of view of real algebraic geometry. URL:https://lama.univ-smb.fr/talks/938/ END:VEVENT BEGIN:VEVENT SUMMARY:Pierre Etienne Meunier DTSTART:20121213T130000Z DTEND:20121213T150000Z DTSTAMP:20260309T163319Z UID:https://lama.univ-smb.fr/talks/915/ CATEGORIES: DESCRIPTION:Titre: Les automates cellulaires comme modèle de complexités parallèles.\n\nSummary: Dans ma thèse\, j'ai étudié les liens entre d eux notions différentes de la complexité. La complexité algorithmique\, d'une part\, qui mesure la difficulté de réaliser une tâche automatiqu ement. La complexité de systèmes\, d'autre part\, qui est le degré d'in trication des actions des agents du système. Cette approche est relativem ent nouvelle\, à la fois dans les deux théories\, et offre des perspecti ves enthousiasmantes pour parler des grandes conjectures de la complexité . En particulier\, nous avons réussi à développer une méthode généri que pour construire des bornes inférieures de complexité\, et des condit ions nécessaires relativement élémentaires sur notre modèle de calcul\ , ce qui est souvent considéré comme une question difficile en théorie de la complexité. D'autre part\, mon travail propose une définition alte rnative de classes de complexité\, basée sur des automates cellulaires\, et étudie les relations avec les définitions classiques. Enfin\, la der nière partie de mon travail a consisté à utiliser les méthodes de la t héorie de la complexité pour ouvrir de nouvelles pistes sur une conjectu re ancienne en automates cellulaires\, à savoir l'existence d'un automate universel par facteur. J'ai soutenu ma thèse le 26 octobre 2012 à Santi ago\, au Chili\, mais je suis heureux de vous convier à cet exposé\, san s doute plus informel\, sur les travaux que j'ai effectués pendant ces qu elques années au LAMA. URL:https://lama.univ-smb.fr/talks/915/ END:VEVENT BEGIN:VEVENT SUMMARY:Matthieu Simonet DTSTART:20121012T123000Z DTEND:20121012T143000Z DTSTAMP:20260309T163319Z UID:https://lama.univ-smb.fr/talks/893/ CATEGORIES: DESCRIPTION:Titre: Mots de retour dans les plans sturmiens\n\nSummary: Les mots sturmiens sont une façon de coder les droites discrètes apériodiq ues. Ils ont été étudiés depuis la fin du 19ème siècle et disposent de nombreuses caractérisations. L'une d'elles\, obtenue par Vuillon\, est centrée sur la notion de mot de retour. Cette thèse a pour objet l'étu de des mots sturmiens en dimension 2 vus comme codages des plans discrets apériodiques. L'objectif est d'aller vers une caractérisation des mots s turmiens bi-dimensionnels analogue à celle obtenue par Vuillon en dimensi on 1. Mais des problèmes propres à la dimension 2 rendent cette étude d élicate\, tels l'absence de concaténation de mots ou la difficulté à l ocaliser un facteur au sein d'un mot. Afin d'y faire face\, nous introduis ons en dimension 2 les notions de motifs\, motifs pointés\, mots de local isation et mots de retour. Nous obtenons ainsi un prolongement à la dimen sion 2 d'un théorème de Morse et Hedlund concernant certains mots de ret our dans un mot sturmien. Ce résultat nous permet d'établir un nouvel al gorithme de fractions continues et nous permet de proposer\, dans un cadre restreint\, une notion de suite dérivée. URL:https://lama.univ-smb.fr/talks/893/ END:VEVENT BEGIN:VEVENT SUMMARY:M. Putinar DTSTART:20120628T120000Z DTEND:20120628T140000Z DTSTAMP:20260309T163319Z UID:https://lama.univ-smb.fr/talks/884/ CATEGORIES: DESCRIPTION:Titre: La quantification de l'ellipse\n\nSummary: Lorsque l'on interprète l'équation quadratique d'une ellipse au niveau des opérateu rs de l'espace d'Hilbert\, on découvre une anomalie entre la sous-normali té (des opérateurs) et la positivité hermitienne (des polynômes). Mais lorsqu'on analyse de près la même quantification\, on découvre que l'e llipse se singularise par deux propriétés : ses opérateurs respectifs p ossèdent une matrice diagonale triple et le problème de Dirichlet admet des solutions polynomiales. Cette présentation se veut accessibles à des étudiants de Master et s'efforcera de ne pas rentrer dans des aspects tr op techniques. URL:https://lama.univ-smb.fr/talks/884/ END:VEVENT BEGIN:VEVENT SUMMARY:Olivier Laffitte DTSTART:20120614T080000Z DTEND:20120614T100000Z DTSTAMP:20260309T163319Z UID:https://lama.univ-smb.fr/talks/872/ CATEGORIES: DESCRIPTION:Titre: Quantification et taux de croissance des instabilités en hydrodynamique classique\n\nSummary: Il est connu depuis lord Rayleigh que certaines instabilités hydrodynamiques (essentiellement les instabili tés de Rayleigh-Taylor\, instabilité de Couette) peuvent être prises en compte par une équation différentielle ordinaire faisant intervenir le taux de croissance de l'instabilité (qui s'appelle selon les cas Orr-Somm erfeld ou Rayleigh). Mikaélian a remarqué que l'équation de Rayleigh po uvait se réécrire de manière équivalente comme une équation de Schrod inger (Phys Rev E 53\, 1996). Avec C. Cherfils dans un cas particulier (Ph ys Rev E 62\, 2000) puis avec B. Helffer dans le cas général pour l'équ ation de Rayleigh\, nous avons démontré que le taux de croissance de l'i nstabilité de Rayleigh-Taylor linéarisée n'étaitpas unique\, mais suiv ait une suite quantifiée (valeurs propres d'un opérateur classique)\, et nous démontrons que cette remarque permet la construction d'un mode inst able pour le problème de Rayleigh-Taylor dans le cas non linéaire. URL:https://lama.univ-smb.fr/talks/872/ END:VEVENT BEGIN:VEVENT SUMMARY:Hervé Le Ferrand DTSTART:20120531T120000Z DTEND:20120531T140000Z DTSTAMP:20260309T163319Z UID:https://lama.univ-smb.fr/talks/875/ CATEGORIES: DESCRIPTION:Titre: Fractions continues algébriques : la contribution de R obert de Montessus de Ballore\n\nSummary: En mathématiques\, dans le doma ine de l'Approximation Rationnelle\, en particulier les fractions continue s\, approximation au sens Padé\, il n'est pas rare de rencontrer parmi le s publications récentes le nom Montessus de Ballore. Par exemple\, en 200 9 paraît dans Found Comput Math Convergent Interpolation to Cauchy Int egrals over Analytic Arcs\, de Laurent Baratchart et Maxim Yattselev\, dans lequel le théorème de convergence de Robert de Montessus est donn é en référence. En 2010\, A. Sidi publie dans Comput. Methods Funct. Th eory\, A de Montessus type convergence study of a least-squares vector- valued rational interpolation procedure II\, dans lequel une géné ralisation du résultat de Robert de Montessus est donnée. Ainsi\, à quoi tient la pérennité de ce résultat ?
Robert de Montessus fut lauréat en 1906 d'un Grand Prix de l'Académie des Sciences et en 1917\, il rentre au comité de rédaction du Journal de Mathématiques Pures et A ppliquées alors dirigé par Camille Jordan. C'est au cours de l'année 19 02 que Robert de Montessus de Ballore (1870-1937) prouva son fameux théor ème [3] sur la convergence d'approximants de Padé de fonctions méromorp hes [2]. Pour la démonstration\, il utilisa en particulier des résultats de J. Hadamard sur ce que l'on appelle aujourd'hui les polynômes de H adamard. Jusqu'en 1909\, Robert de Montessus publia des travaux sur le s fractions continues algébriques.
Nous cherchons à comprendre comm ent son théorème s'est diffusé et examinons aussi les autres résultats qu'il a obtenus. Nous disposons en particulier de toute une correspondanc e scientifique que nous avons recueillie auprès de sa famille et qui fait l'objet d'un archivage à l'Université Pierre et Marie Curie [1]. Certai nes de ces lettres permettent d'expliquer la genèse du théorème de 1902 . Nous en projetterons des fac-similés. En particulier\, Henri Padé et R obert de Montessus ont correspondu durant les années 1901-1902. Nous verr ons aussi que le résultat de 1902 est rapidement cité par des mathémati ciens comme Van Vleck\, Nörlund ou encore O. Perron avant la première gu erre mondiale\, puis Wilson et surtout J.L. Walsch entre les deux guerres.

[1] Fonds Robert de Montessus de Ballore (Université Pierre et Marie Curie\, Paris\, archivage en cours).
[2] Claude Brezinski\, History of continued fractions and Padé approximants\, Springer Verl ag\, Berlin\, (1991).
[3] R. de Montessus de Ballore\, Sur les fra ctions continues algébriques\, Bull. Soc. Math. France 30 (1902)\, pp 28-36.
[4] Biographie de R. de Montessus de Ballore sur Mac Tutor : lien. URL:https://lama.univ-smb.fr/talks/875/ END:VEVENT BEGIN:VEVENT SUMMARY:Boris Kolev DTSTART:20120202T143000Z DTEND:20120202T163000Z DTSTAMP:20260309T163319Z UID:https://lama.univ-smb.fr/talks/862/ CATEGORIES: DESCRIPTION:Titre: Un principe universel de la mécanique d'après Jean-Ma rie Souriau\n\nSummary: « div(T) = 0\, c'est la mécanique ! » . À part ir de cette expression attribuée à Einstein\, Jean-Marie Souriau a formu lé une équation universelle de la mécanique\, dont dérive la plupart d es modèles de la mécanique des milieux continus. Cet exposé propose de présenter cette formulation géométrique\, élégante et encore mal conn ue. URL:https://lama.univ-smb.fr/talks/862/ END:VEVENT BEGIN:VEVENT SUMMARY:Gilles Lebeau DTSTART:20120119T130000Z DTEND:20120119T150000Z DTSTAMP:20260309T163319Z UID:https://lama.univ-smb.fr/talks/835/ CATEGORIES: DESCRIPTION:Titre: Algorithme de Metropolis\n\nSummary: L'algorithme de Me tropolis est un algorithme permettant de tirer un point au hasard pour une probabilité donnée. Il a été introduit en 1953 par N. Metropolis\, A. -W. Rosenbluth\, M.-N. Rosenbluth\, A.-H. Teller\, E. Teller\, dans l'arti cle '' Equations of State Calculations by Fast Computing Machines\, Journa l of Chemical Physics 21 (6) 1087--1092. Il a ensuite été généralisé en 1970 par W.-K. Hastings dans ``Monte Carlo Sampling Methods Using Marko v Chains and Their Applications''\, Biometrika 57 (1) 97?109. Cet algorith me\, et ses variantes\, est un des plus utilisés du calcul scientifique\, voir par exemple ``top ten algorithms of the century'' sur google. Son é tude mathématique est par contre très loin d'être achevée et pose des problèmes fort intéressants de géométrie\, de théorie spectrale\, d'a nalyse\, et bien sur de probabilités. Dans cet exposé\, je commencerai p ar introduire l'algorithme sous sa forme historique : Comment choisir N di sques de rayon r (sans recouvrement ) au hasard dans un carré? et j'indiq uerai quelques résultats et problèmes ouverts sur ce modèle. Dans une d euxième partie\, je montrerai comment les plus simples des algorithmes de Metropolis\, associés à des marches aléatoires à ``petits pas''\, con duisent à l'étude d'opérateurs qui généralisent les opérateurs du ca lcul pseudodifférentiel semiclassique usuel. URL:https://lama.univ-smb.fr/talks/835/ END:VEVENT BEGIN:VEVENT SUMMARY:Muhammad Humayoun DTSTART:20120118T140000Z DTEND:20120118T160000Z DTSTAMP:20260309T163319Z UID:https://lama.univ-smb.fr/talks/855/ CATEGORIES: DESCRIPTION:Titre: Developing the System MathNat for Automatic Formalizati on of Mathematical texts\n\nSummary: There is a wide gap between the langu age of mathematics and its formalized versions. The term ``language of mat hematics'' or ``mathematical language'' refers to prose that the mathemati cian uses in authoring textbooks and publications. It mainly consists of n atural language\, symbolic expressions and notations. It is flexible\, str uctured and semantically well-understood by mathematicians. However\, it i s very difficult to formalize it automatically. Some of the main reasons a re: complex and rich linguistic features of natural language and its inher ent ambiguity\; intermixing of natural language with symbolic mathematics causing problems which are unique of its kind\, and therefore\, posing mor e ambiguity\; and the possibility of containing reasoning gaps\, which are hard to fill using the current state of art theorem provers (both automat ed and interactive). One way to work around this problem is to abandon the use of the language of mathematics. Therefore in current state of art of theorem proving\, mathematics is formalized manually in very precise\, spe cific and well-defined logical systems. The languages supported by these s ystems impose strong restrictions. For instance\, these languages have non -ambiguous syntax with a limited number of possible syntactic construction s. This enterprise divides the world of mathematics in two groups. The fir st group consists of a vast majority of mathematicians whose rely on the l anguage of mathematics only. In contrast\, the second group consists of a minority of mathematicians. They use formal systems such as theorem prover s (interactive ones mostly) in addition to the language of mathematics. To bridge the gap between the language of mathematics and its formalized ver sions\, we may ask the following gigantic question: Can we build a program that understands the language of mathematics used by mathematicians and c an we mechanically verify its correctness? This problem can naturally be d ivided in two sub-problems\, both very hard: 1. Parsing mathematical texts (mainly proofs) and translating those parse trees to a formal language af ter resolving linguistic issues. 2. Validation of this formal version of m athematics. The project MathNat (Mathematics in controlled Natural languag e) aims at being the first step towards solving this problem\, focusing ma inly on the first question. For that\, first\, we develop a Controlled Lan guage for Mathematics (CLM) which is a precisely defined subset of English with restricted grammar and lexicon. To make CLM natural and expressive\, we support important linguistic features such as anaphoric pronouns and r eferences\, rephrasing of a sentence in multiple ways\, the proper handlin g of distributive and collective readings and so on. The coverage of CLM a t the moment is yet rather small and to be improved as the project keeps e volving in future. Second\, we develop MathAbs (Mathematical Abstract lang uage). It is a prover independent formal language to represent the semanti cs of CLM texts preserving its logical and reasoning structure. MathAbs is designed as an intermediate language between CLM and the formal languages of theorem provers\, allowing proof checking. Third\, we propose a system that can automatically translate CLM to MathAbs\, giving a precise semant ics to CLM. We consider that formalizing mathematics automatically in such a formal language that has a precise semantics is an important progress e ven if it can't always be proof-checked. This brings us to the second ques tion for which we report a very limited work. We only translate MathAbs to the first-order formulas. If we feed these formulas to the automated theo rem provers (ATPs)\, then fundamentally the ATPs should be able to validat e them sometimes. In other words\, the resulting MathAbs document is not c ompletely verifiable for the moment\, but it represents an opportunity for the mathematician to write mathematical text (mainly proofs) without beco ming expert of any theorem prover. Keywords: Computational linguistics\, C ontrolled languages\, Formalization\, Formal systems\, Verification\, Proo f checking. URL:https://lama.univ-smb.fr/talks/855/ END:VEVENT BEGIN:VEVENT SUMMARY:F. Bihan DTSTART:20111209T133000Z DTEND:20111209T153000Z DTSTAMP:20260309T163319Z UID:https://lama.univ-smb.fr/talks/856/ CATEGORIES: DESCRIPTION:Titre: Soutenance HDR - Topologie des variétés creuses\n\nSu mmary: URL:https://lama.univ-smb.fr/talks/856/ END:VEVENT BEGIN:VEVENT SUMMARY:Tim Porter DTSTART:20111027T123000Z DTEND:20111027T143000Z DTSTAMP:20260309T163319Z UID:https://lama.univ-smb.fr/talks/830/ CATEGORIES: DESCRIPTION:Titre: Théories homotopiques de champs quantiques\, espaces c lassifiants et champs en groupoïdes\n\nSummary: Les théories homotopique s de champs quantiques (HQFTs) ont été introduites par V. Turaev. Ils so nt une forme de QFT dans lesquelles les variétés ont des structures supp lémentaires. Dans cet exposé\, je vais passer rapidement en revue quelqu es bases de la théorie des modules croisés utile plus tard\, et introdui re les TQFTs et HQFTs avec un espace de but\, B. Après classification des cas simples\, nous allons examiner le cas dans lequel B est l'espace clas sifiant d'un module croisé. S'il y a assez de temps\, nous aborderons que lques interprétations en forme de gerbes etc. Plan : 1. Motivation 2. Rap pels et exemples (simples) des modules croisés. 3. Théories topologiques de champs quantiques (TTCQs = TQFTs)\; 4. Théories homotopiques de champ s quantiques (THCQs = HQFTs)\; 5. Résultats de Classification: (i) B = K( pi\; 1)\, (ii) B = K(A\; 2)\; 6. Applications formelles et HQFTs formelles : résultats généraux\; 7. C-algebras croisées\; 8. Complexes croisés \, groupes simpliciaux et espaces classifiants\; 9. C-fonctions formelles simpliciales et FHCobord(d\; C)\; 10. C-fibrés combinatoires : allant ver s les Gerbes. URL:https://lama.univ-smb.fr/talks/830/ END:VEVENT BEGIN:VEVENT SUMMARY:Julien Olivier DTSTART:20110712T120000Z DTEND:20110712T140000Z DTSTAMP:20260309T163319Z UID:https://lama.univ-smb.fr/talks/816/ CATEGORIES: DESCRIPTION:Titre: Thèse\n\nSummary: Fluides vitreux\, sutures craniofaci ales\, diffusion réactive : quelques contributions à l'étude de ces sys tèmes multi-échelles ou singuliers. URL:https://lama.univ-smb.fr/talks/816/ END:VEVENT BEGIN:VEVENT SUMMARY:Laurent Vuillon DTSTART:20110623T120000Z DTEND:20110623T140000Z DTSTAMP:20260309T163319Z UID:https://lama.univ-smb.fr/talks/811/ CATEGORIES: DESCRIPTION:Titre: Pavages\, polytopes et polycubes\n\nSummary: Dans cet e xposé\, nous allons présenter des techniques pour paver le plan et l’e space par translation d’une tuile. Nous reviendrons sur le théorème de Beauquier-Nivat qui caractérise les polyominos qui pavent le plan par tr anslation. Puis\, nous tenterons de généraliser ce théorème en dimensi on 3. Nous montrerons alors les 5 polytopes convexes de Fedorov qui sont d es modèles de pavages de l’espace. Nous nous attarderons sur le plus co mplexe de ces polytopes qui se révèle être un permutoèdre. Au travers d’exemples provenant de la théorie des pavages mais aussi de la cristal lographie et de la métallurgie\, nous verrons les différents pavages de l’espace et les réseaux associés. Nous focaliserons ensuite sur le pav age de l’espace avec des pièces non-convexes et des polycubes qui paven t l’espace avec plus de faces que les solides de Fedorov en ont. Puis\, nous parlerons des pavages classiques apériodiques du plan et de l’espa ce (comme ceux de Penrose\, Robinson\, Wang\, Danzer). Enfin\, nous étudi erons le problème ouvert du pavage apériodique de l’espace par des cop ies d’une seule tuile. URL:https://lama.univ-smb.fr/talks/811/ END:VEVENT BEGIN:VEVENT SUMMARY:Bruno Colbois DTSTART:20110324T130000Z DTEND:20110324T150000Z DTSTAMP:20260309T163319Z UID:https://lama.univ-smb.fr/talks/797/ CATEGORIES: DESCRIPTION:Titre: Une approche métrique du spectre des hypersurfaces de l’espace euclidien\n\nSummary: Dans cet exposé\, je présenterai (sans entrer dans le détail des preuves) une approche métrique de l’étude d u spectre du laplacien des hypersurfaces de l’espace euclidien. Le but e st d’obtenir des estimées qui ne dépendent pas de la courbure\, mais d ’ingrédients géométriques plus globaux. Par exemple\, l’un de ces r ésultats\, obtenu avec E. Dryden et A. El Soufi permet\, comme corollaire \, d’estimer le spectre des hypersurfaces algébriques en fonction de le ur degré. Un autre\, obtenu avec A. El Soufi et A. Girouard\, donne des e stimations en fonction du rapport isopérimétrique associé à l’hypers urface. Je terminerai en donnant quelques questions ouvertes autour de cet te problématique. URL:https://lama.univ-smb.fr/talks/797/ END:VEVENT BEGIN:VEVENT SUMMARY:Xavier Provençal DTSTART:20110217T130000Z DTEND:20110217T150000Z DTSTAMP:20260309T163319Z UID:https://lama.univ-smb.fr/talks/766/ CATEGORIES: DESCRIPTION:Titre: Génération de plans discrets par substitutions géné ralisées.\n\nSummary: La structure des droites discrètes en dimension de ux\, et par le fait même des mots Sturmiens\, est maintenant quelque chos e de bien connue. On observe de nombreuses propriétés arithmétiques (re liées\, entre autre\, aux fractions continues) et combinatoires (équilib re\, récurrence\, périodes\, etc.). Cependant\, lorsqu'on passe à la di mension trois... que reste-t-il de ces propriété? En générant des plan s discrets à l'aide de substitutions généralisées obtenues par l'algor ithme de Jacobi-Perron\, on obtient une suite de ``morceaux de plans discr ets'' présentant des similitudes avec les mots de Christoffel\; ces derni ers étant des facteurs particulièrement intéressants des mots Sturmiens . URL:https://lama.univ-smb.fr/talks/766/ END:VEVENT BEGIN:VEVENT SUMMARY:Etera Livine DTSTART:20110215T133000Z DTEND:20110215T153000Z DTSTAMP:20260309T163319Z UID:https://lama.univ-smb.fr/talks/777/ CATEGORIES: DESCRIPTION:Titre: Introduction aux Modeles de Spinfoam pour la Gravite Qu antique\n\nSummary: Les modeles de spinfoam fournissent un formalisme d'in tegrale de chemin pour la gravite quantique. Ils permettent de definir des amplitudes de transition pour les etats de geometrie quantique de la loop quantum gravity - les spin networks. Ces amplitudes sont construites a pa rtir de techniques de discretization de la relativite generale (Regge calc ulus) et de theorie de champs topologique (topological BF field theory). J e ferais une revue de tout ce formalisme. Puis je montrerais comment defin ir les modeles de spinfoam les plus prometteurs et expliquerais quelques u nes des voies de recherche actuelles dans ce domaine\; en particulier\, co mment extraire des predictions physiques de ces modeles et ce qu'il faudra it faire pour developper cette theorie. URL:https://lama.univ-smb.fr/talks/777/ END:VEVENT BEGIN:VEVENT SUMMARY:Céline Labart DTSTART:20110210T130000Z DTEND:20110210T150000Z DTSTAMP:20260309T163319Z UID:https://lama.univ-smb.fr/talks/765/ CATEGORIES: DESCRIPTION:Titre: Modélisation en mathématiques financières\n\nSummary : La modélisation des données boursières est à la base du calcul du pr ix des différents contrats proposés par les institutions financières. J e présenterai différents modèles mathématiques (modèle de Black-Schol es\, modèles à volatilité locale et à volatilité stochastique) utilis és aujourd'hui ainsi que les différentes méthodes de pricing et couvert ures d'option\, en développant celle basée sur les équations différent ielles stochastiques rétrogrades. URL:https://lama.univ-smb.fr/talks/765/ END:VEVENT BEGIN:VEVENT SUMMARY:Antoine DUCROS DTSTART:20110120T130000Z DTEND:20110120T150000Z DTSTAMP:20260309T163319Z UID:https://lama.univ-smb.fr/talks/754/ CATEGORIES: DESCRIPTION:Titre: Nombres p-adiques et géométrie\n\nSummary: Je commenc erai par présenter\, pour un nombre premier p fixé\, le corps des nombre s p-adiques\, qui joue un rôle majeur en arithmétique. Il est muni d'une distance naturelle pour laquelle il est complet\, mais totalement discont inu. Faire de la géométrie (algébrique ou analytique) intéressante sur ce type de corps est donc délicat\, mais tout de même possible. Plusieu rs stratégies existent pour contourner la totale discontinuité \; je pr ésenterai celle de Berkovich\, qui consiste à «rajouter beaucoup de poi nts» aux espaces «naïfs» de départ de façon à les rendre connexes p ar arcs. J'illustrerai les constructions et définitions par des exemples simples\, et montrerai une ou deux applications ce ce point de vue\, par e xemple aux systèmes dynamiques. URL:https://lama.univ-smb.fr/talks/754/ END:VEVENT BEGIN:VEVENT SUMMARY:Paul Milewski DTSTART:20110113T130000Z DTEND:20110113T150000Z DTSTAMP:20260309T163319Z UID:https://lama.univ-smb.fr/talks/779/ CATEGORIES: DESCRIPTION:Titre: Séminaire de la Fédération : The volcano effect in b acterial chemotaxis\n\nSummary: Chemotaxis is the directed motion towards a chemical attractant. Many bacteria chemotax by swimming repeatedly in a randomly chosen direction and biasing their swim lengths according to whet her their environment is improving in the current direction. At a macrosco pic level this biased random walk has been modeled by the Keller-Segel (K- S) equations which are conservation laws that have a bacterial flux with a component proportional to the gradient of attractant concentration. The K -S equations predict that bacteria will aggregate at the maxima of the att ractant concentration\, but this is not always observed. For rapidly spati ally-varying concentration gradients\, the peak in bacterial concentration is some distance away\, lying on a ring in two-dimensions. This is the ”volcano effect”. Our work\, starting from a simplified biochemical de scription of each bacterium and then extracting population level models\, shows how to bridge these two regimes (K-S and volcanic). The results are verified against stochastic simulations of virtual bacteria. We shall also discuss applications to the more complex chemotactic process where the ba cteria are themselves producing the chemoattractant. URL:https://lama.univ-smb.fr/talks/779/ END:VEVENT BEGIN:VEVENT SUMMARY:Mohamed Dahi DTSTART:20101221T130000Z DTEND:20101221T150000Z DTSTAMP:20260309T163319Z UID:https://lama.univ-smb.fr/talks/780/ CATEGORIES: DESCRIPTION:Titre: Thèse\n\nSummary: URL:https://lama.univ-smb.fr/talks/780/ END:VEVENT BEGIN:VEVENT SUMMARY:Georges Comte DTSTART:20101216T143000Z DTEND:20101216T163000Z DTSTAMP:20260309T163319Z UID:https://lama.univ-smb.fr/talks/763/ CATEGORIES: DESCRIPTION:Titre: La géométrie des singularités en différents context es\n\nSummary: J'expliquerai de façon élémentaire comment on peut étab lir des liens entre plusieurs points de vue (les points de vue différenti el\, algébro-géométrique\, métrique) sur l'étude des singularités\, dans le contexte souple de la géométrie des ensembles définissables. No us définirons d'abord ces notions et nous dirons ensuite en quoi et comme nt elles se correspondent. URL:https://lama.univ-smb.fr/talks/763/ END:VEVENT BEGIN:VEVENT SUMMARY:Krzysztof Worytkiewicz DTSTART:20101216T130000Z DTEND:20101216T150000Z DTSTAMP:20260309T163319Z UID:https://lama.univ-smb.fr/talks/764/ CATEGORIES: DESCRIPTION:Titre: L'algebre homotopique des omega-categories\n\nSummary: Cet exposé est consacré à une théorie de l'homotopie des infini-catég ories strictes. Cette théorie est présentée par une structure de modèl es de Quillen\, construite à partir d'un ensemble de cofibrations génér atrices et d'une classe d'équivalences faibles. Je commencerai par des g énéralites sur l'algèbre homotopique pour ensuite préciser la construc tion de la structure de modèles en question. Finalement j'esquisserai une construction de cohomologie non-abelienne où les inifini-categories stri ctes servent de coefficients. URL:https://lama.univ-smb.fr/talks/764/ END:VEVENT BEGIN:VEVENT SUMMARY:Laurent Boyer DTSTART:20101207T130000Z DTEND:20101207T150000Z DTSTAMP:20260309T163319Z UID:https://lama.univ-smb.fr/talks/749/ CATEGORIES: DESCRIPTION:Titre: Date prévue de soutenance de thèse\n\nSummary: URL:https://lama.univ-smb.fr/talks/749/ END:VEVENT BEGIN:VEVENT SUMMARY:Denys Dutykh DTSTART:20101203T130000Z DTEND:20101203T150000Z DTSTAMP:20260309T163319Z UID:https://lama.univ-smb.fr/talks/747/ CATEGORIES: DESCRIPTION:Titre: Modélisation mathématique pour l'environnement\n\nSum mary: Cet exposé est consacré à la modélisation mathématique de quelq ues problèmes environnementaux\, couvre des thématiques allant des vague s jusqu'aux avalanches de neige poudreuse et traite de différents aspects de la modélisation des tsunamis. Nous étudions toute la gamme des proce ssus physiques de la génération\, transformations d'énergie\, propagati on jusqu'à l'inondation des côtes. Nous verrons aussi différents aspect s de la simulation numérique et de la modélisation d'inondation. Ces que stions sont traitées par différentes approches: les équations de Saint- Venant\, les équations de type de Boussinesq et le système de Navier-Sto kes bi-fluide. Nous nous intéressons aussi à deux problèmes relevant pr incipalement des écoulements multi-fluides\, en particulier la justificat ion formelle du modèle bifluide à quatre équations proposé avant pour la modélisation des écoulements aérés. Quelques résultats numériques présentés peuvent s'appliquer\, par exemple\, à la simulation numériq ue du déferlement. Nous proposons aussi un nouveau modèle pour les avala nches de neige poudreuse. Ce système est dérivé du Navier-Stokes biflui de classique et possède de bonnes propriétés qualitatives. Les simulati ons numériques d'interaction d'une avalanche avec obstacle sont présent ées. URL:https://lama.univ-smb.fr/talks/747/ END:VEVENT BEGIN:VEVENT SUMMARY:Matthieu Bonnivard DTSTART:20101130T130000Z DTEND:20101130T150000Z DTSTAMP:20260309T163319Z UID:https://lama.univ-smb.fr/talks/770/ CATEGORIES: DESCRIPTION:Titre: Thèse\n\nSummary: URL:https://lama.univ-smb.fr/talks/770/ END:VEVENT BEGIN:VEVENT SUMMARY:Mouhammad Said DTSTART:20101129T130000Z DTEND:20101129T150000Z DTSTAMP:20260309T163319Z UID:https://lama.univ-smb.fr/talks/750/ CATEGORIES: DESCRIPTION:Titre: Soutenance de thèse\n\nSummary: URL:https://lama.univ-smb.fr/talks/750/ END:VEVENT BEGIN:VEVENT SUMMARY:Bertrand Maury DTSTART:20101104T130000Z DTEND:20101104T150000Z DTSTAMP:20260309T163319Z UID:https://lama.univ-smb.fr/talks/743/ CATEGORIES: DESCRIPTION:Titre: Modélisation de mouvements de foules\n\nSummary: Nous nous intéressons à une classe de modèles de mouvements de foules en sit uation d’évacuation d’urgence basés sur les considérations suivante s : chaque personne souhaite optimiser sa propre trajectoire (en clair : s ortir au plus vite du bâtiment)\, mais\, dans le cas de situations conges tionnées\, le mou- vement est contraint par le simple fait que deux perso nnes ne peuvent pas être au même endroit au même moment. Nous présente rons une mise en équation microscopique de ces principes\, où chaque per sonne est identifée à un disque rigide\, et la vitesse effective instant anée est la projection du déplacement souhaité sur l’ensemble des vit esses admissibles\, qui ne conduisent pas à un chevauchement des individu s. Nous montrons que ce modèle peut s’interpréter comme un flot-gradie nt sur l’espace des degrés de liberté (pour une fonctionnelle d’insa tisfaction définie comme la somme des insatisfactions individuelles). Nou s proposerons ensuite une version macroscopique du modèle : la population est alors décrite par une densité assujettie à rester inférieure à u ne valeur fixée. La régularité de la vitesse effective n’étant pas c ontrôlée\, les résultats classiques sur l’équation de transport d’ une densité ne sont pas applicables. Nous montrerons comment le cadre de la métrique de Wasserstein sur les mesures (distance entre mesures associ ée au transport optimal) permet de redonner à ce modèle une structure d e flot- gradient\, de montrer l’existence d’une solution et suggère d es pistes pour la simulation numérique de tels phénomènes. URL:https://lama.univ-smb.fr/talks/743/ END:VEVENT BEGIN:VEVENT SUMMARY:Claude Roger DTSTART:20100503T083000Z DTEND:20100503T103000Z DTSTAMP:20260309T163319Z UID:https://lama.univ-smb.fr/talks/726/ CATEGORIES: DESCRIPTION:Titre: Fibrés et classes caractéristiques en physique\n\nSum mary: Nous montrerons le rôle des fibrés vectoriels en physique par l'in termédiaire des théories de jauge\, et comment des classes caractéristi que peuvent intervenir\, via des termes topologiques dans les Lagrangiens. Pour une théorie de jauge abélienne\, nous verrons comment les monopôl es magnétiques et l'effet Bohm-Aharonov peuvent s'interprèter comme une première classe de Chern\, et pour les théories non abéliennes\, le nom bre d'instanton est une deuxième classe de Chern (dans la version euclidi enne de la théorie de Yang et Mills). URL:https://lama.univ-smb.fr/talks/726/ END:VEVENT BEGIN:VEVENT SUMMARY:Krzysztof Kurdyka DTSTART:20100503T073000Z DTEND:20100503T093000Z DTSTAMP:20260309T163319Z UID:https://lama.univ-smb.fr/talks/729/ CATEGORIES: DESCRIPTION:Titre: Polynômes hyperboliques et théorie des perturbations analytiques à plusieurs paramètres\n\nSummary: Let $P(x\,z)= z^d +sum_{i =1}^{d}a_i(x)z^{d-i}$ be a polynomial\, where $a_i$ are real analytic func tions in an open subset $U$ of $R^n$. If for any $x in U$ the polynomial $ zmapsto P(x\,z)$ has only real roots\, then we can write those roots as lo cally lipschitz functions of $x$. Moreover\, there exists a modification ( a locally finite composition of blowing-ups with smooth centers) $sigma : W to U$ such that the roots of the corresponding polynomial $tilde P(w\,z) =P(sigma (w)\,z)\,\,win W $\, can be written locally as analytic function s of $w$. Let $A(x)\, \, xin U$ be an analytic family of symmetric matrice s\, where $U$ is open in $R^n$. Then there exists a modification $sigma : W to U$\, such the corresponding family $tilde A(w) =A(sigma(w))$ can be l ocally diagonalized analytically (i.e. we can choose locally a basis of ei genvectors in an analytic way). This generalizes the Rellich's well known theorem (1937) for one parameter families. Similarly for an analytic famil y $A(x)\, \, xin U$ of antisymmetric matrices there exits a modification $ sigma$ such that we can find locally a basis of proper subspaces in an ana lytic way. URL:https://lama.univ-smb.fr/talks/729/ END:VEVENT BEGIN:VEVENT SUMMARY:Olivier Le Gal DTSTART:20091210T123000Z DTEND:20091210T143000Z DTSTAMP:20260309T163319Z UID:https://lama.univ-smb.fr/talks/659/ CATEGORIES: DESCRIPTION:Titre: Introduction à la géométrie modérée\n\nSummary: La première difficulté en géométrie réelle consiste à définir un cadr e de travail. On ne peut en effet se restreindre à l'étude d'objets liss es (ce serait exclure l'ensemble pourtant simple formé par l'union de deu x droites concourantes)\, mais les objets singuliers peuvent s'avérer tro p compliqués pour être étudiés avec les outils de géométrie différe ntielle classiques (tout fermé de Rn est l'intersection de deux variétés lisses). Nous verrons comment les structures o-minimal es répondent à cette problématique\, en évitant les « monstres »\, t out en gardant un niveau de généralité élevé. Nous parlerons ainsi\, selon ce que le temps permet\, de la géométrie modérée qu'elles défin issent\, des pathologies qu'elles autorisent\, des liens qu'elles entretie nnent avec la théorie des modèles\, et des questions qui s'y posent. URL:https://lama.univ-smb.fr/talks/659/ END:VEVENT BEGIN:VEVENT SUMMARY:Nicolas Burq DTSTART:20091105T130000Z DTEND:20091105T150000Z DTSTAMP:20260309T163319Z UID:https://lama.univ-smb.fr/talks/647/ CATEGORIES: DESCRIPTION:Titre: Equations aux dérivées partielles à données aléato ires : autour d'un théorème de Paley-Zygmund\n\nSummary: En 1932\, Paley et Zygmund démontrent que les séries trigonométriques aléatoires sur le tore sont presque surement plus régulières que ce a quoi on s'attendr ait. Ce type de résultat a par la suite été étudié par de nombreux au teurs dans un contexte d'analyse harmonique (Pisier et Kahane notamment). Curieusement\, pendant longtemps\, les spécialistes des EDP ne se sont pa s interessés à ce type de questions. L'objet de cet exposé est précise ment de montrer quelques applications des idees directement inspirées de Paley et Zygmund\, au contexte des EDP. Plus précisément\, on montrera q ue pour certaines équations des ondes et de Schrodinger\, pour des donné es initiales aléatoires\, la situation est bien meilleure en termes d'exi stence et de comportement en temps longs\, que pour des données initiales fixées. Il s'agit de travaux en collaboration avec N. Tzvetkov (Cergy) e t L. Thomann (Nantes). URL:https://lama.univ-smb.fr/talks/647/ END:VEVENT BEGIN:VEVENT SUMMARY:Guillaume Theyssier DTSTART:20091008T120000Z DTEND:20091008T140000Z DTSTAMP:20260309T163319Z UID:https://lama.univ-smb.fr/talks/660/ CATEGORIES: DESCRIPTION:Titre: Introduction à la calculabilité et la complexité\n\n Summary: Les théories de la calculabilité (que peut-on calculer ?) et de la complexité algorithmique (quelle est la difficulté intrinsèque d'un problème calculable ?) sont deux piliers de la science informatique. L'o bjectif de cet exposé est de donner un aperçu des concepts\, des princip aux résultats et des grands problèmes ouverts de ces théories. Selon le temps\, nous parlerons de fonctions récursives\, d'ensembles diophantien s\, de pavages du plan\, d'applications affines par morceaux\, d'identité s polynomiales\, etc\, avec le secret espoir de convaincre l'auditoire que la notion de calcul est avant tout protéiforme et peut s'immiscer dans d e nombreux objets mathématiques ``classiques''. URL:https://lama.univ-smb.fr/talks/660/ END:VEVENT BEGIN:VEVENT SUMMARY:Philippe Briand DTSTART:20090625T120000Z DTEND:20090625T140000Z DTSTAMP:20260309T163319Z UID:https://lama.univ-smb.fr/talks/632/ CATEGORIES: DESCRIPTION:Titre: Équations différentielles stochastiques rétrogrades et applications\n\nSummary: URL:https://lama.univ-smb.fr/talks/632/ END:VEVENT BEGIN:VEVENT SUMMARY:André Hirschowitz DTSTART:20080529T120000Z DTEND:20080529T140000Z DTSTAMP:20260309T163319Z UID:https://lama.univ-smb.fr/talks/488/ CATEGORIES: DESCRIPTION:Titre: Enseigner les preuves avec Coqweb\n\nSummary: Faut pas le dire\, mais l'enseignement supérieur des sciences (à Nice?)\, ça mar che pas top (taper Objectif70 dans Google). Faut pas le dire\, mais nous\, les universitaires (niçois?)\, on n'a pas trop le temps de s'occuper de ce problème\, on est débordés. Et les autres\, ministres et recteurs\, gare à eux s'ils s'avisaient de se méler de nos affaires. Par exemple on ne cherche pas trop à enseigner la rigueur autrement que par la méthode dite de Léo Lacroix (``faites comme moi'')\, qui a largement fait ses r éfutations. Ceux qui essaient de faire autrement\, forcément\, ils y arr ivent pas du premier coup\, et ils se font casser bien avant d'y arriver. Coqweb (à taper dans Google pour voir) propose une nouvelle méthode. C'e st une interface web pour Coq\, principalement développée par Loïc Pott ier pour l’enseignement. Il permet aux enseignants de proposer des énon cés sous une forme suffisamment familière. Les étudiants sont invités à démontrer ces énoncés essentiellement en cliquant. Des indications p euvent être données en langage naturel\, et dans ce cas\, l’interface vérifie que l’étudiant a bien compris l’indication. On dira un peu d e ce qu'il ne faut pas dire\, puis on racontera comment Coqweb marche bien et ce qu'on a fait avec. URL:https://lama.univ-smb.fr/talks/488/ END:VEVENT BEGIN:VEVENT SUMMARY:Guy Métivier DTSTART:20080410T120000Z DTEND:20080410T140000Z DTSTAMP:20260309T163319Z UID:https://lama.univ-smb.fr/talks/516/ CATEGORIES: DESCRIPTION:Titre: Un parcours initiatique en optique\, optique géométri que et tissus\n\nSummary: TBA URL:https://lama.univ-smb.fr/talks/516/ END:VEVENT BEGIN:VEVENT SUMMARY:François Hamel et Serguei Nazarov DTSTART:20080306T125000Z DTEND:20080306T145000Z DTSTAMP:20260309T163319Z UID:https://lama.univ-smb.fr/talks/492/ CATEGORIES: DESCRIPTION:Titre: Une demi-journée en la mémoire de Thomas Lachand-Robe rt\n\nSummary: L'équipe EDP organise une demi-journée en la mémoire de Thomas Lachand-Robert (18/12/1966--23/02/2006).

Programme:

-- 13h5 0-14h00. ``Petite introduction''.

-- 14h00-15h00. François Hamel (Uni versité de Marseille).

``Inégalités de réarrangement et optimisati on de formes''.

-- 15h00-15h30. Pôt en la mémoire de Thomas Lachand- Robert.

-- 15h30-16h30. Serguei Nazarov (St Petersburg).

``A crite rion of the continuous spectrum for elliptic systems on peak-shaped domain s``. URL:https://lama.univ-smb.fr/talks/492/ END:VEVENT BEGIN:VEVENT SUMMARY:Denis SERRE DTSTART:20071122T153000Z DTEND:20071122T173000Z DTSTAMP:20260309T163319Z UID:https://lama.univ-smb.fr/talks/458/ CATEGORIES: DESCRIPTION:Titre: Polynômes hyperboliques\n\nSummary: URL:https://lama.univ-smb.fr/talks/458/ END:VEVENT BEGIN:VEVENT SUMMARY:Frédéric Chazal DTSTART:20070118T160000Z DTEND:20070118T180000Z DTSTAMP:20260309T163319Z UID:https://lama.univ-smb.fr/talks/325/ CATEGORIES: DESCRIPTION:Titre: Qu'est-ce que la géométrie d'un nuage de points ? Asp ects théoriques et algorithmiques\n\nSummary: L'estimation et l'approxima tion de grandeurs topologiques ou géométriques associées à des formes dont on ne connait qu'une approximation posent des problèmes pratiques et théoriques délicats en calcul géométrique. Ces problèmes ont été l argement étudiés depuis plusieurs années dans le cas de la reconstructi on d'hypersurfaces lisses dans R^n : à partir d'un nuage de points mesur és sur une forme lisse\, on souhaite 'reconstruire' la surface de cette f orme en garantissant que le résultat produit possède la même topologie que celle de la forme échantillonnée. Il existe bon nombre de résultats et d'algorithmes satisfaisant permettant de répondre a ce problème dans le cas particulier des surfaces dans R^3.Cependant\, les résultats et le s méthodes actuelles possèdent un double inconvénient. Ils ne se géné ralisent pas à des objets non lisses et conduisent à des algorithmes ine fficaces en dimension supérieure à 3. Le développement récents des out ils de mesure et de simulation nécessite de mettre au point des technique s mathématiques et algorithmiques permettant d'extraire l'information top ologique et géométrique de nuages de points issus d'objets non lisses da ns des espaces de toutes dimensions. Dans cet exposé\, nous présenterons quelques résultats récents dans cette voie. Nous verrons en particulier \, que dans le cas de l'approximation d'objets non lisses\, il apparait de s ``phenomènes d'échelle'' faisant apparaitre différentes topologies à différentes échelles. URL:https://lama.univ-smb.fr/talks/325/ END:VEVENT BEGIN:VEVENT SUMMARY:Elisabeth Rouy DTSTART:20061109T130000Z DTEND:20061109T150000Z DTSTAMP:20260309T163319Z UID:https://lama.univ-smb.fr/talks/310/ CATEGORIES: DESCRIPTION:Titre: Les solutions de viscosité dans la résolution de prob lèmes non linéaires.\n\nSummary: URL:https://lama.univ-smb.fr/talks/310/ END:VEVENT BEGIN:VEVENT SUMMARY:Dorin Bucur DTSTART:20061012T120000Z DTEND:20061012T140000Z DTSTAMP:20260309T163319Z UID:https://lama.univ-smb.fr/talks/309/ CATEGORIES: DESCRIPTION:Titre: Existe-t-il toujours une forme optimale ?\n\nSummary: A ttention: l'exposé aura lieu dans l'amphithéâtre Nivolet URL:https://lama.univ-smb.fr/talks/309/ END:VEVENT BEGIN:VEVENT SUMMARY:Luc Frappat DTSTART:20060309T133000Z DTEND:20060309T153000Z DTSTAMP:20260309T163319Z UID:https://lama.univ-smb.fr/talks/282/ CATEGORIES: DESCRIPTION:Titre: Approches algébriques dans les systèmes intégrables\ n\nSummary: URL:https://lama.univ-smb.fr/talks/282/ END:VEVENT BEGIN:VEVENT SUMMARY:Ilia Itenberg DTSTART:20050407T143000Z DTEND:20050407T163000Z DTSTAMP:20260309T163319Z UID:https://lama.univ-smb.fr/talks/272/ CATEGORIES: DESCRIPTION:Titre: Géométrie tropicale et dénombrement de courbes ratio nnelles réelles.\n\nSummary: Le but de l’exposé est de faire une intro duction à la géométrie tropicale et de présenter ses applications à l a géométrie énumérative réelle et complexe.
La géométrie tropi cale est un domaine relativement nouveau de mathématiques qui a connu un progrès spectaculaire durant les cinq dernières années. L’apparition de la géométrie tropicale était motivée par ses liens multiples et pro fonds avec plusieurs branches de mathématiques. Une relation importante e ntre le monde complexe et le monde tropical est donnée par le théorème de correspondance de Mikhalkin. Ce théorème et la découverte par J.-Y. Welschinger d’un analogue réel des invariants de Gromov-Witten produise nt des nouveaux résultats concernant le dénombrement de courbes rationne lles réelles. URL:https://lama.univ-smb.fr/talks/272/ END:VEVENT BEGIN:VEVENT SUMMARY:Jean-Pierre Françoise DTSTART:20041104T153000Z DTEND:20041104T173000Z DTSTAMP:20260309T163319Z UID:https://lama.univ-smb.fr/talks/273/ CATEGORIES: DESCRIPTION:Titre: Modélisation des rythmes du vivant\, oscillations et s ynchronisation.\n\nSummary: On considère un modèle qui décrit la synchr onisation de l’activité électrique des cellules du noeud sinusal et la formation du ryhtme cardiaque. L’objet de l’exposé est de présenter les outils mathématiques qui sont nécessaires à cette modélisation pu is de faire le point sur ce qui est connu et ce qui reste à développer d ans les domaines mathématiques concernés (bifurcation des cycles limites \, accrochage des phases\, systèmes isochrones et leur perturbation\, syn chronisation). URL:https://lama.univ-smb.fr/talks/273/ END:VEVENT BEGIN:VEVENT SUMMARY:Yann Gérard DTSTART:20040422T153000Z DTEND:20040422T173000Z DTSTAMP:20260309T163319Z UID:https://lama.univ-smb.fr/talks/274/ CATEGORIES: DESCRIPTION:Titre: Reconstruction de surfaces.\n\nSummary: Etant donné un ensemble fini de points\, le problème que nous considérerons consiste à construire une surface qui l’approche. Différents types de surfaces peuvent etre considérées: des surfaces polyhédrales possédant différe nts types de convexité ou des surfaces equipotentielles parmi lesquelles on trouve les surfaces algebriques (le potentiel est donné par un polynom e). C’est sur le problème de la reconstruction de surfaces algebriques que nous focaliserons nos efforts. Nous ferons le lien entre ce problème et la notion de couche digitale développée dans le cadre de la géométr ie discrète. Nous pourrons ainsi donner un aperçu des solutions dévelop pées dans ce domaine\, et de leurs nombreuses applications. URL:https://lama.univ-smb.fr/talks/274/ END:VEVENT BEGIN:VEVENT SUMMARY:Laurent Vuillon DTSTART:20040226T153000Z DTEND:20040226T173000Z DTSTAMP:20260309T163319Z UID:https://lama.univ-smb.fr/talks/275/ CATEGORIES: DESCRIPTION:Titre: Problemes discrets: tomographie discrete et pavages.\n\ nSummary: Cet exposé sera constitué de deux parties portant sur des prob lèmes de mathématiques discrètes et utilisant des techniques de combina toire des mots\, de géométrie discrète et de pavages du plan.
Dans la première partie\, nous présenterons une introduction aux techniques de la tomographie discrète. Ce domaine a pour objet la reconstruction de matrice à valeurs dans {0\,1} connaissant un petit nombre de projections (les projections ou contraintes tomographiques sont des vecteurs donnant p ar exemple le nombre de 1 sur chaque ligne et le nombre de 1 sur chaque co lonne). Nous présenterons l’algorithme de Ryser pour la reconstruction de matrices connaissant les projections verticale et horizontale\, puis la reconstruction de polyominos horizontalement et verticalement convexes av ec contraintes tomographiques. Les méthodes utilisées font appel à la g éométrie discrète mais aussi à des réductions à 2-SAT. Enfin\, nous aborderons des résultats récents sur la reconstruction de matrices avec périodicité et contraintes tomographiques.
Dans la deuxième partie \, nous montrerons que la complexité d’un mot de coupures u dans un pav age régulier par un polyomino Q est égale à Pn(u)=(p+q-1)n +1\, pour to ut n >\; 0 où Pn(u) compte le nombre de facteurs distincts de longueur n du mot infini u et où le mot de contour du polyomino Q est donné par 2 p segments horizontaux et 2q segments verticaux. Nous reviendrons dans cet exposé sur le théorème de Beauquier-Nivat donnant une caractérisation par mots de contour des polyominos qui pavent le plan par translations. URL:https://lama.univ-smb.fr/talks/275/ END:VEVENT BEGIN:VEVENT SUMMARY:Prof. Dr. Jens Struckmeier DTSTART:20040122T160000Z DTEND:20040122T180000Z DTSTAMP:20260309T163319Z UID:https://lama.univ-smb.fr/talks/276/ CATEGORIES: DESCRIPTION:Titre: A Mathematical Investigation of a Dynamical Model for t he Growth and Size Distribution of Multiple Metastatic Tumors.\n\nSummary: Recently\, Iwata\, Kawasaki and Shigesada proposed a dynamical model for the growth and size distribution of multiple metastatic tumors [J. theor. Biol.\, 203\, 177--186 (2000)]\, which is based on von Foerster’s equati on from population dynamics. In the seminar we reformulate the model from a mathematical point of view and give an existence results using the metho d of characteristics and standard theory for linear integral equations. A dimensionless form of the model shows that it contains some interesting sh ort and large-time asymptotics. URL:https://lama.univ-smb.fr/talks/276/ END:VEVENT BEGIN:VEVENT SUMMARY:Y. Yomdin DTSTART:20031113T160000Z DTEND:20031113T180000Z DTSTAMP:20260309T163319Z UID:https://lama.univ-smb.fr/talks/277/ CATEGORIES: DESCRIPTION:Titre: Ridge detection\, Differential Geometry\, and stability of high-order Image Processing.\n\nSummary: Ridges are bright lines on a dark background (or dark lines on a bright background). An accurate mathem atical definition of ridges presents some difficulties (arising also in ot her similar problems):
there are several intuitively justified defin itions which are not equivalent mathematically and which lead to quite dif ferent results in practice.
We discuss a "\;differential-geometri c"\; definition of ridges and compare it with some other possible defi nitions. Then we describe a stable high order numerical algorithm for ridg e detection. URL:https://lama.univ-smb.fr/talks/277/ END:VEVENT END:VCALENDAR