Séminaire ALGO : Sergej Scheck (GREYC), Knowledge Compilation for Action Languages
Sciences 3- S3 351Abstract : Computational efficiency of a planner in automated planning depends among other things on the formal representation of actions. This motivates the study of the relative succinctness and complexity of queries for languages that can be used to represent actions. We are going to investigate variants of two most common representations, namely the boolean … Continue reading Séminaire ALGO : Sergej Scheck (GREYC), Knowledge Compilation for Action Languages
Séminaire ALGO, Antonin Callard : « Entropies et entropies de surfaces des sous-shifts 2D »
Les sous-shifts 2D sont les ensembles de coloriages du plan $Z^2$, par un nombre fini de couleurs, et qui sont définis par des familles de motifs interdits. Les sous-shifts sont une classe de systèmes dynamiques qui profitent d'un lien étroit avec la calculabilité : d'abord un obstacle (indécidabilité du problème du domino), la calculabilité est … Continue reading Séminaire ALGO, Antonin Callard : « Entropies et entropies de surfaces des sous-shifts 2D »
Séminaire ALGO : Romain Lecoq
Sciences 3- S3 351A remplir.
Séminaire ALGO, Julien David : « Une nouvelle approche pour l’analyse d’algorithme. »
Résumé: L'étude théorique des algorithmes est très souvent limitée à l'analyse de la complexité dans le pire des cas. Il existe pourtant de nombreuses notions de complexité qui apportent des informations essentielles à la bonne compréhension de l'efficacité des algorithmes. Parmi celles-ci, la complexité en moyenne consiste à supposer une distribution de probabilité sur les … Continue reading Séminaire ALGO, Julien David : « Une nouvelle approche pour l’analyse d’algorithme. »