English
Related papers

Related papers: Operator representation and logistic extension of …

200 papers

We propose an automaton model which is a combination of symbolic and register automata, i.e., we enrich symbolic automata with memory. We call such automata Register Match Automata (RMA). RMA extend the expressive power of symbolic…

Formal Languages and Automata Theory · Computer Science 2018-06-12 Elias Alevizos , Alexander Artikis , Georgios Paliouras

In this work, we investigate the computational aspects of asynchronous cellular automata (ACAs), a modification of cellular automata in which cells update independently, following an asynchronous schedule. We introduce flip automata…

Formal Languages and Automata Theory · Computer Science 2025-10-20 Ivan Baburin , Matthew Cook , Florian Grötschla , Andreas Plesner , Roger Wattenhofer

Elementary Cellular Automata (ECA) are a well-studied computational universe that is, despite its simple configurations, capable of impressive computational variety. Harvesting this computation in a useful way has historically shown itself…

Cellular Automata and Lattice Gases · Physics 2024-07-26 Tom Eivind Glover , Ruben Jahren , Francesco Martinuzzi , Pedro Gonçalves Lind , Stefano Nichele

We systematically study categorical duality operators on spin (and anyon) chains with respect to an internal fusion category symmetry C. We parameterize duality operators on the quasi-local algebra in terms of data dependent on the…

Quantum Algebra · Mathematics 2026-03-30 Corey Jones , Xinping Yang

The Global Cellular Automata (GCA) Model is a generalization of the Cellular Automata (CA) Model. The GCA model consists of a collection of cells which change their states depending on the states of their neighbors, like in the classical CA…

Formal Languages and Automata Theory · Computer Science 2022-07-12 Rolf Hoffmann

We present a comprehensive study of the behavioral theory of an untyped $\lambda$-calculus extended with the delimited-control operators shift and reset. To that end, we define a contextual equivalence for this calculus, that we then aim to…

Logic in Computer Science · Computer Science 2023-06-22 Dariusz Biernacki , Sergueï Lenglet , Piotr Polesiuk

Any algorithm (in the sense of Gurevich's abstract-state-machine axiomatization of classical algorithms) operating over any arbitrary unordered domain can be simulated by a dynamic cellular automaton, that is, by a pattern-directed cellular…

Logic in Computer Science · Computer Science 2015-04-14 Nachum Dershowitz , Evgenia Falkovich

For a linear system, the response to a stimulus is often superposed by its responses to other decomposed stimuli. In quantum mechanics, a state is the superposition of multiple eigenstates. Here, by taking advantage of the phase difference,…

Machine Learning · Computer Science 2020-04-06 Chen Miao , Shaohua Ma

Although traffic simulations with cellular-automata models give meaningful results compared with empirical data, highway traffic requires a more detailed description of the elementary dynamics. Based on recent empirical results we present a…

Statistical Mechanics · Physics 2007-05-23 W. Knospe , L. Santen , A. Schadschneider , M. Schreckenberg

Summary: Traffic light coordination is a complex problem. In this paper, we extend previous work on an abstract model of city traffic to allow for multiple street intersections. We test a self-organizing method in our model, showing that it…

Adaptation and Self-Organizing Systems · Physics 2011-04-15 Carlos Gershenson , David A. Rosenblueth

Cellular automata provide models of parallel computation based on cells, whose connectivity is given by an action of a monoid on the cells. At each step in the computation, every cell is decorated with a state that evolves in discrete steps…

Logic in Computer Science · Computer Science 2025-12-17 Henning Basold , Chase Ford , Lulof Pirée

We define the harmonic evolution of states of a graph by iterative application of the harmonic operator (Laplacian over $Z_2$). This provides graphs with a new geometric context and leads to a new tool to analyze them. The digraphs of…

Combinatorics · Mathematics 2012-01-09 Jerzy Kocik

The dynamic complexity of robots and mechatronic systems often pertains to the hybrid nature of dynamics, where governing equations consist of heterogenous equations that are switched depending on the state of the system. Legged robots and…

Robotics · Computer Science 2023-10-17 Harry Asada

Neural Cellular Automata (NCA) are a powerful combination of machine learning and mechanistic modelling. We train NCA to learn complex dynamics from time series of images and PDE trajectories. Our method is designed to identify underlying…

Pattern Formation and Solitons · Physics 2024-04-23 Alex D. Richardson , Tibor Antal , Richard A. Blythe , Linus J. Schumacher

One-dimensional cellular automata are discrete dynamical systems that operate on an infinite lattice of sites and are characterized by the locality and uniformity of their update rule. Permutations of the state set and isometric…

Cellular Automata and Lattice Gases · Physics 2025-12-10 Martin Schaller , Karl Svozil

Neural cellular automata (Neural CA) are a recent framework used to model biological phenomena emerging from multicellular organisms. In these systems, artificial neural networks are used as update rules for cellular automata. Neural CA are…

Neural and Evolutionary Computing · Computer Science 2021-07-13 Alexandre Variengien , Stefano Nichele , Tom Glover , Sidney Pontes-Filho

Partial subtle mirroring of nonverbal behaviors during conversations (also known as mimicking or parallel empathy), is essential for rapport building, which in turn is essential for optimal human-human communication outcomes. Mirroring has…

Robotics · Computer Science 2021-03-09 Katarzyna Pasternak , Zishi Wu , Ubbo Visser , Christine Lisetti

Cellular automata on the triangular grid are here referred to as Triangular Automata (TA). This paper focuses on the simplest class of TA, called Elementary Triangular Automata (ETA). They are argued to be the two-dimensional counterpart of…

Cellular Automata and Lattice Gases · Physics 2025-11-11 Paul Cousin

Parallel algorithms for solving any image processing task is a highly demanded approach in the modern world. Cellular Automata (CA) are the most common and simple models of parallel computation. So, CA has been successfully used in the…

Computer Vision and Pattern Recognition · Computer Science 2014-07-30 Deepak Ranjan Nayak , Prashanta Kumar Patra , Amitav Mahapatra

In this work we begin a theoretical and numerical investigation on the spectra of evolution operators of neutral renewal equations, with the stability of equilibria and periodic orbits in mind. We start from the simplest form of linear…

Numerical Analysis · Mathematics 2025-04-18 Dimitri Breda , Davide Liessi , Sjoerd M. Verduyn Lunel