Institut de Mathématiques de Toulouse

Les événements de la journée


Avec résumé | Sans résumé

3 événements


  • Rough paths

    Jeudi 1er juin 2017 10:30-11:30 - Coutin Laure - IMT

    Rough paths : le cas Young

    [En savoir plus]


  • Mathématiques de l’apprentissage

    Jeudi 1er juin 2017 12:30-13:30 - Clément Bouttier - Airbus / Enac / IMT

    Algorithme de Piyavskii et son extension stochastique, bornes de regret et convergence pratique

    Résumé : Au cours de cet exposé, nous présenterons un algorithme bien connu de la communauté d’optimisation Lipschitz, à savoir l’algorithme de Piyavskii. Bien que proposé dans les 70, il repose sur des principes très populaires aujourd’hui dans la communauté de l’optimisation bandit. Nous montrerons que cet algorithme atteint le même niveau de performance théorique que les algorithmes de référence dans ce domaine. L’algorithme de Piyavskii étant originalement proposé dans un contexte déterministe, nous en proposons une extension stochastique basée sur de l’évaluation par mini-batch. De même nous présentons des bornes sur l’évolution de l’erreur d’optimisation de cet algorithme.
    L’ensemble des résultats théoriques sera accompagné d’expériences numériques.

    Lieu : bâtiment 1R2, salle 207 (Pellos)

    [En savoir plus]


  • Séminaire Info-Math

    Jeudi 1er juin 2017 16:00-17:00 - Eduardo Hermo - IRIT

    Relational semantics and Turing progressions

    Résumé : Turing progressions arise by iteratedly adding consistency statements to a base theory. Different notions of consistency give rise to different Turing progressions. In this talk, we will present a modal system (TSC) that generates principles that hold between the different Turing progressions under a natural arithmetical interpretation. We will also discuss the completeness of TSC w.r.t. a minor variation of Ignatiev’s model for the closed fragment of Japaridze’s provability logic GLP.

    Lieu : IRIT Salle 001

    [En savoir plus]