Séminaire Algorithmique : « Random Deterministic Automata With One Added Transition », Cyril Nicaud (LIGM, Univ. Paris-Est)
Sciences 3- S3 351Every language recognized by a non-deterministic finite automaton can be recognized by a deterministic automaton, at the cost of a potential increase of the number of states, which in the worst case can go from n to 2^n. In this talk, we investigate this classical result in a probabilistic setting where we take a random … Continue reading Séminaire Algorithmique : « Random Deterministic Automata With One Added Transition », Cyril Nicaud (LIGM, Univ. Paris-Est)
Offre de stage de master 2ème année ou stage de fin d’étude d’ingénieur en informatique en « IA Explicable et qualité des données/modèles »
Ce stage de master s’inscrit dans le cadre du projet Pandora financé par l’ANR (Agence Nationale de la Recherche), projet qui démarrera en février 2025. Pandora se situe dans le contexte de l’intelligence artificielle explicable (XAI), en particulier dans le domaine des réseaux de neurones sur graphes (GNN). Le stage sera encadré par des chercheurs … Continue reading Offre de stage de master 2ème année ou stage de fin d’étude d’ingénieur en informatique en « IA Explicable et qualité des données/modèles »
Séminaire Algorithmique : « Planar or almost planar graphs: topology to the rescue of algorithms », Arnaud de Mesmay (LIGM, Univ. Paris-Est)
Sciences 3- S3 351Many graphs encountered in practice have a particular structure. For example, road networks have few or no intersections when drawn in a plane. We will see how this type of property interacts with the combinatorics of graphs, and often leads to the development of algorithms that are more efficient than in the general case. This … Continue reading Séminaire Algorithmique : « Planar or almost planar graphs: topology to the rescue of algorithms », Arnaud de Mesmay (LIGM, Univ. Paris-Est)
Séminaire Algorithmique : « Combinatoire énumérative et bijective de différentes familles de chemins de Dyck avec trous d’air », Rémi Maréchal (GREYC, Caen)
Sciences 3- S3 351Cet exposé se situe dans le cadre de la combinatoire des chemins sur réseau. On introduit ici une généralisation des chemins de Dyck (dits “avec trous d’air”), avant de se pencher sur diverses questions classiques à leur sujet : énumération, distributions de motifs, étude de sous-ensembles, etc. Ce faisant, des suites d’entiers positifs (connues dans … Continue reading Séminaire Algorithmique : « Combinatoire énumérative et bijective de différentes familles de chemins de Dyck avec trous d’air », Rémi Maréchal (GREYC, Caen)
Séminaire Algorithmique : « Un cafard sous le chapeau », Victor Luftalla (LIS, Univ. Aix-Marseille)
Sciences 3- S3 351En 2023 Smith, Myers, Kaplan et Goodman-Strauss ont découvert le chapeau : une monotuile apériodique du plan euclidien. C’est-à-dire que l’on peut paver le plan euclidien avec des copies (à isométrie près) du chapeau, mais qu’il est impossible de faire un pavage périodique. Simultanément, Greenfeld et Tao ont prouvé l’existence d’un groupe finiment présenté (Z2×H où H est … Continue reading Séminaire Algorithmique : « Un cafard sous le chapeau », Victor Luftalla (LIS, Univ. Aix-Marseille)
Séminaire Algorithmique : Nicolas Ollinger (LIFO, Univ. Orléans)
Sciences 3- S3 351séminaire algorithmique : « Un Panorama des Modes de Mises à Jour des Réseaux d’Automates Booléens », Athénaïs Vaginay (GREYC)
Sciences 3- S3 351Abstract: Boolean automata networks are used as discrete models of biological systems. They consist of a generalization of cellular automata, where the grid is replaced by a directed graph, and each node has its own transition function. Automata change status over time, according to a chosen update mode, for example: synchronous, asynchronous, general-asynchronous, and the recently … Continue reading séminaire algorithmique : « Un Panorama des Modes de Mises à Jour des Réseaux d’Automates Booléens », Athénaïs Vaginay (GREYC)
AI&Cyber Workshop 2024
Oslo Forskningsparken , OsloAI&Cyber est un réseau de recherche collaboratif franco-norvégien qui se concentre sur l'IA et la cybersécurité. Lieu : Université de Oslo, Oslo, Norvège Date : 18 Décembre 2024, 14h00 Program (PDF) 13:30h, Welcome, coffee and snacks served 14:00h, AI&Cyber network - Prof. Christophe Rosenberger (ENSICAEN, France) 14:30h, Electronic Digital Identity - Prof. Audun Jøsang (UiO) … Continue reading AI&Cyber Workshop 2024
Séminaire Algorithmique : Abdallah Saffidine (Univ. South New Wales, Sydney, Australie), « Generalizing Roberts’ characterization of unit interval graphs? How not to do it! »
Sciences 3- S3 351A celebrated result by Roberts establishes that an interval graph can be represented by unit-length intervals on the real line if and only if no vertex has three non-adjacent neighbors. In 2016, Durán et al. conjectured a generalization of this result, which we recently investigated. We ran an industrial mixed integer programming (MIP) solver on … Continue reading Séminaire Algorithmique : Abdallah Saffidine (Univ. South New Wales, Sydney, Australie), « Generalizing Roberts’ characterization of unit interval graphs? How not to do it! »
Séminaire Algorithmique : Djamel Eddine Amir (LISN, Univ. Paris-Saclay) « Computability of Compact Spaces »
Sciences 3- S3 351The topological properties of a set have a strong impact on its computability properties. A striking illustration of this idea is given by spheres, closed manifolds and finite graphs without endpoints: if a set X is homeomorphic to a sphere, a closed manifold or such a graph, then any algorithm that semicomputes X in some … Continue reading Séminaire Algorithmique : Djamel Eddine Amir (LISN, Univ. Paris-Saclay) « Computability of Compact Spaces »
Maxime Bérubé – LAB404 et investigation numérique dans le métavers
Sciences 3- S3 351Les cybercriminels, qu’il s’agisse de fraudeurs ou d’auteurs d’intimidations et de menaces en ligne, adaptent constamment leurs méthodes aux évolutions technologiques. Les environnements virtuels, ou « métavers », illustrent particulièrement bien cette dynamique en ouvrant la voie à de nouvelles formes d’escroqueries et de comportements malveillants. Ces espaces numériques combinant interactions sociales et transactions dématérialisées … Continue reading Maxime Bérubé – LAB404 et investigation numérique dans le métavers
Séminaire Algorithmique : Geoffroy Caillat-Grenier (LIRMM, Univ. Montpellier), « From combinatorics of graphs to communication complexity in algorithmic information theory »
Sciences 3- S3 351Several connexions between information theory and combinatorics of graphs have been explored in the last decades. Following this path, we use tools from spectral graph theory to show impossibility results in information theoretic cryptography. We place ourselves in the Kolmogorov complexity framework. After a short introduction to algorithmic information theory and secret key agreement, we … Continue reading Séminaire Algorithmique : Geoffroy Caillat-Grenier (LIRMM, Univ. Montpellier), « From combinatorics of graphs to communication complexity in algorithmic information theory »