#### Filter Results:

- Full text PDF available (8)

#### Publication Year

2006

2013

#### Publication Type

#### Co-author

#### Publication Venue

#### Key Phrases

Learn More

- Alexis Ballier, Bruno Durand, Emmanuel Jeandel
- STACS
- 2008

In this paper, we study the structure of the set of tilings produced by any given tile-set. For better understanding this structure, we address the set of finite patterns that each tiling contains. This set of patterns can be analyzed in two different contexts: the first one is combi-natorial and the other topological. These two approaches have independent… (More)

- Alexis Ballier, Emmanuel Jeandel
- JAC
- 2010

We know that tilesets that can tile the plane always admit a quasi-periodic tiling [4, 8], yet they hold many uncomputable properties [3, 11, 21, 25]. The quasi-periodicity function is one way to measure the regularity of a quasi-periodic tiling. We prove that the tilings by a tileset that admits only quasi-periodic tilings have a recursively (and… (More)

- Alexis Ballier, Emmanuel Jeandel
- JAC
- 2008

In this paper we emphasize the links between model theory and tilings. More precisely, after giving the definitions of what tilings are, we give a natural way to have an interpretation of the tiling rules in first order logics. This opens the way to map some model theoretical properties onto some properties of sets of tilings, or tilings themselves.

- Alexis Ballier, Pierre Guillon, Jarkko Kari
- Fundam. Inform.
- 2011

We construct a cellular automaton (CA) with a sofic and mixing limit set and then construct a stable CA with the same limit set, showing there exist subshifts that can be limit sets of both stable and unstable CAs, answering a question raised by A. Maass.

One of the true challenges in resource management in grids is to provide support for co-allocation, that is, the allocation of resources in multiples autonomous subsystems of a grid to single jobs. With reservation-based local schedulers, a grid scheduler can reserve processors with these schedulers to achieve simultaneous processor availability. However,… (More)

- Alexis Ballier, Emmanuel Jeandel
- ArXiv
- 2013

We study two relations on multi-dimensional subshifts: A pre-order based on the patterns configurations contain and the Cantor-Bendixson rank. We exhibit several structural properties of two-dimensional subshifts: We characterize the simplest aperiodic configurations in countable SFTs, we give a combinatorial characterization of uncountable subshifts, we… (More)

- Alexis Ballier
- ArXiv
- 2013

We define a weak notion of universality in symbolic dynamics and, by generalizing a proof of Mike Hochman, we prove that this yields necessary conditions on the forbidden patterns defining a universal subshift: These forbidden patterns are necessarily in a Medvedev degree greater or equal than the degree of the set of subshifts for which it is universal. We… (More)

- Alexis Ballier, Bruno Durand, Emmanuel Jeandel
- LATIN
- 2010

We study the error robustness of tilings of the plane. The fundamental question is the following: given a tileset, what happens if we allow a small probability of errors? Are the objects we obtain close to an error-free tiling of the plane? We prove that tilesets that produce only periodic tilings are robust to errors. For this proof, we use a hierarchical… (More)

- ‹
- 1
- ›