Séminaire Algo : Brigitte Vallée (GREYC, Caen) « Variations autour du modèle des VLMC (= Variable Length Markov Chains) »
Sciences 3- S3 351Je commencerai par quelques rappels sur les processus généraux qui produisent des mots, appelés sources, leurs séries génératrices, leur entropie et leur poids de Shannon. Je mentionnerai les sources simples (les sources sans mémoire, les chaînes de Markov). Puis, j’introduirai le modèle des VLMC (= Variable Length Markov Chains) qui se situe juste « au-dessus … Continue reading Séminaire Algo : Brigitte Vallée (GREYC, Caen) « Variations autour du modèle des VLMC (= Variable Length Markov Chains) »
SÉMINAIRE ALGO : Justine Reynaud (GREYC, Caen) « Analyse de Concepts Formels et découverte de Redescriptions – une application au web des données »
Sciences 3- S3 351Dans un premier temps, je présenterai l'Analyse de Concepts Formels (FCA -- Formal Concept Analysis) qui est le cadre théorique sur lequel je m'appuie pour faire de la fouille de données. Intuitivement, il s'agit de considérer un ensemble d'objets G, un ensemble d'attributs M, et une relation binaire I ⊆ G×M où gIm s'interprète comme "l'objet g … Continue reading SÉMINAIRE ALGO : Justine Reynaud (GREYC, Caen) « Analyse de Concepts Formels et découverte de Redescriptions – une application au web des données »
SÉMINAIRE ALGO : Daria Pchelina (LIPN, Univ. Paris 13) « Densité des empilements de sphères : des pièces de monnaie aux oranges »
Sciences 3- S3 351Comment empiler un nombre infini d’oranges pour maximiser la proportion de l’espace couvert ? Kepler a conjecturé que l’empilement des “balles de canon” est optimal. 400 ans se sont écoulés avant que cette conjecture soit démontrée par Hales et Ferguson dont la preuve comporte 6 papiers et plus de 50000 lignes de code. Comment arranger … Continue reading SÉMINAIRE ALGO : Daria Pchelina (LIPN, Univ. Paris 13) « Densité des empilements de sphères : des pièces de monnaie aux oranges »
Séminaire Algo : Adeline Roux-Langlois (GREYC, Caen) « Introduction to lattice based cryptography »
Sciences 3- S3 351The goal of cryptography is to safely communicate, and it is widely used when connecting to a website or during a banking transaction for example. But some cryptographic constructions used today could be attacked given a powerful enough quantum computer. Even if such a computer does not exist yet, it is important to anticipate its … Continue reading Séminaire Algo : Adeline Roux-Langlois (GREYC, Caen) « Introduction to lattice based cryptography »
Séminaire Algo : Théo Grente (FEM: France Energies Marines) « Étude de propriété des automates cellulaires en utilisant les bases de Groebner »
Sciences 3- S3 351Dans cet exposé je présenterai une méthode utilisant les bases de Groebner pour rechercher des automates cellulaires (AC) ayant une propriété donnée. Cette méthode a d’abord été conçue pour concevoir des équations différentielles partielles (PDE) intéressantes à partir d’AC. Pour faire le lien entre le comportement discret des AC et le comportement continu des PDE, … Continue reading Séminaire Algo : Théo Grente (FEM: France Energies Marines) « Étude de propriété des automates cellulaires en utilisant les bases de Groebner »
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 : Solène Esnay (IMT, Univ. Toulouse 3) « Arithmetical Complexity of the Language of Generic Limit Sets of Cellular Automata »
Sciences 3- S3 351Dynamical systems have various notions of attractor, and they characterize different asymptotic properties. Among them is the notion of generic attractor: a closed set that attracts most of the space in the topological sense, meaning its basin of attraction is comeager. The generic limit set is the smallest generic attractor and contained in all of … Continue reading Séminaire Algorithmique : Solène Esnay (IMT, Univ. Toulouse 3) « Arithmetical Complexity of the Language of Generic Limit Sets of Cellular Automata »
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)
Séminaire Algorithmique : « Complexity of positionnal games » Valentin Gledel (Univ. Umea, Suède)
Sciences 3- S3 351Attention ! Exceptionnellement, le séminaire à lieu lundi à 14h. Résumé : Complexité des jeux positionnels Les jeux positionnels sont des jeux à deux joueurs joués dans un hypergraphe. Les joueurs sélectionnent alternativement des sommets de l'hypergraphe et les conditions de victoires dépendent uniquement du remplissage des hyperarêtes. Le morpion est un exemple célèbre de … Continue reading Séminaire Algorithmique : « Complexity of positionnal games » Valentin Gledel (Univ. Umea, Suède)
Séminaire Algo: Alexandros Singh (LIPN, Univ. Paris Nord) « Combinatorics of the lambda-calculus and maps: bijections and limit properties »
Sciences 3- S3 351This talk concerns maps (graphs embedded on surfaces), the linear lambda-calculus, and their combinatorial interactions. Using a combination of new bijective and analytic techniques, we will explore the structure of large random cubic maps and linear lambda-terms, focusing on the study of various statistics on such objects, in particular those related to the presence of … Continue reading Séminaire Algo: Alexandros Singh (LIPN, Univ. Paris Nord) « Combinatorics of the lambda-calculus and maps: bijections and limit properties »