Séminaire Algorithmique : « Complexity of positionnal games » Valentin Gledel (Univ. Umea, Suède)
Sciences 3- S3 351Attention ! Exceptionnellement, le séminaire à lieu lundi à 14h. Résumé : Complexité des jeux positionnels Les jeux positionnels sont des jeux à deux joueurs joués dans un hypergraphe. Les joueurs sélectionnent alternativement des sommets de l'hypergraphe et les conditions de victoires dépendent uniquement du remplissage des hyperarêtes. Le morpion est un exemple célèbre de … Continue reading Séminaire Algorithmique : « Complexity of positionnal games » Valentin Gledel (Univ. Umea, Suède)
Séminaire Algo: Alexandros Singh (LIPN, Univ. Paris Nord) « Combinatorics of the lambda-calculus and maps: bijections and limit properties »
Sciences 3- S3 351This talk concerns maps (graphs embedded on surfaces), the linear lambda-calculus, and their combinatorial interactions. Using a combination of new bijective and analytic techniques, we will explore the structure of large random cubic maps and linear lambda-terms, focusing on the study of various statistics on such objects, in particular those related to the presence of … Continue reading Séminaire Algo: Alexandros Singh (LIPN, Univ. Paris Nord) « Combinatorics of the lambda-calculus and maps: bijections and limit properties »
Séminaire Algo : Pierre Popoli (LORIA, Univ. de Lorraine) « Sum of digits, pseudorandomness and measures of complexity »
Sciences 3- S3 351The sum of digits function in base 2, also called the Hamming weight, is the number of non-zero binary digits of an integer. This function is a central object for all my present research and appears in many scientific fields, such as number theory, combinatorics on words, and coding theory. In this talk, I will … Continue reading Séminaire Algo : Pierre Popoli (LORIA, Univ. de Lorraine) « Sum of digits, pseudorandomness and measures of complexity »
Séminaire Algorithmique : Martin Pépin (LIPN, Univ. Paris Nord) « Directed Ordered Acyclic Graphs, asymptotic analysis and efficient random sampling »
Sciences 3- S3 351Directed Acyclic Graphs (DAGs) are directed graphs in which there is no path from a vertex to itself. They are an omnipresent data structure in computer science and the problem of counting the DAGs of given number of vertices has been solved in the 70’s by Robinson. In this talk, I will introduce a new … Continue reading Séminaire Algorithmique : Martin Pépin (LIPN, Univ. Paris Nord) « Directed Ordered Acyclic Graphs, asymptotic analysis and efficient random sampling »
Séminaire IMAGE : Fethi Ghazouani (Centre Henri Becquerel de Rouen), « Exploitation de l’apprentissage profond multi-modale/tâche/sources pour l’analyse et l’interprétation d’images »
ENSICAEN - Batiment F - Salle F-200 6 Bd Maréchal Juin , CaenNous aurons le plaisir d’accueillir Fethi Ghazouani, post-doctorant au Centre Henri Becquerel de Rouen, qui donnera un séminaire IMAGE, le jeudi 23 mars 2023 à 14h00 en salle F-200. Titre: Exploitation de l’apprentissage profond multi-modale/tâche/sources pour l’analyse et l’interprétation d’images Résumé: Dans une première partie de cette présentation, j’exposerai mes travaux de postdoc qui portent … Continue reading Séminaire IMAGE : Fethi Ghazouani (Centre Henri Becquerel de Rouen), « Exploitation de l’apprentissage profond multi-modale/tâche/sources pour l’analyse et l’interprétation d’images »
Séminaire Algorithmique: ANNULÉ EN RAISON DU MOUVEMENT DE GRÈVE
Sciences 3- S3 351Silvère Gangloff (Univ. AGH, Cracovie, Pologne) « Classes de transitivité pour les sous-décalages de type fini multi-dimensionnels » Ce travail est en commun avec B. Hellouin et P. Oprocha. Les sous-décalages de type fini multidimensionnels ont été étudiés dans les dernières décennies à travers le spectre de propriétés topologiques telles que la transitivité ou le … Continue reading Séminaire Algorithmique: ANNULÉ EN RAISON DU MOUVEMENT DE GRÈVE
Séminaire IMAGE : Louis Filstroff (ENSAI), « Multi-Fidelity Bayesian Optimization with Unreliable Information Sources »
ENSICAEN - Batiment F - Salle F-200 6 Bd Maréchal Juin , CaenNous aurons le plaisir d’accueillir Louis Filstroff, ATER à l'ENSAI (Ecole Nationale de la Statistique et de l'Analyse de l'Information de Rennes), qui donnera un séminaire IMAGE, le jeudi 30 mars 2023 à 14h00 en salle F-200. Titre: Multi-Fidelity Bayesian Optimization with Unreliable Information Sources Résumé: Bayesian optimization (BO) is a powerful framework for optimizing … Continue reading Séminaire IMAGE : Louis Filstroff (ENSAI), « Multi-Fidelity Bayesian Optimization with Unreliable Information Sources »
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)