Mathematics

k-block versus 1-block parallel addition in non-standard numeration systems

Author: 
Christiane Frougny
Pavel Heller
Edita Pelantova
Milena Svobodova
Date: 
Mon, Jun 3, 2013 to Fri, Jun 7, 2013
Location: 
UBC
Conference: 
Automata Theory and Symbolic Dynamics
Abstract: 

k-block versus 1-block parallel addition in
non-standard numeration systems

Class: 
Subject: 

µ - Equicontinuity and weak convergence in zero-dimensional spaces

Author: 
Felipe García-Ramos
Date: 
Mon, Jun 3, 2013 to Fri, Jun 7, 2013
Location: 
UBC
Conference: 
Automata Theory and Symbolic Dynamics
Abstract: 

µ - Equicontinuity and weak convergence in zero-dimensional spaces

Class: 
Subject: 

Entropy of tree automata, joint spectral radii and zero-error coding

Author: 
Catalin Dima
Date: 
Mon, Jun 3, 2013 to Fri, Jun 7, 2013
Location: 
UBC
Conference: 
Automata Theory and Symbolic Dynamics
Abstract: 

Entropy of trees & tree automata.
Entropy of tree automata = joint spectral radius.
The zero-error coding problem with states.
Approximating zero-error capacities of codes.
Open problems, etc.

Class: 
Subject: 

A categorical invariant of flow equivalence of shifts

Author: 
Alfredo Costa
Date: 
Mon, Jun 3, 2013 to Fri, Jun 7, 2013
Location: 
UBC
Conference: 
Automata Theory and Symbolic Dynamics
Abstract: 

A categorical invariant of flow equivalence of shifts

Class: 
Subject: 

Markov Random Fields and the Pivot Property

Author: 
Nishant Chandgotia
Date: 
Mon, Jun 3, 2013 to Fri, Jun 7, 2013
Location: 
UBC
Conference: 
Automata Theory and Symbolic Dynamics
Abstract: 

Markov Random Fields and the Pivot Property

Class: 
Subject: 

Markov diagrams for some non-Markovian systems

Author: 
Kathleen Carroll
Karl Petersen
Date: 
Mon, Jun 3, 2013 to Fri, Jun 7, 2013
Location: 
UBC
Conference: 
Automata Theory and Symbolic Dynamics
Abstract: 

Markov diagrams for some non-Markovian systems

Class: 
Subject: 

Pisot numeration systems and beyond

Author: 
V. Berthé
W. Steiner
J. Thuswaldner
Date: 
Mon, Jun 3, 2013 to Fri, Jun 7, 2013
Location: 
UBC
Conference: 
Automata Theory and Symbolic Dynamics
Abstract: 

Pisot numeration systems and beyond

Class: 
Subject: 

A maximal entropy stochastic process for a timed automaton

Author: 
Nicolas Basset
Date: 
Mon, Jun 3, 2013 to Fri, Jun 7, 2013
Location: 
UBC
Conference: 
Automata Theory and Symbolic Dynamics
Abstract: 

Theoretical problem statement
Lift the Shannon/Parry Markov chain of a strongly connected
finite graph to the timed automata settings.
(aka MME of an irreducible SFT)
Practical problem statement
Generate quickly and as uniformly as possible runs of a timed
automaton.
◮ quickly: Step by step simulation as with a finite state Markov
Chain → Stochastic Process Over Runs (SPOR)
◮ ≈ uniformly → SPOR of maximal entropy + asymptotic
equipartition property.

Class: 
Subject: 

Characterizing some limit sets of Cellular Automata

Author: 
Alexis Ballier
Date: 
Mon, Jun 3, 2013 to Fri, Jun 7, 2013
Location: 
UBC
Conference: 
Automata Theory and Symbolic Dynamics
Abstract: 

Characterizing some limit sets of Cellular Automata

Class: 
Subject: 

Multidimensional Effective Subshifts

Author: 
Nathalie Aubrun
Mathieu Sablik
Date: 
Mon, Jun 3, 2013 to Fri, Jun 7, 2013
Location: 
UBC
Conference: 
Automata Theory and Symbolic Dynamics
Abstract: 

Multidimensional SFT and effective subshifts
Projective subdynamics
Implementation of Turing machines inside SFT
Substitutive subshifts

Class: 
Subject: 

Pages