Séminaire Algo : Edwin Hamel (Univ. libre Bruxelles, Belgique) « Two-player boundedness counter games »
Sciences 3- S3 351We consider two-player zero-sum games with winning objectives beyond regular languages, expressed as a parity condition in conjunction with a Boolean combination of boundedness conditions on a finite set of counters which can be incremented, reset to 0, but not tested. A boundedness condition requires that a given counter is bounded along the play. Such … Continue reading Séminaire Algo : Edwin Hamel (Univ. libre Bruxelles, Belgique) « Two-player boundedness counter games »
Séminaire Algorithmique : Gabriel Le Bouder (LIP6, Sorbonne Univ.) « Memory-Optimization for Self-Stabilizing Distributed Algorithms »
Sciences 3- S3 351Self-stabilization is a suitable paradigm for distributed systems, particularly prone to transient faults. Errors such as memory or messages corruption, break of a communication link, can put the system in an inconsistent state. A protocol is self-stabilizing if, whatever the initial state of the system, it guarantees that it will return a normal behavior in … Continue reading Séminaire Algorithmique : Gabriel Le Bouder (LIP6, Sorbonne Univ.) « Memory-Optimization for Self-Stabilizing Distributed Algorithms »
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 subtrees are factored and shared, keeping only one copy of each unique subtree. This yields the celebrated and widely used structure called reduced ordered binary … 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 F-200. Titre : Visual attention : A tool for high-level image processing Résumé : Visual attention is the set of cognitive and biological mechanisms that … 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, en salle de séminaire F-200. Titre : Analyse de grandes banques d’images par Intelligence Artificielle et Morphologie Mathématique Résumé : Avec l’intensification de l’imagerie numérique … 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. Titre : One more step towards the connection between topological data analysis and mathematical morphology Résumé : Some works have shown these last years that … 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 la topologie habituelle sur les pavages). Ici on s’intéresse au cas où il y a un nombre fini de tuiles à translation près, les tuiles … 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 look for monochromatic complete subgraphs, i.e., complete subgraphs in which all of the edges have the same color. Ramsey numbers have attracted the attention of … 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 prometteuse. En effet, trois des quatre premiers standard proposés par le NIST reposent sur des hypothèses de réseaux. Dans cet exposé, je vais tout d'abord … 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 un mot infini à l'aide d'une substitution (un morphisme de mots) : on itère la substitution sur une lettre initiale, et on considère le mot … 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 2023, à 15h00. Neo-Reeduc : réalité augmentée interactive pour une rééducation de la motricité finalisée Nicolas Benguigui, David Lefrançois, Heloïse Baillet, Youssef Chahir, François Rioult, … 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 will then present Tezos smart-contract language: Michelson, a statically typed stacked-based (domain-specific) language. Lastly, we will talk an ongoing work aiming to develop a static … Continue reading Vincent Botbol – Introduction to the Tezos blockchain and static analysis of smart-contracts