sé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 Image : « 4 decades of image & video compression, from JPEG to AI-based codecs », Théo Ladune
ENSICAEN - Batiment F - Salle F-200 6 Bd Maréchal Juin , CaenNous aurons le plaisir d'écouter Théo Ladune, Orange Innovation. Il donnera un séminaire IMAGE le jeudi 16 janvier 2025 à 14h00 en salle de séminaire F-200. Titre : "4 decades of image & video compression, from JPEG to AI-based codecs" Résumé : This talk gives an overview of the field of image and video compression, … Continue reading Séminaire Image : « 4 decades of image & video compression, from JPEG to AI-based codecs », Théo Ladune
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 »
[Forum] L’intelligence artificielle : vecteur de transformation des services à l’industrie nucléaire
Le Forum intitulé « L’intelligence artificielle : vecteur de transformation des services à l’industrie nucléaire » est organisé le 5 et 6 février 2025 à l’IUT Grand Ouest Normandie à Cherbourg-en-Cotentin. Le programme est visible ici. Vous pouvez vous inscrire pour y assister : ici.
Séminaire algorithmique : Béatrice Bérard (LIP6, Sorbonne Univ.), « The reachability problem for Polynomial Interrupt Timed Automata»
Sciences 3- S3 351Hybrid automata form an expressive model to describe systems combining continuous and discrete evolution modes. However, most verification problems are undecidable for this model. We recall the particular case of Timed Automata where the reachability problem is PSPACE-complete. We introduce the class of Interrupt Timed Automata featuring special clocks called stopwatches that can be suspended. … Continue reading Séminaire algorithmique : Béatrice Bérard (LIP6, Sorbonne Univ.), « The reachability problem for Polynomial Interrupt Timed Automata»
Abderrahmane Nitaj – The last decade of the RSA cryptosystem
Sciences 3- S3 351NIST recently released a publication related to the transition to Post-Quantum Cryptography which specifies that most of the public key classical cryptosystems, especially RSA will be officially deprecated by 2030 and banned after 2035. In this talk, I will review the limits of the main cryptanalytical attacks on RSA, and present two new variants of … Continue reading Abderrahmane Nitaj – The last decade of the RSA cryptosystem
Séminaire Image : « Mathematical foundations of a level-set-based shape convex hull identification algorithm », Carole Le Guyader
ENSICAEN - Batiment F - Salle F-200 6 Bd Maréchal Juin , CaenNous aurons le plaisir d'écouter Carole Le Guyader, Laboratoire LMI, INSA Rouen. Elle donnera un séminaire IMAGE le jeudi 6 février 2025 à 14h15 en salle de séminaire F-200. Titre : "Mathematical foundations of a level-set-based shape convex hull identification algorithm" Résumé : In this work, we introduce a proper mathematical framework to analyse a … Continue reading Séminaire Image : « Mathematical foundations of a level-set-based shape convex hull identification algorithm », Carole Le Guyader
Séminaire Algorithmique : « Enumeration Classes Defined by Circuits », Arnaud Durand (IMJ, Univ. Paris-Diderot)
Sciences 3- S3 351Enumerating is the task of generating all solutions associated with an instance of a computational problem. We refine the complexity landscape for enumeration problems by introducing very low classes defined by using Boolean circuits as enumerators. We locate well-known enumeration problems, e.g., from graph theory, Gray code enumeration, and propositional satisfiability in our classes. In … Continue reading Séminaire Algorithmique : « Enumeration Classes Defined by Circuits », Arnaud Durand (IMJ, Univ. Paris-Diderot)