Séminaire Algorithmique : Julien Clément (GREYC, Caen) « Compter les diagrammes de décision binaires »
Sciences 3- S3 351Les diagrammes de décision binaires sont une famille de structures de données permettant de représenter efficacement une fonction booléenne. Ils ont été notamment popularisés par Randal Bryant en 1986 et ont suscité de nombreuses applications. Nous aborderons dans cet exposé quelques questions de comptage sur ces structures en nous concentrant sur la variante la plus … Continue reading Séminaire Algorithmique : Julien Clément (GREYC, Caen) « Compter les diagrammes de décision binaires »
Séminaire Algorithmique : Etienne Grandjean (GREYC), « How does preprocessing make it possible to obtain constant time? »
Sciences 3- S3 351In this work co-written by Louis Jachiet (Télécom Paris), we attempt to answer the following questions: Given that many computer systems are efficient thanks to preprocessing (index calculations in a database, knowledge compilation in AI), which complexity classes with preprocessing are relevant? In this framework, does constant time have any meaning? For this purpose, we … Continue reading Séminaire Algorithmique : Etienne Grandjean (GREYC), « How does preprocessing make it possible to obtain constant time? »
Séminaire Image : « Anomaly Detection with Pre-Trained Representations », Jeremie Pantin
ENSICAEN - Batiment F - Salle F-200 6 Bd Maréchal Juin , CaenNous aurons le plaisir d'écouter Jérémie Patin, MCF CDD au GREYC. Il donnera un séminaire IMAGE le jeudi 2 octobre 2025 à 14h en salle de séminaire F-200. Titre : "Anomaly Detection with Pre-Trained Representations" Résumé : In Anomaly Detection, relatively few studies have examined how pre-trained models can be used without fine-tuning or weight … Continue reading Séminaire Image : « Anomaly Detection with Pre-Trained Representations », Jeremie Pantin
Séminaire Algorithmique : Sarah Riva (LIFL, Univ. Lille) « Control and synthesis of minimal trap spaces in Boolean Network »
Sciences 3- S3 351Since recent years, we observe a surge of successful applications of Boolean networks (BNs) in biology and medicine for the modeling and prediction of cellular dynamics in the case of cancer and cellular reprogramming. Such applications face two main challenges: being able to design a qualitative Boolean model which is faithful to the behavior of … Continue reading Séminaire Algorithmique : Sarah Riva (LIFL, Univ. Lille) « Control and synthesis of minimal trap spaces in Boolean Network »
Séminaire Image : « SIMuLDiTex : Un modèle de diffusion léger, mono-image et multi-échelle pour la synthèse de texture », Pierrick Chatillon
ENSICAEN - Batiment F - Salle F-200 6 Bd Maréchal Juin , CaenNous aurons le plaisir d'écouter Pierrick Chatillon, post-doctorant au GREYC, Caen. Il donnera un séminaire IMAGE le jeudi 9 octobre 2025 à 14h en salle de séminaire F-200. Titre : "SIMuLDiTex : Un modèle de diffusion léger, mono-image et multi-échelle pour la synthèse de texture" Résumé : Nous présentons SIMuLDiTex, un modèle frugal de diffusion … Continue reading Séminaire Image : « SIMuLDiTex : Un modèle de diffusion léger, mono-image et multi-échelle pour la synthèse de texture », Pierrick Chatillon
Séminaire Algorithmique : France Gheeraert (LAMFA, Univ. Picardie) «String attractors, ou comment capturer la combinatoire d’un texte»
Sciences 3- S3 351Les string attractors sont des objets combinatoires introduits par Kempa et Prezza dans le but d’unifier différentes mesures de compressibilité de texte provenant de techniques classiques telles que LZ77 ou la transformée de Burrows-Wheeler. Etant donné un texte, un string attractor est un ensemble de positions permettant de capturer tous les motifs apparaissant dans ce … Continue reading Séminaire Algorithmique : France Gheeraert (LAMFA, Univ. Picardie) «String attractors, ou comment capturer la combinatoire d’un texte»
Séminaire Image : « Research Aiming for Small-Cost Development of Medical Image Analysis Applications – Insights from a Career Bridging Clinical Practice and Research », Mitsutaka Nemoto
Nous aurons le plaisir d'écouter Mitsutaka Nemoto, Associate Professor of Kindai Univ, Japan. Il est aussi visiteur au GREYC pour un an. Il donnera un séminaire IMAGE le jeudi 16 octobre 2025 à 14h en salle de séminaire F-200. Titre : "Research Aiming for Small-Cost Development of Medical Image Analysis Applications - Insights from a … Continue reading Séminaire Image : « Research Aiming for Small-Cost Development of Medical Image Analysis Applications – Insights from a Career Bridging Clinical Practice and Research », Mitsutaka Nemoto
Séminaire Algorithmique : Michel Seck (Ecole Politech. Thiès, Sénégal) « Towards post-quantum Bitcoin blockchain using Dilithium signature »
Sciences 3- S3 351Bitcoin is one of the famous cryptocurrencies in the world. It is a permissionless blockchain, and all transactions are stored in a public decentralized ledger. In its security design, Bitcoin utilizes various cryptographic primitives, such as hash functions and signature schemes. In the current version of Bitcoin, the Elliptic Curve Digital Signature Algorithm (ECDSA) is … Continue reading Séminaire Algorithmique : Michel Seck (Ecole Politech. Thiès, Sénégal) « Towards post-quantum Bitcoin blockchain using Dilithium signature »
Séminaire Algorithmique : Paul Dorbec (GREYC) « How can the balance game be so unfair? »
Sciences 3- S3 351The balance game is played on a graph G by two players, Admirable (A) and Impish (I), who take turns selecting unlabeled vertices of G, coloring them with their own color. The discrepancy in the balance game is defined as the difference of the number of well colored edges minus the number of monochromatic edges. The two players … Continue reading Séminaire Algorithmique : Paul Dorbec (GREYC) « How can the balance game be so unfair? »
Séminaire Algorithmique : Rachelle Heim (UC Louvain, Belgique), « Generic attacks using random functions statistics »
Sciences 3- S3 351Cryptography relies on building blocks called primitives used within constructions to build more complex algorithms. The security of a scheme (i.e. of a construction instantiated with a primitive) is most often proven under some assumptions on the underlying primitive. However, security reductions only provide lower bounds on the security level. Generic attacks, i.e. attacks that … Continue reading Séminaire Algorithmique : Rachelle Heim (UC Louvain, Belgique), « Generic attacks using random functions statistics »
Séminaire Image : « Apprentissage à partir de données multimodales pour la classification et la prédiction de la maladie d’Alzheimer », Natacha Lambert
ENSICAEN - Batiment F - Salle F-200 6 Bd Maréchal Juin , CaenNous aurons le plaisir d'écouter Natacha Lambert, doctorante au GREYC en collaboration avec l'équipe Neuroprésage à Cyceron. Elle soutiendra par ailleurs sa thèse le 11 décembre 2025. Elle donnera un séminaire IMAGE le jeudi 20 novembre 2025 à 14h en salle de séminaire F-200. Titre : "Apprentissage à partir de données multimodales pour la classification … Continue reading Séminaire Image : « Apprentissage à partir de données multimodales pour la classification et la prédiction de la maladie d’Alzheimer », Natacha Lambert
Séminaire Algorithmique : François Rioult, Abdelkader Ouali et Mehrad Nasernejad (GREYC), « Factorisation optimale (en taille) de matrice booléenne »
Sciences 3- S3 351Les travaux pionniers de Belohlavek et al. ont établi un lien convaincant entre la factorisation matricielle booléenne et l'analyse formelle des concepts, démontrant que les concepts formels servent de facteurs optimaux pour décomposer les matrices booléennes. Nous présentons une nouvelle reformulation du problème de calcul du rang booléen à l'aide de la théorie des hypergraphes, … Continue reading Séminaire Algorithmique : François Rioult, Abdelkader Ouali et Mehrad Nasernejad (GREYC), « Factorisation optimale (en taille) de matrice booléenne »