Institut de Mathématiques de Toulouse

Agenda



Séminaires


  • Algèbre, Dynamique et Topologie


    • Jeudi 3 septembre 2015 11:00-12:00 - Alexandre Martin

      Séminaire de Géométrie et Topologie

      Lieu : Salle 207, Bât. 1R2

      [Séminaire]


    • Mardi 29 septembre 2015 11:00-12:00 - Jean Raimbault - IMT

      Surfaces de Riemann aléatoires finies et infinies

      Notes de dernières minutes : L’exposé concernera deux notions de surfaces de Riemann hyperboliques aléatoires : d’une part des constructions aléatoires de surfaces de type fini, où l’on présentera sous un jour nouveau des résultats de Brooks—Makover et Mirzakhani les concernant, et de l’autre un travail (en commun avec Ian Biringer, et encore en progrès) sur la classification des surfaces "unimodulaires" de type infini. Le deuxième sujet est relié à l’étude des sous-groupes aléatoires dans PSL_2® invariants par conjugaison : j’essaierai de motiver le passage de la première à la seconde partie par quelques remarques sur l’utilisation de ces derniers pour démontrer des résultats asymptotiques sur les variétés hyperboliques.

      [Séminaire]


    • Mardi 6 octobre 2015 11:00-12:00 - Alexandre Martin

      La géométrie des groupes de Higman

      Résumé : Le groupe de Higman fut le premier exemple de groupe infini de
      présentation finie n’admettant aucun quotient fini non trivial. En dépit
      de cette propriété surprenante, je montrerai que ce groupe possède de
      nombreuses similarités avec les groupes modulaires de surfaces, les
      groupes d’automorphismes de groupes libres, et les groupes linéaires sur
      les entiers. Ces résultats reposent sur l’action du groupe de Higman sur
      un complexe carré CAT(0) naturellement associé à sa présentation. Cette
      action, qui s’avère être intrinsèque, peut être utilisée pour calculer
      explicitement le groupe d’automorphismes du groupe de Higman, ainsi que
      pour montrer que ce groupe est hopfien et co-hopfien.
      Je mentionnerai également les groupes de Higman généralisés ainsi que
      leurs actions sur des complexes polygonaux CAT(-1), dont les propriétés
      dynamiques poussent encore plus loin l’analogie avec les groupes
      modulaires de surfaces.

      Lieu : Salle 207, Bât. 1R2

      [Séminaire]


    • Mardi 13 octobre 2015 11:00-12:00 - Robert Kucharczyk

      Plongements modulaires pour quelques groupes Fuchsiens

      Résumé : Les groupes fuchsiens sont les réseaux dans SL(2,R). Le quotient du demi-plan supérieur de Poincaré par un tel groupe est une surface de Riemann de type fini, et par conséquent une courbe algébrique. Il y a beaucoup de résultats reliant les propriétés géométriques ou arithmétiques d’un groupe fuchsien avec celles de la courbe correspondante, particulièrement pour les groupes fuchsiens arithmétiques. Dans cet exposé je présenterai deux classes de groupes fuchsiens qui ne sont pas arithmétiques en général mais qui admettent des plongements dits modulaires dans des groupes arithmétiques de rang supérieur, et j’expliquerai comment par voie de ces plongements les groupes ressemblent aux groupes arithmétiques sous quelques aspects importants. Il s’agit des groupes triangulaires et les groupes de Veech, qui tous les deux émergent dans des contextes géométriques assez naturels.

      [Séminaire]


    • Mardi 20 octobre 2015 11:00-12:00 - Nathan Geer - Utah State Logan

      Re-normalized Reshetikhin-Turaev link invariants

      Résumé : In the last few years, C. Blanchet, F. Costantino, B. Patureau, N. Reshetikhin, V. Turaev and myself (in various collaborations) have developed a theory of renormalized quantum invariants of links and 3-manifolds which lead to TQFTs. This talk will start out by giving an overview of this work. In the second part of the talk I will discuss the renormalized quantum invariants of links coming from quantized sl(2) at a root of unity. These link invariants contain Kashaev’s quantum dilogarithm invariants of knots, the Akutsu-Deguchi-Ohtsuki invariant of links and the multi-variable Alexander Polynomial. Moreover, these re-normalized invariants of knots are meromorphic functions whose residues are closely related to the the colored Jones polynomials.

      Lieu : Salle 203

      [Séminaire]


    • Mardi 27 octobre 2015 11:00-12:00 -

      Pas de Séminaire de Géométrie et Topologie

      [Séminaire]


    • Mardi 3 novembre 2015 11:00-12:00 - Olivier Glorieux

      Géodésiques fermées des variétés globalement hyperboliques Anti-de Sitter. 

      Résumé : On va s’intéresser dans cet exposé à un certain type de variétés Lorentziennes appelées globalement hyperboliques, modelées sur la géométrie Anti de Sitter. Dans un premier temps on expliquera ce qu’est l’espace Anti-de Sitter, ce que signifie globalement hyperbolique et les ressemblances entre ces variétés et les variétés quasi-Fuchsiennes issue de la géométrie hyperbolique. Dans une deuxième partie on s’intéressera plus précisément au comptage des géodésiques fermées de ces variétés. On montrera comment obtenir un exposant critique pour ce type de variété, à savoir le taux de croissance exponentielle du nombre de géodésiques fermées. On finira par en donner le comportement sur leur espace de Teichmüller ; ces résultats donnent l’analogue Lorentzien de théorèmes connus pour les variétés quasi-Fuchsiennes.

      [Séminaire]


    • Mardi 10 novembre 2015 09:30-10:30 - François Charette

      Torsion de Reidemeister quantique et invariants de Gromov-Witten relatifs

      Résumé : L’homologie de Floer lagrangienne restreint fortement la topologie
      des sous-variétés lagrangiennes d’une variété symplectique donnée. En
      pratique, cette homologie s’annule souvent. Dans ce cas, je montrerai
      comment la torsion du complexe de chaînes associé est relié à des
      invariants de Gromov-Witten relatifs.

      [Séminaire]


    • Mardi 10 novembre 2015 11:00-12:00 - Roberto Frigerio - Università di Pisa

      Discrete approximations of Gromov’s simplicial volume

      Résumé : The simplicial volume is a homotopy invariant of closed manifolds defined by Gromov in 1982. For a manifold M, it is bounded from above by the minimal number of top-dimensional simplices in a triangulation of M, and roughly speaking it measures the minimal size of triangulations of M "with real coefficients". A long-standing conjecture by Gromov asserts that, for aspherical manifolds, the vanishing of the simplicial volume implies the vanishing of the Euler characteristis. In this talk I describe an approach to this conjecture that makes use of discrete approximations of the simplicial volume in towers of coverings.

      [Séminaire]


    • Mardi 17 novembre 2015 11:00-12:00 - Teruaki Kitano

      SL(2 ;C)-Reidemeister torsion of a homology 3-sphere obtained by 1/n-Dehn surgery along a knot

      Résumé : Reidemeister torsion is one of classical invariants for a 3-manifold with a linear representation of the fundamental group.
      In this talk we consider this invariant for SL(2 ;C)-representations.
      In 1980’s D. Johnson proposed to consider a polynomial whose zero set are the set of the non trivial values of Reidemeister torsion.
      He also proved some recursive formula of this polynomial for 1/n-surgeried manifold, which is a homology sphere, along the trefoil knot.
      We discuss the generalization of Johnson’s formula for torus (2p,q)-knots where p,q are coprime odd integers.

      Lieu : Salle 207, Bât. 1R2

      [Séminaire]

0 | 10 | 20 | 30 | 40 | 50 | 60 | 70 | 80 | ... | 140

  • Analyse réelle


    • Lundi 8 février 2016 12:00-13:00 - Rishika Rupam - Lille

      Séminaire d’Analyse Réelle

      Résumé : title : Toeplitz kernels, Inner Functions and Inverse Spectral Theory
      abstract :
      Given a family of exponentials $\e^i\lambda_n x\_\Lambda$, is it complete in some $L^2(0,a)$ space ? This classical problem was the object of study for many analysts in the early 1900s, including Levinson, Koosis and Kahane. The problem was finally resolved in the 1960s by Beurling and Malliavin. Since then, there have been several different proofs of Beurling and Malliavin’s result. In 2005, Makarov and Poltoratski introduced the language of Toeplitz kernels and model spaces to provide yet another proof of the B-M theorem, in their paper \textitMeromorphic Inner Functions, Toeplitz kernels and the Uncertainty Principle. In their work, they set up a general framework to connect completeness problems of certain families of functions to spectral problems of differential operators. It turns out that the injectivity question for Toeplitz operators is an important question to study in this context. In this talk, we will discuss some results about the injectivity of Toeplitz operator as well as the connection to differential operators. We will also look at some recent results that use this framework to solve the problem of uniqueness of potentials of the Schr\"odinger operator. This is joint work with Mishko Mitkovski.

      Lieu : Salle MIP

      [Séminaire]


    • Lundi 15 février 2016 12:00-13:00 - Ophelie Rouby - Rennes

      Séminaire d’Analyse Réelle

      Résumé : Titre : Conditions de quantification de Bohr-Sommerfeld pour des perturbations non auto-adjointes d’opérateurs auto-adjoints en dimension un.
      Résumé : Les conditions de quantification de Bohr-Sommerfeld permettent de décrire le spectre d’opérateurs auto-adjoints. Dans cet exposé, nous verrons comment on peut obtenir des conditions de Bohr-Sommerfeld pour une certaine classe d’opérateurs non auto-adjoints en dimension un. Ensuite, nous verrons des illustrations numériques de ces conditions et enfin nous nous intéresserons à une application de ces conditions aux opérateurs PT-symétriques.

      Lieu : 106

      [Séminaire]


    • Lundi 29 février 2016 12:00-13:00 - Van Hoang NGUYEN - Toulouse

      Séminaire d’Analyse Réelle

      Résumé : title :
      "Fractional Sobolev and Hardy-Littlewood-Sobolev inequalities".
      abstract :
      "We prove an improved fractional Sobolev inequality which involves
      a remainder term related to the Hardy-Littlewood-Sobolev inequality.
      Some estimates for the best constant in the remainder term are given by
      using the linearization around the Talenti-Aubin type profile and the
      nonlinear fractional diffusion flow. Using an endpoint differentiation
      similar to Beckner, we obtain an improved version of a Moser-Trudinger
      type inequality on the sphere."

      Lieu : 106

      [Séminaire]


    • Lundi 14 mars 2016 12:00-13:00 - Mohammad Reza Pakzad - University of Pittsburgh

      Very weak solutions to the Monge-Ampère equation in two dimensions are dense in the space of continuous functions.

      Résumé : Titre :
      Very weak solutions to the Monge-Ampère equation in two dimensions
      are dense in the space of continuous functions.
      Resume :
      An $h$principle is said to hold for a given system of PDEs when the set of solutions is dense in a larger set of subsolutions. It is usually associated with non-physical, flexible, or anomalous solutions. We will discuss how the method of convex integration leads to an h-principle for the Monge-Ampère equation in two dimensions. In particular we will establish the existence of non-convex C^1 solutions to the equation
      Det D^2 u = f when f \ge c > 0, where Det D^2 stands for the very weak Hessian operator. We will also present some results and conjectures regarding the optimal Hölder exponent 0 < alpha < 1 for which the h-principle statement stands —or cannot stand— for C^1, alpha solutions.

      Lieu : 1R1 106

      [Séminaire]


    • Lundi 21 mars 2016 12:00-13:00 - Cristina BENEA - Nantes

      Multiparameter operators as multiple vector-valued operators

      Résumé : We will be presenting a new point of view on the study of operators which are tensor products with paraproducts(i.e. with multilinear Mikhlin multipliers). While this method was designed for studying the boundedness of the tensor product between the bilinear Hilbert transform and a paraproduct, it has some other interesting applications, such as a Lebniz rule in mixed norm L^p spaces.

      Lieu : 1R1 106

      [Séminaire]


    • Lundi 4 avril 2016 12:00-13:00 - Polona Durcik - Bonn

      Norm-variation estimates for double ergodic averages

      Résumé : Title
      Norm-variation estimates for double ergodic averages
      Abstract
      We quantify norm convergence of double ergodic averages along the orbits of two commuting transformations by counting their norm-jumps and bounding their norm-variation. We approach the problem via real harmonic analysis, using methods for bounding multilinear singular integrals with a certain entangled structure. This is joint work with Vjekoslav Kovač, Kristina Ana Škreb and Christoph Thiele.

      Lieu : 106

      [Séminaire]


    • Lundi 11 avril 2016 12:00-13:00 - Omer FRIEDLAND - Paris 6

      Recouvrements doublants d’hypersurfaces algébriques

      Lieu : 106

      [Séminaire]

0 | 10 | 20 | 30 | 40

  • Les Cafés de l IMT


    • Jeudi 9 novembre 2017 13:15-14:00 - Jean-Claude Yakoubsohn - Institut de Mathématiques de Toulouse

      Le prodigieux parcours de la méthode de Newton. Une suite sans fin.

      Résumé : De Babylone à Yakoubsohn, je raconterai les développements historiques, mathématiques et algorithmiques de cette méthode numérique utilisée pour approcher les solutions d’équations. On ira de Héron à Villani en passant par Newton, Cauchy, Runge, Kantorovich et Smale sans oublier les "petites mains" qui ont produit des résultats originaux.

      Lieu : Bibliothèque de Mathématiques, 1R2

      [Séminaire]


    • Jeudi 21 décembre 2017 13:15-14:00 - Arnaud Chéritat - Institut de Mathématiques de Toulouse

      Des impressions 3D pour comprendre la 4D

      Lieu : Amphithéâtre L. Schwartz, 1R3

      [Séminaire]


    • Jeudi 15 février 13:15-14:00 - Raphaël Loubère - Institut de Mathématiques de Toulouse

      Quand les girafes, tortues, libellules, carottes, feuilles d’érable… fabriquent des maillages de Voronoi

      Résumé : Les tesselations de Voronoi, malgré leur nom barbare et repoussant, sont une création de mère Nature avant d’être d’horribles objets mathématiques. Elles sont observables sur le pelage des girafes, la carapace des tortues, les nervure des feuilles d’érables et des nénuphars, les ailes des libellules, les nids d’abeilles, etc. On les retrouve dans les comportements territoriaux de petits poissons d’Amazonie, les formes caractéristiques des lacs salés, des concrétions de lave, des cristaux, etc.
      En toute décontraction nous essaierons de caractériser ces objets mathématiques, de les construire et d’en déduire certaines de leurs propriétés. En toute fin nous verrons même que ces tesselations de Voronoi peuvent se révéler utiles dans certaines situations pratiques.
      Quelle horreur pour les mathématiciens !

      [Séminaire]


    • Jeudi 24 mai 13:15-14:00 - Valentin Bahier - Institut de Mathématiques de Toulouse

      Musique de Pi

      Résumé : Le nombre Pi est partout, il fascine depuis des milliers d’années et n’a pas fini de nous surprendre. Ses mystérieuses propriétés issues d’une définition géométrique très simple l’ont fait entrer dans la culture populaire, et de nombreux travaux artistiques ont été produits dans le but d’en améliorer notre perception et compréhension. Dans cet exposé, nous présenterons diverses façons imaginées pour percevoir Pi. Notamment, nous tenterons de comprendre comment on peut écouter Pi, en se basant sur le travail de composition de quelques artistes. Cette analyse amènera à nous poser quelques questions à propos des chiffres et des notes de musique.

      Lieu : Amphithéâtre L. Schwartz, 1R3

      [Séminaire]


    • Jeudi 28 juin 13:15-14:00 - Pascal Noble - Institut de Mathématiques de Toulouse

      Titre à définir

      Lieu : Amphithéâtre L. Schwartz, 1R3

      [Séminaire]

0 | 10 | 20

  • Séminaire Analyse-EDP de l UT1


    • Vendredi 25 mars 2016 11:15-12:15 - Peter TAKAC - (Uni ROSTOCK, All

      Séminaire Analyse-EDP de l UT1

      Lieu : manufacture des Tabacs salle MC101

      [Séminaire]


    • Vendredi 29 septembre 2017 11:00-12:00 - Peter TAKAC - Univ. Rostock, Allemagne

      A p(x)-Laplacian Extension of the Díaz-Saa Inequality and Some Applications

      Résumé : A p(x)-Laplacian Extension of the Díaz-Saa Inequality and Some Applications
      (Travail avec J. Giacomoni (Pau) a Proc. Royal Soc. Edinburgh.)
      Abstract
      The main result of this work is a new extension of the well-known inequality by Díaz and Saa which,
      in our case, involves an anisotropic operator, such as the p(x)-Laplacian, ∆_p(x) u ≡ div(|∇u|^p(x)−2} ∇u).
      Our present extension of this inequality enables us to establish several new results
      on the uniqueness of solutions and comparison principles for some anisotropic quasilinear elliptic equations.
      Our proofs take advantage of certain convexity properties of the energy functional
      associated with the p(x)-Laplacian.

      Lieu : Manufacture des Tabacs salle MC101 - 2& Allées de Brienne

      [Séminaire]


    • Vendredi 13 octobre 2017 11:15-12:15 - Ian SCHINDLER - IMT/Ceremath

      Séminaire Analyse-EDP de l UT1

      Résumé : Sur la concentration compacité (en collaboration avec P.Begout et C.Tintarev)

      [Séminaire]


    • Vendredi 10 novembre 2017 11:15-12:30 - Jean-Baptiste LATRE - IMT et CERFACS

      Séminaire Analyse-EDP

      Résumé : A Comparative study between algebraic structures for a goal-oriented efficiency in Scientific Computing.
      Scientific modelling for industrial prospects relies on revealing the organisation of data coming from physical measurements.
      There often exist several different mathematical structures which enable to describe a same problem.
      But these structures may provide computations with diverging numerical properties, e.g. quaternions vs matrices to describe successive rotations. How to guide the user who has to choose from a wide range of possible computing frames ?
      In this talk we consider many frames which are popular in weakly interacting group of scientists.
      We propose a comparison of their efficiency to handle the characteristics of the computation (behaviour of structures near singularities, accuracy, complexity, nonlinearities, speed, memory size,… ).
      These ideas are exemplified in physical applications.

      Lieu : Manufacture des Tabacs bat C 1er étage salle MC101 - 21 Allees de Brienne

      [Séminaire]


    • Vendredi 8 décembre 2017 11:00-12:30 - J.Fleckinger - IMT/Ceremath

      On groundstate positivity and negativity

      Résumé : Groundstate positivity and negativity for solution to Schrodinger equation on unbounded domains in particular domains of cylinder type.

      Lieu : Manufacture des Tabacs bat C 1er étage salle MC101 - 21 allees de Brienne (Metro Compans puis bus N.1 ou Bd Mal Leclerc :, traverser le canal, c’est la !!!

      [Séminaire]


    • Vendredi 12 janvier 11:00-12:30 - Jean-Pierre GOSSEZ - ULB Bruxelles

      Séminaire Analyse-EDP de l UT1

      Lieu : Manufacture des Tabacs - 21 allees de Brienne TOULOUSE

      [Séminaire]


    • Vendredi 9 février 11:00-12:30 - Peter TAKAC - Univ. Rostock

      Séminaire Analyse-EDP de l UT1

      Lieu : Manufacture des Tabacs - 21 Allees de Brienne TOULOUSE

      Notes de dernières minutes : Semilinear Equations of Fisher type

      [Séminaire]


    • Vendredi 16 mars 11:00-12:30 - Jacques GIACOMONI - Univ. Pau et Pays de l'Adour

      Séminaire Analyse-EDP de l UT1

      [Séminaire]


    • Vendredi 4 mai 11:00-11:30 - Mohamed Ali JENDOUBI - Univ. Bizerte et IPEST Tunis

      Séminaire Analyse-EDP de l UT1

      Lieu : Manufacture des Tabacs - 21 Allées de Brienne TOULOUSE

      Notes de dernières minutes : TBA

      [Séminaire]


    • Vendredi 18 mai 11:00-12:30 - Cherif AMROUCHE - Univ. Pau et Pays de l'Adour

      Séminaire Analyse-EDP de l UT1

      Lieu : Manufacture des Tabacs - 21 Allées de Brienne TOULOUSE

      Notes de dernières minutes : TBA

      [Séminaire]

0 | 10

  • Géométrie algébrique, champs et homotopie


    • Mardi 1er avril 2014 15:30-17:30 - Baptiste Morin

      Quasi-catégories XII

      Lieu : 1R2 - Salle 207

      [Séminaire]


    • Mardi 8 avril 2014 14:00-16:00 - Baptiste Morin

      Quasi-catégories XIII

      Lieu : 1R2 - Salle 207

      [Séminaire]


    • Mardi 15 avril 2014 14:00-15:00 - Guido Kings - Université de Regensburg (Allemagne)

      Exposé de Guido Kings

      Lieu : 1R2 - Salle 207

      [Séminaire]


    • Mardi 29 avril 2014 14:00-15:00 - Markus Spitzweck

      Motivic cohomology and algebraic cobordism in mixed characteristic

      Résumé : We will outline recent constructions of motivic spectra representing motivic cohomology in mixed characteristic. After a review of Voevodsky’s slice filtration and algebraic cobordism we show the interrelation between the Hopkins-Morel isomorphism, slices of algebraic cobordism and the motivic EM-spectrum. Finally we apply these insights to compute the geometric part of algebraic cobordism over Dedekind domains of mixed characteristic with suitable primes in the coefficients inverted, showing cases of a Conjecture of Voevodsky.

      Lieu : 1R2 - Salle 207

      [Séminaire]


    • Mardi 29 avril 2014 15:30-17:30 - Baptiste Morin

      Quasi-catégories XIV

      Lieu : 1R2 - Salle 207

      [Séminaire]


    • Mardi 20 mai 2014 14:00-15:00 - Hokuto Uehara

      Exceptional sheaves on the Hirzebruch surface with a -2-curve

      Résumé : The structures of exceptional objects on Del Pezzo surfaces are completely determined by Kuleshov and Orlov.
      On the other hand, the structure of exceptional objects on weak Del Pezzo surfaces are much more complicated by the existence of -2-curves.
      We study the structure of exceptional sheaves on the Hirzebruch surface with a -2-curve, the easiest example of weak Del Pezzo surfaces.
      My talk is based on a joint work with Shinnosuke Okawa.

      Lieu : 1R2 - Salle 207

      [Séminaire]


    • Mardi 20 mai 2014 15:30-17:30 - Denis-Charles Cisinski

      Quasi-catégories XV

      Lieu : 1R2 - Salle 207

      [Séminaire]


    • Mardi 27 mai 2014 14:00-15:00 - Tamas Szamuely - Institut Alfred Renyi (Budapest, Hongrie)

      Principal homogeneous spaces over p-adic curves

      Résumé : Let C be a smooth projective curve defined over a field k. When k is algebraically closed, a classical result of Steinberg implies that every C-family of principal homogeneous spaces under a reductive group has a section over some open subset of C. In recent joint work with David Harari, we are interested in the case where k is a p-adic field. Here such sections do not exist in general, even if we impose the existence of local analytic sections around each point. However, we show that in a large number of cases the absence of global rational sections can be explained by a cohomological obstruction.

      Lieu : 1R2 - Salle 207

      [Séminaire]


    • Mardi 27 mai 2014 15:30-17:30 - Denis-Charles Cisinski

      Quasi-catégories XVI

      Lieu : 1R2 Salle 207

      [Séminaire]


    • Mardi 3 juin 2014 14:00-16:00 - Vadim Schechtman

      Tresses, collinéarité, et champs pervers

      Résumé : On donnera une description combinatoire de faisceaux pervers sur C^n, lisses le long de la stratification induite par un arrangement finie d’hyperplans réels, et on discutera la notion du champ pervers,avec quelques exemples au-dessus d’arrangements de Coxeter.
      C’est un travail commun avec M.Kapranov.

      Lieu : 1R2 Salle 207

      [Séminaire]

0 | 10 | 20 | 30 | 40 | 50 | 60 | 70 | 80 | ... | 170

  • Séminaire de l équipe MIP


    • Mardi 30 septembre 2014 11:00-12:00 - Katja Mombaur - Université de Heidelberg

      Applications of optimal control methods to the study of human and humanoid motions

      Résumé : In this talk, we discuss applications and challenges for optimal control methods in the fields of robotics, biomechanics, and medicine. We are in particular interested in understanding and improving motions of anthropomorphic systems, i.e. of humans and humanoid robots.
      Several projects will be presented, such as
      · the study of human and humanoid walking motions in very different situations (flat ground, stairs, inclined slopes, obstacles …) within the EU project KoroiBot
      · the analysis of running motions of bipedal amputees with carbon fiber prostheses
      · the investigation of sit to stand motions of elderly people in the intention to develop physical assistive devices within he EU project MOBOT
      · a design study of walking motions of humans with lower limb exoskeletons in the HEIKA-EXO project
      · the study of stability of dynamic motions in biomechanics and robotics
      All projects have been performed in interdisciplinary cooperations with partners from the respective disciplines.
      The mathematical descriptions of such motions result in highly nonlinear systems of ordinary differential or differential-algebraic equations, generally including multiple phases of motion, implicitly defined phase changes and discontinuities of state variables between phases. Efficient tools are required to establish these dynamic equations of motion at the right level of complexity for the particular application. The resulting multi-phase optimal control problems which will be presented in detail are solved using direct multiple shooting techniques. Inverse optimal control problems are formulated to identify optimization objectives of motions from (partial) measurements of state variables and can be solved using a bilevel approach.

      Lieu : Amphi Schwartz

      [Séminaire]


    • Mardi 7 octobre 2014 11:00-12:00 - Julien Mairal - INRIA Grenoble

      A short introduction to parcimony and a complexity analysis of the Lasso regularization path

      Résumé : In this presentation, we will first introduce the parcimony principle, which has been highy successful in statistics and signal processing. We will start with early concepts of parcimony in statistics from the 60’s, before moving to signal processing from the 90’s and conclude our historical tour with the use of convex optimization techniques to perform feature selection, with a particular focus on the l1-norm. In the second part of the lecture, we will study in more details an intriguing phenomenon related to the regularization path of the Lasso estimator. The regularization path of the Lasso can be shown to be piecewise linear, making it possible to “follow” and explicitly compute the entire path. We analyze this popular strategy, and prove that its worst case complexity is exponential in the number of variables. We then oppose this pessimistic result to an (optimistic) approximate analysis : We show that an approximate path with at most O(1/sqrt(ε)) linear segments can always be obtained, where every point on the path is guaranteed to be optimal up to a relative ε-duality gap. We complete our theoretical analysis with a practical algorithm to compute these approximate paths.

      Lieu : Amphi Schwartz

      Notes de dernières minutes : Exposé commun avec le séminaire de statistiques.

      [Séminaire]


    • Mardi 21 octobre 2014 11:00-12:00 - Mario Arioli - CIMI

      Numerical linear algebra and interpolation spaces approximation

      Résumé : We describe norm representations for interpolation spaces generated by finite-dimensional subspaces of Hilbert spaces.
      These norms are products of integer and non-integer powers of the Grammian matrices associated with the generating pair of spaces for the interpolation space.
      We include a brief description of some of the algorithms which allow the efficient computation of matrix powers. We consider in some detail the case of fractional
      Sobolev spaces both for positive and negative indices together with applications arising in preconditioning techniques.

      Lieu : Amphi Schwartz

      [Séminaire]


    • Mardi 4 novembre 2014 11:00-12:00 - Bérangère Delourme - Université Paris 13

      Propagation guidée dans des graphes périodiques perturbés

      Résumé : Mon exposé porte sur la problématique générale de la propagation des ondes acoustiques dans des milieux périodiques. Ces milieux ont des propriétés remarquables car le spectre associé à l’opérateur d’ondes a, dans ce cas, une structure de bandes. Cela signifie qu’il peut exister des plages de fréquences dans lesquelles les ondes monochromatiques ne se propagent pas. Plus intéressant encore, en introduisant des défauts linéiques dans ce type de milieux, on peut créer des modes guidés à l’intérieur de ces bandes de fréquences interdites.
      Dans ce travail, nous montrons qu’il est possible de créer de tels modes en perturbant (la géométrie) d’un milieu périodique particulier constitué du plan R2 privé d’un ensemble infini d’obstacles rectangulaires régulièrement espacés (d’une distance ε) dans deux directions orthogonales du plan. Le milieu perturbé est obtenu en diminuant localement la distance entre deux colonnes d’obstacles.
      Notre analyse repose sur le fait que, comme ε est petit, le spectre de l’opérateur associé à notre problème est ”proche” du spectre d’un problème posé sur le graphe obtenu comme la limite géométrique du domaine quand ε tend vers 0. Or, pour le graphe limite, il est possible de calculer explicitement le spectre. Nous illustrons les résultats théoriques par des résultats numériques.

      Lieu : Amphi Schwartz

      [Séminaire]


    • Lundi 24 novembre 2014 15:00-16:00 - Claude Bardos - Laboratoire Jacques-Louis Lions

      Viscosity Solutions, Von Karman vortex street, Kato criteria and Wild Solutions

      Résumé : I intend to show on several simple examples (with the use of Kato criteria and of dissipative solutions) how the introduction of the wild solutions of De Lelleis and Szekelyhidi may contribute (if not to solutions) at least to the understanding of challenging problems posed by zero viscosity limit in presence of boundary or non regular initial data.
      Eventually this talk covers contributions done with with Edriss Titi, Laszlo Szekelyhidi and Emile Wiedemann.

      Lieu : Salle MIP

      [Séminaire]


    • Mardi 2 décembre 2014 11:00-12:00 - Jean-Marie Mirebeau - CEREMADE - Université Paris Dauphine

      Discretisation Monotone et Consistante de l’opérateur de Monge-Ampère.

      Résumé : Le schéma "Wide-Stencil" est une approche robuste, simple et maintenant classique pour la résolution numérique des équations de Monge-Ampere (transport optimal). Nous introduisons une modification en apparence ingénue de l’approximation de det(D^2 u), remplaçant une formule à quatre points par une formule à six points.
      L’étude du schéma modifié fait intervenir des outils élégants et peu communs en analyse des EDP, allant de la classification des réseaux euclidiens à l’arbre de Stern-Brocot (qui répartit les nombres rationnels aux noeuds d’un arbre binaire complet infini). Les gains d’efficacité numérique atteignent souvent un facteur 10 par rapport à la méthode originale, et la mise en oeuvre de l’algorithme modifié est (paradoxalement) plus simple grâce à la réduction du nombre de paramètres.

      Lieu : Salle 106 - 1R1

      [Séminaire]


    • Mardi 16 décembre 2014 11:00-12:00 - Vincent Calvez - ENS Lyon

      Propagation accélérée dans des équations de transport-réaction

      Lieu : Amphi Schwartz

      [Séminaire]


    • Mardi 13 janvier 2015 11:00-12:00 - Benjamin Texier - Institut de Mathématiques de Jussieu-Paris Rive Gauche (Université Paris-Diderot)

      Une approche stable de l’instabilité

      Résumé : Une solution de référence, régulière, d’un système d’équations aux dérivées partielles est dite stable au sens de Hadamard s’il existe un flot local au voisinage de la solution de référence qui a des propriétés de régularité.
      De nombreux résultats d’instabilité, en particulier en mécanique des fluides, portent sur des solutions de référence qui satisfont une hypothèse de symétrie : par exemple les flots de cisaillement, qui sont indépendants d’une direction spatiale. Ces résultats sont peu stables par perturbation.
      Je parlerai d’une approche micro-locale du problème de l’instabilité, dans laquelle seulement des hypothèses de régularité sont formulées. Cette approche fournit des critères d’instabilité qui ne reposent typiquement pas sur une hypothèse de symétrie pour la solution de référence.

      Lieu : Amphi Schwartz

      [Séminaire]


    • Mardi 20 janvier 2015 11:00-12:00 - Xavier Lamy - Institut Camille Jordan (Université Lyon 1)

      Cristaux liquides nématiques et biaxialité

      Résumé : Dans un cristal liquide nématique, les molécules ont tendance à s’aligner. Localement cet alignement peut être à symétrie uniaxe, ou biaxe. Un phénomène de "fuite biaxe" est prédit dans certains régimes. On montrera que la contrainte de symétrie uniaxe est extrêmement rigide, indépendamment du régime : le phénomène physique de fuite biaxe ne peut donc être réduit à la violation de cette contrainte. On présentera ensuite une interprétation rigoureuse de la fuite biaxe à basse température.
      (Travail commun avec Andres Contreras).

      Lieu : Amphi Schwartz

      [Séminaire]


    • Mardi 27 janvier 2015 11:00-12:00 - Erwan Faou - Département de mathématiques et applications (École normale supérieure)

      Landau damping dans les espaces de Sobolev pour le modèle de Vlasov-HMF

      Résumé : Dans cet exposé, je donnerai un résultat de type amortissement Landau pour un modèle de Vlasov simplifié, valable sous des hypothèses de régularité de type Sobolev. Je montrerai aussi par des simulations numériques le lien avec l’équation d’Euler bidimensionnelle, et discuterai du comportement des schémas numériques.
      Il s’agit de travaux en collaboration avec Frédéric Rousset et Romain Horsin.

      Lieu : Amphi Schwartz

      [Séminaire]

0 | 10 | 20 | 30 | 40 | 50 | 60 | 70 | 80 | ... | 170

  • Séminaire de Probabilités


    • Mardi 17 juin 2014 09:45-10:45 - Balint Toth - Institute of Mathematics, Technical University Budapest

      Superdiffusive CLT for periodic Lorentz gas in the Boltzmann-Grad limit.

      Résumé : We prove central limit theorem under super-diffusive scaling $\sqrtt\logt$ for the displacement of particle in the $Z^d$-based periodic Lorentz gas, in the Boltzmann-Grad limit. The result holds in any dimension. This is joint work with Jens Marklof (Bristol).

      Lieu : Bâtiment 1R1, salle 106

      [Séminaire]


    • Mardi 16 septembre 2014 09:45-10:45 - Tobias Mai - Universität des Saarlandes

      Asymptotic eigenvalue distribution of polynomials in independent random matrices and free probability theory.

      Résumé : Free probability theory was invented around 1985 by D. Voiculescu, originally as a tool for the theory of operator algebras, but later on, it became prominent also for its deep connections to random matrix theory. This is due to the fact that many types of independent random matrices become asymptotically free if their dimension tends to infinity.
      In my talk, I will explain how free probability provides in such cases an effective algorithm for the calculation of the asymptotic eigenvalue distribution of arbitrary polynomials in the considered random matrices. Moreover, I will discuss what free probability can say about the regularity of those limiting distributions.

      Lieu : Amphithéâtre L. Schwartz

      [Séminaire]


    • Mardi 23 septembre 2014 09:45-10:45 - Sylvain Golenia - Institut de Mathématiques de Bordeaux

      Sur l’asymptotique des valeurs propres pour les opérateurs discrets.

      Résumé : Travail en commun avec Michel Bonnefont et Matthias Keller.

      Lieu : Amphithéâtre L. Schwartz

      [Séminaire]


    • Mardi 30 septembre 2014 09:15-10:45 - Josselin Garnier - Université Paris Diderot

      A propos du bruit en imagerie.

      Résumé : Les techniques d’imagerie classiques utilisent des ondes pour sonder un milieu inconnu et sont employées par exemple pour des applications médicales (échographie) ou géophysiques (séismologie). Ces ondes sont émises par des réseaux de sources et après propagation dans le milieu elles sont enregistrées par des réseaux de capteurs. On montrera qu’il est important de prendre en compte la présence de bruit (bruit de mesure, bruit des sources, bruit de milieu) pour imager le milieu et on verra en particulier que des outils de statistique bayésienne et de théorie de matrices aléatoires permettent de concevoir des algorithmes exploitant au mieux ces données bruitées. On étudiera aussi la possibilité d’utiliser des sources incontrôlées de bruit ambiant, modélisées comme des processus aléatoires stationnaires, au lieu de sources actives contrôlées, ce qui remet en cause la distinction habituelle signal/bruit et qui ouvre des perspectives intéressantes en séismologie, où les sources (les séismes) sont rares.

      Lieu : Amphithéâtre L. Schwartz

      [Séminaire]


    • Mardi 7 octobre 2014 09:45-10:45 - Jürgen Angst - Universtié de Rennes 1

      Mouvement brownien cinétique sur une variété riemannienne.

      Résumé : Nous introduisons un processus, appelé mouvement brownien cinétique, à valeurs dans le fibré tangent unitaire d’une variété riemannienne $M$. Nous montrons que le flot associé à ce processus interpole en un sens précis entre le flot géodésique sur le tangent unitaire $T^1M$ et le flot brownien usuel sur $M$. Nous décrivons ensuite en détail le comportement asymptotique en temps long de ce processus dans le cas où la variété $M$ est à symétrie sphérique.
      Travail en commun avec Ismael Bailleul et Camille Tardif.

      Lieu : Salle MIP

      [Séminaire]


    • Mardi 14 octobre 2014 09:45-10:45 - Jean-Maxime Le Cousin - Université Paris Descartes

      Asymptotique du processus de feu de forêt en dimension 1.

      Résumé : Le processus de feu de forêt est défini de la façon suivante :
      — sur chaque site de Z on laisse tomber des graines selon un processus de Poisson de paramètre 1 : si une graine tombe sur un site vide, un arbre pousse instantanément tandis que si elle tombe sur un arbre, rien ne se passe ;
      — parallèlement et indépendamment, sur chaque site de Z, des allumettes tombent selon un processus de Poisson de paramètre λ : si une allumette tombe sur un arbre, il brûle pendant un temps exponentiel de paramètre π, puis se propage à ses deux voisins en s’éteignant. Si une allumette tombe sur un site vide ou si un feu se propage sur un site vide, le feu s’éteint.
      On appelle alors forêt contenant i la composante connexe du site i.
      Le but de l’exposé est d’étudier l’asymptotique de ce processus quand λ → 0 et π → ∞ : les allumettes sont rares mais elles brûlent des composantes gigantesques.

      Lieu : Amphithéâtre L. Schwartz

      [Séminaire]


    • Mardi 21 octobre 2014 09:45-10:45 - Mario Arioli - Invité CIMI

      A gentle introduction to complex and quantum graphs and their applications.

      Résumé : A quantum graph is a graph where we associate with each edge
      a differential law that models the interaction between the two
      corresponding vertices. The use of quantum graphs (as opposed to more
      elementary graph models, such as simple unweighted or weighted graphs)
      opens up the possibility of modelling the interactions between agents
      identified by the graph’s vertices in a far more detailed manner than with
      standard graphs. Quantum graphs are now being widely used in physics,
      chemistry and engineering (nanotechnology) problems but can also be used,
      in principle, in the analysis of complex phenomena taking place on large
      complex networks, including social and biological networks. Such graphs
      are characterised by highly skewed degree distributions, small diameter,
      high clustering coefficients and have topological and spectral properties
      that are quite different from those of the highly regular graphs or
      lattices arising in physics and chemistry applications. The purpose
      of this talk is twofold. First, we illustrate the properties of quantum
      graphs and of complex graphs in modelling several applications. Second,
      we investigate the numerical solution of PDEs posed on quantum graphs with
      complex topologies. As an example, we consider different time dependent
      PDEs for modelling the spreading of information on a complex network of
      interacting agents.

      Lieu : Amphithéâtre L. Schwartz

      [Séminaire]


    • Mardi 4 novembre 2014 09:45-10:45 - Balint Virag - University of Toronto

      Dyson’s spike and the spectral measure of groups.

      Résumé : In 1953, Dyson discovered that certain 1-dimensional random Schroedinger
      operators with gamma potentials have a spike in their spectral measure.
      We generalize Dyson’s results to arbitrary potentials satisfying the
      central limit theorem.
      It follows that the switch or walk lamplighter graph on Z, as well as
      some finitely presented groups, the spectral measure of (0,x) blows up
      like 1/log^2(x), disproving a conjecture of Lott and Luck. This is joint
      work with Marcin Kotowski.

      Lieu : Amphithéâtre L. Schwartz

      [Séminaire]


    • Mardi 25 novembre 2014 09:45-10:45 - Florent Benaych-Georges - Université Paris Descartes

      Théorème de l’Anneau Unique et Spiked Models.

      Résumé : Le théorème de lanneau unique, prouvé en 2012 par
      Guionnet, Krishnapur et Zeitouni (mais conjecturé depuis longtemps dans
      des travaux de physisiciens), donne, dans la limite des grandes
      matrices, la relation entre les valeurs singulières et les valeurs
      propres d’une matrice aléatoire non hermitienne isotrope, c’est à dire
      invariante, en loi, par les actions du groupe unitaire par
      multiplication à gauche et à droite. Dans cet exposé, nous partirons
      de ce résultat et expliquerons ce qu’il en advient lorsque la matrice
      est perturbée par une matrice de rang faible : à l’ordre macroscopique,
      l’essentiel du spectre ne bouge pas, mais certaines valeurs propres
      (appelées outliers) peuvent se détacher du reste du spectre et former
      des figures géométriques surprenantes dans le plan. Par ailleurs, des
      corrélations peuvent alors apparaître entre des valeurs propres situés
      à distance macroscopiques les unes des autres, même dans le cas où la
      matrice de départ était gaussienne, ce qui ne se produit pas dans des
      modèles hermitiens.

      Lieu : Amphithéâtre L. Schwartz

      [Séminaire]


    • Mardi 2 décembre 2014 09:15-10:15 - Vincent Bansaye - Ecole Polytechnique

      Processus de branchement pour des populations structurées.

      Résumé : Nous étudierons la lignée ancestrale et la distribution asymptotique des traits dans une population structurée en temps discret qui vérifie la propriété de branchement (pas d’interaction). L’étude peut être ramenée à celle d’un processus de Markov auxiliaire (inhomogène en temps) bien choisi et de la généalogie (distance à l’ancêtres commun). Nous donnerons quelques motivations et applications pour l’étude de la dynamique de la division cellulaire.

      Lieu : Bâtiment 1R1, salle 106

      [Séminaire]

0 | 10 | 20 | 30 | 40 | 50 | 60 | 70 | 80 | ... | 160

  • Séminaire de Statistique


    • Mardi 18 février 2014 11:00-12:00 - Quentin Paris - ENSAE ParisTech

      Classification supervisée de processus de Cox.

      Résumé : Dans cet exposé, nous discuterons du problème de la classification supervisée de processus de Cox. Les processus de Cox, qui sont en particulier des processus de comptage, ont vocation à modéliser, par exemple, le nombre de visites d’un patient à l’hôpital au cours du temps et leur étude présente de nombreuses applications en Biologie. Notre étude est basée sur un calcul explicite de la règle de Bayes (i.e. la règle de classification optimale). Nous proposons une stratégie de classification de type boosting : la règle de classification proposée minimise un critère empirique convexe régularisé. Nous présenterons une inégalité oracle pour évaluer la performance de notre règle de classification. D’autre part, nous montrerons que cette règle de classification converge vers la règle de Bayes à une vitesse qui s’adapte à la régularité inconnue de l’intensité du processus. Ce travail a été effectué en collaboration avec Gérard Biau et Benoît Cadre.

      Lieu : Amphithéâtre Schwartz (RDC - Bâtiment 1R3)

      [Séminaire]


    • Mardi 25 février 2014 11:00-12:00 - Judith Rousseau - Université Paris Dauphine (CEREMADE)

      On some recent advances on frequentist properties of Bayesian non and semi-parametric approaches

      Résumé : Fichier PDF

      Lieu : Amphithéâtre Schwartz (RDC - Bâtiment 1R3)

      [Séminaire]


    • Mardi 11 mars 2014 11:00-12:00 - Mathieu Sart - Université de Nice Sophia Antipolis

      Estimation de la densité de transition d’une chaîne de Markov.

      Résumé : Dans cet exposé, on présente deux procédures basées sur un test afin de construire des estimateurs data-driven de la densité de transition d’une chaîne de Markov homogène.
      La première procédure est essentiellement théorique, mais elle conduit à un théorème assez général de sélection de modèles sous une hypothèse faible sur la chaîne de Markov. On peut en déduire un estimateur adaptatif atteignant la vitesse attendue de convergence (à un terme logarithmique près) sur une grande famille d’espaces de Besov éventuellement inhomogènes et anisotropes.
      La seconde procédure est basée sur la sélection d’estimateurs constants par morceaux où les partitions sont construites à l’aide de l’algorithme itératif d’approximation de Devore et Yu (1990). On montre que l’estimateur sélectionné vérifie une inégalité de type oracle sous des hypothèses minimales sur la chaîne de Markov. On en déduit des vitesses de convergence uniformes sur des boules d’espaces de Besov éventuellement inhomogènes dont les indices de régularité peuvent être petits. L’estimateur est adaptatif par rapport à cet indice de régularité. On termine l’exposé par des simulations numériques.

      Lieu : Amphithéâtre Schwartz (RDC - Bâtiment 1R3)

      [Séminaire]


    • Mardi 18 mars 2014 11:00-12:00 - Romain Azaïs - INRIA, Montpellier

      Statistique non et semi-paramétrique pour les processus markoviens déterministes par morceaux

      Résumé : Les processus markoviens déterministes par morceaux (en anglais PDMP’s pour piecewise-deterministic Markov processes) sont une classe générale de modèles stochastiques non diffusifs évoluant selon un flot déterministe ponctué par des sauts aléatoires à des instants aléatoires. La loi des sauts est gouvernée par son noyau de transition $Q$ alors que celle des temps inter-sauts est caractérisée par son taux de saut $\lambda$. Dans un premier temps, je définirai les PDMP’s et je donnerai quelques applications de ces modèles. La suite de l’exposé sera divisée en deux parties. Dans la première, je montrerai comment estimer les caractéristiques d’un PDMP ergodique, en m’attardant particulièrement sur l’estimation de son noyau de transition $Q$. Dans la seconde, je présenterai un modèle particulier de croissance-fragmentation pour lequel l’intervalle $\Gamma=[0,1]$ est absorbant. J’expliquerai comment on peut estimer la probabilité d’absorption ainsi que la loi du temps d’atteinte de $\Gamma$ à partir d’une seule trajectoire, qu’elle ait mené ou non à l’absorption du processus.

      Lieu : Salle de conférence MIP (Bâtiment 1R3, 1er étage)

      [Séminaire]


    • Mardi 1er avril 2014 11:00-12:00 - Antoine Channarond - AgroParisTech / INRA

      Clustering dans des modèles de graphes aléatoires à variables latentes.

      Résumé : L’hétérogénéité dans les réseaux peut être modélisée en attribuant à chaque noeud une couleur ou une position dans un espace latent. Dans le cas des couleurs, les probabilités de connexion entre noeuds ne dépendent que des couleurs des noeuds, qui correspondent ainsi à des profils sociaux dans le réseau. Une question importante est en particulier celle de la classification non supervisée, visant à retrouver les couleurs à partir du réseau observé. Dans le cas des positions, on suppose que les arêtes sont d’autant plus probables que les sommets sont proches selon une métrique donnée. Le problème posé est de retrouver la structure en clusters de la densité des positions latentes à partir uniquement du réseau observé. On utilise pour cela les composantes connexes de sous-graphes biens choisis. La problématique commune à ces deux problèmes est le développement d’algorithmes rapides et consistants dans ces modèles, notamment pour traiter efficacement de grands graphes.

      Lieu : Amphithéâtre Schwartz (RDC - Bâtiment 1R3)

      [Séminaire]


    • Mardi 8 avril 2014 11:00-12:00 - Frédéric Proïa - Université Bordeaux 2 Segalen

      Stationnarité contre multi-intégration dans le processus autorégressif muni d’une tendance polynomiale.

      Résumé : Nous abordons la problématique de la stationnarité d’une trajectoire autorégressive munie d’une tendance polynomiale, et nous généralisons sous certains aspects le test LMC, la procédure de Leybourne et McCabe. Tout d’abord, nous montrons qu’il est possible d’obtenir la distribution asymptotique de la statistique de test sous l’hypothèse nulle de stationnarité en tendance, mais également sous l’hypothèse alternative de non stationnarité, pour toute tendance polynomiale d’ordre r et une perturbation potentiellement multi-intégrée d’ordre d. Ensuite, nous expliquons la raison pour laquelle le test LMC, et par extension le test KPSS, ne rejette pas l’hypothèse nulle de stationnarité en tendance, à tort, quand le polynôme autorégressif possède une racine unitaire située en -1. Nous le constatons également sur des données simulées. Finalement, nous décrivons quelques processus stochastiques utiles, apparaissant dans nos distributions limites.

      Lieu : Amphithéâtre Schwartz (RDC - Bâtiment 1R3)

      [Séminaire]


    • Mardi 15 avril 2014 11:00-12:00 - Thomas Vareschi - Université Paris Diderot (Paris 7) - LPMA

      Déconvolution sphérique semi-aveugle

      Résumé : Fichier PDF

      Lieu : Amphithéâtre Schwartz (RDC - Bâtiment 1R3)

      [Séminaire]


    • Mardi 22 avril 2014 11:00-12:00 - Madison Giacofci - KU Leuven (Belgique)

      Estimation et sélection de variables dans les modèles mixtes fonctionnels

      Résumé : De nos jours, un nombre croissant de domaines scientifiques collectent de grandes quantités de données comportant beaucoup de mesures répétées pour chaque individu. Ce type de données peut être vu comme une extension des données longitudinales en grande dimension. Le cadre naturel pour modéliser ce type de données est alors celui des modèles mixtes fonctionnels.
      Au cours de cet exposé, nous nous intéressons aux questions d’estimation et de réduction de dimension au sein des modèles mixtes fonctionnels et nous développons en ce sens deux approches. La première approche se place dans un objectif d’estimation dans un contexte non-paramétrique et nous montrons dans ce cadre, que l’estimateur de l’effet fixe fonctionnel basé sur les techniques de seuillage par ondelettes possède de bonnes propriétés de convergence. Notre deuxième approche s’intéresse à la problématique de sélection pour les effets fixes et aléatoires et nous proposons une procédure basée sur les techniques de sélection de variables par maximum de vraisemblance pénalisée et utilisant deux pénalités SCAD sur les effets fixes et les variances des effets aléatoires. Nous montrons dans ce cadre que le critère considéré conduit à des estimateurs possédant des propriétés oraculaires dans un cadre où le nombre d’individus et la taille des signaux divergent.
      Une étude de simulation visant à appréhender les comportements des deux approches développées ainsi qu’une application à des données réelles seront discutées.
      Web : http://www-ljk.imag.fr/membres/Joyc…

      Lieu : 1R2 - 132

      [Séminaire]


    • Mardi 20 mai 2014 11:00-12:00 - Anna Ben-Hamou - Université Paris-Diderot

      Inégalités de concentration dans le cadre des "bins and balls" : Estimer la masse manquante et le nombre de nouvelles espèces.

      Résumé : Alors qu’une large part du travail statistique s’appuie sur des événements bien représentés dans les données, il est de nombreuses situations où l’on a besoin au contraire de pouvoir dire quelque chose d’événements très peu, voire pas du tout représentés : des espèces rares pour les zoologistes, des clés rares pour les cryptographistes, des mots rares pour les linguistes…
      Un problème central qui se pose dans ce genre de situations est celui de la masse manquante, c’est-à-dire de la probabilité des symboles non-représentés dans l’échantillon.
      Pour étudier cette question, nous nous placerons dans le cadre "bins and balls", en supposant que l’échantillon correspond au lancé indépendant de n boules dans un nombre infini dénombrable d’urnes, avec une certaine probabilité inconnue de tomber dans telle urne. Les quantités aléatoires qui nous intéresseront sont alors : le nombre d’urnes occupées (qui est une mesure de la diversité de l’échantillon), le nombre d’urnes contenant exactement r boules, pour r=1,…,n (qui nous donnent le profil de l’échantillon), ou encore, la masse de probabilité des urnes vides (la masse manquante).
      Nous établissons des inégalités de concentration pour ces différentes quantités. Dans un premier temps, nous ne ferons aucune hypothèse sur la loi de probabilité sous-jacente. Mais nous verrons que l’étude des déviations de la masse manquante requiert un certain contrôle sur la façon dont les probabilités des urnes décroissent vers zéro. Ce contrôle peut être obtenu par une hypothèse de variation régulière, comme en théorie des valeurs extrêmes.
      Enfin, nous montrons comment ces résultats peuvent être utilisés pour répondre à certaines questions statistiques classiques, comme celle de l’estimateur de Good-Turing de la masse manquante, ou l’estimation du nombre de nouveaux symboles dans un échantillon élargi.

      Lieu : Bâtiment 1R2, salle 132 (J. Cavaillès)

      [Séminaire]


    • Mardi 27 mai 2014 11:00-12:00 - Mathilde Grandjacques

      Analyse de sensibilité pour variables corrélées et application à l’énergétique du bâtiment

      Résumé : Le bâtiment est l’un des premiers postes de consommation énergétique. Dans le but d’une meilleure gestion et d’économie d’énergie des modèles sont développés.
      Ces modèles aux entrées et sorties dynamiques représentent l’évolution de la température intérieure en fonction des températures adjacentes, du chauffage et de l’occupation.
      Afin de mieux connaitre le comportement du bâtiment face à ces sollicitations qui l’entourent, nous avons choisi d’effectuer une analyse de sensibilité.
      Un des outils les plus classiques en analyse de sensibilité est l’indice de Sobol. Celui-ci permet de classer les variables en fonction de leur impactent sur la variance de la sortie. Un de ses inconvénients est que son estimation repose sur le fait que les entrées du modèle doivent être indépendantes, ce qui n’est pas le cas dans la plus part des modèles physiques. De plus sa définition n’est pas la plus adaptée à des entrées dynamiques.
      Nous proposons une généralisation de l’indice de Sobol dans le cadre temporel pour des variables corrélées. La méthode d’estimation proposée est une modification de la méthode « pick-freeze ».
      Ces indices seront appliqués à un modèle d’un bâtiment test.

      Lieu : 1R2 - 132

      [Séminaire]

0 | 10 | 20 | 30 | 40 | 50 | 60 | 70 | 80 | ... | 160

  • Séminaire Plate-forme Biostatistique


    • Lundi 30 septembre 2013 14:00-15:00 - Kim-Anh Lê Cao - Queensland Facility for Advanced Bioinformatics University of Queensland

      It is all about mixOmics !

      Résumé : Recent advances in high throughput ’omics’ technologies enable quantitative measurements of expression or abundance of biological molecules of a whole biological system. The transcriptome, proteome and metabolome are dynamic entities, with the presence, abundance and function of each transcript, protein and metabolite being critically dependent on its temporal and spatial location.
      Whilst single omics analyses are commonly performed to detect between-groups difference from either static or dynamic experiments, the integration or combination of multi-layer information is required to fully unravel the complexities of a biological system. Data integration relies on the currently accepted biological assumption that each functional level is related to each other. Therefore, considering all the biological entities (transcripts, proteins, metabolites) as part of a whole biological system is crucial to unravel the complexity of living organisms.
      With many contributors and collaborators, we are currently establishing a global analytical framework to extract relevant information from high throughput `omics’ platforms such as genomics, proteomics, metabolomics and other types of biological data. Specifically, the statistical methodologies that we developed and implemented in our R package mixOmics focus on the so-called multivariate projection-based approaches, which can handle such large data sets, deal with multi collinearity and missing values. These methodologies enable dimension reduction by projecting these large data sets into a smaller subspace, to capture the largest sources of variation in the biological studies.
      In this presentation, I will illustrate how various techniques enable exploration, data integration and visualisation of the data, with a particular focus on time course experiments analysis and cross-platform comparison.

      Lieu : Salle séminaire, 1er étage 1R3

      [Séminaire]


    • Mardi 5 novembre 2013 14:00-15:30 - Sophie Lamarre - INRA, plateforme GeT-Biopuces

      Influence du nombre de réplicats dans une analyse différentielle de données RNA-seq

      Lieu : Salle 1er étage 1R3

      [Séminaire]


  • Systèmes dynamiques


    • Vendredi 27 février 2015 10:30-11:30 - Loic Teyssier - Université de Strasbourg

      Déterminer le graphe séparateur des champs de vecteurs rationnels de la sphère de Riemann.

      Résumé : Je présenterai un algorithme numérico-symbolique permettant de répondre à une question de A. Douady : étant donné un champ de vecteurs polynomial de la droite complexe, est-il possible de déterminer son graphe séparateur ? La question sera abordée pour les champs de vecteurs rationnels de la sphère de Riemann (plus généralement les champs méromorphes sur une surface de Riemann compacte), en particulier en relation avec la théorie des dessins d’enfants. Je discuterai également du problème inverse.

      Lieu : salle 207, bat 1R2

      [Séminaire]


    • Vendredi 13 mars 2015 10:30-11:30 - Thomas Dreyfus - IMT

      Déformations isomonodromiques pour les équations aux q-différences et confluence.

      Résumé : Nous étudions les déformations isomonodromiques pour les systèmes aux q différences Fuchsiens et étudions le comportement de la matrice de connexion de Birkhoff lorsque tend vers 1.

      Lieu : salle 207, bat 1R2

      [Séminaire]


    • Vendredi 20 mars 2015 10:30-11:30 - David Morris

      The cubic connectedness locus is not locally connected.

      Résumé : The set of cubic polynomials with connected Julia set, $\mathcalC_3$ forms a highly complicated subset of a 4-dimensional space. Following the argument of Lavaurs, we show that $\mathcalC_3$ is not locally connected near certain parabolic parameter values. To this end we will also introduce some of the theory of parabolic implosion.

      Lieu : salle 207, bat 1R2

      [Séminaire]


    • Vendredi 27 mars 2015 10:30-11:30 - Julien Roques - université de Grenoble

      Equations hypergéométriques et leurs q-analogues.

      Résumé : Nous présenterons d’abord quelques motivations, issues
      de la combinatoire, des systèmes dynamiques et (des aspects
      arithmétiques) de la symétrie miroir notamment, pour l’étude des
      équations hypergéométriques et de leurs q-analogues. Nous
      étudierons ensuite les groupes de Galois de ces équations. Nous
      commencerons par rappeler les résultats antérieurs de
      Beukers-Heckman, Katz et André. Si le temps le permet, nous
      aborderons également la "rigidité" des équations
      hypergéométriques et q-hypergéométriques. Aucun prérequis n’est
      nécessaire.

      Lieu : salle 207, bat 1R2

      [Séminaire]


    • Vendredi 3 avril 2015 09:00-10:00 - Stéphane Druel - université de Grenoble

      Sur le fibré anticanonique d’une feuilletage régulier.

      Lieu : salle 207, bat 1R2

      [Séminaire]


    • Vendredi 10 avril 2015 10:30-11:30 - Yohann Genzmer - IMT

      Problème de Poincaré et courbes polaires

      Lieu : salle 207, bat 1R2

      [Séminaire]


    • Vendredi 29 mai 2015 09:00-10:00 - Enrica Floris - Imperial college, Londres

      Invariance des Plurigenres pour des feuilletages sur les surfaces.

      Résumé : Récemment Brunella et McQuillan ont démontré certains d’ entre les principaux résultats en géométrie birationnelle dans le cadre des feuilletages sur les surfaces.
      Dans cet exposé, après avoir donné définitions et résultats préliminaires, on examinera dans quelle mesure le théorème d’Invariance des Plurigenres est vrai pour des feuilletages sur les surfaces.

      Lieu : salle 207, bat 1R2

      [Séminaire]


    • Vendredi 29 mai 2015 10:30-11:30 - Viktoria Heu - I.R.M.A. (Strasbourg)

      Déformations isomonodromiques en genre 2

      Résumé : Dans un travail en collaboration avec Frank Loray, nous avons construit l’espace de modules de triples $(X,E,\nabla)$, où $X$ est une surface de Riemann compacte de genre 2, $E$ est un fibré vectoriel de rang 2 sur $X$ et $\nabla$ est une connexion holomorphe irréductible sans trace sur $E$. Nous montrons que le feuilletage isomonodromique explicitement construit dans cet espace est transverse au lieu, également explicit, où le fibré $E$ est trivial. Nous obtenons un corollaire lié au problème de Riemann-Hilbert : l’application qui à un fibré à connexion associe sa monodromie est une difféomorphisme local au voisinage du fibré trivial.

      Lieu : Salle 207, Bat 1R2

      Notes de dernières minutes : Séminaire commun

      [Séminaire]


    • Vendredi 5 juin 2015 10:30-11:30 - Robert Roussarie - université de Dijon

      Cyclicité finie de certains graphiques centraux, passant par un point nilpotent à l’infini

      Résumé : Cette conférence est basée sur un travail en collaboration avec Christiane Rousseau, Université de Montréal. Dans ce papier nous introduisons de nouvelles méthodes pour montrer la cyclicité finie de certains graphiques entourant un centre, passant par un point nilpotent à l’infini, de type selle ou elliptique ou bien dégénéré.
      Après avoir appliqué un éclatement à la famille, ce qui produit un feuilletage
      singulier de dimension 3, on est ramené à prouver la cyclicité finie d’ensembles limites périodiques du feuilletage. Les ensembles limites périodiques à la frontière donnent le plus de problèmes, mais les nouvelles méthodes permettent de les traiter.
      Nous appliquons ces techniques pour prouver la cyclicité finie du graphique ($I_14^1$ ), ce qui fait partie du programme lancé en 1994 par Dumortier, Roussarie and Rousseau pour montrer qu’il existe une borne uniforme supérieure au nombre des cycles limites d’un champ de vecteurs quadratique du plan. Nous obtenons aussi la cyclicité finie des ensembles limites périodiques à la frontière de tous les autres graphiques sauf un, passant par un point triple nilpotent à l’infini, de type selle, elliptique ou bien dégénéré (avec une ligne de zéros) et entourant un centre, c’est-à-dire les graphiques ($I_6b^1$ ), ($H_13^3$ ), et ($DI_2b $)

      Lieu : salle 207, bat 1R2

      [Séminaire]


    • Jeudi 18 juin 2015 09:00-10:00 - Ameni Gargouri - Université de Sfax, Tunisie

      La théorie de perturbation de l’oscillateur de Duffing.

      Lieu : salle Cavailles (132) , bat 1R2

      [Séminaire]

0 | 10 | 20 | 30 | 40 | 50 | 60 | 70 | 80 | ... | 120

  • Théorie des noeuds et topologie en petite dimension


    • Mercredi 10 avril 2013 10:00 - Florian Deloup - IMT

      Le genre des langages réguliers

      Résumé : Résumé : si l’on oublie une partie de sa structure, un automate peut être regardé comme un graphe pour lequel la notion de genre est bien définie. Intuitivement, un graphe est de genre \leq g s’il existe un plongement du graphe dans une sphère à "g anses". Bien entendu, du point de vue informatique, les automates sont plus riches que des graphes : ils calculent des langages et un langage régulier donné admet une infinité d’automates le reconnaissant. Il est alors naturel de définir le genre d’un langage régulier L comme le genre minimal des automates reconnaissant L. On exposera quelques résultats et quelques questions ouvertes sur ce nouvel invariant des langages.

      Lieu : Salle 11 RDC — Bât. 1R3

      Notes de dernières minutes : Début de l’exposé à 10h15.

      [Séminaire]


    • Mardi 21 mai 2013 16:00-17:30 - Ryan Budney

      The homotopy type of spaces of knots

      Résumé : I will describe some basic properties of the homotopy-type of the space of smooth embeddings of the circle in the 3-sphere. There are two primary approaches to this, the Vassiliev approach, which now fits roughly into the machinery of "functor calculus" and the Hatcher approach, which uses many major structural theorems in 3-manifold theory. Hatcher’s approach studies the homotopy-type of the components of the knot space one component at a time, and sees them as essentially classifying spaces of the mapping class group of the knot, while the functor calculus approach in essence views the knot space as the non-singular part of a giant contractible mapping space. It turns out that the language of operads allows one to assemble Hatcher’s perspective into a simple global description of the embedding space’s homotopy-type, and from this perspective there are new avenues to compare the result with the functor calculus approach.

      Lieu : 1R2 - salle Cavaillès (salle 132)

      Notes de dernières minutes : Attention : jour et horaire inhabituels. Le séminaire débute à 16h15.

      [Séminaire]


    • Mercredi 22 mai 2013 - Stepan Orevkov - IMT

      Trace faible de Markov sur les algèbres de Hecke cubiques et invariants des entrelacs transverses

      Résumé : On construit des invariants des entrelacs transverse (dans le sens
      de la géométrie de contacte) en utilisant la trace faible de Markov
      sur les algébres de Hecke cubiques. La construction de tels invariants
      se réduit au calcul de la limite d’une suite croissante de certains
      modules noeteriens.

      Lieu : Salle Cavaillès (132) bât. 1R2

      Notes de dernières minutes : L’exposé commence à 10h15.

      [Séminaire]


    • Jeudi 14 novembre 2013 10:30-11:30 - Paul Bakouche - IMT

      Le théorème d’Eggan

      Résumé : La hauteur étoile (star height) est un invariant de complexité d’un langage régulier : c’est essentiellement le minimum du nombre d’opérations étoile (opération de Kleene qui est la concaténation d’un nombre arbitraire fini de copies d’expression régulière) nécessaires à la production d’expressions régulières du langage L.
      La complexité-boucle est un invariant de langage qui se lit lui géométriquement sur les automates finis (vus comme graphes) représentant le langage.
      L’objet de l’exposé est de montrer l’équivalence de ces deux invariants sur les langages réguliers.

      Lieu : 1R2 - 132 (salle Cavaillès) - Institut de Mathématiques, bât. 1R2

      Notes de dernières minutes : Noter le jour inhabituel : le séminaire aura lieu le jeudi (au lieu du mercredi).

      [Séminaire]


    • Lundi 16 décembre 2013 10:00-11:30 - Jean-Baptiste Meihlan - Institut Fourier, Grenoble

      Invariants de Milnor et polynôme de HOMFLYPT

      Résumé : L’objet de cet exposé est une formule reliant deux invariants d’entrelacs de nature différente, à savoir les invariants de Milnor, qui sont extraits du groupe fondamental du complémentaire, et le polynôme de HOMFLYPT, un invariant quantique. Après avoir rappelé les définitions nécessaires, nous verrons ainsi que les invariants de Milnor d’un entrelacs de la 3-sphère s’expriment comme une combinaison linéaire de polynôme de HOMFLYPT de noeuds obtenus par certaines opérations de somme en bande. Il s’agit d’un travail en commun avec A. Yasuhara.

      Lieu : Salle Picard (salle 129, bât. 1R2, 1er étage)

      Notes de dernières minutes : Veuillez noter le jour et le lieu inhabituels (pour le séminaire de topologie).

      [Séminaire]


    • Mercredi 29 janvier 2014 10:30-11:30 - F. Charette - ETH, Zürich

      How to generate non-trivial Lagrangian cobordisms via Lagrangian suspension

      Résumé : I will show that Hamiltonian isotopies act by suspension on the Lagrangian cobordism category recently introduced by Biran and Cornea. By using the relative Seidel representation, I will prove that this action is non-trivial on real Lagrangians in toric manifolds. This is joint work with Octav Cornea.

      [Séminaire]


    • Mercredi 16 avril 2014 10:30-12:00 - Renaud Detcherry - Ecole Polytechnique

      Formules asymptotiques pour les opérateurs courbes en TQFT

      Résumé : Résumé : A la suite des travaux de Jones et Witten, Reshetikhin et Turaev puis BHMV ont construit des théories quantiques topologiques des champs (TQFT), qui associe aux surfaces, cobordismes et 3-variétés divers invariants dit "quantiques".
      En particulier, à toute courbe sur une surface, on associe une suite d’endomorphismes appelés opérateurs courbes.
      On donnera une formule asymptotique liant les coefficients de matrices de ces opérateurs courbes aux fonctions traces sur l’espace des modules de la surface.

      Lieu : Salle 11 RDC 1R3

      [Séminaire]


    • Mercredi 18 juin 2014 10:00-12:00 - Benjamin Audoux - Marseille

      Une action des "tubes ribbons" sur le groupe libre réduit

      Résumé : Dans cet exposé, nous considérerons des tubes plongés dans B^4 possédant un remplissage par des boules dont toutes les intersections sont ribbons. Nous montrerons que ces objets induisent une action sur le groupe libre réduit qui les classifie à link-homotopie près. Cela peut-être vu comme une extension "welded" du résultat de Habegger et Lin sur les string-links classiques.

      Notes de dernières minutes : annulé pour cause de grève des trains (SNCF) et reporté au mardi 16 septembre.

      [Séminaire]


    • Mardi 16 septembre 2014 09:30-10:30 - Benjamin Audoux - CMI, Université Aix-Marseille

      Une action des "tubes ribbons" sur le groupe libre réduit

      Résumé : Dans cet exposé, nous considérerons des tubes plongés dans B^4 possédant un remplissage par des boules dont toutes les intersections sont ribbons. Nous montrerons que ces objets induisent une action sur le groupe libre réduit qui les classifie à link-homotopie près. Cela peut-être vu comme une extension "welded" du résultat de Habegger et Lin sur les string-links classiques.

      Lieu : Salle 132 bât. 1R2

      [Séminaire]


  • Philosophie des Mathématiques


    • Jeudi 5 mars 2015 15:00-16:00 - Benedikt Ahrens - CIMI, Acadie

      Univalent Foundations and the equivalence principle

      Résumé : The "equivalence principle" says that meaningful statements in mathematics should be invariant under the appropriate notion of equivalence - "sameness" - of the objects under consideration.
      In set theoretic foundations, the equivalence principle is not enforced ; e.g., the statement "1 ϵ Nat" is not invariant under isomorphism of sets.
      However, in the Univalent Foundations (UF) recently conceived by Fields Medalist Vladimir Voevodsky, the equivalence principle has been proved valid for some mathematical structures, in work both by others and myself.
      In this talk, I give a short introduction to the UF and review the aforementioned results on the equivalence principle in UF.
      Groupe de travail du Trimestre thématique CIPPMI "Current Issues in the Philosophy of Practice of Mathematics & Informatics"

      Lieu : Salle 132 Cavaillès, Bât 1R2

      [Séminaire]


    • Jeudi 26 mai 2016 14:30-16:30 - Pierre Lochak - (CNRS, IMJ)

      Philosophie des mathématiques ou bien philosophie et mathématiques.

      Résumé : J’explorerai quelques fils historiques qui laissent penser que les mathématiques peuvent effectivement prendre ou reprendre une place importante dans l’histoire ou le concert des idées. Toutefois ces `mathématiques’ ne sont pas nécessairement de celles qui occupent les journées - et parfois les nuits - des mathématicien(ne)s au travail, ce pourquoi il est parfois prudent de les orner de guillemets. Je détaillerai en particulier l’exemple princeps de l’opposition continu/discret vue à travers le prisme anthropologico-théologico-politique que nous présentent ce qu’il est convenu d’appeler les grandes `idéologies’ du vingtième siècle. Alexandre Grothendieck et plus généralement ce qu’il paraît naturel de nommer `matière fonctorielle’ feront alors une courte apparition. Je tâcherai de préserver au fil de l’exposé un équilibre entre une nécessaire précision et ce qui peut sonner extrêmement programmatique et général.​
      Cet exposé est donné dans le cadre du trimestre thématique CIPPMI.

      Lieu : Bât 1R2, salle Picard 129

      [Séminaire]


    • Lundi 30 mai 2016 14:30-16:30 - John T. Baldwin - Department of Mathematics, Statistics and Computer Science, University of Illinois at Chicago

      The unreasonable effectiveness of model theory in Number theory

      Résumé : Emulating Wigner’s famous essay we attempt to delineate the characteristics of model theory that account for its impact across mathematics. The formalization of specific areas of mathematics is the basic theme ; this allows axiomatizations that respect the methodologies of each area. Secondly, classification theory allows the recognition of common methodologies in widely distinct areas. Thus two large groups of tame areas are identified : stable (and refinements) and o-minimal. Bourbaki’s `great mother structures’ : groups, order, topology’ are put in perspective and a 4th mother structure, geometry, takes its place in establishing dimension as the key to tameness. This organizational survey will be fleshed out by more specific considerations of interactions with number theory, identifying specific unifying model theoretic techniques. Examples include the Wilkie-Pila results on the André-Oort conjectures and work generated by Hrushovski on the Mordell-Lang conjectures.
      Cet exposé est donné dans le cadre du trimestre thématique CIPPMI.

      Lieu : Bât 1R3, Salle de séminaire MIP

      [Séminaire]


    • Mardi 30 mai 2017 14:00-15:30 - Brice Halimi - Univ. Paris-Nanterre, IREPH

      Changement de contexte et changement de base

      Résumé : La logique assure historiquement une médiation entre la philosophie du langage et la philosophie des mathématiques. C’est dans cette perspective que je m’intéresserai à la notion de contexte, notion essentielle en philosophie du langage, mais aussi en logique, à travers les notions d’univers de discours et de monde possible.
      La contextualité de la signification est un phénomène essentiel du langage ordinaire. Pour ne prendre qu’un exemple, il va de soi que le voyageur s’apprêtant à partir et annonçant "Tout est rentré dans ma valise" veut parler de ses effets personnels et non de la totalité des choses qui peuplent l’univers. La restriction contextuelle du mot "tout" est ici un exemple parmi d’innombrables autres de la contextualité de la signification. Une question importante est celle de savoir si et comment le sens contextuel de nos mots dérive par modulation de leur signification abstraite (c’est-à-dire linguistique). Face à cette question, je voudrais tout d’abord défendre l’idée que tout contexte est le résultat d’un changement de contexte, et toute signification en contexte le résultat d’une transposition.
      Je voudrais ensuite m’intéresser à la formalisation de la contextualité. En effet, un certain nombre de concepts mathématiques sont naturellement propres à représenter les notions de contexte et de changement de contexte, mais n’ont pas encore été appliqués en ce sens : en particulier le concept de catégorie fibrée. Car le cadre formel d’une catégorie fibrée permet de représenter à la fois la localité d’un contexte (au sens où un contexte est toujours une situation à l’intérieur de laquelle je me place) et sa variabilité (au sens où un contexte correspond toujours à une perspective que je peux quitter pour en adopter une autre). La question pendante que j’aborderai sera celle de savoir si la théorie de la descente peut être appliquée à l’analyse de la contextualité, autrement dit s’il est envisageable de vouloir recoller les différents sens contextuels d’une expression ou d’un énoncé comme formant autant d’aspects locaux d’une même signification globale (générale) putative.
      Séance conjointe avec le séminaire "Géométrie algébrique, champs, homotopie".

      Lieu : Salle Pellos 207 , Bât. 1R2

      Notes de dernières minutes : Séance conjointe avec le séminaire "Géométrie algébrique, champs, homotopie".

      [Séminaire]


  • Mathématiques et Philosophie Contemporaines


    • Jeudi 5 mars 2015 15:00-16:00 - Benedikt Ahrens - CIMI, Acadie

      Univalent Foundations and the equivalence principle

      Résumé : The "equivalence principle" says that meaningful statements in mathematics should be invariant under the appropriate notion of equivalence - "sameness" - of the objects under consideration.
      In set theoretic foundations, the equivalence principle is not enforced ; e.g., the statement "1 ϵ Nat" is not invariant under isomorphism of sets.
      However, in the Univalent Foundations (UF) recently conceived by Fields Medalist Vladimir Voevodsky, the equivalence principle has been proved valid for some mathematical structures, in work both by others and myself.
      In this talk, I give a short introduction to the UF and review the aforementioned results on the equivalence principle in UF.
      Groupe de travail du Trimestre thématique CIPPMI "Current Issues in the Philosophy of Practice of Mathematics & Informatics"

      Lieu : Salle 132 Cavaillès, Bât 1R2

      [Séminaire]


    • Jeudi 26 mai 2016 14:30-16:30 - Pierre Lochak - (CNRS, IMJ)

      Philosophie des mathématiques ou bien philosophie et mathématiques.

      Résumé : J’explorerai quelques fils historiques qui laissent penser que les mathématiques peuvent effectivement prendre ou reprendre une place importante dans l’histoire ou le concert des idées. Toutefois ces `mathématiques’ ne sont pas nécessairement de celles qui occupent les journées - et parfois les nuits - des mathématicien(ne)s au travail, ce pourquoi il est parfois prudent de les orner de guillemets. Je détaillerai en particulier l’exemple princeps de l’opposition continu/discret vue à travers le prisme anthropologico-théologico-politique que nous présentent ce qu’il est convenu d’appeler les grandes `idéologies’ du vingtième siècle. Alexandre Grothendieck et plus généralement ce qu’il paraît naturel de nommer `matière fonctorielle’ feront alors une courte apparition. Je tâcherai de préserver au fil de l’exposé un équilibre entre une nécessaire précision et ce qui peut sonner extrêmement programmatique et général.​
      Cet exposé est donné dans le cadre du trimestre thématique CIPPMI.

      Lieu : Bât 1R2, salle Picard 129

      [Séminaire]


    • Lundi 30 mai 2016 14:30-16:30 - John T. Baldwin - Department of Mathematics, Statistics and Computer Science, University of Illinois at Chicago

      The unreasonable effectiveness of model theory in Number theory

      Résumé : Emulating Wigner’s famous essay we attempt to delineate the characteristics of model theory that account for its impact across mathematics. The formalization of specific areas of mathematics is the basic theme ; this allows axiomatizations that respect the methodologies of each area. Secondly, classification theory allows the recognition of common methodologies in widely distinct areas. Thus two large groups of tame areas are identified : stable (and refinements) and o-minimal. Bourbaki’s `great mother structures’ : groups, order, topology’ are put in perspective and a 4th mother structure, geometry, takes its place in establishing dimension as the key to tameness. This organizational survey will be fleshed out by more specific considerations of interactions with number theory, identifying specific unifying model theoretic techniques. Examples include the Wilkie-Pila results on the André-Oort conjectures and work generated by Hrushovski on the Mordell-Lang conjectures.
      Cet exposé est donné dans le cadre du trimestre thématique CIPPMI.

      Lieu : Bât 1R3, Salle de séminaire MIP

      [Séminaire]


    • Mardi 30 mai 2017 14:00-15:30 - Brice Halimi - Univ. Paris-Nanterre, IREPH

      Changement de contexte et changement de base

      Résumé : La logique assure historiquement une médiation entre la philosophie du langage et la philosophie des mathématiques. C’est dans cette perspective que je m’intéresserai à la notion de contexte, notion essentielle en philosophie du langage, mais aussi en logique, à travers les notions d’univers de discours et de monde possible.
      La contextualité de la signification est un phénomène essentiel du langage ordinaire. Pour ne prendre qu’un exemple, il va de soi que le voyageur s’apprêtant à partir et annonçant "Tout est rentré dans ma valise" veut parler de ses effets personnels et non de la totalité des choses qui peuplent l’univers. La restriction contextuelle du mot "tout" est ici un exemple parmi d’innombrables autres de la contextualité de la signification. Une question importante est celle de savoir si et comment le sens contextuel de nos mots dérive par modulation de leur signification abstraite (c’est-à-dire linguistique). Face à cette question, je voudrais tout d’abord défendre l’idée que tout contexte est le résultat d’un changement de contexte, et toute signification en contexte le résultat d’une transposition.
      Je voudrais ensuite m’intéresser à la formalisation de la contextualité. En effet, un certain nombre de concepts mathématiques sont naturellement propres à représenter les notions de contexte et de changement de contexte, mais n’ont pas encore été appliqués en ce sens : en particulier le concept de catégorie fibrée. Car le cadre formel d’une catégorie fibrée permet de représenter à la fois la localité d’un contexte (au sens où un contexte est toujours une situation à l’intérieur de laquelle je me place) et sa variabilité (au sens où un contexte correspond toujours à une perspective que je peux quitter pour en adopter une autre). La question pendante que j’aborderai sera celle de savoir si la théorie de la descente peut être appliquée à l’analyse de la contextualité, autrement dit s’il est envisageable de vouloir recoller les différents sens contextuels d’une expression ou d’un énoncé comme formant autant d’aspects locaux d’une même signification globale (générale) putative.
      Séance conjointe avec le séminaire "Géométrie algébrique, champs, homotopie".

      Lieu : Salle Pellos 207 , Bât. 1R2

      Notes de dernières minutes : Séance conjointe avec le séminaire "Géométrie algébrique, champs, homotopie".

      [Séminaire]


  • Séminaire CIMI


    • Lundi 8 juillet 2013 14:00-15:00 - Ami Wiesel

      Covariance estimation in graphical models (Part II)

      Résumé : In this short tutorial, we will discuss recent advances in covariance estimation in graphical models and their applications. We will begin with the classical results on covariance selection, and continue to modern contributions on high dimensional structure learning. We will discuss the analogy to traditional spectral estimation theory including moving average (MA), autoregressive (AR) and moving average autoregressive (ARMA) processes. Most of the tutorial will emphasize the Gaussian setting but we will also address robust methods for non-Gaussian settings which have recently attracted considerable attention. Time permitting, we will also consider distributed solutions based on message passing algorithms.
      http://www.cs.huji.ac.il/ amiw/

      Lieu : ENSEEIHT, Salle B105

      [Séminaire]


    • Lundi 8 juillet 2013 15:30-16:30 - Jose Bioucas-Dias

      Hyperspectral unmixing via sparse regression. Optimization problems and algorithms

      Résumé : Hyperspectral unmixing is the decomposition of the pixel spectra from a hyperspectral image into a collection of constituent spectra, or spectral signatures, called endmembers, and the fractional abundances, one set per pixel. Hyperspectral unmixing has recently been approached in a semi-supervised fashion, by assuming that the observed image signatures can be expressed in the form of linear combinations of a number of pure spectral signatures known in advance (e.g., spectra collected on the ground by a field spectro-radiometer). Unmixing then amounts to finding the optimal subset of signatures in a (potentially very large) spectral library that can best model each mixed pixel in the scene. In practice, this is a combinatorial problem which calls for efficient linear sparse regression techniques based on sparsity-inducing regularizers. In this talk, I will address a set of recently introduced hyperspectral unmixing techniques based on sparse regression. In this approach, the unmixing is obtained by solving a convex optimization problem, where the objective function is a sum of convex terms with possibly convex constraints. Usually, one of terms in the objective function measures the data fidelity while the others, jointly with the constraints, enforce some type of sparsity on the solution.
      Several particular features of these problems (e.g., huge dimensionality and nonsmoothness) preclude the use of off-the-shelf optimization tools and have stimulated a considerable amount of research. In this talk, I will present a new class of algorithms to handle these convex optimization problems. The proposed class of algorithms is an instance of the so-called alternating direction method of multipliers (ADMM), for which convergence sufficient conditions are known. We show that these conditions are satisfied by the proposed algorithms. The effectiveness of the proposed approach is illustrated in a series of hyperspectral unmixing problems.

      Lieu : ENSEEIHT, Salle B105

      [Séminaire]


    • Lundi 15 juillet 2013 14:00-15:00 - Jose Bioucas-Dias

      Interferometric Phase Image Estimation via Sparse Coding in the Complex Domain

      Résumé : In this seminar I will address interferometric phase image estimation — that is, the estimation of phase modulo-$2pi$ images from sinusoidal $2pi$-periodic and noisy observations. These degradation mechanisms make interferometric phase image estimation a quite challenging problem. We tackle this challenge by reformulating the original estimation problem as a sparse regression in the complex domain. Following the standard procedure in patch-based image restoration, the image is partitioned into small overlapped square patches and the vector corresponding to each patch is modeled as a sparse linear combination of vectors, termed atoms, taken from a set called dictionary. Aiming at optimal sparse representations, and thus at optimal noise removing capabilities, the dictionary is learned from the data it represents via matrix factorization with sparsity constraints on the code, (i.e., the regression coefficients) enforced by the $ell_1$ norm. The effectiveness of the new sparse coding based approach to interferometric phase estimation, termed SpInPHASE, is illustrated in a series of experiments with simulated and real data.

      Lieu : ENSEEIHT, Salle B105

      [Séminaire]

0 | 10

  • Actions acylindriques


    • Lundi 8 décembre 2014 16:00-17:00 - Dylan Thurston

      Seminaire geometrie : A computable criterion for rational maps

      Résumé : Exceptionnellement le seminaire de geometrie et topologie se tiendra a la place du groupe de travail.
      Résumé : In 1982, W. Thurston gave a criterion for a topological branched self-cover of the sphere to be equivalent to a rational map, in terms of a certain obstruction, that exists exactly when the map is not rational. Recently, we gave a dual positive criterion in terms of certain graphical spines and elastic networks.
      In this talk, we will focus on programs for finding this positive criterion and examples of what they look like

      [Séminaire]


  • Mathématiques pour la biologie


    • Jeudi 22 février 13:30-14:30 - Antoine Wystrach - CRCA (Toulouse)

      The emergence of navigational behaviour in insects

      Résumé : Navigation requires the coordination between different type of actions
      (e.g., choosing a direction, going forward etc…), and the control
      mechanisms that ‘triggers’ these actions is often characterised as decision
      making. Here we will see that distinct behaviour can spontaneously emerge
      from simple, continuous processes without the need to ‘trigger’ or ‘select’
      actions. We will see that such non-reducible, distributed processes
      emerging from the interaction between brain, body and environment can
      provide robust and generalist solutions to various and apparently different
      navigational tasks.

      Lieu : salle MIP, 1er étage bat 1R3

      [Séminaire]


    • Jeudi 15 mars 13:30-14:30 - Thomas Lepoutre - INRIA Rhône Alpes

      Mathematical models for chronic myeloid leukemia

      Résumé : Chronic myeloid leukemia has been drastically changed by the introduction of targeted therapies in the 2000s. Currently, one of the challenging question is how to decide wether one can stop therapy or not. We will see how our models can give insights on the underlying mechanisms responsible for success or failure of treatment cessation. We will especially discuss the hypothesis of an important role of the immune system in this result and how one can analyze then treatment free remission as a stability property. We will also review how some different models suggest the patients might be overtreated.

      Lieu : salle MIP, 1er étage bat 1R3

      [Séminaire]


    • Jeudi 29 mars 13:30-14:30 - Rémi Servien - INRA - Ecole Nationale Vétérinaire de Toulouse

      Identification et quantification de métabolites dans un spectre RMN

      Résumé : Nous nous intéressons ici à un problème rencontré en métabolomique. Ce domaine vise à caractériser la composition d’un mélange complexe par ses métabolites i.e. ses petites molécules. Les spectromètres RMN fournissent un spectre de mélange complexe qui est la superposition des spectres des métabolites purs. Chaque métabolite possède un spectre caractéristique, sa signature, qui le rend identifiable. Cependant, la reconnaissance automatique des métabolites dans un mélange complexe est rendu délicate par des problèmes comme la déformation du spectre (translation, dilatation …) ou la superposition des pics. Nous proposons ici une méthode permettant d’identifier et de quantifier rapidement les métabolites dans un spectre complexe tout en contrôlant les fausses détections. Cette procédure, testée sur différents mélanges, s’avère performante et rapide.

      Lieu : salle MIP, 1er étage bat 1R3

      [Séminaire]


    • Jeudi 12 avril 13:30-14:30 - Diala Abu Awad - Technische Universität München (Allemagne)

      Consequences of life-history strategies on allele fixation

      Résumé : How life-history strategies influence the evolution of populations is not well understood. Most existing models stem from the Wright-Fisher model which considers discrete generations and a fixed population size, thus not taking into account any potential consequences of overlapping generations and demographic stochasticity on allelic frequencies. We introduce an individual-based model in which both population size and genotypic frequencies at a single bi-allelic locus are emergent properties of the model. Demographic parameters can be defined so as to represent a large range of r and K life-history strategies in a stable environment, and appropriate fixed effective population sizes are calculated so as to compare our model to the Wright-Fisher diffusion. Our results indicate that models with fixed population size that stem from the Wright-Fisher diffusion cannot fully capture the consequences of demographic stochasticity on allele fixation in long-lived species with low reproductive rates. This discrepancy is accentuated in the presence of demo-genetic feedback. Furthermore, we predict that populations with K life-histories should maintain lower genetic diversity than those with r life-histories.

      Lieu : salle MIP, 1er étage bat 1R3

      [Séminaire]


    • Jeudi 26 avril 13:30-14:30 - ANNULÉ (Maxime Breden - TU Munich)

      ANNULÉ

      Résumé : About the equilibria of a cross-diffusion system in population dynamics
      Cross-diffusion is a mechanism used in population dynamics to model a repulsive effect between individuals. Mathematically, this corresponds to adding a nonlinear diffusion term to classical reaction-diffusion systems. Cross-diffusion allows to obtain a richer variety of solutions, whose qualitative behavior seems to better fit observations (spatial segregation phenomenon), but it also complicates the mathematical study of these solutions.
      In this talk, I explain how numerical simulations can be combined with a posteriori estimates, to obtain computer-assisted proofs about inhomogeneous steady states of a cross-diffusion system.

      Lieu : salle MIP, 1er étage bat 1R3

      [Séminaire]


    • Jeudi 17 mai 13:30-14:30 - Susely Figueroa (IMT)

      Long time evolutionary dynamics of phenotypically structured populations in time periodic environments

      Résumé : I will present a study of the long time behavior of a parabolic Lotka-Volterra type equation considering a time-periodic growth rate with non-local competition. Such equation describes the dynamics of a phenotypically structured population under the effect of mutations and selection in a time-periodic fluctuating environment. We first prove that, in long time, the solution converges to the unique periodic solution of the problem. Next, we describe this periodic solution asymptotically as the effect of the mutations vanish by using a theory based on Hamilton-Jacobi equations with constraint, proving that the solution concentrates on a single Dirac mass, while the size of the population varies periodically in time. When the effect of the mutations are small but nonzero, we provide some formal approximations of the moments of the population’s distribution. As an application we show, via some examples, how such results could be compared to biological experiments.

      Lieu : salle MIP, 1er étage bat 1R3

      [Séminaire]


    • Jeudi 31 mai 13:30-14:30 - Clément Sire - LPT, IRSAMC

      (Measuring) Social Interactions and (Studying) Collective States in Fish Schools

      Résumé : The flexible coordination of individuals’ movements ensures rapid and coherent changes in direction of travel of fish schools for instance as a reaction to a predator detected in the neighborhood. However the ’microscopic level’ interaction rules involved in the coordination of fish movements and the adapted collective response of a school still remain to a large extent unknown. Knowing such interaction rules could offer new sources of inspiration to design distributed control algorithms for swarms of drones. Here we present a systematic methodology to measure and analyze social interactions controlling the collective motion of animal groups. Contrary to classical forces between physical objects, social interactions between individuals explicitly depend on their relative headings and are affected by their anisotropic and asymmetric perception of their environment. Hence they strongly break the Newtonian’s law of action-reaction. When applied to fish groups, this approach leads to the quantitative measurement of the spontaneous behavior of a fish, of its avoidance interaction with the tank walls, and of its attraction and alignment interaction with another fish. We use the results of this analysis to build an explicit and faithful model that convincingly reproduces quantitative and qualitative features of the actual fish dynamics. We also show that the type of models derived from such analysis reproduces the main collective states observed in actual fish schools, when one varies the intensity of the alignment and attraction interactions between fish.

      [Séminaire]


    • Jeudi 14 juin 13:30-14:30 - Philippe Saint-Pierre - IMT

      R-vine copula and clinical trial simulation

      Résumé : A Clinical trial simulations (CTS) consist in studying the effects of a
      drug in virtual patient populations using mathematical models. CTS have
      been recognized by the pharmaceutical companies and regulatory
      authorities as being pivotal to improving the efficiency of the drug
      development process. This includes the use of CTS to learn about drug
      effectiveness and safety and to optimize trial designs at the various
      stages of development. The generation of virtual patients is a key point
      of the process. Two main approaches are proposed in the literature for
      this task. The Discrete method is based on Monte Carlo simulations from
      the joined distribution of the covariates whereas the Continuous method
      used a multi-normal distribution. We propose a third approach based on
      R-vines copula to generate virtual patients. Modelling patients’
      evolution over time is another challenging task. As an example, data on
      30000 HIV patients are used to evaluate various scenario of
      (approaching) switching to generics of many VIH drugs. Execution models
      are developed to update patients’ characteristics (including treatment
      and health state) over time. Simulations are performed to evaluate the
      cost of various switching to generics scenarios.

      Lieu : salle 106 1er étage bat 1R1

      Notes de dernières minutes : Attention, changement de salle : salle 106 1er étage bat 1R1

      [Séminaire]



  • Monge-Ampère


    • Vendredi 22 mai 2015 09:00-10:00 - Hoang Chinh LU - Chalmers Techniska Högskola

      Un cousin du flot de Calabi.

      Résumé : On introduit et étudie le flot de gradient d’une fonctionnelle d’energie libre sur l’espace de Wasserstein W_2(X) sur une variété Kählerienne compacte. Dans le cas où la première classe de Chern est negative, on montre que le flot existe et qu’il converge vers la métrique de Kaher-Einstein. Travail en commun avec Robert Berman (CTH).

      [Séminaire]


  • dynamique complexe (doctorants)


    • Mardi 11 mars 2014 11:00-12:00 - Fabrizio Bianchi

      GdT des doctorants de dynamique complexe

      Résumé : Courants et dynamique complexe à plusieurs variables

      [Séminaire]


    • Mardi 13 mai 2014 11:00-12:00 - Bastien Rossetti

      GdT des doctorants de dynamique complexe

      [Séminaire]


  • Géométrie Complexe


    • Vendredi 27 novembre 2015 09:00-12:00 - Eleonora DiNezza - Imperial College

      Décomposition de Zariski divisorielle et opérateurs de Monge-Ampère

      Résumé : On établit une caractérisation de la décomposition de Zariski divisorielle pour une (1,1)-classe de cohomologie grosse en termes de la fonction volume.
      On montre que cette caractérisation est fortement liée à l’invariance des classes de Monge-Ampère à énergie finie par applications biméromorphes.
      Dans la première partie de l’exposé on rappellera des notions basiques sur la décomposition de Zariski divisorielle et sur les courants de Monge-Ampère à masse pleine.
      Enfin, on donnera l’idée de la preuve qui repose sur l’existence et l’unicité des solutions faibles des équations de Monge-Ampère complexes.
      (Travail en collaboration avec E. Floris et S. Trapani).

      [Séminaire]


    • Vendredi 4 décembre 2015 09:00-12:00 - Charles Bordenave - IMT

      An introduction to random matrices for analysts

      Résumé : Lecture 1 : We will present a short proof of Wigner’s semi-circle Theorem and Furedi-Komlos extremal eigenvalue Theorem which will ultimately rely on Gaussian concentration and elementary differential calculus. These proofs are due to Pastur and Haagerup.
      Lecture 2 : Large deviations of random matrices
      We will define large deviations principle for sequence of probability measures and state a large deviations principle for random matrices with Gaussian entries. This result is due to Ben Arous and Guionnet. If time allows, I will state a joint result with Caputo beyond Gaussian case.

      [Séminaire]


    • Vendredi 11 décembre 2015 09:00-12:00 - Eveline Legendre - IMT

      Variétés toriques et polytopes de Delzant 2

      Résumé : Il s’agit de la suite des exposés du 23 octobre.

      [Séminaire]


    • Vendredi 18 décembre 2015 09:00-15:00 - Henri Guenancia - Stony Brook University

      Métriques Kaehler-Einstein coniques et cuspidales

      Résumé : Etant donnés une variété kählerienne compacte X et un diviseur lisse D, on présentera la construction de différentes classes de métriques de Kähler-Einstein sur X-D ayant un comportement asymptotique prescrit près de D (de type conique ou cuspidal). Dans le cas de la courbure négative, on expliquera en quel sens la métrique KE cuspidale est la limite des métriques KE coniques lorsque l’angle du cone tend vers 0.

      [Séminaire]


    • Vendredi 15 janvier 2016 09:00-10:00 - Dan Coman - Syracuse University, USA

      On the first order asymptotics of partial Bergman kernels

      Résumé : We show that under general assumptions the partial Bergman kernel function of sections vanishing along an analytic hypersurface has exponential decay in a neighborhood of the vanishing locus. For an ample line bundle, we obtain a uniform estimate of the Bergman kernel function associated to a singular metric along the hypersurface. We use this to study the asymptotics of the partial Bergman kernel function on a given compact set and near the vanishing locus. The results are joint with George Marinescu.

      [Séminaire]


    • Vendredi 15 janvier 2016 10:30-11:30 - Aydin Aytuna - Sabanci University, Turkey

      Parabolic Stein Manifolds from Perspective of Functional Analysis.

      Résumé : An open Riemann surface is called parabolic in case there are no bounded plurisubharmonic functions on it other than constants. In several variables however there are seemingly di§erent definitions of parabolicity. The first one follows the one dimensional tradition and calls a complex manifold parabolic in case every bounded from above plurisubharmonic function on it reduces to a constant. On the other hand the common feature of the other definitions of parabolicity requires the existence of special plurisubharmonic (psh) exhaustion functions. We will call a complex manifold X, S^*-parabolic in case there is a continuous plurisubharmonic exhaustion function \rho on X which is maximal off a compact subset. In this talk we will relate these notions of parabolicity on a Stein manifold X ; to the linear topological structure of O(X) ; the Frechet space of global analytic functions on X with the topology of uniform convergence on compact subsets. Along the way we will touch upon some general properties of this class of Frechet spaces. We will also discuss \rho-polynomials on S-parabolic Stein manifolds (X ;\rho) and the possibility of finding \rho-polynomial bases in O(X). This talk is based on joint research with Azimbay Sadullaev.

      [Séminaire]


    • Vendredi 22 janvier 2016 09:00-12:00 - Thibaut Delcroix - Institut Joseph Fourier

      Métriques de Kähler-Einstein sur les compactifications de groupes

      Résumé : Wang et Zhu ont caractérisé l’existence de métriques de Kähler-Einstein sur les variétés toriques Fano en termes du barycentre du polytope associé. L’objectif de cet exposé est de présenter un résultat similaire pour les compactifications GxG-équivariantes Fano d’un groupe réductif G. Je présenterai le polytope associé à une telle variété et comment le barycentre de ce polytope par rapport à une certaine mesure est lié à l’existence de métriques de Kähler-Einstein. La condition nécessaire et suffisante d’existence de métriques de Kähler-Einstein ainsi obtenue est vérifiable en pratique et donne de nouveaux exemples de variétés de Kähler-Einstein Fano.

      [Séminaire]


    • Vendredi 5 février 2016 09:00-12:00 - Zakarias Sjöström Dyrefelt - IMT

      K-semistability of cscK manifolds with transcendental cohomology class

      Résumé : In this talk we show that constant scalar curvature Kähler (cscK) manifolds with transcendental cohomology class are K-semistable, generalising the case of polarised manifolds. In particular, we introduce generalised notions of test configurations and their associated Donaldson-Futaki invariants, which in turn leads to a natural approach to K-semistability in terms of cohomology. The proof is based on a study of the asympotics of the K-energy along subgeodesic rays associated to a given test configuration.

      [Séminaire]


    • Vendredi 12 février 2016 09:00-12:00 - Zakarias Sjöström Dyrefelt - IMT

      K-semistability of cscK manifolds with transcendental cohomology class

      Résumé : In this talk we show that constant scalar curvature Kähler (cscK) manifolds with transcendental cohomology class are K-semistable, generalising the case of polarised manifolds. In particular, we introduce generalised notions of test configurations and their associated Donaldson-Futaki invariants, which in turn leads to a natural approach to K-semistability in terms of cohomology. The proof is based on a study of the asympotics of the K-energy along subgeodesic rays associated to a given test configuration.

      [Séminaire]


    • Vendredi 19 février 2016 10:30-11:30 - Hugues Auvray - Orsay

      Noyaux de Bergman sur les surfaces de Riemann épointées

      Résumé : On se donne une surface de Riemann compacte, et un nombre fini de points
      sur cette surface, vues comme "singularités". On considère également, sur le complémentaire de ces points, une métrique kählérienne $\omega$, égale à la métrique hyperbolique cusp de Poincaré au voisinage des singularités, et on interprète globalement $\omega$ comme courbure d’une métrique hermitienne singulière $h$ d’un certain fibré en droites $L$ sur la surface de départ.
      Le but de cet exposé est de présenter des résultats concernant les noyaux
      de Bergman associés à la donnée $(\omega, L^p, h^p)$, $p\gg 1$, obtenus avec X. Ma et G. Marinescu. On donnera plus précisément une asymptotique, valide jusqu’aux singularités, de ces noyaux lorsque la puissance $p$ du fibré tend vers
      l’infini.

      Notes de dernières minutes : Rencontre ANR EMARKS

      [Séminaire]

0 | 10 | 20 | 30 | 40 | 50 | 60 | 70 | 80 | ... | 110

  • processus déterminantaux


    • Jeudi 18 juin 2015 15:00-16:00 - Elizabeth et Mark Meckes - Case Western Reserve University

      Self-similarity in the eigenvalues of random unitary matrices

      Résumé : Self-similarity in the eigenvalues of random unitary matrices

      Lieu : salle réunion MIP 1R3

      [Séminaire]



Groupes de Travail


  • Probabilités et statistique


    • Jeudi 1er décembre 2016 12:30-13:30 - Gersende Fort - IMT

      Lecture du tutoriel de Bottou et al. (2016) - séance 5

      Résumé : Lecture du tutoriel "Optimization Methods for Large-Scale Machine Learning" de Bottou, Curtis et Nocedal (2016), disponible à l’adresse :
      https://arxiv.org/abs/1606.04838

      Lieu : Salle MIP 1R3

      [Séminaire]


    • Jeudi 5 janvier 2017 12:30-13:30 -

      NIPS debriefing

      Résumé : Toulouse NIPS attendees will present an overview of relevant work and trends from the main conference and workshops.

      Lieu : Salle MIP 1R3

      [Séminaire]


    • Jeudi 12 janvier 2017 12:30-13:30 - Edouard Pauwels - IRIT

      Groupe de lecture

      Résumé : We will continue our reading group with section 6 on second order methods.

      Lieu : 207 1R2

      [Séminaire]


    • Jeudi 19 janvier 2017 12:30-13:30 - Alain Durmus - Telecom ParisTech

      Optimal scaling and convergence of Markov chain Monte Carlo methods

      Résumé : Sampling over high-dimensional space has become a prerequisite in the applications of Bayesian statistics to machine learning problem. The applications are numerous, including large-scale inference in machine learning, Bayesian nonparametrics, Bayesian inverse problem, aggregation of experts among others. The most common methods for dealing with this problem are Markov Chain Monte Carlo methods. In this talk, I will present new insights on the computational complexity of these algorithms. First, I will discuss the optimal scaling problem for high-dimensional random walk Metropolis algorithms for densities which are differentiable in Lp mean but which may be irregular at some points (like the Laplace density for example) and / or are supported on an interval. The scaling limit is established under assumptions which are much weaker than the one used in the original derivation of (Roberts, Gelman, Gilks, 1997). This result has important practical implications for the use of random walk Metropolis algorithms in Bayesian frameworks based on sparsity inducing priors In the second of the talk, we will present a method based on the Euler discretization of the Langevin diffusion with either constant or decreasing stepsizes. We will give several new results allowing convergence to stationarity under different conditions for the log-density. A particular attention of these bounds with respect to the dimension of the state space will be paid.

      Lieu : 1R2-207 (salle F. Pellos)

      [Séminaire]


    • Jeudi 26 janvier 2017 09:30-17:00 -

      Journée big data

      Résumé : Le programme est disponible ici.
      NB : Les places sont assez limitées : écrire svp à Aurélien Garivier qui centralise les demandes et les transmettra à l’organisatrice Anne Ruiz.

      Lieu : Toulouse School of Economics - Amphi Colloque, Manufacture des Tabacs, 21 allée de Brienne, 31000 Toulouse

      [Séminaire]


    • Jeudi 2 février 2017 12:30-13:30 -

      Groupe de lecture

      Lieu : bâtiment 1R3, salle MIP (1er étage)

      [Séminaire]


    • Jeudi 9 février 2017 12:30-13:00 - Guillaume Garrigos - Istituto Italiano di Tecnologia

      Convergence rates in convex optimization : Going beyond the worst-case analysis with geometry

      Résumé : We study the asymptotic behavior of the Forward-Backward algorithm, which is a cornerstone for the resolution of structured optimization problems. It is well-known that, for general convex functions, this algorithm converges in values with a convergence rate O(1/n) if there is minimizers, and can be arbitrarily slow if the problem has no solutions. We show how, by doing simple geometric assumptions, we can guarantee better rates for this algorithm. We will discuss how this geometry can be identified in practice, providing for instance a new sum rule. In particular, this analysis explains why most of the time the Forward-Backward converges linearly, even in the absence of strong convexity.

      Lieu : Salle MIP 1R3

      [Séminaire]


    • Jeudi 23 février 2017 12:30-13:30 - Joon Kwon - CMA, Ecole Polytechnique

      Stratégies de descente miroir pour la minimisation du regret et l’approchabilité

      Résumé : On présente le modèle d’online linear optimization, qui est un cadre général de minimisation du regret. On y construit une famille de stratégie de "descente miroir" avec paramètres variables. On établit des bornes sur le regret garanties par ces stratégies. Les paramètres variables permettent de retrouver comme cas particuliers un grand nombre de stratégies connues : Exponential Weights Algorithm, Smooth Fictitious Play, Vanishingly Smooth Fictious Play, ainsi que Follow the Perturbed Leader.
      Dans un second temps, on suppose que les vecteurs de paiement ont au plus s composantes non nulles. , et on cherche à déterminer les bornes optimales sur le regret dans ce cadre. On remarque qu’il apparaît alors une différence fondamentale entre les gains et les pertes.
      On présente ensuite une méthode générale pour construire des stratégies pour l’approchabilité de Blackwell à partir des stratégies minimisant le regret. Le caractère unificateur de cette approche est illustrée par l’obtention, en corollaire, des bornes optimales pour les problèmes d’online combinatorial optimization et du regret interne/swap. On établit par ailleurs que la stratégie de Blackwell est un cas particuler de la famille de stratégies ainsi construite.
      Enfin, on étudie le problème de l’approchabilité de Blackwell avec observations partielles (c’est-à-dire, où le joueur n’observe que des signaux aléatoires). On établit que la vitesse de convergence optimale est de T^(-1/3).

      Lieu : 1R2 - 207 (salle F. Pellos)

      [Séminaire]


    • Jeudi 2 mars 2017 12:30-13:30 - Maialen Larrañaga - Laboratoire des Signaux et Systèmes, CentraleSupélec

      Restless bandits : Application to resource allocation problems

      Résumé : In this talk we are going to talk about the dynamic control of resource-sharing systems that arise in various domains : e.g. inventory management, communication networks. We aim at efficiently allocating the available resources among competing projects according to a certain performance criteria. In particular, we will focus on Restless Bandit (RB) type of allocation problems. These type of problems have a stochastic nature and may be very complex to solve. We will go through different possible techniques to solve RB problems using scaling and relaxation techniques. The latter allow us to obtain simple and ready to implement suboptimal policies. We will discuss on the asymptotic optimality of these policies in interesting regimes such as Heavy-traffic and Light-traffic regimes and also the Many-Users regime. We will provide several application examples for which near-optimal heuristics have been obtained.

      Lieu : bâtiment 1R3, salle MIP (1er étage)

      [Séminaire]


    • Jeudi 16 mars 2017 12:30-13:30 - Jonathan Weed - MIT

      Optimal rates of estimation for the multi-reference alignment problem

      Résumé : How should one estimate a signal, given only access to noisy versions of the signal corrupted by unknown circular shifts ? This simple problem has surprisingly broad applications, in fields from structural biology to aircraft radar imaging. We describe how this model can be viewed as a multivariate Gaussian mixture model whose centers belong to an orbit of a group of orthogonal transformations. This enables us to derive matching lower and upper bounds for the optimal rate of statistical estimation for the underlying signal. These bounds show a striking dependence on the signal-to-noise ratio of the problem.
      Joint work with Afonso Bandeira and Philippe Rigollet.

      Lieu : Bâtiment 1R3, salle de conférence du premier étage (MIP)

      [Séminaire]

0 | 10 | 20 | 30 | 40 | 50 | 60 | 70 | 80

  • GT de probabilités


    • Vendredi 18 octobre 2013 15:30-17:30 - Bertand CLOEZ - IMT

      Introduction aux PDMP et au processus TCP

      Résumé : Dans cet exposé, nous introduirons, brièvement, les "Processus Markoviens Déterministes par Morceaux" (PDMP, en anglais) et donnerons, en particulier, quelques exemples et problématiques. Un de ces exemples est le processus TCP. Celui-ci croit linéairement et se fragmente à des taux exponentielles. Nous expliciterons sa mesure invariante de deux manières différentes : via la méthode des moments ou via des suites auto-régressives. Nous décrirons aussi sa convergence vers l’équilibre en distance de Wasserstein par trois méthodes différentes : via l’edp associée, via un couplage ou via des relations de commutations.

      Lieu : Salle 106 1R1

      [Séminaire]


    • Vendredi 8 novembre 2013 15:00-17:00 - Bertand CLOEZ - IMT

      Introduction aux PDMP et au processus TCP suite

      Résumé : Résumé : "Dans cet exposé, nous introduirons, brièvement, les
      "Processus Markoviens Déterministes par Morceaux" (PDMP, en anglais)
      et donnerons, en particulier, quelques exemples et problématiques. Un
      de ces exemples est le processus TCP. Celui-ci croit linéairement et
      se fragmente à des taux exponentielles. Nous expliciterons sa mesure
      invariante de deux manières différentes : via la méthode des moments ou
      via des suites auto-régressives. Nous décrirons aussi sa convergence
      vers l’équilibre en distance de Wasserstein par trois méthodes
      différentes : via l’edp associée, via un couplage ou via des relations
      de commutations."

      Lieu : salle MIP 1R3

      [Séminaire]


    • Vendredi 15 novembre 2013 15:00-17:00 - Bertand CLOEZ - IMT

      Introduction aux PDMP et au processus TCP suite

      Lieu : 132 IR2

      [Séminaire]


    • Vendredi 22 novembre 2013 15:00-17:00 - P. Monmarché - IMT

      TBA

      Lieu : Salle 106 1R1

      [Séminaire]



    • Mardi 15 mai 15:30-16:30 - J. Tapia - IMT

      L’infinie-catégories des spèctres

      [Séminaire]


    • Mardi 22 mai 15:30-16:30 - J. Tapia - IMT

      Infinie-catégorie des spectres - suite

      [Séminaire]


    • Mardi 29 mai 15:30-16:30 - J. Antonio - IMT

      Homologie de Hochschild Topologique I

      [Séminaire]


    • Mardi 5 juin 15:30-16:30 - Jorge Antonio - IMT

      Homologie de Hochschild Topologique II

      [Séminaire]


    • Mardi 12 juin 14:00-15:00 - Jorge Antonio - IMT

      Homologie de Hochschild Topologique III

      [Séminaire]


    • Mardi 19 juin 15:30-16:30 - Jorge Antonio - IMT

      Homologie de Hochschild Topologique IV

      [Séminaire]


    • Mardi 26 juin 15:30-16:30 - J. Tapia - IMT

      Bloch-Kato et Quillen-Lichtenbaum

      [Séminaire]


    • Mardi 3 juillet 14:00-15:00 - J. Tapia - IMT

      Bloch-Kato et Quillen-Lichtenbaum

      [Séminaire]

0 | 10 | 20 | 30 | 40

  • Groupe de travail Image


    • Lundi 30 septembre 2013 14:00-16:00 - Hervé Carfantan - Institut de recherche en Astrophysique et Planétologie (IRAP)

      La parcimonie sous toutes (?) ses formes pour un problème inverse d’analyse spectrale en échantillonnage irrégulier

      Résumé : La représentation et l’approximation parcimonieuses des signaux et images ont été largement exploitées dans un grand nombre d’applications en parallèle de leur développement théorique depuis une vingtaine d’années. Je mettrai l’accent ici sur l’utilisation d’une information a priori de parcimonie dans la résolution d’un problème inverse, plus particulièrement pour la déconvolution de spectres de raies à partir de données irrégulièrement échantillonnées. Je présenterai les différentes formes sous lesquelles cette information a priori de parcimonie peut-être prise en compte, via une approche d’optimisation déterministe au travers des algorithmes gloutons et des critères relaxés, ou une approche d’échantillonnage stochastique grâce au modèle Bernoulli-Gaussien. Je tenterai de présenter à la fois les propriétés théoriques et l’utilisation pratique des différentes formes que peut prendre la parcimonie dans ce contexte applicatif très délicat.

      Lieu : ENSEEIHT, salle à préciser

      [Séminaire]


    • Lundi 25 novembre 2013 14:00-16:00 - Nicolas Papadakis - CNRS, Institut de Mathématiques de Bordeaux

      Optimal transport with proximal splitting

      Résumé : In this talk, we present the use of first order convex optimization schemes to solve the discretized dynamic optimal transport problem, initially proposed by Benamou and Brenier in 2000.
      We develop a staggered grid discretization that is well adapted to the computation of the L2 optimal transport geodesic between distributions defined on a uniform spatial grid.
      We show how proximal splitting schemes can be used to solve the resulting large scale convex optimization problem.
      A specific instantiation of this method on a centered grid corresponds to the initial algorithm developed by Benamou and Brenier.
      We also show how more general cost functions can be taken into account and how to extend the method to perform optimal transport on a Riemannian manifold.

      Lieu : IMT - Salle de conférence MIP Bâtiment 1R3, 1er étage

      [Séminaire]


    • Lundi 13 janvier 2014 14:00-16:00 - Nicolas Papadakis - CNRS, Institut de Mathématiques de Bordeaux

      Optimal transport with proximal splitting

      Résumé : In this talk, we present the use of first order convex optimization schemes to solve the discretized dynamic optimal transport problem, initially proposed by Benamou and Brenier in 2000. We develop a staggered grid discretization that is well adapted to the computation of the L2 optimal transport geodesic between distributions defined on a uniform spatial grid. We show how proximal splitting schemes can be used to solve the resulting large scale convex optimization problem. A specific instantiation of this method on a centered grid corresponds to the initial algorithm developed by Benamou and Brenier. We also show how more general cost functions can be taken into account and how to extend the method to perform optimal transport on a Riemannian manifold.

      Lieu : IMT - Salle de conférence MIP Bâtiment 1R3, 1er étage

      [Séminaire]

0 | 10 | 20


    • Mardi 18 juin 2013 14:00-15:30 - Andréa RAU - INRA Jouy-en-Josas

      Joint estimation of causal effects from observational and intervention gene expression data

      Lieu : Salle GMM13, INSA de Toulouse

      [Séminaire]


    • Mardi 4 février 2014 14:00-15:00 - Léa Laporte - IRIT

      Sélection de variables via des SVM parcimonieux – Application à l’apprentissage d’ordonnancement en Recherche d’Information

      Lieu : INRA, salle de conférences

      [Séminaire]


    • Vendredi 11 juillet 2014 10:30-12:00 - Hélène Sarter - CHRU Lille

      Groupe de travail Bio-Stat-Math

      Résumé : Il sera question de problèmes statistiques liés à l’exploitation du registre Epimad. Il s’agit d’un registre mis en place en 1988 sur les maladies inflammatoires chroniques de l’intestin (MICI) qui couvre le Nord-pas-de-Calais, la Somme et la Seine-Maritime soit près de 10% du territoire national en population. Ce registre a pour objectif d’évaluer l’incidence de la maladie et son évolution mais il est également le support de nombreuses études analytiques permettant de mieux connaître les MICI et leurs déterminants. Parmi les questions statistiques liées à ce registre, l’intégration de données hétérogènes est un des éléments qui pourrait susciter des interactions avec Toulouse.

      Lieu : Salle Huron, 106, bât. 1R1

      [Séminaire]



    • Vendredi 27 septembre 2013 10:45-11:15 -

      réunion d’organisation

      Lieu : salle 207, bat 1R2

      [Séminaire]


    • Vendredi 19 septembre 2014 10:30-11:00 - M. Klughertz

      réunion d’organisation

      [Séminaire]


    • Vendredi 10 avril 2015 10:30-11:30 - Yohann Genzmer - IMT

      Problème de Poincaré et courbes polaires

      Lieu : salle 207, bat 1R2

      [Séminaire]


    • Jeudi 18 juin 2015 09:00-10:00 - Ameni Gargouri - Université de Sfax, Tunisie

      La théorie de perturbation de l’oscillateur de Duffing.

      Lieu : salle Cavailles (132) , bat 1R2

      [Séminaire]


    • Vendredi 19 juin 2015 10:30-11:30 - Damien Bouloc - IMT

      Fibres singulières d’un système de pliage de polygones 3D

      Résumé : Dans cet exposé, on s’intéresse à un système introduit par Kapovich et Millson sur l’ensemble des configurations de polygones 3D dont les longueurs des côtés sont fixées. Géométriquement, il s’interprète comme le pliage des polygones le long de certaines diagonales. Pour des longueurs de côtés génériques, l’ensemble des configurations de polygones est une variété, que l’on peut munir d’une structure symplectique, et on se retrouve dans le cadre classique d’un système Hamiltonien intégrable. Ce système admet alors une propriété remarquable : ses fibres singulières sont des sous-variétés homogènes isotropes. On évoquera aussi le cas de longueurs non-génériques où, en se plaçant dans le cadre des orbispaces symplectiques, on peut donner une formulation équivalente de ce résultat.

      Lieu : salle 207, bat 1R2

      [Séminaire]


    • Vendredi 25 septembre 2015 09:30-10:00 -

      Réunion d’organisation

      Lieu : salle 207, bat 1R2

      [Séminaire]


    • Vendredi 23 septembre 2016 10:30-11:30 -

      Reunion d’organisation

      Lieu : salle 207, bat 1R2

      [Séminaire]



    • Mercredi 11 décembre 2013 10:30-12:00 - Patrick Massot - Ecole Polytechnique

      Topologie du groupe de transformations de contact au-dessus d’une surface

      Lieu : salle Cavailles - bat. 1R2

      [Séminaire]


    • Lundi 31 mars 2014 10:30-12:00 - Francesco Costantino - Université de Strasbourg

      Titre : "Un introduction à la conjecture du volume pour les polyèdres"

      Résumé : Titre : "Un introduction à la conjecture du volume pour les polyèdres"
      Résumé : La conjecture du volume, due à Rinat Kashaev, crée un lien surprenant entre la géométrie hyperbolique des variétés de dimension trois et les théorie quantiques des champs topologiques. Le premier but de cet exposé est de donner une introduction à cette conjecture fascinante en définissant les objets qu’elle relie et en rappelant les résultats les plus importants connus.
      Dans la deuxième partie de cet exposé je formulerai une nouvelle version de la conjecture qui s’applique aux polyèdres hyperboliques.
      Je la motiverai en discutant une famille infinie de cas pour laquelle j’ai pu la prouver ainsi qu’un résultat récent (joint avec François Guéritaud et Roland van der Veen) qui relie les invariants sous-jacents à la conjecture (les réseaux de spin) à des équations différentielles satisfaites par le volume hyperbolique des polyèdres.

      Lieu : bat. 1R2 salle Caveilles (132)

      [Séminaire]


    • Mercredi 9 avril 2014 10:30-12:00 - Stepan Orevkov - IMT

      Genre slice et forme de Seifert

      Lieu : Salle Picard

      [Séminaire]


    • Mercredi 23 avril 2014 10:30-12:00 - Victor Turchin - Kansas State University et IHES

      Les espaces de configurations et les espaces d’immersions non-k-égales

      Résumé : Les espaces de configurations non-k-égales dans un espace euclidien ont
      attiré beaucoup d’attention dans les vingt dernières années. Leur
      homologie est bien connue mais a une description combinatoire compliquée.
      Dans mon exposé je vais donner une approche opéradique d’expliciter cette
      homologie en question. La structure algébrique qu’on obtient se manifeste
      naturellement en application avec l’étude des espaces d’immersions sans
      auto-intersections de degré k.

      Lieu : Salle 11 RDC 1R3

      [Séminaire]


  • Groupe de Travail doctorant théorie de Sturm-Lott-Villani


    • Jeudi 14 février 2013 10:30-12:00 - Thibaut Le Gouic

      Transport optimal

      Résumé : Le but de cet exposé est de définir brièvement les notions de transport optimal qui seront utilisées par la suite.

      Lieu : Salle 207 - 2ème étage - Bâtiment 1R2

      [Séminaire]


    • Mercredi 27 février 2013 10:00-12:00 - Benoit Huou

      Inégalités fonctionnelles

      Résumé : Les inégalités fonctionnelles vérifiées par les espaces à courbure minorée.

      Lieu : Salle Picard (Bat 1R2 Salle 129)

      [Séminaire]


    • Mercredi 13 mars 2013 10:00-12:00 - Benoit Huou

      Inégalités fonctionnelles 2

      Résumé : Les inégalités fonctionnelles vérifiées par les espaces à courbure minorée. (suite de l’exposé précédent)

      Lieu : Salle de conférence MIP (Bâtiment 1R3, 1er étage)

      [Séminaire]


    • Mercredi 20 mars 2013 10:00-12:00 - Benoit Huou

      Inégalités fonctionnelles 3

      Résumé : Les inégalités fonctionnelles vérifiées par les espaces à courbure minorée. (suite de l’exposé précédent)

      Lieu : Salle de conférence MIP (Bâtiment 1R3, 1er étage)

      [Séminaire]


    • Mercredi 3 avril 2013 10:00-12:00 - Raphaël Bouyrie

      Théorème de Lott-Villani

      Résumé : 1) Quelques définitions préliminaires, notamment sur la convergence de Gromov Hausdorff d’espaces de longueurs, la notion de déplacement convexe.
      2) La définition de minoration de la courbure de Ricci au sens de Lott-Villani (et Sturm).
      3) Rappeler (ou énoncer) des résultats dus à McCain notamment sur le transport optimal qui servent pour la preuve.
      3) Présenter la preuve (au moins les grandes lignes) de deux théorèmes fondamentaux de l’article : l’équivalence entre N-tenseur de Ricci positif au sens a) et au sens de Lott-Villani.

      Lieu : Salle de conférence MIP (Bâtiment 1R3, 1er étage)

      [Séminaire]


    • Mercredi 10 avril 2013 10:00-12:00 - Raphaël Bouyrie

      Théorème de Lott-Villani (suite)

      Résumé : Présenter la preuve (au moins les grandes lignes) de deux théorèmes fondamentaux de l’article : l’équivalence entre N-tenseur de Ricci positif au sens a) et au sens de Lott-Villani.

      Lieu : Salle de conférence MIP (Bâtiment 1R3, 1er étage)

      [Séminaire]



    • Jeudi 10 décembre 2015 14:30-16:00 - Andrew Arana - Univ. Paris 1, IHPST

      Théorèmes de Gödel

      Lieu : Salle Jean Cavaillès 132, Bât 1R2

      [Séminaire]


    • Jeudi 14 janvier 2016 14:30-16:00 - Etienne Fieux - IMT, Picard

      Combinatoire topologique et théorie des graphes

      Lieu : Salle Jean Cavaillès 132, Bât 1R2

      [Séminaire]


    • Jeudi 21 janvier 2016 14:30-16:00 - Etienne Fieux - IMT, Picard

      Combinatoire topologique et théorie des graphes

      Lieu : Salle Jean Cavaillès 132, Bât 1R2

      [Séminaire]


    • Jeudi 28 janvier 2016 14:30-16:00 - Damiano Mazza - CNRS, LIPN

      Lambda calcul et correspondance de Curry-Howard

      Lieu : Salle Jean Cavaillès 132, Bât 1R2

      [Séminaire]


    • Jeudi 11 février 2016 14:30-16:00 - Sergei Soloviev - IRIT

      Logique, catégories, lambda calcul

      Lieu : Salle Jean Cavaillès 132, Bât 1R2

      [Séminaire]


    • Jeudi 24 mars 2016 14:00-15:30 - Assia Mahboubi - INRIA

      Preuves mécaniques de théorèmes

      Résumé : Les assistants de preuve sont des logiciels qui permettent de formaliser, manipuler, vérifier des énoncés mathématiques et leurs preuves dans un langage logique parfaitement codifié. L’un des bénéfices ---mais pas le seul--- de ce travail de formalisation est qu’il rend complètement mécanique le processus de vérification des démonstrations. S’il est clair que la description explicite des mathématiques dans le langage formel de la logique est possible en principe, c’est l’informatique qui la rend réalisable et intéressante en pratique. Un tel travail de formalisation relève d’une façon (encore) inhabituelle de faire des mathématiques avec l’aide d’une machine.
      Dans cette leçon, nous essaierons d’illustrer en quoi il consiste et quels sont les ingrédients variés qu’il met en oeuvre : les propriétés (méta-)mathématiques de la logique sous-jacente, les facilités offertes par l’assistant de preuve, la réflexion sur les définitions formelles des objets mathématiques, les choix de conception et d’architecture des bibliothèques formelles,…

      Lieu : Salle Jean Cavaillès 132, Bât 1R2

      [Séminaire]


    • Jeudi 31 mars 2016 14:30-16:00 - Vadim Schechtman - IMT, Picard

      Géométrie arithmétique

      Lieu : Salle Jean Cavaillès 132, Bât 1R2

      [Séminaire]


    • Mardi 21 mars 2017 14:00-15:30 - Andrew Arana - Université Paris 1, IHPST

      Pourquoi nos géométries ? Des réflexions issues de la perspective de la théorie des modèles.

      Lieu : Salle Pellos 207 Bât 1R2

      Notes de dernières minutes : Séance conjointe avec le séminaire "Géométrie algébrique, champs, homotopie".

      [Séminaire]

0 | 10 | 20 | 30


    • Jeudi 10 décembre 2015 14:30-16:00 - Andrew Arana - Univ. Paris 1, IHPST

      Théorèmes de Gödel

      Lieu : Salle Jean Cavaillès 132, Bât 1R2

      [Séminaire]


    • Jeudi 14 janvier 2016 14:30-16:00 - Etienne Fieux - IMT, Picard

      Combinatoire topologique et théorie des graphes

      Lieu : Salle Jean Cavaillès 132, Bât 1R2

      [Séminaire]


    • Jeudi 21 janvier 2016 14:30-16:00 - Etienne Fieux - IMT, Picard

      Combinatoire topologique et théorie des graphes

      Lieu : Salle Jean Cavaillès 132, Bât 1R2

      [Séminaire]


    • Jeudi 28 janvier 2016 14:30-16:00 - Damiano Mazza - CNRS, LIPN

      Lambda calcul et correspondance de Curry-Howard

      Lieu : Salle Jean Cavaillès 132, Bât 1R2

      [Séminaire]


    • Jeudi 11 février 2016 14:30-16:00 - Sergei Soloviev - IRIT

      Logique, catégories, lambda calcul

      Lieu : Salle Jean Cavaillès 132, Bât 1R2

      [Séminaire]


    • Jeudi 24 mars 2016 14:00-15:30 - Assia Mahboubi - INRIA

      Preuves mécaniques de théorèmes

      Résumé : Les assistants de preuve sont des logiciels qui permettent de formaliser, manipuler, vérifier des énoncés mathématiques et leurs preuves dans un langage logique parfaitement codifié. L’un des bénéfices ---mais pas le seul--- de ce travail de formalisation est qu’il rend complètement mécanique le processus de vérification des démonstrations. S’il est clair que la description explicite des mathématiques dans le langage formel de la logique est possible en principe, c’est l’informatique qui la rend réalisable et intéressante en pratique. Un tel travail de formalisation relève d’une façon (encore) inhabituelle de faire des mathématiques avec l’aide d’une machine.
      Dans cette leçon, nous essaierons d’illustrer en quoi il consiste et quels sont les ingrédients variés qu’il met en oeuvre : les propriétés (méta-)mathématiques de la logique sous-jacente, les facilités offertes par l’assistant de preuve, la réflexion sur les définitions formelles des objets mathématiques, les choix de conception et d’architecture des bibliothèques formelles,…

      Lieu : Salle Jean Cavaillès 132, Bât 1R2

      [Séminaire]


    • Jeudi 31 mars 2016 14:30-16:00 - Vadim Schechtman - IMT, Picard

      Géométrie arithmétique

      Lieu : Salle Jean Cavaillès 132, Bât 1R2

      [Séminaire]


    • Mardi 21 mars 2017 14:00-15:30 - Andrew Arana - Université Paris 1, IHPST

      Pourquoi nos géométries ? Des réflexions issues de la perspective de la théorie des modèles.

      Lieu : Salle Pellos 207 Bât 1R2

      Notes de dernières minutes : Séance conjointe avec le séminaire "Géométrie algébrique, champs, homotopie".

      [Séminaire]

0 | 10 | 20 | 30

  • Groupe de travail sur les groupes quantiques


    • Mercredi 13 mars 2013 14:00-16:00 - Toulisse Jérémy

      Ensembles amassés II

      Lieu : 1R2 salle 132

      [Séminaire]


    • Mercredi 20 mars 2013 14:00-16:00 - Jean-Marc Schlenker

      (X,A)-structure sur l’espace de Teichmüller

      Lieu : Salle 132

      [Séminaire]


    • Mercredi 10 avril 2013 14:00-16:00 - Jean-Marc Schlenker

      Structure amassée de l’espace de Teichmüller

      Lieu : Salle 132

      [Séminaire]


    • Jeudi 11 avril 2013 14:00-16:00 - Jérémy Toulisse

      L’espace de PSL_3-Teichmüller

      Lieu : Salle 132

      [Séminaire]


    • Mercredi 24 avril 2013 14:00-16:00 - Van Binh Bui

      Relations entre espace de Teichmüller quantique et double modulaire

      Lieu : Salle 132

      [Séminaire]


    • Mercredi 29 mai 2013 14:00-16:00 - - Van Binh Bui

      Relations entre espace de Teichmüller quantique et double modulaire II

      Lieu : Salle 132

      [Séminaire]



    • Lundi 9 février 2015 15:45-17:00 - Anthony Genevois - IMT

      Généralités sur les groupes SQ-universels.

      Résumé : En prélude d’un prochain exposé sur la SQ-universalité des groupes acylindriquement hyperboliques, nous verrons comment cette propriété nous renseigne sur la "largeur" du groupe ; en particulier, cela nous permettra de voir une application de la petite simplification. La présentation se conclura en exhibant de nombreux exemples de groupes SQ-universels, comprenant des groupes libres, des groupes de surfaces, des groupes d’Artin à angles droits, etc.

      [Séminaire]


    • Lundi 23 février 2015 15:45-17:00 - Francois Costantino - IMT

      Sur le théorème de remplissage hyperbolique de Thurston et Jorgensen

      Résumé : Nous commencerons par rappeler quelques faits de base sur les variétés hyperboliques de dimension 3. Puis nous donnerons l’énoncé du théorème de remplissage hyperbolique de Thurston et Jorgensen et nous discuterons les lignes de sa démonstration en suivant l’approche de Neumann et Zagier.

      Lieu : Bat 1R3, Salle 11

      [Séminaire]


    • Lundi 2 mars 2015 15:45-17:00 - Francois Costantino - IMT

      Sur le théorème de remplissage hyperbolique de Thurston et Jorgensen II

      Résumé : Fin de preuve.

      Lieu : bat 1R2, salle 207

      [Séminaire]


    • Lundi 9 mars 2015 15:45-17:00 - Anne Lonjou - IMT

      Un théorème de petite simplification.

      Résumé : L’objet de l’exposé sera de comprendre, dans un cas particulier,
      la preuve d’un théorème de petite simplification de Lamy et Cantat.
      Nous nous placerons dans le cas où le groupe agit sur un arbre.

      Lieu : Bat 1R2, salle 132

      [Séminaire]


    • Lundi 16 mars 2015 15:45-17:00 - Anthony Genevois - IMT

      Quelques critères de non hyperbolicité acylindrique.

      Résumé : Nous montrerons quelques petites propriétés sur les groupes acylindriquement hyperboliques, à partir desquelles nous serons en mesure d’exhiber plusieurs familles classiques de groupes qui ne sont pas acylindriquement hyperboliques.

      [Séminaire]


    • Lundi 23 mars 2015 15:45-17:00 - Anne Lonjou - IMT

      Un théorème de petite simplification, II.

      Résumé : Apres les preliminaires, le plat de resistance.

      [Séminaire]


    • Lundi 30 mars 2015 15:45-17:00 - Anthony Genevois - IMT

      SQ-universalité des groupes acylindriquement hyperboliques.

      Résumé : Notre objectif sera de donner les grandes idées d’une preuve, due à Dahmani et Guirardel, de la SQ-universalité des groupes acylindriquement hyperboliques.

      Lieu : Salle 11 - RDC 1R3

      [Séminaire]

0 | 10 | 20 | 30


    • Jeudi 23 mars 2017 15:30-16:30 - Magali Tournus - Institut de mathématiques de Marseille

      Estimating the division rate and kernel for a model describing the amyloid fragmentation

      Résumé : The question is to determine what is the effect of agitation on the fragmentation rate (what is the probability that a fibril of given length breaks apart ?) and fragmentation kernel (where a fibril is more likely to break apart ?) of proteins of amyloid types.
      The talk will be composed with two parts.
      In the first part, I will focus on the new experiments which were performed at Kent university, and on how the data they provide can be used.
      On the second part, I will focus on the well-posedness of the inverse problem.
      In particular, I aim to detail the theoretical recontruction formula we obtain for
      the fragmentation kernel. One of the delicate points is to prove that the Mellin transform of the asymptotic profile never vanishes, which is done using the Wiener-Hopf representation.

      [Séminaire]


    • Jeudi 20 avril 2017 15:30-16:30 - Charline Smadi - Institut des systèmes complexes, Paris

      Beyond clonal interference : scrutinizing the complexity of the dynamics of three competing clones

      Résumé : In large adapting clonal species, several beneficial mutations can co-occur, affecting the process of adaptation. Several experimental and theoretical works showed that clonal interference can be an important factor limiting the rate of adaptation. However, models done so far do not embrace the diversity of observed dynamics in experiments, especially non-linear dynamics. We develop here a stochastic model with explicit competitive interactions between clones and describe the complexity of the emerging dynamics of the population, supposing that two mutants enter a resident population in a single copy at different times. These clones can either get fixed, be lost or be maintained in polymorphism, depending on their competitive abilities. We show that frequency-dependent selection can give rise to unexpected dynamics : competitive interactions between clones can foster adaptation by increasing or decreasing both the fixation probability and time of beneficial mutations. We finally estimate the likeliness of frequency-dependent selection and of the different potential final states of the population by assuming prior distributions of the ecological parameters. We show that under our assumptions, non-transitive fitness and non-linear dynamics are likely to play an important role into the adaptation of large clonal populations

      [Séminaire]


    • Jeudi 4 mai 2017 15:30-16:30 - Mélisande ALBERT - Institut de mathématiques de Toulouse

      Tests multiples d’indépendance pour des processus ponctuels : une approche Unitary Events par permutation basée sur le nombre de coïncidences

      Résumé : Les dépendances éventuelles entre zones du cerveau ou entre neurones, et en particulier le phénomène de synchronisation, sont communément admises comme faisant partie intégrante du code neuronal. Il est aujourd’hui possible d’enregistrer simultanément les temps de potentiels d’action (trains de spikes) de différents neurones. Une première étape consiste donc à comprendre si deux trains de spikes, modélisés par des processus ponctuels, correspondant à deux neurones, sont indépendants ou non.
      Après avoir présenté le contexte et les méthodes les plus utilisées en neurosciences, ainsi que leurs limites, je présenterai un test d’indépendance non-paramétrique entre deux processus ponctuels, basé sur le principe de permutation. Théoriquement, il est prouvé qu’il est de bon niveau (non asymptotique), et ce même lorsque les valeurs critiques sont approchées par des méthodes de Monte Carlo. Des garanties en termes de puissance asymptotique ont également été démontrées. Les performances pratiques ainsi qu’une comparaison avec les méthodes usuelles seront illustrées sur des données simulées.
      Ensuite, je présenterai la procédure de tests multiples permettant de détecter les synchronisations entre les trains de spikes. Cette méthode sera comparée également aux méthodes usuelles sur des données simulées avant d’être appliquées à de vraies données.
      Ce travail est en collaboration avec Yann Bouret, Magalie Fromont et Patricia Reynaud-Bouret.

      [Séminaire]


    • Jeudi 18 mai 2017 15:30-16:30 - Sébastien Lion - Centre d'Écologie Fonctionnelle et Évolutive, Montpellier

      Spatial evolutionary ecology : short- and long-term theory

      Résumé : A fundamental question in evolutionary ecology is to understand how dispersal shapes the genetic and epidemiological structure of populations, and how, in turn, population structure may affect the evolution of life-history traits. Using a model of host-parasite interactions, I contrast two approaches for studying this feedback in spatially structured populations.
      First, I present a novel approach to jointly model epidemiological and evolutionary dynamics, using a combination of spatial moment equations and quantitative genetics. A key insight of this approach is that, even in the absence of long-term evolutionary consequences, spatial structure can affect the short-term evolution of pathogens because of the build-up of spatial differentiation in mean virulence. This analysis can be used to understand and predict the transient evolutionary dynamics of pathogens and the emergence of spatial patterns of phenotypic variation.
      Second, assuming that ecological and evolutionary time scales are decoupled, I recover previous results based on adaptive dynamics theory. The selective pressures on parasite virulence can then be summed up by a simple balance between genetic and epidemiological effects.
      Finally, I discuss the connections with kin selection theory, particularly highlighting that the relevant genetic structure can be captured by relatedness coefficients in both the short- and long-term theories.

      [Séminaire]


    • Jeudi 15 juin 2017 15:30-16:30 - Robin Aguilée - Laboratoire Evolution et diversité biologique, UPS

      Some predictions on the responses of plants to climate change

      Résumé : Facing climate changes, species can survive through migration allowing
      them to track the spatial redistribution of their favorables
      environmental conditions (spatial range shift) or/and through species
      adaptation to the new local environmental conditions (ecological niche
      shift). Using quantitative genetics models, we showed that because of
      pollen dispersal, plant populations may escape from extinction thanks to
      both a spatial range shift and an ecological niche shift. This may allow
      plants to survive under a faster climate change than expected when
      species only migrate. We then included our prediction of the magnitude
      of the ecological niche shift into simRShift, a process-based model
      allowing to predict the spatial distribution of species under climate
      change in an explicit landscape. We simulated the spatial distribution
      of 8 tree species in France over the 21st century. We showed that unless
      the adaptive potential is very high, the demographic processes and the
      structure of the landscape affect much more the spatial distribution
      changes than adaptation induced by climate change.

      [Séminaire]


    • Jeudi 5 octobre 2017 15:30-16:30 - Marina Amado Ferreira - Imperial college London

      The dynamics of a packed cell tissue

      Résumé : In a packed tissue neighboring cells exert high pressure on each other at all times. Such mechanical interactions are believed to play an important role on the dynamics of the tissue. However, their contribution to the tissue shape is not yet fully understood. In this talk I will first present a framework to model this type of systems based on a geometric representation of individual cells. The cells interact with each other aiming at minimizing a local potential energy, subjected to non-overlapping constraints. Mathematically, the problem is formulated as a non-convex minimization problem, which will be tackled with the recently proposed damped Arrow-Hurwicz algorithm. I then apply this framework to the study of a pseudo-stratified epithelial tissue. Some preliminary numerical results will be presented to show how the tissue may be deformed when simple defects on individual cells are introduced.

      [Séminaire]

0 | 10 | 20 | 30


    • Mardi 1er avril 2014 09:00-10:30 - Nguyen Ngoc Cuong - Jagiellonian University (Krakow, Poland)

      The Kaehler rank of compact complex manifolds

      Résumé : We will expose a recent preprint of Ionut Chiose, http://arxiv.org/abs/1308.2043

      [Séminaire]


    • Mardi 15 avril 2014 09:00-10:30 - Dan Popovici - IMT

      Déformations des variétés complexes compactes 2

      [Séminaire]


    • Vendredi 18 avril 2014 09:00-10:00 - Dan Popovici - IMT

      Déformations des variétés complexes compactes 3

      [Séminaire]

0 | 10


    • Mardi 4 mars 2014 11:00-12:00 - Matthieu Astorg

      GdT des doctorants de dynamique complexe

      Résumé : Espace de Teichmüller dynamique II

      Lieu : Salle Picard

      [Séminaire]


    • Mardi 18 mars 2014 11:00-12:00 - Fabrizio Bianchi

      Courants et dynamique complexe à plusieurs variables II

      [Séminaire]



    • Vendredi 20 mars 2015 09:00-11:00 - Vincent Guedj - IMT

      Méthodes de viscosité 2

      [Séminaire]


    • Vendredi 3 avril 2015 09:00-10:00 - Stéphane Druel (séminaire commun) - Grenoble

      Sur le fibré anticanonique d’un feuilletage régulier

      Notes de dernières minutes : séminaire commun avec "systèmes dynamiques"

      [Séminaire]


    • Vendredi 19 février 2016 10:30-11:30 - Hugues Auvray - Orsay

      Noyaux de Bergman sur les surfaces de Riemann épointées

      Résumé : On se donne une surface de Riemann compacte, et un nombre fini de points
      sur cette surface, vues comme "singularités". On considère également, sur le complémentaire de ces points, une métrique kählérienne $\omega$, égale à la métrique hyperbolique cusp de Poincaré au voisinage des singularités, et on interprète globalement $\omega$ comme courbure d’une métrique hermitienne singulière $h$ d’un certain fibré en droites $L$ sur la surface de départ.
      Le but de cet exposé est de présenter des résultats concernant les noyaux
      de Bergman associés à la donnée $(\omega, L^p, h^p)$, $p\gg 1$, obtenus avec X. Ma et G. Marinescu. On donnera plus précisément une asymptotique, valide jusqu’aux singularités, de ces noyaux lorsque la puissance $p$ du fibré tend vers
      l’infini.

      Notes de dernières minutes : Rencontre ANR EMARKS

      [Séminaire]

0 | 10


    • Jeudi 22 janvier 2015 15:30-16:30 - Charles Bordenave - IMT

      Processus déterminantaux

      Lieu : salle 106 1R1

      [Séminaire]


    • Jeudi 5 février 2015 15:30-16:30 - Joseph Najnudel

      Processus déterminantaux

      Lieu : salle 106 1R1

      [Séminaire]


    • Jeudi 5 mars 2015 15:30-16:30 - Thierry Delmotte

      Processus déterminantaux

      [Séminaire]


    • Jeudi 12 mars 2015 15:30-16:30 - Jonas Kahn

      Processus déterminantaux

      [Séminaire]


    • Jeudi 19 mars 2015 15:30-16:30 - Yanqi Qiu

      Equivalence de mesures de Radon pour les processus déterminantaux associés aux espaces de Hilbert de fonctions holomorphes

      Résumé : Dans cet exposé, je vais présenter un travail récent avec Alexander Bufetov. On obtient des formules explicites, sous forme des fonctionnels multiplicatifs régularisés liés aux certains produits de Blaschke, des dérivées de Radon-Nikodym entre toutes les measures de Palm pour les processus déterminantaux associés aux espaces de Bergman pondérés sur le disque, ce dernier processus dans le cas uniforme décrit la distribution des zéros de la fonction analytique Gaussienne sur le disque de Poincaré. Notre méthode s’applique également aux processus déterminantaux associés aux espaces de Fock pondérés, incluant en particulier le processus de Ginibre.

      Lieu : salle 106 1R1

      [Séminaire]


    • Jeudi 26 mars 2015 15:30-16:30 - Fanny Augeri - IMT

      Processus déterminantaux

      [Séminaire]


    • Jeudi 2 avril 2015 15:30-16:30 - Joseph Najnudel

      Processus déterminantaux

      Résumé : théorie analytique des nombres et processus déterminantaux

      Lieu : salle 106 1R1

      [Séminaire]



Evénement Important



    • Jeudi 1er octobre 2015 -

      40 ans du laboratoire MIAT

      Notes de dernières minutes : Site web de l’évènement : http://mia.toulouse.inra.fr/40ans

      [Séminaire]



    • Vendredi 6 mai 2016 09:00-18:00 - https://www.msri.org/workshops/705

      Geometric Flows in Riemannian and Complex Geometry

      [Séminaire]


    • Vendredi 10 juin 2016 09:00-18:00 - http://bcc.impan.pl/16Symposium/

      Symposium on complex analysis and geometry

      [Séminaire]


    • Vendredi 17 juin 2016 09:00-18:00 - http://www.cimi.univ-toulouse.fr/complex-geometry-and-beyond/en/recent-advances-complex-differential-geometry

      Recent Advances in Complex Differential Geometry

      [Séminaire]


    • Vendredi 24 juin 2016 09:00-18:00 - http://www.cimi.univ-toulouse.fr/complex-geometry-and-beyond/en/new-methods-birational-geometry

      New methods in birational geometry

      [Séminaire]




  • Colloquium de l IMT


    • Vendredi 20 octobre 2017 14:00-15:00 - Patrick Gérard - Orsay

      Matrices de Hankel, problèmes spectraux inverses et systèmes hamiltoniens intégrables turbulents

      Résumé : Les matrices de Hankel sont des opérateurs intervenant dans différents domaines de l’analyse, et qui se définissent très simplement : si c(n) est le terme général d’une suite de nombres complexes, la matrice de Hankel associée est la matrice semi-infinie de coefficients c(j+k). J’essaierai d’expliquer comment résoudre certains problèmes spectraux inverses associés à de tels opérateurs --- c’est-à-dire : comment retrouver les c(n) à partir de la donnée des valeurs propres d’opérateurs construits à partir de la matrice de Hankel associée.
      Puis je montrerai comment ce résultat permet d’explorer les propriétés de certains
      systèmes hamiltoniens en dimension infinie, présentant la double particularité d’être intégrables et d’admettre des trajectoires génériques turbulentes…en un sens à préciser !

      [Séminaire]


    • Vendredi 8 décembre 2017 14:00-15:00 - Dan-Virgil Voiculescu - University of California, Berkeley

      A glimpse at bi-free probability

      Résumé : https://www.math.univ-toulouse.fr/spip.php?article502

      Lieu : Amphi Schwartz, IMT

      Notes de dernières minutes : https://www.math.univ-toulouse.fr/spip.php?article502

      [Séminaire]





    • Lundi 14 mai 11:00-12:00 - Simon Brendle - Columbia University

      Singularity formation in geometric flows

      Résumé : Geometric flows such as the Ricci flow and the mean curvature flow play a central role
      in differential geometry. The main goal is to analyze the behavior of the flow shortly
      before a singularity forms, when the curvature is very large. I will discuss recent results
      that give precise information on the nature of singularities for suitable classes of initial
      data.

      Lieu : UPS, bâtiment 1R3, amphithéâtre Schwartz

      [Séminaire]


    • Lundi 14 mai 14:00-15:00 - Nader Masmoudi - New-York University at Abu Dhabi & Courant Institute

      The Orr mechanism : stability/instability of the Couette flow

      Résumé : The theory of hydrodynamic stability at high Reynolds number started already in the 19th century, with the likes of Stokes, Reynolds, Kelvin, Orr and others. Some of the first early theoretical works were done by Rayleigh, including for example, the inflection point theorem of the spectral instability on inviscid planar shear flows, and the exact solutions for Couette flow in the absence of boundaries constructed by Kelvin which showed linear stability independent of Reynolds number.
      The Orr mechanism was introduced in 1907 to give an explanation to the so-called Sommerfeld paradox. The relevance of the Orr mechanism to hydrodynamic stability has been debated over the years. We will discuss the crucial importance of the Orr mechanism for nonlinear stability problems at high Reynolds numbers in 2D fluid mechanics, or at least for the Couette flow.
      We will review works in collaboration with Jacob Bedrossian and Yu Deng on the nonlinear asymptotic stability and instability of the Couette flow for the 2D incompressible Euler dynamic. On one hand, we prove that perturbations to the Couette flow which are small in Gevrey spaces G^s of class 1/s with s > 1/2 converge strongly in L^2 to a shear flow which is close to the Couette flow. Moreover in a well chosen coordinate system, the solution converges in the same Gevrey space to some limit profile. On the other hand, we prove the existence of small perturbations in G^s with s < 1/2 such that the solution becomes large in Sobolev regularity and hence yields instability.
      We will also review few results in the viscous case obtained in collaboration with Jacob Bedrossian and Pierre Germain. Indeed, when the viscosity is small, the notion of stability threshold relates the allowed size of the perturbation to the viscosity.

      Lieu : UPS, bâtiment 1R3, amphithéâtre Schwartz

      [Séminaire]


    • Vendredi 15 juin 14:00-15:00 - Frédéric Barbaresco - THALES Land & Air systems

      De la Géométrie de l’Information à la physique statistique des systèmes dynamiques

      Résumé : https://www.math.univ-toulouse.fr/spip.php?article502

      Lieu : Amphi Schwartz, IMT, bat. 1R3 - Amphi Schwartz, IMT, bat. 1R3

      Notes de dernières minutes : https://www.math.univ-toulouse.fr/spip.php?article502

      [Séminaire]





    • Du 9 novembre 2015 09:00 au 10 novembre 2015 17:00 -

      Workshop CIMI "Sequential learning and applications"

      Résumé : The Institut de Mathématiques de Toulouse and the Institut de Recherche en Informatique de Toulouse are currently organizing a thematic trimester on machine learning at Université Paul Sabatier. This event is part of the LabEx CIMI.
      In this framework, a workshop on "Sequential learning and applications" will take place on November 9 and 10, 2015. Topics include online convex optimization and convex analysis, prediction with expert advice, multi-armed bandits, online combinatorial problems, recurrent neural networks, as well as recent applications for, e.g., recommender systems, information retrieval, and social media analysis.
      The registration to the workshop is free of charge but compulsory ; please visit our website.

      Lieu : Amphithéâtre Schwartz, bâtiment 1R3, Université Paul Sabatier.

      [Séminaire]


    • Du 16 novembre 2015 09:30 au 17 novembre 2015 18:00 -

      Journées big data

      Résumé : Pour la troisième année consécutive, l’Université Paul Sabatier de Toulouse organise cet automne des rencontres sur les défis posés par les Big Data à la recherche en mathématique et en informatique, mais aussi à l’industrie.
      L’édition 2015 s’inscrit dans le cadre du trimestre thématique du Labex CIMI consacré au machine learning, et comportera deux volets :

      • le 16 novembre, une journée co-organisée par les GDR MADICS et MascotNUM du CNRS sur le calcul haute performance et les Big Data
      • le mardi 17 novembre, une journée de rencontre industrie-recherche présentant quelques grands défis et projets.

      Plus d’informations sur le site web.

      Lieu : 1R3-amphithéâtre Schwartz et U4-amphithéâtre Concorde, Université Paul Sabatier

      [Séminaire]



    • Du 11 au 12 décembre 2015 - Conférence en l'honneur de Ian SCHINDLER

      Séminaire Analyse-EDP de l UT1

      Résumé : Avec comme intervenants
      Vendredi matin
      K.Tintarev (Uppsala, Suede), Adimurthi (Bangalore, Inde), J.Giacomoni (Pau)
      Vendredi apres-midi
      P. Drabek (Tchéquie), J. Hernandez (Madrid), M.Maris (Toulouse)
      Samedi matin
      P.Takac (Allemagne), Y.Egorov (Toulouse), L.Cardoulis (Marseille),


      Lieu : Université Toulouse 1, Manufacture des Tabacs, Ceremath, MC101 - 21 Allées de Brienne, 31000 TOULOUSE

      Notes de dernières minutes :

      [Séminaire]



    • Mardi 8 novembre 2016 11:00-12:00 - Jose Leon - Université Caracas

      Séminaire de Statistique

      [Séminaire]



    • Jeudi 5 juin 2014 09:30-15:30 -

      journée sur la première partie du seizième problème de Hilbert

      Résumé : Il s’agit de présenter quelques résultats récentes sur la topologie des courbes projectives réelles algébriques.
      Les exposés seront accessibles à un publique non spécialiste.
      9h30 : Victor Zvonilov "On the fundamental group of a space of nonsingular trigonal curves "
      10h30 : Stepan Orevkov "Une généralisation de la méthode des tresses pour deux pinceaux de droites "
      11h30 : Séverine Fiedler "Classification des pinceaux cubiques réelles avec huit points de base en position convexe "
      13h30 : Benoit Chevallier "Une présentation du problème du nombre maximal d’ovales de hauteur donnée "
      14h30 : Thomas Fiedler "Une restriction topologique pour les M-courbes Z/3Z-symétriques "

      Lieu : salle Cavaillés bat. 1R2

      [Séminaire]



    • Vendredi 26 avril 2013 14:30-18:00 - Steve Awodey and Ulrich Kohlenbach

      Worskhop CSPM Computer Science, Philosophy, Mathematics

      Résumé : The workshop aims to stimulate discussions between computer scientists, philosophers and mathematicians and is a satellite event of the 19th Conference TYPES 2013 "Types for Proofs and Programs", Toulouse, 22-26 April 2013 organized by IRIT.
      Friday 26 April, 14h30-17h45, Mathematical Institute, Amphi Schwartz
      14h30-15h45 : Steve Awodey, School of Mathematics, Institute for Advanced Study, Princeton, U.S.A. & Department of Philosophy, Carnegie Mellon University, Pittsburgh, U.S.A
      TBA
      16h15-17h45 : Ulrich Kohlenbach, Department of Mathematics, Technische Universität Darmstadt, Germany,
      TBA
      The workshop is organized by Sébastien Maronne, Mathematical Institute of Toulouse (IMT) and Sergei Soloviev, Computer Science Institute of Toulouse (IRIT), hosted by the Mathematical Institute, and with financial support by FREMIT.

      Lieu : Amphi Schwartz

      [Séminaire]


    • Vendredi 18 mars 2016 14:00-15:30 - Jean-Michel Salanskis - Université Paris Ouest, IREPH

      Une dispersion nouvelle ? Conférence inaugurale du trimestre thématique CIPPMI

      Résumé : Logique, mathématiques et philosophie ont toujours été reconnues comme des disciplines « reines », comme des disciplines qui chapeautent, gouvernent, couronnent le savoir humain. Elles l’ont été, notamment, parce qu’on les voyait comme apportant à ce dernier une unité profonde (au niveau de son langage, de ses thèmes ou de ses fondements). Aujourd’hui, un nouveau partenaire – une sorte de trublion – s’ajoute à ces trois vénérables : l’informatique. La question que je voudrais me poser est si son intervention ajoute une couche à l’unité, ou entraîne une dispersion inattendue.

      Lieu : Auditorium Herbrand - IRIT, Rez de chaussée

      [Séminaire]



    • Vendredi 26 avril 2013 14:30-18:00 - Steve Awodey and Ulrich Kohlenbach

      Worskhop CSPM Computer Science, Philosophy, Mathematics

      Résumé : The workshop aims to stimulate discussions between computer scientists, philosophers and mathematicians and is a satellite event of the 19th Conference TYPES 2013 "Types for Proofs and Programs", Toulouse, 22-26 April 2013 organized by IRIT.
      Friday 26 April, 14h30-17h45, Mathematical Institute, Amphi Schwartz
      14h30-15h45 : Steve Awodey, School of Mathematics, Institute for Advanced Study, Princeton, U.S.A. & Department of Philosophy, Carnegie Mellon University, Pittsburgh, U.S.A
      TBA
      16h15-17h45 : Ulrich Kohlenbach, Department of Mathematics, Technische Universität Darmstadt, Germany,
      TBA
      The workshop is organized by Sébastien Maronne, Mathematical Institute of Toulouse (IMT) and Sergei Soloviev, Computer Science Institute of Toulouse (IRIT), hosted by the Mathematical Institute, and with financial support by FREMIT.

      Lieu : Amphi Schwartz

      [Séminaire]


    • Vendredi 18 mars 2016 14:00-15:30 - Jean-Michel Salanskis - Université Paris Ouest, IREPH

      Une dispersion nouvelle ? Conférence inaugurale du trimestre thématique CIPPMI

      Résumé : Logique, mathématiques et philosophie ont toujours été reconnues comme des disciplines « reines », comme des disciplines qui chapeautent, gouvernent, couronnent le savoir humain. Elles l’ont été, notamment, parce qu’on les voyait comme apportant à ce dernier une unité profonde (au niveau de son langage, de ses thèmes ou de ses fondements). Aujourd’hui, un nouveau partenaire – une sorte de trublion – s’ajoute à ces trois vénérables : l’informatique. La question que je voudrais me poser est si son intervention ajoute une couche à l’unité, ou entraîne une dispersion inattendue.

      Lieu : Auditorium Herbrand - IRIT, Rez de chaussée

      [Séminaire]



    • Vendredi 27 mars 2015 09:00-11:00 - http://www.ub.edu/kawa6/

      Relâche (KAWA)

      [Séminaire]


    • Vendredi 29 janvier 2016 09:00-16:00 - GRACK

      Rencontre ANR GRACK à Paris

      [Séminaire]


    • Vendredi 19 février 2016 10:30-11:30 - Hugues Auvray - Orsay

      Noyaux de Bergman sur les surfaces de Riemann épointées

      Résumé : On se donne une surface de Riemann compacte, et un nombre fini de points
      sur cette surface, vues comme "singularités". On considère également, sur le complémentaire de ces points, une métrique kählérienne $\omega$, égale à la métrique hyperbolique cusp de Poincaré au voisinage des singularités, et on interprète globalement $\omega$ comme courbure d’une métrique hermitienne singulière $h$ d’un certain fibré en droites $L$ sur la surface de départ.
      Le but de cet exposé est de présenter des résultats concernant les noyaux
      de Bergman associés à la donnée $(\omega, L^p, h^p)$, $p\gg 1$, obtenus avec X. Ma et G. Marinescu. On donnera plus précisément une asymptotique, valide jusqu’aux singularités, de ces noyaux lorsque la puissance $p$ du fibré tend vers
      l’infini.

      Notes de dernières minutes : Rencontre ANR EMARKS

      [Séminaire]


    • Vendredi 11 mars 2016 09:00-16:00 - KAWA 7

      http://www.ub.edu/kawa7/

      [Séminaire]


    • Vendredi 25 mars 2016 09:00-16:00 - - https://www.msri.org/workshops/704

      Kähler Geometry, Einstein Metrics, and Generalizations

      [Séminaire]





    • Mardi 2 décembre 2014 10:30-12:00 - Claire Christophe - IMT

      Soutenance de thèse.

      Lieu : Amphithéâtre L. Schwartz

      [Séminaire]



    • Vendredi 4 octobre 2013 10:00-11:00 - Truong Hong Minh - IMT

      Formes normales de singularités de feuilletages et invariants de glissement

      Notes de dernières minutes : soutenance de thése

      [Séminaire]



    • Lundi 8 juillet 2013 10:00-11:00 - Duong Quang Hai - Université Paul Sabatier

      Limites d’idéaux de fonctions holomorphes et de fonctions de Green pluricomplexes

      Lieu : Amphithéâtre Laurent Schwartz

      Notes de dernières minutes : Soutenance de thèse

      [Séminaire]