Institut de Mathématiques de Marseille, UMR 7373




Rechercher


Accueil >

21 septembre 2017: 1 événement

Séminaire

  • Séminaire Logique et Interactions

    Jeudi 21 septembre 11:00-12:00 - Charles GRELLOIS - LSIS, Aix-Marseille Université

    Two type-theoretic approaches to probabilistic termination

    Résumé : A fundamental result in lambda-calculus states that terms that admit a simple type are strongly normalizing : in other words, they always terminate. The simply-typed lambda-calculus can be enriched with a recursion operator and, in this case, terms admitting a sized type always terminate. In this talk, we study a simply-typed lambda-calculus enhanced with a recursion operator and a probabilistic choice operator, and we focus on the probabilistic counterpart of termination : almost-sure termination (AST), that is, termination with probability 1. I will explain how the sized types approach can be extended to the probabilistic setting, so that we obtain a type system in which typability guarantees AST. I will then sketch ongoing work on a more powerful approach using dependent types, in order to capture AST for a wider class of programs. This is joint work with Dal Lago.

    JPEG - 8.9 ko
    Charles GRELLOIS

    Lieu : Salle des séminaires 304-306 (3ème étage) - Institut de Mathématiques de Marseille (UMR 7373)
    Site Sud
    Campus de Luminy, Case 907
    13288 MARSEILLE Cedex 9

    Exporter cet événement
    Document(s) associé(s) :

    En savoir plus : Séminaire Logique et Interactions

21 septembre 2017: 3 événements

groupe de travail

  • Agenda ERC IChaos

    Du 5 au 25 septembre - Alexander BUFETOV

    Scientific collaboration with Andrey DYMOV

    Lieu : Stecklov Math. Institute of RAS - Moscou

    Exporter cet événement

En savoir plus : Agenda ERC IChaos

  • Groupe de Travail Calcul des Variations & EDP

    Jeudi 21 septembre 14:00-15:00 - Simone DI MARINO - Scuola Normale Superiore - Pisa (Italie)

    Multimarginal optimal transport and structure of optimal plans : examples and counterexamples on SGS conjecture

    Résumé : We will introduce the multimarginal optimal transport problem in its generality and discuss the structure of optimal plans in the 1d repulsive case, in which there exists a full characterization that shows SGS conjecture is true. Then we will move to the radial case, where only partial results are available, both on the positive and negative side for the SGS conjecture.

    JPEG - 8.5 ko
    Simone DI MARINO

    Lieu : FRUMAM - Aix-Marseille Université - Site St Charles
    3, place Victor Hugo - case 39
    13331 MARSEILLE Cedex 03

    Exporter cet événement
    Document(s) associé(s) :

    En savoir plus : Groupe de Travail Calcul des Variations & EDP

  • Groupe de Travail Calcul des Variations & EDP

    Jeudi 21 septembre 15:30-16:30 - Berardo RUFFINI - IMAG, Université de Montpellier

    On the consistency of a BMO-type scheme and convexity preservation for a fractional mean curvature flow

    Résumé : In this talk we define a class of mean curvature flows, where the curvature is replaced by its non-local conterpart, which will be introduced as well. We then introduce an appropriate Bence-Merriman-Osher (BMO) approximation scheme for the flow, showing that it is consistent even if we work in an anisotropic setting. This, together with some tools borrowed from the theory of convex bodies, allow us to show that the scheme, and thus the flow, is convexity preserving. The technique to show this latter fact, quite surprisingly, applies as well in a large class of geomtric flows. The talk is based on a joint work with A. Chambolle and M. Novaga.

    JPEG - 31.4 ko
    Berardo RUFFINI

    Lieu : FRUMAM - Aix-Marseille Université - Site St Charles
    3, place Victor Hugo - case 39
    13331 MARSEILLE Cedex 03

    Exporter cet événement
    Document(s) associé(s) :

    En savoir plus : Groupe de Travail Calcul des Variations & EDP

  • 21 septembre 2017: 1 événement

    • Agenda des soutenances SI

      Jeudi 21 septembre 14:00-16:00 - Benjamin COULAUD - I2M (ALEA-SI), Marseille

      Construction d’un cadre statistique consistant pour l’analyse de surfaces au travers de processus généralisés. Application à la classification de surfaces cérébrales extraites d’IRM

      Résumé : Soutenance de thèse
      -
      Le thème principal de cette thèse est l’analyse statistique de surfaces. Nous introduisons un formalisme pour étendre dans un cadre aléatoire la représentation des surfaces introduite par Glaunès et Vaillant (2005).
      Ce formalisme repose sur une notion de forme linéaire aléatoire définie sur des espaces de champs vectoriels, qui est inspirée de la théorie des processus linéaires généralisés développée par Itô (1954) et Gelfand et Vilenkin (1964). A partir de cette représentation, nous mettons en place un modèle probabiliste décrivant la variabilité des surfaces. Par passage du continu au discret, nous prolongeons ce dernier en un modèle d’observation permettant de décrire des données expérimentales. À partir de ce modèle, nous construisons des estimateurs du représentant moyen d’un échantillon de surfaces et de l’autocovariance du bruit. Nous démontrons des résultats de consistance de ces estimateurs. Nous présentons quelques expériences de validation de la méthode d’estimation sur des données simulées. Nous appliquons cette méthode à la classification de surfaces cérébrales issues de l’IRM en nous plaçant dans un cadre bayésien.
      -
      Directeur de thèse :
      -
      M. Frédéric Richard - Professeur, Université d’Aix-Marseille
      -



      -
      PNG - 7.7 ko
      (lien à venir)


      -
      Lien : theses.fr

      Lieu : Troisième étage de la FRUMAM - Aix-Marseille Université - Site St Charles
      3, place Victor Hugo - case 39
      13331 MARSEILLE Cedex 03

      Exporter cet événement

    En savoir plus : Agenda des soutenances SI