Alban Gilard – Computation of the Hilbert Series for the Support-Minors Modeling of the MinRank Problem
Sciences 3- S3 351The MinRank problem is a simple linear algebra problem: given matrices with coefficients in a field, find a non trivial linear combina- tion of the matrices that has a small rank. There are several algebraic modeling of the problem. The main ones are: the Kipnis-Shamir modeling, the Minors modeling and the Support-Minors modeling. The Minors … Continue reading Alban Gilard – Computation of the Hilbert Series for the Support-Minors Modeling of the MinRank Problem
Journées Nationales 2025 du GDR Sécurité Informatique
Sciences 3, Université, Caen Bâtiment Sciences 3 , CaenLes journées auront lieu au GREYC à Caen les 23-24-25 juin 2025. Pour plus d'informations : https://gdr-secu-jn2025.sciencesconf.org/
Journée 2025 du laboratoire GREYC : 19 Juin 2025
La journée 2025 du GREYC aura lieu à la CCI de Caen (1 Rue René Cassin, 14280 Saint-Contest) le 21 Juin 2024. Au programme : présentations, démonstrations ! Inscriptions à https://tinyurl.com/GREYC2025 Consultez le programme
Séminaire Image : « Toward Frugal Multimodal Models: Leveraging Prior Knowledge for Efficient Learning », Bilal Faye
ENSICAEN - Batiment F - Salle F-200 6 Bd Maréchal Juin , CaenNous aurons le plaisir d'écouter Bilal Faye, doctorant au LIPN : Laboratoire d'Informatique de Paris Nord - Université Sorbonne Paris Nord. Il donnera un séminaire IMAGE le jeudi 3 juillet 2025 à 14h en salle de séminaire F-200. Titre : "Toward Frugal Multimodal Models: Leveraging Prior Knowledge for Efficient Learning" Résumé : Incorporating prior knowledge … Continue reading Séminaire Image : « Toward Frugal Multimodal Models: Leveraging Prior Knowledge for Efficient Learning », Bilal Faye
Séminaire Algorithmique : Matthieu Dien (GREYC, Caen) « Méthode de Boltzmann : quand la génération aléatoire se passe Dien et sans Pépin »
Sciences 3- S3 351La méthode de Boltzmann permet de “compiler” un générateur aléatoire uniforme efficace pour les structures discrètes définies par une spécification combinatoire. Après avoir introduit quelques définitions et la méthode, je présenterai notre implémentation de cette méthode : la librairie Python usain-boltz (travail commun avec Martin Pépin). Au fur et à mesure de cette présentation, j’introduirai … Continue reading Séminaire Algorithmique : Matthieu Dien (GREYC, Caen) « Méthode de Boltzmann : quand la génération aléatoire se passe Dien et sans Pépin »
Séminaire Image : « Coreference Resolution in French Media », Kirill Milintsevich
ENSICAEN - Batiment F - Salle F-200 6 Bd Maréchal Juin , CaenNous aurons le plaisir d'écouter Kirill Milintsevich, post-doctorant à l'Institut National de l’Audiovisuel (INA), Bry-sur-Marne. Il donnera un séminaire IMAGE le jeudi 11 septembre 2025 à 14h en salle de séminaire F-200. Titre : "Coreference Resolution in French Media" Résumé : The Institut national de l’audiovisuel (INA) continuously records French TV and radio broadcasts, creating … Continue reading Séminaire Image : « Coreference Resolution in French Media », Kirill Milintsevich
Séminaire Algorithmique : Charles Meyer-Hilfiger (INRIA, Paris)
Sciences 3- S3 351Séminaire Image : « Convergent Plug-and-Play methods to solve inverse problems », Nicolas Papadakis
ENSICAEN - Batiment F - Salle F-200 6 Bd Maréchal Juin , CaenNous aurons le plaisir d'écouter Nicolas Papadakis, Institut de Mathématiques de Bordeaux. Il donnera un séminaire IMAGE le jeudi 18 septembre à 14h00 en salle de séminaire F-200. Titre : "Convergent Plug-and-Play methods to solve inverse problems" Résumé : In image sciences, Plug-and-Play methods constitute a class of iterative algorithms for solving inverse problems where … Continue reading Séminaire Image : « Convergent Plug-and-Play methods to solve inverse problems », Nicolas Papadakis
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 »