Tag: combinatorics
Some combinatorial aspects of combinatory logic / Quelques aspects combinatoires de la logique combinatoire
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 ...
Sommes de cotangentes
https://bbb.lri.fr/playback/presentation/2.0/playback.html?meetingId=02b8d542f7dedeb822e4e461ae6aab733cec4e88-1615467246972
Les sommes des puissances de la cotangente de la sorte
apparaissent dans diverses domaines, dont théorie des nombres, topologie et récemment dans l'étude d'un théorème ...
Séminaire ouvert
Lors d'un séminaire ouvert, le thème n'est pas décidé à l'avance. Tous les membres du séminaires sont invités à participer et peuvent proposer le jour même des interventions plus ou moins longues, des démos ou des questions ouvertes au reste de l'équipe.
Séminaire ouvert
Lors d'un séminaire ouvert, le thème n'est pas décidé à l'avance. Tous les membres du séminaires sont invités à participer et peuvent proposer le jour même des interventions plus ou moins longues, des démos ou des questions ouvertes au reste de l'équipe.
Crossing Numbers of K_n for Geometric and Topological Drawings
https://bbb.lri.fr/playback/presentation/2.0/playback.html?meetingId=02b8d542f7dedeb822e4e461ae6aab733cec4e88-1611233456441
In the area of crossing numbers we ask for minimizing the number of edge intersections in a drawing of a graph. There is a rich variety of crossing number problems: Which graphs do we consider, what exactly is ...
Expérimentations sur les séries génératrices des groupes des tresses
https://bbb.lri.fr/playback/presentation/2.0/playback.html?meetingId=02b8d542f7dedeb822e4e461ae6aab733cec4e88-1610628981813
Dans cet exposé, je présenterai de nouveaux outils algorithmiques pour étudier les séries génératrices sphériques et géodésiques des groupes des tresses relativement aux générateurs d'Artin ou de Birman-Ko-Lee. Je finirai par une présentation des résultats obtenus et ...
Séminaire ouvert
Lors d'un séminaire ouvert, le thème n'est pas décidé à l'avance. Tous les membres du séminaires sont invités à participer et peuvent proposer le jour même des interventions plus ou moins longues, des démos ou des questions ouvertes au reste de l'équipe.
Du modèle d'Ising sur les cartes à l'énumération de certaines classes de graphes planaires
https://bbb.lri.fr/playback/presentation/2.0/playback.html?meetingId=39bbfe5742a821b16c1d6669a8ef00da2d072c73-1608209247910
Un graphe est étiqueté quand son ensemble de sommets est {1,...,n}, et planaire s'il admet un plongement sur la sphère. Une carte (planaire) est définie comme un plongement particulier. Dans ce contexte, le modèle d'Ising ...
Combinatorics of the dP3 Quiver
https://bbb.lri.fr/playback/presentation/2.0/playback.html?meetingId=39bbfe5742a821b16c1d6669a8ef00da2d072c73-1607504566916
For the past several years, Tri Lai, Gregg Musiker, and others have studied the quiver associated to the del Pezzo 3 surface and its associated cluster algebra, with the goal of providing combinatorial interpretations for toric cluster variables ...
Counting linear regions for neural networks verification
https://bbb.lri.fr/playback/presentation/2.0/playback.html?meetingId=39bbfe5742a821b16c1d6669a8ef00da2d072c73-1606295770581
Neural networks are becoming an increasingly popular class of programs. However, their relative lack of safety presents an obstacle to their wide acceptance yet to be tackled. To approximate complex behaviours, neural networks rely on piece-wise linear activation ...