BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//GREYC UMR CNRS 6072 - Groupe de Recherche en Informatique, Image, et Instrumentation de Caen - ECPv5.7.0//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALNAME:GREYC UMR CNRS 6072 - Groupe de Recherche en Informatique, Image, et Instrumentation de Caen
X-ORIGINAL-URL:https://www.greyc.fr
X-WR-CALDESC:évènements pour GREYC UMR CNRS 6072 - Groupe de Recherche en Informatique, Image, et Instrumentation de Caen
BEGIN:VTIMEZONE
TZID:Europe/Paris
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:20230326T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20231029T010000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20230306T140000
DTEND;TZID=Europe/Paris:20230306T150000
DTSTAMP:20260629T085614
CREATED:20230213T105713Z
LAST-MODIFIED:20230303T085551Z
UID:11098-1678111200-1678114800@www.greyc.fr
SUMMARY:Séminaire Algorithmique : « Complexity of positionnal games » Valentin Gledel (Univ. Umea\, Suède)
DESCRIPTION:Attention ! Exceptionnellement\, le séminaire à lieu lundi à 14h.\nRésumé : Complexité des jeux positionnels\nLes 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 jeu positionnel\, les lignes\, colonnes et diagonales formant les hyperarêtes et le premier joueur à remplir une hyperarête gagnant la partie. Les jeux positionnels sont étudiés depuis leur introduction par Hales et Jewett en 1963\, puis popularisée par Erdős and Selfridge in 1973 et ont conservé jusqu’à aujourd’hui un vif intérêt.\nCependant\, même si la convention Maker-Breaker\, forme la plus étudiée des jeux positionnels\, a été prouvée comme étant PSPACE-complet par Schaefer en 1978\, beaucoup de problèmes restaient ouverts concernant la complexité des jeux positionnels. En particulier\, la complexité de la convention Avoider-Enforcer restait ouverte et les jeux positionnels et leur complexité étaient peu considérée sur des classes plus restreintes d’hypergraphes. Cette présentation commencera par une introduction aux jeux positionnels avec un aperçu des résultats principaux du domaine. Puis\, nous donnerons une ébauche de preuve pour la PSPACE-completude de la convention Avoider-Enforcer récemment prouvée. Enfin\, nous complèterons cette présentation en étudiant les jeux positionnels en lien avec des problèmes de graphes et la complexité de tels problèmes. \nAbstract: Complexity of positionnal games\nPositional games are two-player games played on a hypergraph. The players alternate selecting vertices of the hypergraph\, and the winning conditions depend solely on the filling of the hyperedges. Tic-tac-toe is a famous example of a positional game\, with the rows\, columns\, and diagonals forming the hyperedges and the first player to fill a hyperedge winning the game. Positional games have been studied since their introduction by Hales and Jewett in 1963\, and were popularized by Erdős and Selfridge in 1973. They still remain of great interest today.\nHowever\, even though the Maker-Breaker convention\, the most studied form of positional games\, was proven to be PSPACE-complete by Schaefer in 1978\, many problems remained open regarding the complexity of positional games. In particular\, the complexity of the Avoider-Enforcer convention remained open\, and positional games and their complexity were little considered on more restricted classes of hypergraphs. In this presentation\, we will discuss recent advances in the study of the complexity of positional games\, including new results on the Avoider-Enforcer convention and on positional games on restricted classes of hypergraphs. This presentation will begin with an introduction to positional games\, providing an overview of the main results in the field. Then\, we will give a proof sketch for the recently proven PSPACE-completeness of the Avoider-Enforcer game. Finally\, we will conclude this presentation by studying positional games in relation to graph problems and the complexity of such problems. \n(déplacé à ce lundi en raison de la grève du 7 mars)
URL:https://www.greyc.fr/event/seminaire-algorithmique-valentin-gledel-univ-umea-suede/
LOCATION:Sciences 3- S3 351
CATEGORIES:Amacc,General,Séminaire Algo
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20230320T140000
DTEND;TZID=Europe/Paris:20230320T150000
DTSTAMP:20260629T085614
CREATED:20230303T085750Z
LAST-MODIFIED:20230310T144007Z
UID:11119-1679320800-1679324400@www.greyc.fr
SUMMARY:Séminaire Algo: Alexandros Singh (LIPN\, Univ. Paris Nord) « Combinatorics of the lambda-calculus and maps: bijections and limit properties »
DESCRIPTION:This 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 various patterns and their connection with the dynamics of beta-reduction on linear terms.
URL:https://www.greyc.fr/event/seminaire-algo-alexandros-singh-lipn-univ-paris-nord/
LOCATION:Sciences 3- S3 351
CATEGORIES:Amacc,News,Séminaire Algo
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20230320T153000
DTEND;TZID=Europe/Paris:20230320T163000
DTSTAMP:20260629T085614
CREATED:20230310T134335Z
LAST-MODIFIED:20230310T134618Z
UID:11135-1679326200-1679329800@www.greyc.fr
SUMMARY:Séminaire Algo : Pierre Popoli (LORIA\, Univ. de Lorraine) « Sum of digits\, pseudorandomness and measures of complexity »
DESCRIPTION:The 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 present how this function is a central object of my research. \nThe first part of my research work focused on generating pseudorandom sequences from non-random ones. Pseudorandom sequences are generated by a deterministic algorithm and behave like random sequences. Many scientific fields use pseudorandom sequences\, such as cryptography for a cryptographic key generation or numerical integration for Monte Carlo methods. One of the challenges of this research area is to generate a pseudorandom sequence efficiently. In particular\, automatic sequences are generated by an automaton\, and their structures are deterministic. The Thue-Morse sequence\, the sum of digits function in base two modulo 2\, is the most well-known example of an automatic sequence. We use indicators called measures of complexity to qualify a sequence of pseudorandom. My two first papers deal with the maximum order complexity of a sequence\, namely the length of the shortest Feedback Shift Register (FSR) that generates the sequence. This measure of complexity evaluates if a sequence is predictable and suitable for cryptographic applications. In the first paper\, I proved a lower bound on the maximum order complexity of polynomial subsequences of the Thue-Morse sequence\, depending on the degree of the polynomial. In a second paper\, with D. Jamet and T. Stoll\, we study the analog of the Thue-Morse sequence in the Zeckendorf numeration system based on the Fibonacci sequence. The sum of digits function in this numeration system is close to the one associated with the Thue-Morse but has very different properties. Hence\, we proved a lower bound for the maximum order complexity of these sequences along polynomial subsequences. Still\, this result differs slightly from the previous one since the carry propagation works differently. \nThe second part of my research deals with specific Diophantine equations related to the sum of digits function in base two. Firstly Bennett\, Bugeaud\, and Mignotte (2012) have proved that there is only a finite number of perfect odd squares with four binary digits. Also\, they conjectured that the set of solutions is 13\,15\, 47\, and 111. In a recent paper\, we have proved that this conjecture is true for odd integers with at most 17 non-zero binary digits and a similar result for the case of perfect odd squares with five binary digits. Secondly\, Hare\, Laishram\, and Stoll (2012) studied odd integers with the same number of bits as their square\, and they proved a global result for most cases. Finally\, we have proved most of the remaining cases in the same paper. The proofs rely on elementary properties of the sum of digits function\, combinatorics\, and two efficient algorithms. This paper is a joint work with Aloui\, Jamet\, Kaneko\, Kopecki\, and Stoll.
URL:https://www.greyc.fr/event/seminaire-algo-pierre-popoli-loria-univ-de-lorraine-sum-of-digits-pseudorandomness-and-measures-of-complexity/
LOCATION:Sciences 3- S3 351
CATEGORIES:Amacc,General,Séminaire Algo
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20230321T100000
DTEND;TZID=Europe/Paris:20230321T110000
DTSTAMP:20260629T085614
CREATED:20230213T105826Z
LAST-MODIFIED:20230310T144055Z
UID:11100-1679392800-1679396400@www.greyc.fr
SUMMARY:Séminaire Algorithmique : Martin Pépin (LIPN\, Univ. Paris Nord) « Directed Ordered Acyclic Graphs\, asymptotic analysis and efficient random sampling »
DESCRIPTION:Directed 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. \nIn this talk\, I will introduce a new class of DAGs (DOAGs for Directed Ordered Acyclic Graphs)\, endowed with an independent ordering of the children of each vertex. They offer a new modelisation tool for objects arising from the compaction of tree-like structures. \nFor this class we obtain a recursive decomposition scheme that is amenable to effective random sampling with control over the number of edges\, an optimised sampler for the case when the number of edges is free\, and prove an unusual asymptotic behaviour. I will also show that our approach also applies to classical DAGs\, thus providing a solution to the problem of sampling DAGs with a prescribed number of edges.
URL:https://www.greyc.fr/event/seminaire-algorithmique-martin-pepin-lipn-univ-paris-nord/
LOCATION:Sciences 3- S3 351
CATEGORIES:Amacc,General,Séminaire Algo
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20230323T140000
DTEND;TZID=Europe/Paris:20230323T160000
DTSTAMP:20260629T085614
CREATED:20230307T085505Z
LAST-MODIFIED:20230307T085505Z
UID:11126-1679580000-1679587200@www.greyc.fr
SUMMARY: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 »
DESCRIPTION:Nous 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.\nTitre:\nExploitation de l’apprentissage profond multi-modale/tâche/sources pour l’analyse et l’interprétation d’images  \nRésumé:\n\nDans une première partie de cette présentation\, j’exposerai mes travaux de postdoc qui portent sur la fusion d’images IRM multimodales basée sur l’apprentissage profonds multi-tâche pour la segmentation et la prédiction de la tumeur cérébrale. Je présenterai tout d’abord l’architecture du modèle Swin Transformer et son principe de calcul de l’auto-attention\, introduit pour réduire la complexité de l’opération d’auto-attention utilisée dans le modèle Vision Transformer (ViT) classique. Je détaillerai ensuite l’approche proposée pour la segmentation d’images multimodales de tumeurs cérébrales\, qui s’appuie sur le modèle Swin Transformer et l’auto-attention locale améliorée. Dans une seconde partie\, je montrerai\, comment il est possible de réaliser une fusion par corrélation multimodale dans l’espace des caractéristiques latentes pour la segmentation de la tumeur et prédiction de la localisation de la récidive de la tumeur cérébrale. Dans cette approche\, le mécanisme d’apprentissage par transfert a été appliqué afin d’améliorer la performance et la précision du modèle dans le cas où les données sont limitées. \nJe terminerai ma présentation par mon thème de recherche actuel au Centre Henri Becquerel : Harmonisation des images TEP (Tomographie par Émission de Positons) multi-sources par apprentissage profond. \nMots-clés : \nApprentissage profond multi-tâche\, analyse d’images multimodales\, Swin Transformer\, auto-Attention.
URL:https://www.greyc.fr/event/seminaire-image-fethi-ghazouani-centre-henri-becquerel-de-rouen-exploitation-de-lapprentissage-profond-multi-modale-tache-sources-pour-lanalyse-et-linterpretatio/
LOCATION:ENSICAEN – Batiment F – Salle F-200\, 6 Bd Maréchal Juin\, Caen\, 14050\, France
CATEGORIES:Image,Seminaire Image
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20230328T100000
DTEND;TZID=Europe/Paris:20230328T110000
DTSTAMP:20260629T085614
CREATED:20230213T105951Z
LAST-MODIFIED:20230327T121726Z
UID:11102-1679997600-1680001200@www.greyc.fr
SUMMARY:Séminaire Algorithmique: ANNULÉ EN RAISON DU MOUVEMENT DE GRÈVE
DESCRIPTION:Silvère Gangloff (Univ. AGH\, Cracovie\, Pologne) « Classes de transitivité pour les sous-décalages de type fini multi-dimensionnels » \nCe 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 mélange. Dans des travaux récents\, nous avons montré\, avec B. Hellouin et M. Sablik\, qu’en quantifiant ces propriétés\, il est possible de caractériser la complexité de ces systèmes dynamiques en fonction de la quantité de transitivité/mélange (en particulier du point de vue calculabilité). Cependant les différentes classes de transitivité (relatives à cette quantification) sont mal comprises dans le cas général. Avec B. Hellouin et P. Oprocha\, nous travaillons à caractériser ces classes dans le cadre restreint des Hom shifts\, c’est-à-dire les sous-décalages définis par des ensembles de motifs interdits consistant en des dominos dont les symboles ne sont pas voisins dans un graphe fini non-orienté. Dans cet exposé\, je présenterai le problème\, ainsi que des résultats obtenus et attendus dans cette direction\, qui laissent espérer une caractérisation complète des classes de transitivité dans le cas des Hom shifts.
URL:https://www.greyc.fr/event/seminaire-algorithmique-silvere-gangloff-univ-agh-cracovie-pologne/
LOCATION:Sciences 3- S3 351
CATEGORIES:Amacc,General,Séminaire Algo
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20230330T140000
DTEND;TZID=Europe/Paris:20230330T160000
DTSTAMP:20260629T085614
CREATED:20230307T090119Z
LAST-MODIFIED:20230307T090119Z
UID:11128-1680184800-1680192000@www.greyc.fr
SUMMARY:Séminaire IMAGE : Louis Filstroff (ENSAI)\, « Multi-Fidelity Bayesian Optimization with Unreliable Information Sources »
DESCRIPTION:Nous 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.\nTitre:\nMulti-Fidelity Bayesian Optimization with Unreliable Information Sources \nRésumé:\n\nBayesian optimization (BO) is a powerful framework for optimizing black-box\, expensive-to-evaluate functions. Over the past decade\, many algorithms have been proposed to integrate cheaper\, lower-fidelity approximations of the objective function into the optimization process\, with the goal of converging towards the global optimum at a reduced cost. This task is generally referred to as multi-fidelity Bayesian optimization (MFBO). However\, MFBO algorithms can lead to higher optimization costs than their vanilla BO counterparts\, especially when the low-fidelity sources are poor approximations of the objective function\, therefore defeating their purpose. To address this issue\, we propose rMFBO (robust MFBO)\, a methodology to make any GP-based MFBO scheme robust to the addition of unreliable information sources. rMFBO comes with a theoretical guarantee that its performance can be bound to its vanilla BO analog\, with high controllable probability. We demonstrate the effectiveness of the proposed methodology on a number of numerical benchmarks\, outperforming earlier MFBO methods on unreliable sources. We expect rMFBO to be particularly useful to reliably include human experts with varying knowledge within BO processes.
URL:https://www.greyc.fr/event/seminaire-image-louis-filstroff-ensai-multi-fidelity-bayesian-optimization-with-unreliable-information-sources/
LOCATION:ENSICAEN – Batiment F – Salle F-200\, 6 Bd Maréchal Juin\, Caen\, 14050\, France
CATEGORIES:Image,Seminaire Image
END:VEVENT
END:VCALENDAR