Search results for " Automata"

On the decomposition of prefix codes

2017

Abstract In this paper we focus on the decomposition of rational and maximal prefix codes. We present an effective procedure that allows us to decide whether such a code is decomposable. In this case, the procedure also produces the factors of some of its decompositions. We also give partial results on the problem of deciding whether a rational maximal prefix code decomposes over a finite prefix code.

Predicting the impacts of climate change on plant dynamics and tree-grass-shrub competition using a Cellular Automata model in a Mediterranean catchm…

2013

GTVcut for neuro-radiosurgery treatment planning: an MRI brain cancer seeded image segmentation method based on a cellular automata model

2018

Despite of the development of advanced segmentation techniques, achieving accurate and reproducible gross tumor volume (GTV) segmentation results is still an important challenge in neuro-radiosurgery. Nowadays, magnetic resonance imaging (MRI) is the most prominent modality in radiation therapy for soft-tissue anatomical districts. Gamma Knife stereotactic neuro-radiosurgery is a minimally invasive technology for dealing with inaccessible or insufficiently treated tumors with traditional surgery or radiotherapy. During a treatment planning phase, the GTV is generally contoured by experienced neurosurgeons and radiation oncologists using fully manual segmentation procedures on MR images. Unf…

Modeling Local Social Migrations: A Cellular Automata Approach

2015

In local social migrations, agents move from their initial location looking for a better local social environment. Social migrations processes do not change the number of social agents of a given type (i.e., the empirical distribution of the population) but their spatial location. Although cellular automata seems to appear as a natural approach to model of social migrations, the evolution of the configuration through a cellular automata might induce a new configuration wherein the number of agents of each type might be actually modified. This article provides a characterization of these cellular automata rules such that for any initial empirical distribution, the evolution of the configurat…

Constraint Cellular Automata for Urban Development Simulation: An Application to the Strasbourg-Kehl Cross-Border Area

2017

AcknowledgementsThe research presented in this chapter is part of the Smart. Boundary project supported by the Fonds National de la Recherche in Luxembourg and CNRS in France (ref. INTER/CNRS/12/02). The authors would like also to thank the Grasp Program of LISER for allowing cross-collaboration between the two teams based in Luxembourg and France.; International audience; Urban sprawl and space consumption have become key issues in sustainable territorial development. Traditional planning approaches are often insufficient to anticipate their complex spatial consequences, especially in cross-border areas. Such complexity requires the use of dynamic spatial simulations and the development of…

(H, ρ)-induced dynamics and the quantum game of life

2017

Abstract We propose an extended version of quantum dynamics for a certain system S , whose evolution is ruled by a Hamiltonian H, its initial conditions, and a suitable set ρ of rules, acting repeatedly on S . The resulting dynamics is not necessarily periodic or quasi-periodic, as one could imagine for conservative systems with a finite number of degrees of freedom. In fact, it may have quite different behaviors depending on the explicit forms of H, ρ as well as on the initial conditions. After a general discussion on this (H, ρ)-induced dynamics, we apply our general ideas to extend the classical game of life, and we analyze several aspects of this extension.

Social Simulation Based on Cellular Automata: Modeling Language Shifts

2011

Nowadays, language shifts (i.e., a community of speakers stops using their traditional language and speaks a new one in all communication settings) may produce a massive extinction of languages throughout the world. In this context, an important task for social sciences research should therefore be to achieve a deep comprehension of language shifts. However, modeling the social and behavioral variables that guide the social behavior of individuals and groups has traditionally been tricky in all the social sciences. In this situation, social simulation provides a tool for testing hypotheses and building models of social phenomena (see, for example, Gilbert, 1996; Gilbert & Toitzsch, 2005; an…

Cellular automata and urban development simulation : a transition rules creation process based on statistical analysis

2015

National audience; Nowadays land use evolution study has become a major stake in urban planning. The main focus is to understand the way in which land use evolves across time and to understand processes that take place. This understanding would allow to plan urban developments based on a knowledge as complete as possible covering as many fields as possible (i.e. urban planning, politics, sociology, etc.). Simulation tools can be used to merge and display different points of view and stakes from different stakeholders (Parrott & Meyer, 2012).

Generating Multi State Cellular Automata by using Chua’s ”Universal Neuron”

2007

Debates with Small Transparent Quantum Verifiers

2014

We study a model where two opposing provers debate over the membership status of a given string in a language, trying to convince a weak verifier whose coins are visible to all. We show that the incorporation of just two qubits to an otherwise classical constant-space verifier raises the class of debatable languages from at most NP to the collection of all Turing-decidable languages (recursive languages). When the verifier is further constrained to make the correct decision with probability 1, the corresponding class goes up from the regular languages up to at least E.