Benoit Barbot (LACL, Univ. Paris Est Créteil) : « Sampling uniforme de langage d’automate temporisé »
Sciences 3- S3 351Résumé : In this work we develop Monte-Carlo model checking techniques to evaluate quantitative properties of timed languages. Our approach is based on uniform random sampling of behaviors, as opposed to isotropic sampling that chooses the next step uniformly at random. The uniformity is defined with respect to volume measure of timed languages previously studied … Continue reading Benoit Barbot (LACL, Univ. Paris Est Créteil) : « Sampling uniforme de langage d’automate temporisé »
Séminaire ALGO : Benjamin Hellouin (LRI, Univ. Paris Sud), « Comportement asymptotique de l’automate cyclique à 3 états »
Sciences 3- S3 351La dominance cyclique est un phénomène où différents états (espèces, stratégies...) sont dans une relation cyclique de proie à prédateur : A mange B mange C mange A. Il s'agit d'une situation classique dans des systèmes écologiques réels, en théorie évolutionnaire des jeux, etc. Simuler la dominance cyclique avec des modèles de type Lotka-Volterra fait … Continue reading Séminaire ALGO : Benjamin Hellouin (LRI, Univ. Paris Sud), « Comportement asymptotique de l’automate cyclique à 3 états »
Séminaire ALGO : Léo Pavlet Salomon (GREYC), « Groupe fondamental et pavages du plan: quelques constructions ».
Sciences 3- S3 351Résumé : On appelle sous-shift (ou sous-décalage) un ensemble de pavages ou de coloriages du plan respectant certaines contraintes locales. Historiquement introduits comme discrétisations de systèmes dynamiques continus, on se propose ici d'en étudier un invariant topologique, introduit par W.Geller et J.Propp, le Groupe Fondamental Projectif. A l'instar de la définition habituelle du groupe fondamental, … Continue reading Séminaire ALGO : Léo Pavlet Salomon (GREYC), « Groupe fondamental et pavages du plan: quelques constructions ».
Séminaire ALGO : Olivier Bournez (LIX, Ecole Polytechnique), « Computing with analog models. Computing with ordinary differential equations ».
Abstract : Differential equations is some universal language in many contexts, and in particular in experimental sciences. Motivated initially by analog models of computation, we will review various results demonstrating that it is possible to program with ordinary differential equations, or their discrete counterpart, discrete differences. We will show that several concepts from computability and … Continue reading Séminaire ALGO : Olivier Bournez (LIX, Ecole Polytechnique), « Computing with analog models. Computing with ordinary differential equations ».
Séminaire ALGO : Ionona Ranaivoson (GREYC) « Les graphes série-parallèles scrutés à travers des trous ».
Sciences 3- S3 351Résumé : Idée directrice : certains problèmes sur un graphe pourraient être facilités par la connaissance de relations d’adjacence entre des cycles de ce graphe. Mais, le nombre de cycle d’un graphe G étant, en général, exponentiel par rapport à sa taille, nous allons plutôt étudier des relations d’adjacence entre les éléments de bases particulières de … Continue reading Séminaire ALGO : Ionona Ranaivoson (GREYC) « Les graphes série-parallèles scrutés à travers des trous ».
Séminaire ALGO : Marin Gohard (CREM, Univ. Caen) « Les règles de vote multi gagnants : Une proximité axiomatique est-elle liée à des résultats similaires ? »
Les règles de votes multi gagnants ont de multiples applications (1er tour d'élection, concours de différentes sortes, choix de produits à promouvoir pour une entreprise...). Elles sont cependant moins étudiées que les règles qui n'élisent qu'un gagnant. En partant de l'étude axiomatique de certaines de ces règles, nous nous sommes interrogés sur la similarité des … Continue reading Séminaire ALGO : Marin Gohard (CREM, Univ. Caen) « Les règles de vote multi gagnants : Une proximité axiomatique est-elle liée à des résultats similaires ? »
Journée Dynamical Networks (projet RIN DynNet)
Sciences 3- S3 351Rencontre autour des graphes dynamiques dans le cadre du projet RIN DynNet
Journées GT Entropie
Sciences 3, salle 247Jeudi 17 novembre 14h30 Cédric Lecouvey, Université de Tours, « Quelques interactions entre la théorie des représentations et l'étude de marches aléatoires dans des réseaux ou des alcôves » Résumé : De nombreux exemples de marches aléatoires conditionnées à rester dans un cône sont contrôlés par des structures algébriques issues de la théorie des représentations … Continue reading Journées GT Entropie
Séminaire Algo : Andrea Lesavourey (IRISA, Rennes) « Recherche d’éléments courts dans les réseaux idéaux »
Sciences 3- S3 351Dans la recherche actuelle de primitives pouvant résister à l’utilisation d’un ordinateur quantique, une des pistes majeure se base sur les réseaux euclidiens, et, en particulier, sur le problème Learning With Errors (LWE). En effet, il existe une réduction pire cas - moyen cas vers le problème classique de réseaux qu’est le Shortest Vector Problem … Continue reading Séminaire Algo : Andrea Lesavourey (IRISA, Rennes) « Recherche d’éléments courts dans les réseaux idéaux »
Séminaire Algorithmique : Florent Koechlin (LORIA, Nancy) « Two new criteria to prove the inherent ambiguity of bounded context-free languages »
Sciences 3- S3 351A context-free language is inherently ambiguous if any grammar that recognizes it is ambiguous, i.e. there exists a word that is generated in two different ways. Deciding the inherent ambiguity of a context-free language is a difficult problem, undecidable in general. The first examples of inherently ambiguous languages were discovered in the 1960s, using iteration … Continue reading Séminaire Algorithmique : Florent Koechlin (LORIA, Nancy) « Two new criteria to prove the inherent ambiguity of bounded context-free languages »
Séminaire Algorithmique : Mehdi Naima « Extending Brandes algorithm to improve betweenness centrality computation in temporal graphs with discrete and continuous time »
Sciences 3- S3 351Betweenness centrality has been a long subject of study in network science since it was introduced by Freeman in 1977. This centrality measure assesses the importance of nodes in a graph, it has been used for example in social, biological and research collaboration networks. Moreover, betweenness centrality has been used in graph partitioning and community … Continue reading Séminaire Algorithmique : Mehdi Naima « Extending Brandes algorithm to improve betweenness centrality computation in temporal graphs with discrete and continuous time »
Séminaire Algorithmique : « Algorithmes pour la Dimension Métrique dans les graphes dirigés » Antoine Dailly (LIMOS, Univ. Clermont-Ferrand)
Sciences 3- S3 351Résumé : Le problème de la Dimension Métrique d’un graphe se pose de la façon suivante : on cherche un ensemble R de sommets de taille minimale tel que, pour toute paire de sommets du graphe, il existe un sommet de R dont les distances aux deux sommets de la paire sont distinctes. Ce problème … Continue reading Séminaire Algorithmique : « Algorithmes pour la Dimension Métrique dans les graphes dirigés » Antoine Dailly (LIMOS, Univ. Clermont-Ferrand)