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 … 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 … 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. … 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 … 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 … 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 … 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 … 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 à … Continue reading [Forum] L’intelligence artificielle : vecteur de transformation des services à l’industrie nucléaire
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 … 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 … 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 … 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 … Continue reading Séminaire Algorithmique : « Enumeration Classes Defined by Circuits », Arnaud Durand (IMJ, Univ. Paris-Diderot)