Séminaire Algorithmique : « Approximate Cartesian tree matching », Bastien Auvray (LITIS, Univ. Rouen)
Sciences 3- S3 351Le problème du pattern matching (trouver une ou toutes les occurrences d'un motif dans un texte) est un problème classique en informatique. L'algorithmique du texte propose de nombreuses solutions efficaces lorsque le motif et le texte sont des chaînes de caractères. Procéder à la recherche de motifs dans les séries temporelles se révèle plus délicat, … Continue reading Séminaire Algorithmique : « Approximate Cartesian tree matching », Bastien Auvray (LITIS, Univ. Rouen)
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 recognized by automata. Here, we’re going to focus on a measure, namely state complexity. For rational languages, this is defined as the size of the … 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 un séminaire IMAGE, le jeudi 11 janvier 2024, à 14h00, en salle de séminaire F-200. Titre: Self-Supervised Learning, Relational Learning and Multi-Domain Diffusion for Image … 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 program verification and analysis, software engineering, and robot motion planning. We’ll discuss on the one hand theoretical results, in particular NP-completeness, and on the other … 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 such a drawing can be untangled, namely, if one can slide the vertices and edges of the graph on the surface (avoiding the obstacles) to … 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 in numerous fields of mathematics and computer science by means of implicit representations. There are two common representations of a closure system: implicational bases (IBs), … 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 task aiming to assign a category label to each pixel in input images. While deep learning methods have demonstrated impressive performance in semantic segmentation, their … 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” du code numérique. Je discute l’usage du langage fonctionnel Haskell dans le traitement des structures comme les séries formelles ou les approximants de Padé. La … 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 ,le problème de la somme de sous-ensemble, dérivé du problème de sac à dos. Ce générateur a été attaqué avec succès par Knellwolf et Meyer … 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 use lattices enjoying a strong algebraic structure, and can be interpreted as constructions over polynomials with rational coefficients. However, it is still unknown to this … 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 à une journée scientifique conjointe composée d'exposés invités et d'échanges scientifiques à l'intersection des deux disciplines. Venez profiter : d'exposés sur la production et l’analyse de … Continue reading Journée scientifique conjointe des fédérations de recherche NormaSTIC et NorMath (Rouen)