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)
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 design classical cryptosystems based on computational problems which remain hard even with the help of quantum computers. In this talk, I will give an introduction … Continue reading Séminaire Algorithmique : « Hardness of the Decoding Problem and its Applications in Post-Quantum Cryptography », Maxime Bombar (CWI, Amsterdam, Pays-Pas)
Séminaire Algorithmique : « How to rotate digital images without losing information? », Yukiko Kenmochi (GREYC, Caen)
Sciences 3- S3 351While rotations are bijections that preserve distances and angles in Euclidean space, these geometric properties are not preserved in general when rotations are applied to digital images. In this talk, we particularlly focus on bijection and topology, which are also generally lost. With regard to bijections, we present the set of rotations that give bijective … Continue reading Séminaire Algorithmique : « How to rotate digital images without losing information? », Yukiko Kenmochi (GREYC, Caen)
Amine Khaldi – Sécurisation des données médicales en télémédecine par tatouage numérique
En distancielSécurisation des données médicales en télémédecine par tatouage numérique La préservation de la confidentialité des données médicales est fondamentale pour établir et maintenir une relation de confiance entre les patients et les professionnels de la santé, étant donné la nature sensible des informations qu'elles renferment. Le tatouage numérique émerge comme une solution intéressante pour sécuriser … Continue reading Amine Khaldi – Sécurisation des données médicales en télémédecine par tatouage numérique
Achref Elouni – Récupération d’Images par le Contenu : Intégration de Techniques Avancées pour Améliorer la Précision et la Localisation
En distancielMes recherches sur la récupération d'images basée sur le contenu (CBIR) visent à améliorer les stratégies existantes en utilisant des approches innovantes et diversifiées. J'ai exploré plusieurs axes pour enrichir les méthodes CBIR, notamment en intégrant des techniques avancées, notamment le deep learning (segmentation sémantique). De plus, j'ai étudié la localisation d'images dans des environnements … Continue reading Achref Elouni – Récupération d’Images par le Contenu : Intégration de Techniques Avancées pour Améliorer la Précision et la Localisation
Ibrahim Kajo – Singular value decomposition in computer vision: applications in video surveillance and image enhancement.
Sciences 3- S3 351La décomposition en valeurs singulières (SVD) est une technique de décomposition de matrices largement utilisée dans les applications de vision par ordinateur et d'apprentissage automatique. Traditionnellement, la SVD est fréquemment employée applications dans divers autres domaines, notamment la réduction de dimension, la compression d'image, le débruitage et le traitement du signal. Cependant, son potentiel pour … Continue reading Ibrahim Kajo – Singular value decomposition in computer vision: applications in video surveillance and image enhancement.