Évènements

Ré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 »

Il 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 ».

Résumé : In this work we develop Monte-Carlo model checking techniques to evaluate quantitative properties of timed languages. Our approach is based on uniform random sampling of behaviors, as opposed to isotropic sampling that chooses the next step uniformly at random. The uniformity is defined with respect to volume measure of timed languages previously studied … Continue reading Benoit Barbot (LACL, Univ. Paris Est Créteil) :  « Sampling uniforme de langage d’automate temporisé »

La dominance cyclique est un phénomène où différents états (espèces, stratégies...) sont dans une relation cyclique de proie à prédateur : A mange B mange C mange A. Il s'agit d'une situation classique dans des systèmes écologiques réels, en théorie évolutionnaire des jeux, etc. Simuler la dominance cyclique avec des modèles de type Lotka-Volterra fait … Continue reading Séminaire ALGO : Benjamin Hellouin (LRI, Univ. Paris Sud), « Comportement asymptotique de l’automate cyclique à 3 états »

Résumé : On appelle sous-shift (ou sous-décalage) un ensemble de pavages ou de coloriages du plan respectant certaines contraintes locales. Historiquement introduits comme discrétisations de systèmes dynamiques continus, on se propose ici d'en étudier un invariant topologique, introduit par W.Geller et J.Propp, le Groupe Fondamental Projectif. A l'instar de la définition habituelle du groupe fondamental, … Continue reading Séminaire ALGO : Léo Pavlet Salomon (GREYC), « Groupe fondamental et pavages du plan: quelques constructions ».

Abstract : Differential equations is some universal language in many contexts, and in particular in experimental sciences.  Motivated initially by analog models of computation, we will review various results demonstrating that it is possible to program with ordinary differential equations, or their discrete counterpart, discrete differences. We will show that several concepts from computability and … Continue reading Séminaire ALGO : Olivier Bournez (LIX, Ecole Polytechnique), « Computing with analog models. Computing with ordinary differential equations ».