Exposés
exposé invité (4 documents )
Évaluation quantitative de systèmes via des logiques quantitatives et automates quantitatifsBenjamin Monmegeabstract : exposé invitéExposés soumissciencesconf.org:sda2-2017:157052
|
Quelques questions (ouvertes) de dynamique au travers d'un objet combinatoire : les diagrammes de BratteliFabien Durandabstract : exposé invitéExposés soumissciencesconf.org:sda2-2017:157114
|
Rigidité des échanges d'intervalles : trois approches des systèmes dynamiquesSébastien Ferencziabstract : exposé invitéExposés soumissciencesconf.org:sda2-2017:157250
|
Treillis générés par Chip Firing Game : caractérisations et algorithmes de reconnaissanceThi Ha Duong Phanabstract : exposé invitéExposés soumissciencesconf.org:sda2-2017:159494
|
contribution soumise (9 documents )
|
Accélération Linéaire pour automates cellulaires en 2DAnael Grandjean, Victor Poupet, Gaétan Richard, Véronique Terrierabstract : contribution soumiseExposés soumissciencesconf.org:sda2-2017:158650
|
|
|
|
|
|
|
Random walks on (almost) six regular graphs as dynamics for the associations between chromosomes in 2n=40 mouse spermatocyte's meiotic nucleiJulio Lopez Fenner, Aude Maignan, Rachid Echahed, Soledad Berriosabstract : contribution soumiseSDA²sciencesconf.org:sda2-2017:158803
|
|