Mardi 16 Janvier
Heure: |
14:00 - 17:00 |
Lieu: |
Salle B107, bâtiment B, Université de Villetaneuse |
Résumé: |
Chute de dimension pour les marches aléatoires sur les arbres aléatoires |
Description: |
Pierre Rousselin Nous nous intéressons à différents modèles d'arbres aléatoires et aux marches aléatoires sur les sommets de tels arbres.Dans le cas où la marche aléatoire est transiente, la marche part presque sûrement vers l'infini en empruntant un rayon aléatoire.La loi de ce rayon est appelée la mesure harmonique sur le bord de l'arbre.Un phénomène de chute de dimension se produit : cette mesure harmonique est presque sûrement concentrée sur une partie petite (au sens de la dimension de Hausdorff) du bord de l'arbre.Autrement dit, les trajectoires de la marche aléatoires sont presque sûrement comprises dans un sous-arbre beaucoup plus fin que l'arbre original.Cette théorie a été initiée par Russel Lyons, Robin Pemantle et Yuval Peres dans les années 1990.Plus récemment, Nicolas Curien, Jean-François Le Gall, puis Shen Lin ont étudié ce phénomène sur un autre modèle d'arbres aléatoires.Nous rappellerons leurs résultats et discuteront des généralisations(https://arxiv.org/abs/1708.06965 et https://arxiv.org/abs/1711.07920) sur lesquelles nous avons travaillé. |
Mardi 23 Janvier
Heure: |
14:00 - 17:00 |
Lieu: |
Salle B107, bâtiment B, Université de Villetaneuse |
Résumé: |
Uniform generation of infinite concurrent runs: the case of trace monoids |
Description: |
Vincent Jugé |
Lundi 29 Janvier
Heure: |
14:00 - 15:00 |
Lieu: |
Salle B107, bâtiment B, Université de Villetaneuse |
Résumé: |
Approches non supervisées pour l'extraction de relations sémantiques |
Description: |
Kata Gabor Les approches actuellement utilisées pour lextraction dinformations et de connaissances s'appuient majoritairement à la classification supervisée ou semi-supervisée. Elles exploitent des bases de connaissances structurées qui fournissent un modèle des connaissances, et le plus souvent également des données annotées par des humains. Or, de telles ressources sont couteuses à produire en matière de temps et dexpertise, et l'adaptation de domaine pose des difficultés.
Nous cherchons à mettre en oeuvre des méthodes d'extraction d'informations qui minimisent les besoins en intervention humaine. Nous proposons et comparons plusieurs approches à la tâche d'extraction non supervisée de relations sémantiques à partir de corpus. Les approches ont été évaluées sur un corpus de domaine de taille limité, ainsi que sur un corpus et un jeu d'évaluation de vocabulaire générique. La première approche utilise des word embeddings pour caractériser le sens des concepts et pour calculer la similarité relationnelle entre plusieurs paires de concepts. La deuxième approche utilise la fouille de motifs séquentiels, combiné avec l'analyse sémantique, pour identifier les contextes qui permettent de détecter les relations. Finalement, nous proposons des pistes d'amélioration, en particulier en ce qui concerne l'hybridisation des deux approches. |
Mardi 30 Janvier
Heure: |
12:30 - 13:30 |
Lieu: |
Salle B107, bâtiment B, Université de Villetaneuse |
Résumé: |
Decomposition methods for quadratic programming |
Description: |
Emiliano Traversi The purpose of this talk is to present two decomposition methods for quadratic problems. First, we propose a methodological analysis on a family of reformulations combining Dantzig-Wolfe decomposition and Quadratic Convex Reformulation principles for binary quadratic problems. As a representative case study, we apply them to a cardinality constrained quadratic knapsack problem. Secondly, we analyze a simplicial decomposition like algorithmic framework that handles convex quadratic programs in an effective way. In particular, we propose two tailored strategies for solving the master problem and we describe a few techniques for speeding up the solution of the pricing problem. We report extensive numerical experiments on both real-world and generic quadratic programs. |
Heure: |
14:00 - 17:00 |
Lieu: |
Salle B107, bâtiment B, Université de Villetaneuse |
Résumé: |
A panorama on real solutions of polynomial systems, illustrated via the RAGLib Maple package |
Description: |
Mohab Safey El Din |
Heure: |
15:00 - 18:00 |
Lieu: |
Salle B107, bâtiment B, Université de Villetaneuse |
Résumé: |
Aspects énumératifs et bijectifs des cartes combinatoires |
Description: |
Wenjie Fang Les cartes combinatoires, étant un modèle riche, portent plusieurs aspects : algébrique, géométrique, bijective, ... Dans cet exposé, je présente un ensemble de résultats et de connexions dans le domaine de l'énumération des cartes, obtenus à travers des aspectsdifférents. Nous verrons comment utiliser les outils algébrique, comme caractères du groupe symétrique et équations fonctionnelles, à énumérer les cartes. Nous verrons aussi comment étudier les autres objets dans la combinatoire, ici les intervalles du treillis deTamari, à travers de l'aspect bijectif des cartes. |
Heure: |
16:30 - 18:30 |
Lieu: |
Salle B107, bâtiment B, Université de Villetaneuse |
Résumé: |
A unified framework for notions of algebraic theory |
Description: |
Soichiro Fujii Universal algebra uniformly captures various algebraic structures, by expressing them as equational theories or (abstract) clones. The ubiquity of algebraic structures in mathematics has also given rise to several variants of universal algebra, such as symmetric and non-symmetric operads, clubs, and monads. In this talk, I will present a unified framework for these cousins of universal algebra, or notions of algebraic theory.
First I will explain how each notion of algebraic theory can be identified with a certain monoidal category, in such a way that theories correspond to monoids. Then I will introduce a categorical structure underlying the definition of models of theories. In specific examples, it often arises in the form of oplax action or enrichment. Finally I will uniformly characterize categories of models for various notions of algebraic theory, by a double-categorical universal property in the pseudo-double category of profunctors. |
|
|