Séminaire Algorithmique : Julien Clément (GREYC, Caen) « Combinatorics of reduced ordered binary decision diagrams. Application to random uniform sampling »
Sciences 3- S3 351Any Boolean function corresponds to a complete full binary decision tree. This tree can in turn be represented in a maximally compact form as a directed acyclic graph where common … Continue reading Séminaire Algorithmique : Julien Clément (GREYC, Caen) « Combinatorics of reduced ordered binary decision diagrams. Application to random uniform sampling »
Séminaire IMAGE : « Visual attention : A tool for high-level image processing » (Alexandre Bruckert)
ENSICAEN - Batiment F - Salle F-200 6 Bd Maréchal Juin , CaenNous aurons le plaisir d’écouter Alexandre Bruckert , post-doctorant au LS2N lab, Nantes Université, Polytech Nantes. Il donnera un séminaire IMAGE, le jeudi 20 avril 2023, à 14h00, en salle de séminaire … Continue reading Séminaire IMAGE : « Visual attention : A tool for high-level image processing » (Alexandre Bruckert)
Séminaire IMAGE : « Analyse de grandes banques d’images par Intelligence Artificielle et Morphologie Mathématique » (Guillaume Noyel)
ENSICAEN - Batiment F - Salle F-200 6 Bd Maréchal Juin , CaenNous aurons le plaisir d’écouter Guillaume Noyel Enseignant-Chercheur à l’Université J. Monnet, St-Etienne, (Télécom St-Etienne, Labo. Hubert Curien). Il donnera un séminaire IMAGE, le jeudi 04 mai 2023, à 14h00, … Continue reading Séminaire IMAGE : « Analyse de grandes banques d’images par Intelligence Artificielle et Morphologie Mathématique » (Guillaume Noyel)
Séminaire IMAGE : « One more step towards the connection between topological data analysis and mathematical morphology » (Nicolas Boutry)
ENSICAEN - Batiment F - Salle F-200 6 Bd Maréchal Juin , CaenNous aurons le plaisir d’écouter Nicolas Boutry, enseignant-chercheur au LRDE / EPITA, Paris. Il donnera un séminaire IMAGE, le jeudi 11 mai 2023, à 14h00, en salle de séminaire F-200. … Continue reading Séminaire IMAGE : « One more step towards the connection between topological data analysis and mathematical morphology » (Nicolas Boutry)
Séminaire Algorithmique : Victor Lutfalla (GREYC, Caen)
Salle à déterminerUn pavage est un recouvrement du plan par des tuiles qui ne se chevauchent pas. On appelle sous-shift un ensemble de pavages qui est invariant par translation et fermé (pour … Continue reading Séminaire Algorithmique : Victor Lutfalla (GREYC, Caen)
Séminaire Algorithmique : Mostafa Gholami (GREYC, Caen) « Multicolor bipartite Ramsey numbers for paths, cycles, and stripes »
Sciences 3- S3 351Frank Ramsey introduced the theory that bears his name in 1930. The main subject of the theory are complete graphs whose subgraphs can have some regular properties. Most commonly, we … Continue reading Séminaire Algorithmique : Mostafa Gholami (GREYC, Caen) « Multicolor bipartite Ramsey numbers for paths, cycles, and stripes »
Adeline Roux-Langlois – Difficulté du problème « Module Learning with Errors »
Sciences 3- S3 351Parmi toutes les possibilités de constructions post-quantiques, mises en avant par la compétition de standardisation post-quantique organisée par le NIST, la cryptographie reposant sur les réseaux euclidiens est la plus … Continue reading Adeline Roux-Langlois – Difficulté du problème « Module Learning with Errors »
Séminaire Algorithmique : Pierre Béaur (LISN, Université Paris-Saclay) « Walking On a Line: détection de marches S-adiques dans les ω-automates »
Sciences 3- S3 351En dynamique symbolique s'intersectent études des langages, des mots infinis et des structures dynamiques associées. Deux méthodes classiques de construction de ces objets coexistent. D'abord, la méthode de Thue construit … Continue reading Séminaire Algorithmique : Pierre Béaur (LISN, Université Paris-Saclay) « Walking On a Line: détection de marches S-adiques dans les ω-automates »
Séminaire CODAG & IMAGE : « Neo-Reeduc : réalité augmentée interactive pour une rééducation de la motricité finalisée » (N. Benguigui, etal.)
ENSICAEN - Batiment F - Salle F-200 6 Bd Maréchal Juin , CaenNicolas Benguigui, de l'UFR STAPS et rattaché à l'équipe CODAG, viendra faire un séminaire commun CODAG & IMAGE, en salle F-200 du bâtiment F du GREYC, le mardi 6 juin … Continue reading Séminaire CODAG & IMAGE : « Neo-Reeduc : réalité augmentée interactive pour une rééducation de la motricité finalisée » (N. Benguigui, etal.)
Vincent Botbol – Introduction to the Tezos blockchain and static analysis of smart-contracts
Sciences 3- S3 351In this talk, we will give a broad introduction of the Tezos blockchain by introducing its architecture and design choices regarding safety and security in an adversarial distributed system. We … Continue reading Vincent Botbol – Introduction to the Tezos blockchain and static analysis of smart-contracts
Journée 2023 du laboratoire GREYC : 16 Juin 2023
CCI Caen 1 Rue René Cassin , Saint-ContestLa journée 2023 du GREYC aura lieu à la CCI de Caen (1 Rue René Cassin, 14280 Saint-Contest) le 16 Juin 2023. Au programme : présentations, démonstrations ! Inscriptions à https://tinyurl.com/GREYC2023
Amin Sakzad – FPPW: A Fair and Privacy-Preserving Watchtower For Bitcoin
Sciences 3- S3 351In this talk, I will introduce FPPW, a new payment channel with watchtower scheme for Bitcoin. This new scheme provides fairness with respect to all channel participants including both channel … Continue reading Amin Sakzad – FPPW: A Fair and Privacy-Preserving Watchtower For Bitcoin