Séminaire Algorithmique : « State complexity: Inverting a language reduces the complexity of the root operation », Alexandre Durand (LITIS, Univ. Rouen)
Sciences 3- S3 351Automata (DFA) are state machines that accept or reject words. The set of words recognized by an automaton is its its language. Regular languages coincide with languages that can be … Continue reading Séminaire Algorithmique : « State complexity: Inverting a language reduces the complexity of the root operation », Alexandre Durand (LITIS, Univ. Rouen)
Séminaire IMAGE: « Self-Supervised Learning, Relational Learning and Multi-Domain Diffusion for Image Generation Under Constraints » (Romain Hérault, GREYC).
ENSICAEN - Batiment F - Salle F-200 6 Bd Maréchal Juin , CaenPour ce séminaire de rentrée, nous aurons le plaisir d’écouter Romain Hérault, professeur UFR Sciences UNICAEN qui fait partie de l'équipe IMAGE du GREYC, à Caen / France. Il donnera … Continue reading Séminaire IMAGE: « Self-Supervised Learning, Relational Learning and Multi-Domain Diffusion for Image Generation Under Constraints » (Romain Hérault, GREYC).
Séminaire Algorithmique : « Learning Linear Temporal Logic », Nathanaël Fijalkow (CNRS, LaBRI, Univ. Bordeaux)
Sciences 3- S3 351We consider the problem of learning a logical formula from a set of positive and negative examples. The logic we target is Linear Temporal Logic (LTL), a prominent formalism in … Continue reading Séminaire Algorithmique : « Learning Linear Temporal Logic », Nathanaël Fijalkow (CNRS, LaBRI, Univ. Bordeaux)
Séminaire Algorithmique : « Untangling Graphs on Surfaces », Loïc Dubois (LIGM, Univ. G.Eiffel)
Sciences 3- S3 351Consider a graph drawn on a surface (for example, the plane minus a finite set of obstacle points), possibly with crossings. We provide a polynomial time algorithm to decide whether … Continue reading Séminaire Algorithmique : « Untangling Graphs on Surfaces », Loïc Dubois (LIGM, Univ. G.Eiffel)
Séminaire Algorithmique : Géraud Sénizergues (LaBRI, Univ. Bordeaux)
Sciences 3- S3 351Séminaire Algorithmique : « A propos du calcul de la D-base des systèmes de fermeture finis », Simon Vilmin (LIS, Univ. Marseille)
Sciences 3- S3 351A closure system over a (finite) set X is a collection of subsets of X, called closed sets, being closed under intersection and containing X. These systems appear in disguise … Continue reading Séminaire Algorithmique : « A propos du calcul de la D-base des systèmes de fermeture finis », Simon Vilmin (LIS, Univ. Marseille)
Ayoub Karine – Beyond Pixels and 3D point Clouds: Exploring Deep Learning for Semantic Image Segmentation and 3D Point Cloud Quality Assessment
Sciences 3- S3 351In this seminar, I will discuss some of our contributions centered around deep learning, specifically addressing two computer vision tasks. The first task will be on semantic image segmentation, a … Continue reading Ayoub Karine – Beyond Pixels and 3D point Clouds: Exploring Deep Learning for Semantic Image Segmentation and 3D Point Cloud Quality Assessment
Séminaire Algorithmique : « Corecursivity and higher-order computational differentiation, and some applications », Jerzy Karczmarczuk (GREYC, Caen)
Sciences 3- S3 351Je présente l’application pratique du codage et de l’algorithmisation corécursive (extrapolatrice, paresseuse, qui engendre des flots “infinis”) dans le domaine du calcul scientifique : la manipulation des suites illimitées de dérivées “automatiques” … Continue reading Séminaire Algorithmique : « Corecursivity and higher-order computational differentiation, and some applications », Jerzy Karczmarczuk (GREYC, Caen)
Séminaire Algorithmique : « Discussion autour du Générateur Sac à dos », Florette Martinez (ENS Ulm)
Sciences 3- S3 351Le Générateur Sac à dos, proposé en 1985 par Rueppel et Massey est un générateur pseudo aléatoire (PRNG) qui combine un premier PRNG faible, le LFSR, et un problème dur … Continue reading Séminaire Algorithmique : « Discussion autour du Générateur Sac à dos », Florette Martinez (ENS Ulm)
Andrea Lesavourey – Diagonally dominant matrices in cryptography
Sciences 3- S3 351Euclidean lattices are among the most promising objects for building a post-quantum cryptography, i.e. constructions that would resist the power of large scale quantum computers. For efficiency reasons, most constructions … Continue reading Andrea Lesavourey – Diagonally dominant matrices in cryptography
Journée scientifique conjointe des fédérations de recherche NormaSTIC et NorMath (Rouen)
UFR sciences et Techniques de l’Université de Rouen, sur le site du Madrillet UFR S&T – Site du Madrillet – Université de Rouen Normandie avenue de l'université , Saint-Étienne-du-RouvrayÀ l'occasion des 10 ans de NormaSTIC (https://www.normastic.fr/) et des 15 ans de Normandie Mathématiques (https://normandie.math.cnrs.fr/),les deux fédérations ont le plaisir de vous inviter le jeudi 21 mars 2024 à Rouen à … Continue reading Journée scientifique conjointe des fédérations de recherche NormaSTIC et NorMath (Rouen)
Séminaire Algorithmique : « Hardness of the Decoding Problem and its Applications in Post-Quantum Cryptography », Maxime Bombar (CWI, Amsterdam, Pays-Pas)
Sciences 3- S3 351Nowadays, most of our communications over the Internet are encrypted. However, some cryptographic constructions widely deployed today are vulnerable to quantum attacks, and the goal of post-quantum cryptography is to … Continue reading Séminaire Algorithmique : « Hardness of the Decoding Problem and its Applications in Post-Quantum Cryptography », Maxime Bombar (CWI, Amsterdam, Pays-Pas)