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:20230103T100000
DTEND;TZID=Europe/Paris:20230103T110000
DTSTAMP:20260423T194432
CREATED:20220914T075622Z
LAST-MODIFIED:20221216T135003Z
UID:10923-1672740000-1672743600@www.greyc.fr
SUMMARY:Séminaire Algo : Théo Grente (FEM: France Energies Marines) « Étude de propriété des automates cellulaires en utilisant les bases de Groebner »
DESCRIPTION:Dans cet exposé je présenterai une méthode utilisant les bases de Groebner pour rechercher des automates cellulaires (AC) ayant une propriété donnée. Cette méthode a d’abord été conçue pour concevoir des équations différentielles partielles (PDE) intéressantes à partir d’AC. Pour faire le lien entre le comportement discret des AC et le comportement continu des PDE\, on va se servir d’un objet intermédiaire : les ISPS (Interacting Stochastic Particle Systems). \nEn utilisant les ISPS\, on peut traduire la fonction de transition d’un AC de rayon (taille du voisinage) donné en un polynôme sur un anneau multivarié. Une fois sous cette forme\, on peut se servir des bases de Groebner pour déterminer quelles conditions doit remplir cet AC pour pouvoir être dérivé en PDE. En effectuant cette méthode sur plusieurs tailles de voisinage d’AC\, une conjecture a été établie sur les conditions devant être vérifiées par un AC de rayon donné pour pouvoir être dérivé en PDE. Une preuve de cette conjecture a ensuite été trouvée et sera présentée dans cet exposé. \nCette méthode\, consistant à transformer la fonction de transition d’un AC en polynôme sur un anneau mutivarié pour pouvoir ensuite utiliser les bases de Groebner\, est généralisable à la recherche d’autres propriétés sur les AC. Un autre exemple d’application sera présenté dans cet exposé.
URL:https://www.greyc.fr/event/seminaire-algo-theo-grente-lmno-caen/
LOCATION:Sciences 3- S3 351
CATEGORIES:General,Séminaire Algo
END:VEVENT
END:VCALENDAR