Institut de Mathématiques de Toulouse

Agenda



Séminaires


  • Algèbre, Dynamique et Topologie


    • Mardi 4 décembre 11:00-12:00 - Lê Dung Trang

      Sur la topologie des polynômes complexes

      Résumé : Dans le cas des polynômes complexes assez peu de résultats sur la topologie sont connus contrairement à la topologie locale des hypersurfaces complexes.
      Nous présenterons un panorama de l’étude de la topologie des polynômes complexes et nous donnerons quelques problèmes ouverts.

      Lieu : Salle Pellos (207, bât 1R2)

      [Séminaire]


    • Mardi 25 décembre 11:00-12:00 -

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

      Résumé : Noël

      [Séminaire]


    • Mardi 1er janvier 2019 11:00-12:00 -

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

      Résumé : Jour de l’an.

      [Séminaire]


    • Mardi 5 février 2019 11:00-12:00 - Jitendra Bajpai - Göttingen

      Séminaire de Géométrie et Topologie

      Résumé : TBA

      [Séminaire]


    • Mardi 12 février 2019 11:00-12:00 - Roland van der Veen

      Séminaire de Géométrie et Topologie

      [Séminaire]


    • Mardi 19 février 2019 11:00-12:00 - Nathan Geer

      Séminaire de Géométrie et Topologie

      [Séminaire]


    • Mardi 26 février 2019 11:00-12:00 -

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

      Résumé : Vacances d’hiver

      [Séminaire]


    • Mardi 23 avril 2019 11:00-12:00 -

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

      Résumé : Vacances de printemps.

      [Séminaire]


    • Mardi 30 avril 2019 11:00-12:00 -

      Pas de séminaire

      Résumé : Ecole de Matamale

      [Séminaire]


    • Mardi 21 mai 2019 11:00-12:00 - Benjamin Audoux

      Séminaire de Géométrie et Topologie

      Lieu : Salle Pellos (207 Bât 1R2)

      [Séminaire]

0 | ... | 60 | 70 | 80 | 90 | 100 | 110 | 120 | 130 | 140 | 150

  • 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

      Tic tac : une histoire de résonance et de synchronisation

      Résumé : Le mouvement de balancier est sans doute le mouvement périodique qui nous est le plus familier. Dans cet exposé, nous parlerons donc du balancement d’un pendule : quelle est sa période d’oscillations, comment la calcule-t-on ? Comment amplifier son mouvement ? Les enfants sur leur balancoire ou les moines de Saint Jacques de Compostelle avec le "Botafumeiro" ont trouvé depuis bien longtemps une réponse intuitive..
      La situation devient intéressante et…complexe quand on considère deux oscillateurs : prenez l’exemple de deux pendules comtoises accrochées à un même mur, au bout d’un certain temps, elles finissent par se synchroniser. Dans cet exposé, il sera question de ce mécanisme découvert par Huygens mais aussi de ce qui se passe quand on couple BEAUCOUP d’oscillateurs ensemble. Si le temps le permet, on dira comment un tel système mécanique peut modéliser une chaine d’ADN (en idéalisant un peu…).

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

      [Séminaire]


    • Jeudi 25 octobre 13:15-14:00 - Jean-Baptiste Hiriart-Urruty - Institut de Mathématiques de Toulouse

      Bien choisir le nom… pourquoi pas celui d’un-e mathématicien-ne ?

      Résumé : Le choix d’une appellation dans les lieux publics (rues, écoles primaires, stades…) ou dans les lieux plus plus connotés (amphithéâtres d’universités, nouveaux lycées, médiathèques, hôpitaux…) est régi par quelques textes de lois simples… et le bon sens. Pourtant, son application est différente, contrastée, suivant les endroits, suivant les époques, suivant l’implication des habitants aussi, et parmi eux nos collègues scientifiques. A cet égard, on ne peut pas dire que la place des mathématicien-nes soit très marquante ni visible. Nous ferons état de quelques expériences sur le sujet, et susciterons le débat dont le titre du présent Café de l’IMT est une amorce.

      [Séminaire]


    • Jeudi 22 novembre 13:15-14:00 - Nicolas Renon - Calmip

      Olympe, une Montagne, une Femme célèbre et aussi le nouveau Supercalculateur de CALMIP

      Résumé : CALMIP vient de mettre en production son nouveau système de Calcul baptisé "Olympe" (Olympe).
      C’est l’occasion de présenter cette nouvelle architecture (cpu, gpu) et les premiers résultats scientifiques (calcul en mécanique des fluides à plus d’1 Milliard de points).
      Ce sera (si on a le temps) l’occasion de revenir sur l’évolution des machines, et en particulier des processeurs, depuis une quinzaine d’année : est-ce l’algorithme qui fait les machines ou les machines qui font les algorithmes ?

      Lieu : Amphi Schwartz

      [Séminaire]


    • Jeudi 20 décembre 13:15-14:00 - Jean-Claude Yakoubsohn - IMT

      Pavages

      [Séminaire]

0 | 10 | 20

  • Séminaire Analyse-EDP de l UT1


    • Vendredi 21 septembre 10:48-12:30 - Peter TAKAC - Univ. Rostock, Allemagne

      Séminaire Analyse-EDP de l UT1

      Résumé : TBA

      Lieu : Manufacture des Tabacs, bat C, salle MC101 - 21 allée de Brienne
      A partir de Compans, prendre le 1 ou le boulevard Marechal Leclerc, traverser le canal ; la Manufacture est devant vous

      [Séminaire]


    • Vendredi 23 novembre 12:57-13:57 - Cherif AMROUCHE - Univ Pau

      Séminaire Analyse-EDP de l UT1

      [Séminaire]

0 | 10 | 20

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


    • Mardi 3 avril 14:00-15:00 - Olivier Schiffmann - Orsay

      Algèbres de Hall cohomologiques associées aux courbes

      Résumé : Pour $X$ une surface de Riemann complexe, on construit une structure d’algèbre
      associative sur les espaces de cohomologie (singulières)
      $$\mathbfH_1=\bigoplus_r,d H^*(Coh_r,d,\mathbbC), \qquad \mathbfH_1=\bigoplus_r,d H^*(Higgs_r,d,\mathbbC)$$
      des champs de faisceaux cohérents, resp. de Higgs sur $X$. On motivera l’introduction de ces algèbres de Hall ’cohomologiques’
      (de dimension un et deux respectivement), et on en donnera quelques propriétés (par exemple des systèmes de générateurs ou des présentations en
      terme combinatoire (algèbre de battage).)

      [Séminaire]


    • Mardi 24 avril 14:00-15:00 - Frédéric Déglise - CNRS, Univ. Dijon

      TBA

      [Séminaire]


    • Mardi 15 mai 14:00-15:00 - Grégory Ginot - IMJ, Paris 13

      Limite N large de la théorie de Chern-Simons et quantification de la topologie des cordes.

      [Séminaire]


    • Mardi 22 mai 14:00-15:00 - Louis Clément Lefèvre - Univ. Grenoble

      Théorie de Hodge mixte et représentations des groupes fondamentaux des variétés algébriques.

      Résumé : La théorie de Hodge mixte de Deligne fournit des structures supplémentaires sur les groupes de cohomologie des variétés algébriques complexes. Depuis, des structures de Hodge mixtes ont été construites sur les groupes d’homotopie rationnels de telles variétés par Morgan et Hain. Dans cette lignée, nous construisons des structures de Hodge mixtes sur des invariants associés aux représentations linéaires des groupes fondamentaux des variétés algébriques complexes lisses. Le point de départ est la théorie de Goldman et Millson, que nous revisitons avec des algèbres L-infini.

      [Séminaire]


    • Mardi 29 mai 14:00-15:00 - Leyth Akrout - IMT

      Homologie de Hochschild et homologie des espaces de lacets

      [Séminaire]


    • Mardi 5 juin 14:00-15:00 - Enrico Fatighenti - Warwick university

      TBA

      [Séminaire]


    • Mardi 19 juin 14:00-15:00 - Jonathan Block - UPenn

      Towards a Hermitian Yang Mills Equation in the derived category

      [Séminaire]


    • Mardi 26 juin 14:00-15:00 - Guiseppe Ancona - IRMA (Strasbourg)

      Sur la conjecture standard de type Hodge pour les variétés abéliennes de dimension quatre

      Résumé : Soient S une surface et V le Q espace vectoriel des diviseurs modulo équivalence numérique. Le produit d’intersection définit un accouplement parfait sur V. On sait depuis les années Trente qu’il est de signature (1,n).
      Dans les années Soixante Grothendieck a conjecturé une généralisation de cet énoncé aux cycles de codimension quelconque sur des variétés générales. En caractéristique zéro cette conjecture est une conséquence des relations de Hodge Riemann.
      En caractéristique positive assez peu est connu.
      A l’aide de formules du produit classiques sur les formes quadratiques nous allons traduire cette question de signature en un problème p-adique. Il se trouve que ce dernier peut être attaqué avec la théorie de Hodge p-adique. Cela nous permettra de démontrer la question originale pour les variétés abéliennes de dimension quatre.

      [Séminaire]


    • Mardi 10 juillet 14:00-15:30 - Alexei Bondal

      Homotopie en Géométrie Algébrique

      Résumé : TBA

      [Séminaire]


    • Mardi 9 octobre 14:00-15:00 - Tasos Moulinos - IMT

      Derived Azumaya algebras and twisted K-theory

      [Séminaire]

0 | ... | 110 | 120 | 130 | 140 | 150 | 160 | 170 | 180 | 190 | 200

  • Séminaire de l équipe MIP


    • Mardi 25 septembre 11:00-12:00 - Hayato Chiba - Institute of Mathematics for Industry, Kyushu University

      Synchronization of the Kuramoto model on networks

      Résumé : The Kuramoto model is the most famous model for synchronization phenomena.
      In this talk, the Kuramoto model defined on networks is considered.
      A bifurcation from the incoherent state to the synchronization state at the critical coupling strength is investigated based on the generalized spectral theory.
      This reveals that a network topology affects the dynamics through the eigenvalue problem of a certain Fredholm integral operator.

      Lieu : Amphithéâtre Schwartz

      [Séminaire]



    • Mardi 9 octobre 11:00-12:00 - Pierre Cantin - Institut de Mathématiques de Toulouse

      Optimal discontinuous Petrov-Galerkin method for (non) linear problems

      Résumé : n the context of the approximation of PDEs using finite elements, this talk presents a general strategy to obtain automatically a discrete well-posed problem using optimal test functions, from a well-posed continuous problem. The resulting scheme belongs to the class of Petrov-Galerkin methods, and is equivalent to a minimal residual formulation in dual norms. Applications with numerical results are shown for the singularly perturbed reaction-diffusion problem and for the nonlinear monotone advection-diffusion problem.

      Lieu : Salle MIP

      [Séminaire]


    • Mardi 16 octobre 11:00-12:00 - François James - MAPMO, Université d'Orléans

      Un modèle de transition de phase avec métastabilité

      Résumé : "[…] we must distinguish between metastable and stable equilibrium states. A body in a metastable state may not return to it after a sufficient deviation” (Landau & Lifshitz). Le but de cet exposé est de proposer un cadre mathématique permettant de justifier cette définition. Fondé sur le formalisme de Gibbs pour un fluide de van der Waals, ce modèle offre une formulation de la règle des phases, de la loi des aires, et une caractérisation des états stables et métastables comme points d’attraction d’un système dynamique bien choisi.

      Lieu : Amphi L. Schwartz

      [Séminaire]


    • Mardi 23 octobre 11:00-12:00 - Mythily Ramaswamy - TIFR CAM Bangalore

      Control of linear viscoelastic models

      Résumé : In this talk I discuss some linear models of
      viscoelastic fluids of Jeffreys and Maxwell type and their
      controllability aspects.

      Lieu : Amphi L. Schwartz

      [Séminaire]


    • Mardi 6 novembre 11:00-12:00 - Julien Royer - Institut de Mathématiques de Toulouse

      Décroissance de l’énergie locale dans un guide d’onde dissipatif

      Résumé : Dans cet exposé je présenterai le problème de la décroissance de l’énergie locale (ou globale) pour l’équation des ondes, puis je m’attarderai sur le cas particulier d’un guide d’onde avec amortissement au bord. Ce sera l’occasion de montrer quelques difficultés liées à l’analyse spectrale d’opérateurs non-autoadjoints. Il y aura donc de l’énergie qui décroît (mais en fait pas tant que ça), des opérateurs de domaines pas très sympathiques et des valeurs propres qui se promènent de l’axe réel vers l’axe réel.

      Lieu : Salle MIP

      [Séminaire]


    • Mardi 13 novembre 11:00-12:00 - Jessica Guerand - DPMMS, University of Cambridge

      Conditions de bord effectives pour des équations de Hamilton-Jacobi

      Résumé : Dans cet exposé, nous présenterons un résultat sur les conditions aux limites d’équations d’Hamilton-Jacobi du premier ordre ainsi qu’un résultat d’unicité de solutions dans ce même cadre. Ces conditions aux limites permettent de modéliser des problèmes de contrôle optimal, supraconductivité et trafic routier. La notion de solution adaptée à ces équations est la notion de solution de viscosité introduite par M.G Crandall et P.L Lions en 1981. Tout comme pour les équations hyperboliques, il s’agit d’exhiber des conditions aux limites, ici de type dynamique, pour lesquels on a un problème bien posé. Plus précisément, il est connu que le problème est bien posé dans le cas où on impose au bord une condition relaxée (sens faible), c’est à dire qu’il s’agit de vérifier au bord soit la condition aux limites, soit l’équation de l’intérieur du domaine. Si on souhaite que seule la condition aux limites soit vérifiée au bord (sens fort), nous verrons que le problème est bien posé pour certaines conditions et uniquement celles-ci. De plus, en considérant la relation d’équivalence « avoir les mêmes solutions », on peut regrouper en classe d’équivalence les conditions aux limites (qui sont toutes vérifiées au sens faible). Nous montrons que dans chaque classe il y a une unique condition vérifiée au sens fort. Nous expliciterons ces conditions particulières et expliquerons comment faire le lien entre une condition aux limites quelconque et l’unique condition vérifiée au sens fort de sa classe d’équivalence.

      Lieu : Amphi L. Schwartz

      [Séminaire]


    • Mardi 20 novembre 11:00-12:00 - Julia Charrier - I2M, Aix-Marseille Université

      Existence, uniqueness of the solution and convergence of finite volume approximations for hyperbolic scalar conservation laws with multiplicative noise

      Résumé : In this talk we are interested in multi-dimensional nonlinear scalar conservation laws forced by a multiplicative noise with a general time and space dependent flux-function. We address simultaneously theoretical and numerical issues. More precisely we establish existence and uniqueness of a stochastic entropy solution together with the convergence of numerical approximations obtained by the use of monotone finite volume schemes. We will present a new proof based on the use of the numerical approximation to get both the existence and the uniqueness of the solution. It avoids in particular to deal with viscous approximations, as it was done in previous works. Moreover the quantitative bounds used to establish uniqueness constitute an important preliminary work to the establishment of strong error estimates. This is a joint work with Caroline Bauzet, Vincent Castel and Thierry Gallouët.

      Lieu : INSA

      [Séminaire]


    • Mardi 27 novembre 11:00-12:00 - Nicolas Seguin - Université de Rennes 1

      Stabilité de certains états stationnaires de certains systèmes hyperboliques non conservatifs

      Résumé : L’entropie relative est un outil standard en EDP pour mesurer par
      exemple l’écart entre deux solutions d’un même problème. Pour les
      systèmes d’EDP hyperboliques, elle a été introduite indépendamment par
      DiPerna et Dafermos à la fin des années 70. Néanmoins, dans ce cadre,
      l’entropie relative n’est pas symétrique, ce qui implique que la
      solution de référence doit être régulière. Dans ce travail, on se
      place dans le cas où la solution de référence est stationnaire et on
      montre que l’hypothèse de régularité peut être levée.

      Lieu : Amphi Schwartz

      [Séminaire]


    • Mardi 4 décembre 11:00-12:00 - Matthieu Léautaud - Université Paris-Diderot et école polytechnique

      Prolongement unique et intensité des ondes dans les zones d’ombre

      Résumé : On s’intéresse aux questions de prolongement unique suivantes : l’observation de l’intensité d’une onde sur un petit sous-domaine pendant un intervalle de temps détermine t-elle l’énergie totale de l’onde ? Quelle est l’intensité de l’onde que l’on perçoit dans l’ombre d’un obstacle ?
      Dans cet exposé, on donnera une estimée de stabilité qui répond à ces questions de façon quantitative.
      Si le temps le permet, on donnera une conséquence sur le coût de la contrôlabilité (approchée ou exacte) de l’équation des ondes.
      Il s’agit un travail en collaboration avec Camille Laurent.

      Lieu : Amphi Schwartz

      [Séminaire]

0 | ... | 110 | 120 | 130 | 140 | 150 | 160 | 170 | 180 | 190 | 200

  • Séminaire de Probabilités


    • Mardi 20 novembre 09:45-10:45 - Thomas Leblé - Courant Institute

      Sine-beta comme unique minimiseur pour l’énergie libre du log-gas 1d

      Résumé : Le processus Sine-beta, défini par Valkó-Virág et Killip-Stoiciu, décrit la limite en loi du comportement microscopique des valeurs propres de certains modèles de matrices aléatoires, qui peuvent aussi être vues comme un système de physique statistique à une dimension : le log-gas.
      On peut dériver, à toute température \beta, une fonctionnelle d’énergie libre F_\beta pour le log-gas en volume infini, qui admet Sine-beta comme minimiseur, mais la question de l’unicité était en suspens.
      Avec M. Erbar et M. Huesmann, nous répondons par l’affirmative : en montrant que la fonctionnelle F_beta est convexe par déplacement (en un certain sens adapté à la manipulation de processus ponctuels infinis), on en déduit le fait que Sine-beta est l’unique minimiseur de l’énergie libre, ce qui en donne une caractérisation "variationnelle".

      [Séminaire]


    • Mardi 27 novembre 09:45-10:45 - Guillaume Aubrun - ICJ

      Produits tensoriels d’espaces normés et jeux XOR

      Résumé : Si X et Y sont des espaces normés de dimension finie, soit rho(X,Y) la constante d’équivalence entre les normes projective et injective sur X \otimes Y. On démontre des bornes inférieures sur rho(X,Y) en fonction des dimensions de X et Y. Ceci peut s’interpréter comme un avantage universel des stratégies globales par rapport aux stratégies locales pour les jeux de type XOR dans toute "théorie probabiliste généralisée" (ce qui inclut par exemple la mécanique quantique). Pour plus de détails, voir arXiv:1809.10616. L’exposé se voudra aussi élémentaire que possible.

      [Séminaire]


    • Mardi 4 décembre 09:45-10:45 - Pierre Tarrago - LPSM

      Méthode de subordination pour la déconvolution spectrale

      Résumé : La déconvolution classique consiste à retrouver la
      distribution d’une variable aléatoire perturbée par un bruit. Dans cet
      exposé, je vais expliquer une version non-commutative de ce problème :
      l’objectif est de retrouver la distribution spectrale d’une matrice
      modifiée par un bruit matriciel. Contrairement au cas classique, il
      n’existe pas de noyau intégral similaire à la transformée de Fourier, ce
      qui rend le problème en général impossible à résoudre. Je vais présenter
      une approche possible par l’analyse complexe qui fonctionne dans le
      régime "libre", c’est à dire dans le cas où la taille des matrices tend
      vers l’infini. Cet exposé s’appuie sur des résultats obtenus en
      collaboration avec Octavio Arizmendi (CIMAT) et Carlos Vargas (CIMAT).

      [Séminaire]


    • Mardi 11 décembre 09:45-10:45 - Pierre Patie - Cornell

      Un entrelacement d’idées pour des constantes ergodiques.

      Résumé : L’étude de la vitesse de convergence d’une dynamique markovienne vers sa mesure d’équilibre est un domaine très actif et fondamental des mathématiques appliquées. Dans le cadre des opérateurs auto-adjoints, des outils remarquables (inégalités fonctionnelles, fonctions de Lyapunov) ont été élaborés pour obtenir des résultats précis sur ces taux de convergence. L’objectif principal de cet exposé est de présenter, dans le cadre d’opérateurs non-locaux et non-auto-adjoints, des techniques d’entrelacement que nous avons développées récemment pour obtenir des résultats explicites sur les constantes ergodiques.
      Nous montrerons tout d’abord comment l’entrelacement combiné avec des techniques de l’analyse non-harmonique permet d’établir, dans le cadre hilbertien, le phénomène d’hypocoercivité avec deux constantes explicites qui généralisent de façon naturelle l’estimée classique du trou spectral. Nous poursuivrons en introduisant des relations d’entrelacement complètement monotone dont nous expliquerons les différents champs d’applications. Nous nous attarderons en particulier sur son utilité dans l’étude de la convergence vers l’équilibre en entropie. Ces approches seront illustrées par des exemples comprenant les opérateurs de Jacobi et de Laguerre (continus et discrets) non-locaux. Cet exposé s’appuie sur des travaux en commun avec M. Savov et L. Miclo.

      [Séminaire]


    • Mardi 18 décembre 09:45-10:45 - Guillaume Cébron - IMT

      Liberté avec amalgamation pour des matrices invariantes par permutation

      Résumé : La théorie des probabilités libres est un outil robuste pour l’étude spectrale des grandes matrices aléatoires. En particulier, les matrices aléatoires unitairement invariantes sont asymptotiquement libres. L’objectif de cet exposé est de présenter une extension récente de ce phénomène : les matrices aléatoires invariantes par permutation sont asymptotiquement libres avec amalgamation sur l’espace des matrices diagonales. Travail en collaboration avec Au, Dahlqvist, Gabriel et Male.

      [Séminaire]


    • Mardi 5 février 2019 09:45-10:45 - Julian Tugaut - Télécom Saint-Etienne

      Bassins d’attraction pour l’équation des milieux granulaires

      Résumé : Dans cet exposé, nous donnons des résultats désormais classiques pour un exemple typique de l’équation des milieux granulaires : la non-unicité des probabilités invariantes et la convergence en temps long vers l’une de ces trois mesures. Ensuite, nous fournissons des conditions suffisantes assurant que la solution de l’équation des milieux granulaires converge vers la probabilité invariante avec une espérance strictement positive

      [Séminaire]

0 | ... | 80 | 90 | 100 | 110 | 120 | 130 | 140 | 150 | 160 | 170

  • Séminaire de Statistique


    • Mardi 16 octobre 11:00-12:00 - Giovanni Migliorati - Laboratoire Jacques-Louis Lions - Sorbonne Université

      Approximation adaptative par moindres carrés pondérés en dimension élevée

      Résumé : Dans cet exposé, nous présentons quelques résultats sur la stabilité et l’erreur d’approximation de la méthode des moindres carrés pondérés, qui est utilisée pour approcher une fonction qui dépend d’un nombre arbitraire (potentiellement élevé) de paramètres. L’estimateur par moindres carrés pondérés est construit à partir d’évaluations de la fonction, et les points d’évaluation sont tirés au hasard en fonction d’une certaine mesure de probabilité. En dimension quelconque, quand le nombre d’évaluations est linéairement proportionnel (à un logarithme près) à la taille de l’espace d’approximation, l’estimateur est stable et donne une erreur d’approximation optimale. Ensuite, nous présenterons des résultats récents sur l’approximation adaptative par moindres carrés pondérés, et discuterons le développement des méthodes numériques adaptatives avec des espaces de polynômes et ondelettes.

      Lieu : Salle 106, Bat 1R1

      [Séminaire]


    • Mardi 23 octobre 11:00-12:00 - Alix Rigal - Centre National de Recherches Météorologiques

      Evolution of daily Temperature due to global change

      Résumé : We consider the problem of estimating non-stationary temperature normals (the mean), at a daily timescale, which take into account deformations due to the global change of the annual cycle.
      In a second step, we consider not only the mean, but the whole distribution. Thus, we will present our methodological choices in a quantile regression framework to acquire the evolution of centiles throughout the 21st century.
      Although this technique provides a very convenient and powerful tool for studying changes in the distribution of a climate variable, this point of view raises issues that need to be addressed, such as quantile crossing.

      Lieu : Salle 106, Bat 1R1

      [Séminaire]


    • Mardi 6 novembre 11:00-12:00 - Peter D. Grünwald - CWI, Amsterdam

      A Tight Excess Risk Bound via a Unified PAC-Bayesian-Rademacher-Shtarkov-MDL Complexity

      Résumé : We present a novel notion of complexity that interpolates between and generalizes some classic existing complexity notions in learning theory : for estimators like empirical risk minimization (ERM) with arbitrary bounded losses, it is upper bounded in terms of data-independent Rademacher complexity ; for generalized Bayesian estimators, it is upper bounded by the data-dependent information complexity (also known as stochastic or PAC-Bayesian, KL(posterior ∥ prior) complexity. For (penalized) ERM, the new complexity reduces to (generalized) normalized maximum likelihood (NML) complexity, i.e. a minimax log-loss individual-sequence regret. Our first main result bounds excess risk in terms of the new complexity. Our second main result links the new complexity via Rademacher complexity to L2(P) entropy, thereby generalizing earlier results of Opper, Haussler, Lugosi, and Cesa-Bianchi who did the log-loss case with L∞. Together, these results recover optimal bounds for VC- and large (polynomial entropy) classes, replacing localized Rademacher complexity by a simpler analysis which almost completely separates the two aspects that determine the achievable rates : ’easiness’ (Bernstein) conditions and model complexity.

      Lieu : Salle 106, Bat 1R1

      [Séminaire]


    • Mardi 20 novembre 11:00-12:00 - Franziska Göbel - University of Potsdam

      On Graph Wavelets

      Résumé : In this talk I will present a multiscale approach to construct a data-adapted basis-like (Parseval frame) set of functions F which allows for a decomposition of every square-integrable function defined on the vertices of a finite undirected weighted graph. To this end, we follow the idea of Coulhon et al. (2012) for constructing localized frames on relatively general spaces.
      We have a look at the properties of F and at its application in the denoising setup which Is based on the property of being a Parseval frame. Given noisy values of an unknown function y_i=f(x_i)+epsilon_i at a finite number of points x_i we want to recover f at these points. Based on a neighborhood graph representation of the points x_i we derive an estimate of f using the frame decomposition and a thresholding method to the coefficients.
      If time allows we furthermore show that the considered random neighborhood graphs satisfy with high probability a doubling volume condition as well as a local Poincaré inequality under some assumptions on the underlying space and the sampling. These two properties are essentially for the spatial localization of the frame elements in the setting of Coulhon et al. (2012).
      This talk is based on joint work with Gilles Blanchard and Ulrike von Luxburg.

      Lieu : Salle 106, Bat 1R1

      [Séminaire]


    • Mardi 27 novembre 11:00-12:00 - Carin Ludeña - Universidad Central de Venezuela

      Modular decomposition and random graph models

      Résumé : Decompositions of finite structures have been studied in different branches of discrete mathematics for over 40 years. In 1967, T. Gallai gave a prime decomposition theorem for simple graphs which has given rise to a robust literature on the subject, namely related to characterization of certain graph properties and optimization algorithms over graphs. However, there has apparently not been much connection between graph decompositions and applications in probability and statistics. In this talk we will give a brief overview of the general theory, provide some interesting insight on what graph decomposition looks like for common random graph models and discuss a graph model based on this notion.

      Lieu : Salle 106, Bat 1R1

      [Séminaire]


    • Mardi 4 décembre 11:00-12:00 - Mathieu Ribatet - Université de Montpellier

      Autour de la structure des processus max-stables

      Résumé : Les processus max-stables jouent un rôle fondamental dans la modélisation spatiale des événements rares, e.g., inondations, vagues de chaleur… Dans cet exposé nous allons repartir de zéro en nous intéressant à leurs représentations spectrales ; représentation qui n’est rien de plus qu’une construction probabiliste simple de cette classe de processus. Par la suite, nous nous intéresserons à la structure particulière induite par cette représentation spectrale, ce qui nous permettra de parler de la difficulté de simuler (conditionnellement) ces processus, d’introduire des mesures (spatiales) de dépendance adaptées mais aussi d’inférence.

      Lieu : Salle 106, Bat 1R1

      [Séminaire]


    • Mardi 11 décembre 11:00-12:00 - Olivier Roustant - Mines Saint-Etienne

      Sobol-Hoeffding decomposition : bounds and extremes.

      Résumé : This talk presents applications of the Sobol-Hoeffding decomposition at the interplay between sensitivity analysis, functional inequalities and extreme theory.
      The Sobol-Hoeffding decomposition expands a multivariate (square integrable) function f(x1, …, xd) as a sum of orthogonal terms with increasing complexity. It gives a variance decomposition (ANOVA), which is useful to quantify the influence of the inputs, as well as their interactions. In particular, the variance component corresponding to a set of variables and all its supersets, called "superset importance", brings a very useful information. Indeed, superset importance for single elements ("total effects") are helpful to screen out unessential variables among x1, …, xd. Superset importance for pairs ("total interactions") are helpful to screen out unessential second-order interactions, and discover additive structures in f.
      In the first part of the talk, we focus on computational shortcuts for approximating superset importance, using the gradient of f. We present a synthesis of results for upper bounds, based on Poincaré inequalities. We also show new results for lower bounds, based on geometry.
      In the second part, we focus on a particular multivariate function, the "stable tail dependence function" (s.t.d.f), which contains the dependence information for extreme values. In particular, asymptotic independence is related to additivity in the s.t.d.f. Superset importance for pairs can then be used to define a visualization tool ("tail dependograph") for extremal dependence analysis. In addition to illustrations, we give computational details and inference results.

      Lieu : Salle 106, Bat 1R1

      [Séminaire]


    • Mardi 18 décembre 11:00-12:00 - Vincent Feuillard - Airbus

      A multivariate extreme value theory approach to anomaly clustering and visualization

      Lieu : Salle 106, Bat 1R1 - Motivated by a wide variety of applications from fraud detection to aviation safety management, unsupervised anomaly detection is the subject of much attention in the machine-learning literature. We developed novel statistical techniques for tackling anomaly detection borrowing concepts and tools from machine-learning and multivariate extreme value analysis both at the same time. Usually, anomaly detection algorithms declared extremes as anomaly, whereas all extremes values are not anomalies. We study the dependance structure of rare events in the context of high dimensional and propose an algorithm to detect this structure under a sparse assumption. This approach can reduce drastically the false alarm rate : anomalies then correspond to the observation of simultaneous very large/extreme values for groups of variables that have not been identified yet. A data-driven methodology for learning the sparse representation of extreme behaviours has been developed in Goix (2016). An advantage of this method lies in its straightforward interpretability. In addition, the representation of the dependance structure in the extremes thus designed induces a specific notion of (dis-)similarity among anomalies, that paves the way for elaborating visualization tools for operators in the spirit of those proposed for large graphs. We also describe how this approach applies to functional data collected for aircraft safety purposes after an appropriate preliminary filtering stage.

      [Séminaire]


    • Mardi 8 janvier 2019 11:15-12:15 - Gérard Letac - IMT

      Les quantiles d’une famille exponentielle

      Résumé : Soit $P$ une probabilité sur $R$ et $P_t (dx)=e^{xt} P(dx)/L(t)$. Il est facile de voir que $t$ est la moyenne de $P_t$ pour tout $t$ si et seulement si $P$ est gaussienne. C'est beaucoup moins aisé si on remplace le mot moyenne par le mot médiane, voire le mot quantile. Nous traitons aussi le cas analogue des lois gamma (voir ArXiv 1810-11917). Ceci utilise le résultat de Choquet Deny de 1960 qui dit que si $H$ est une densité de probabilité et si $f$ est positive alors $f=f*H$ si et seulement si $f$ est barycentre des $x\mapsto e^{xt} $ tels que $\int e^{xt}H(x)dx $. En collaboration avec Mauro Piccioni et Bartosz Kolodziejek.

      Lieu : Salle 106, Bat 1R1

      [Séminaire]


    • Mardi 15 janvier 2019 11:15-12:15 - Nicolas Bousquet - Sorbonne Université

      Séminaire de Statistique

      Lieu : Salle 106, Bat 1R1

      [Séminaire]

0 | ... | 90 | 100 | 110 | 120 | 130 | 140 | 150 | 160 | 170 | 180

  • 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 23 novembre 09:00-10:00 - Ninh Van Thu - Vietnam National University, Hanoi

      A note on pseudoconvex hypersurfaces of infinite type in $\mathbb C^n$

      Résumé : The purpose of this talk is twofold. The first one is to prove that there exists a smooth pseudoconvex real hypersurface germ $(M,p)$ of D'Angelo infinite type in $C^{n+1 }$ such that it does not admit any (singular) holomorphic curve in $C^{n+1}$ tangent to $M$ at $p$ to infinite order. The second one is to show that there exists a smooth pseudoconvex real hypersurface germ $(\tilde M, p)$ of Bloom-Graham infinite type in $C^{n+1}$ that does not admit any (singular) holomorphic curve in $C^{n+1}$ tangent to $M$ at $p$ to infinite order. This is a joint work with Professor John Erik Fornaess.

      Lieu : salle 207, bat 1R2

      [Séminaire]


    • Vendredi 23 novembre 10:30-11:30 - Ghani Zeghib - ENS, Lyon

      Actions causales.

      Résumé : Une structure causale sur une variété consiste en la donnée d’un champ de cônes tangents : un cône convexe saillant dans l’espace tangent de tout point. Nous nous intéressons au groupe d’automorphismes d’une telle structure et particulièrement au cas où ce groupe agit non-proprement.

      Lieu : salle 207, bat 1R2

      [Séminaire]


    • Vendredi 30 novembre 10:30-11:30 - Johan Taflin - Université de Dijon

      Mélangeurs en dynamique holomorphe

      Résumé : Nous allons expliquer comment un mécanisme simple provenant de la dynamique réelle, appelé mélangeurs, permet d’obtenir des endomorphismes du plan projectif complexe $\mathbb P^2$ ayant certaines propriétés de manière robuste. Parmi ces propriétés, il y a le fait de bifurquer, d’avoir un point selle avec une variété instable dense dans $\mathbb P^2,$ d’avoir un ensemble post-critique dense etc.

      Lieu : salle 207, bat 1R2

      [Séminaire]


    • Vendredi 7 décembre 10:30-11:30 - Emmanuel Paul - IMT

      Dynamique de l’équation de Painlevé II à travers le point de vue isomonodromique.

      Résumé : Les équations de Painlevé sont toutes des conditions d’ isomonodromie d’une famille de connexions linéaires. Elles peuvent donc être vues comme un feuilletage sur un espace de modules de connexions, fibré sur une base (les birapports des points singuliers pour Painlevé VI). On décrira cette géométrie dans le cas de Painlevé II, pour lequel la base est plus difficile à détecter. Les structures de Poisson sont un ingrédient essentiel pour cette description.

      Lieu : salle 207, bat 1R2

      [Séminaire]


    • Vendredi 14 décembre 10:30-11:30 - Jean-François Mattei - IMT

      Hypersurfaces analytiques invariantes d’un germe de feuilletage singulier de $(C^n,0)$

      Résumé : On sait que qu’un feuilletage singulier de $(C^n,0)$ non-dicritiques et sans singularité de type « selle-noeud » après réduction, possèdent toujours un germe d’hypersurface analytique irréductible invariante (séparatrice). Nous donnons un minorant du nombre de séparatrice à partir de propriétés de certaines composantes lieu singulier du diviseur exceptionnel de la réduction (composantes nodales).
      Après avoir donné les grandes lignes de la preuve de ce résultat, j’exposerai quelques problèmes ouverts relatifs à ces feuilletages.
      (Travail en collaboration avec F. Cano Univ. de Valladolid, Espagne, et M. Ravara Vago, Univ. de Florianpolis, Brésil)

      Lieu : salle 207, bat 1R2

      [Séminaire]


    • Vendredi 11 janvier 2019 09:00-10:00 - Juan Sebastian David

      Le groupoÏde de Malgrange pour la famille hypergéométrique.

      Lieu : salle 207, bat 1R2

      [Séminaire]


    • Vendredi 11 janvier 2019 10:30-11:30 - Ilia Smilga - Higher School of Economics, Moscou

      Représentations milnoriennes et non-milnoriennes.

      Résumé : En 1977, Milnor a formulé la conjecture suivante : tout groupe discret de transformations affines agissant proprement sur l’espace affine est virtuellement résoluble. On sait maintenant que cet énoncé est faux ; l’objectif est à présent de mieux cerner les contre-exemples à cette conjecture. Chaque groupe qui viole cette conjecture "vit" dans un certain groupe affine algébrique, qu’on peut spécifier en donnant un groupe linéaire et une représentation de celui-ci. Les représentations qui donnent lieu à des contre-exemples sont alors appelées non-milnoriennes. Je vais parler des avancées obtenues dans la question de la classification de ces représentations non-milnoriennes.

      Lieu : salle 207, bat 1R2

      [Séminaire]


    • Vendredi 18 janvier 2019 10:30-11:30 - Maria Angeles Zurro - Universitad Autonoma Madrid

      A préciser

      Lieu : salle 207, bat 1R2

      [Séminaire]

0 | ... | 40 | 50 | 60 | 70 | 80 | 90 | 100 | 110 | 120 | 130

  • 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 9 mai 2019 13:30-14:30 -

      TBA

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

      [Séminaire]


    • Jeudi 23 mai 2019 13:30-14:30 -

      TBA

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

      [Séminaire]


    • Jeudi 6 juin 2019 13:30-14:30 -

      TBA

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

      [Séminaire]


    • Jeudi 20 juin 2019 13:30-14:30 -

      TBA

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

      [Séminaire]

0 | 10 | 20

  • 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


    • Jeudi 9 mai 2019 10:30-11:30 - Benoît Claudon - Université de Rennes 1

      TBA

      [Séminaire]


    • Jeudi 23 mai 2019 10:30-11:30 - Yohan Brunebarbe - Université de Bordeaux

      TBA

      [Séminaire]


    • Jeudi 13 juin 2019 10:30-11:30 -

      Workshop Geometric Analysis

      [Séminaire]


    • Jeudi 20 juin 2019 10:30-11:30 - Christian Lehn - TU Chemnitz

      TBA

      [Séminaire]

0 | ... | 40 | 50 | 60 | 70 | 80 | 90 | 100 | 110 | 120 | 130

  • 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


    • Lundi 22 octobre 12:30-13:30 - Lorick Huang - INSA

      Stochastic algorithms working group

      Résumé : We will continue with Lorick’s introduction :
      In the very first talk of this workshop, I will introduce the concept of stochastic algorithms and present the main convergence results. Specifically, I will present the Robbins-Siegmund theorem, and its applications to Robbins Monro algorithms, the Central limit theorem and finally, the comparison between the behavior of the algorithms and the solution of the ODE. A few classical example will also be presented.
      This group will be working on a participative basis, the first sessions will be the opportunity to organise future sessions. Reading suggestions for tentative presentations can be found at the following address :
      https://lite.framacalc.org/gdtalgostotoulouse2018

      Lieu : 1R3, frist floor, room MIP, IMT UPS.

      [Séminaire]


    • Lundi 5 novembre 12:30-13:30 - Edouard Pauwels

      Stochastic algorithms working group.

      Résumé : We will be discussing the recent preprint, "Stochastic subgradient method converges on tame functions" by Davis and colleagues :
      https://arxiv.org/pdf/1804.07795.pdf
      The woking group is still looking for volunteers to present some work on the topic of stochastic algorithms and its connections to machine learning. Some suggestions are given there (feel free to add your own) :
      https://lite.framacalc.org/gdtalgostotoulouse2018

      Lieu : Room 207, building 1R2, UPS.

      [Séminaire]


    • Lundi 19 novembre 12:30-13:30 - Edouard Pauwels

      GdT, algorithmes stochastiques

      Résumé : We will finish discussion the preprint, "Stochastic subgradient method converges on tame functions" by Davis and colleagues :
      https://arxiv.org/pdf/1804.07795.pdf

      Lieu : Salle MIP, batiment 1R3, UPS.

      [Séminaire]


    • Lundi 26 novembre 12:30-13:30 - Damien Aliénor - LAAS & Thalès Group

      Anomaly based intrusion detection for an avionic embedded system

      Résumé : This paper firstly describes the challenges raised by the introduction of Intrusion Detection Systems (IDS) in avionic systems. In particular, we discuss some specific characteristics of such systems and the advantages and limitations of signature-based and anomaly-based techniques in an avionics context. Based on this analysis, a framework is proposed to integrate a Host-based Intrusion Detection System (HIDS) in the general Integrated Modular Avionics (IMA) development process, which fits avionic systems constraints. The proposed HIDS architecture is composed of three modules : anomaly detection, attack confirmation, and alert sending. To demonstrate the efficiency of this HIDS, an attack injection module has also been developed. The overall approach is implemented on an IMA platform running a cockpit display function, to be representative of embedded avionic systems.

      Lieu : Salle Pellos 207 bât 1R2

      [Séminaire]


    • Lundi 3 décembre 12:30-13:30 - Gersende Fort - IMT

      GdT algorithmes stochastiques : On perturbed proximal gradient algorithms

      Résumé : Présentation basée sur l’article On perturbed proximal gradient algorithms (JMLR 2017 ; Atchadé/Fort/Moulines)
      Objet :

      • algorithme de gradient stochastique couplé à du proximal pour l’optimisation d’une fonction composite, cas convexe
      • lorsque (a) l’approximation du gradient est biaisée, (b) avec un biais qui ne s’atténue pas au cours des itérations. Il s’agit donc d’explorer des algorithmes type "approximation stochastique" (couplés à du proximal) lorsque le Monte Carlo n’est PAS i.i.d.

      On répondra à la question : à quelles conditions sur le biais et sur le pas de gradient, cet algorithme hérite-t-il du même comportement que l’algorithme de gradient-proximal exact ?
      Le modèle et les conditions seront motivés / interprétées par
      • certains problèmes d’estimation par maximum de vraisemblance pénalisé, lorsque pénalisation non régulière ;
      • et pour des approximations de gradient utilisant du Monte Carlo biaisé (du MCMC typiquement).

      Lieu : Salle 106, batiment 1R1, UPS.

      [Séminaire]

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

  • 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 13 novembre 15:30-16:30 - B. Toen - IMT

      Introduction à la cohomologie elliptique à la Lurie

      [Séminaire]


    • Mardi 20 novembre 15:30-16:30 - Tasos Moulinos - IMT

      Spectral schemes I

      [Séminaire]

0 | 10 | 20 | 30 | 40 | 50

  • 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 7 décembre 14:00-15:30 - Stefanie Petermichl - IMT

      Sur les opérateurs classiques en analyse harmonique et leurs interprétations modernes

      Résumé : The Hilbert transform is the operator that supplies harmonic conjugate
      functions through the use of boundary values of harmonic functions.
      It has a simple representation as a convolution kernel operator and also
      as a Fourier multiplier. It is also known, at least since Gundy and
      Varopoulos, that it can be written as a certain operation on a
      stochastic integral along Brownian paths. This probabilistic viewpoint
      is taken further through the observation that the Hilbert transform is
      also a coefficient shift in a simple wavelet system. Last, we
      introduce the important fact that this highly cancellative operator
      can be dominated by positive quantities via a procedure inspired by
      probabilistic methods.
      We discuss certain applications of these interpretations, that span
      regularity problems of the Beltrami equation, weighted norm estimates,
      vector valued problems, multi-variate stationary processes, and high
      dimensional phenomena in a geometric setting.

      Lieu : Amphi Schwartz, IMT, bat. 1R3

      [Séminaire]

0 | 10



    • 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]