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
Journée DyNet (Dynamic Networks – graphe dynamiques)
LE GREYC accueille les journées DyNet (qui devrait se poursuivre par un projet RIN, si la région veut bien nous financer comme elle l'avait promis) le 6 octobre. Voici le programme : 9h30 : café d'accueil 10h00 : Paul Dorbec "Jeux dans les graphes" 10h30 : Éric Sanlaville "Comment étendre les problèmes d'optimisation classiques aux … Continue reading Journée DyNet (Dynamic Networks – graphe dynamiques)
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, Florian Bridoux (LIS, Université Aix-Marseille) : « Réseaux d’automates expansifs »
Sciences 3- S3 351Résumé : An Automata Network is a map f:Qn→Qn where Q is a finite alphabet. It can be viewed as a network of n entities, each holding a state from Q, and evolving according to a deterministic synchronous update rule in such a way that each entity only depends on its neighbors in the network's … Continue reading Séminaire ALGO, Florian Bridoux (LIS, Université Aix-Marseille) : « Réseaux d’automates expansifs »
Séminaire ALGO : Vincent Botbol (Nomadic labs.), Matthieu Dien (GREYC) et Ghiles Ziat (IRIF, Univ. Paris), « Génération de tests aléatoires pour des types numériques contraints ».
Sciences 3- S3 351Il est fréquent de manipuler des valeurs numériques avec des contraintes non explicitées par leur types. Par exemple, les intervalles sont des couples de nombres avec la contraintes que le premier (la borne inférieure) soit plus petit que le deuxième (borne supérieure). Nos travaux proposent de générer automatiquement des tests unitaires pour à partir de … Continue reading Séminaire ALGO : Vincent Botbol (Nomadic labs.), Matthieu Dien (GREYC) et Ghiles Ziat (IRIF, Univ. Paris), « Génération de tests aléatoires pour des types numériques contraints ».