mar. 20 mars 2029 -- Frédéric Gruau (LRI)

summary: We consider computing media consisting of billions of small identical Processing Elements (PE) communicating locally in space, and with an homogeneous and isotropic distribution. Computing media can scale arbitrary in size. Thus, they represent parallel architectures whose power can grow without limit. However, programming computing media is difficult.

In ...

jeu. 06 décembre 2029 -- George Manoussakis (University of Versailles)

summary: The Bron-Kerbosch algorithm is a well known maximal clique enumeration algorithm. So far it was unknown whether it was output sensitive or not. In this paper we partially answer this question by proving that the Bron-Kerbosch Algorithm with vertex ordering, first introduced and studied by Eppstein, Löffler and Strash ...

jeu. 20 mai 2021 -- Cédric Boutillier (Sorbonne université)

Les modèles de dimères sur les graphes planaires ont fait leur début en tant qu'objet d'étude mathématique avec les travaux de Kasteleyn dans les années 1960. Au début des années 2000, d'importants résultats théoriques sont démontrés, dont deux résultats dans des directions différentes : - la construction du diagramme ...

mer. 05 mai 2021 -- Nicolas Broutin (Sorbonne Universite)

Je présenterai une construction explicite d'un arbre réel aléatoire à partir d'un mouvement brownien avec drift parabolique. L'objet obtenu est intimement lié au graphes aléatoires et au coalescent multiplicatif, et est distribué comme la limite d'échelle de l'arbre couvrant minimal du graphe complet. On y ...

mer. 31 mars 2021 -- Samuele Giraudo (LIGM)

https://bbb.lri.fr/playback/presentation/2.0/playback.html?meetingId=39bbfe5742a821b16c1d6669a8ef00da2d072c73-1617178783965

La logique combinatoire est un formalisme introduit par Schönfinkel dans les années 1920 dans le but de supprimer la nécessité des variables dans les expressions. Ce formalisme donne également lieu à un modèle de calcul très proche du ...