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:20250330T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20251026T010000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20250527T104500
DTEND;TZID=Europe/Paris:20250527T114500
DTSTAMP:20260421T200413
CREATED:20250416T144127Z
LAST-MODIFIED:20250526T134812Z
UID:11832-1748342700-1748346300@www.greyc.fr
SUMMARY:Séminaire Algorithmique : « Introduction à la théorie des structures et son application aux fonctions Booléennes »\, Joan Thibault (IRISA\, Rennes)
DESCRIPTION:La notion de structure transparaît dans de nombreux domaines scientifiques comme une approche pragmatique pour capturer le fait que des objets complexes peuvent être décomposés en éléments plus simples. Nous proposons une formalisation de cette notion et montrons comment s’en servir pour unifier diverses variations des diagrammes de décision binaires (BDD\, une représentation simple\, pragmatique\, canonique et raisonnablement efficace pour manipuler les fonctions Booléennes) présents dans la littérature scientifique. En particulier\, (1) nous montrons que garantir la canonicité de telles représentations est drastiquement plus simple que précédemment perçu\, et (2) nous introduisons la notion de ‘confluence structurelle’ pour formaliser des éléments peu ou pas adressés par les formalismes précédents.\n\nCette présentation sera agrémentée de résultats expérimentaux pour montrer l’intérêt pratique de notre approche.
URL:https://www.greyc.fr/event/seminaire-algorithmique-joan-thibault-irisa-rennes/
LOCATION:Sciences 3- S3 351
CATEGORIES:Amacc,General,News,Séminaire Algo
END:VEVENT
END:VCALENDAR