English
Related papers

Related papers: CAX: Cellular Automata Accelerated in JAX

200 papers

Here I describe a view of the evolution of cellular automata that allows to operate on larger structures. Instead of calculating the next state of all cells in one step, the method here developed uses a time slice that can proceed at…

Cellular Automata and Lattice Gases · Physics 2010-07-20 Markus Redeker

LaTeX is a free document preparation system that handles the typesetting of mathematical expressions smoothly and elegantly. It has become the standard format for creating and publishing research articles in mathematics and many scientific…

Computers and Society · Computer Science 2024-02-06 Ikechukwu E. Onyenwe , Ebele Onyedinma , Onyedika O. Ikechukwu-Onyenwe , Obinna Agbata , Faustinah N. Tubo

We present ongoing work on a tool that consists of two parts: (i) A raw micro-level abstract world simulator with an interface to (ii) a 3D game engine, translator of raw abstract simulator data to photorealistic graphics. Part (i)…

Multiagent Systems · Computer Science 2017-11-22 Olivier Van Acker , Oded Lachish , Graeme Burnett

This note is a survey of examples and results about cellular automata with the purpose of recalling that there is no 'universal' way of being computationally universal. In particular, we show how some cellular automata can embed efficient…

Computational Complexity · Computer Science 2021-12-03 Guillaume Theyssier

"Code-as-Policy" considers how executable code can complement data-intensive Vision-Language-Action (VLA) methods, yet their effectiveness as autonomous controllers for embodied manipulation remains underexplored. We present CaP-X, an…

The growing prevalence of data-intensive workloads, such as artificial intelligence (AI), machine learning (ML), high-performance computing (HPC), in-memory databases, and real-time analytics, has exposed limitations in conventional memory…

Cellular automata (CA) have been found as an attractive modeling tool for various applications, such as, pattern recognition, image processing, data compression, encryption, and specially for VLSI design & test. For such applications,…

Formal Languages and Automata Theory · Computer Science 2013-11-28 Sukanta Das , Biplab K Sikdar

A new kind of cellular automaton (CA) for the study of the dynamics of urban systems is proposed. The state of a cell is not described using a finite set, but by means of continuum variables. A population sector is included, taking into…

Cellular Automata and Lattice Gases · Physics 2007-05-23 Alberto Vancheri , Paolo Giordano , Denise Andrey , Sergio Albeverio

In this paper we propose an approach for measuring growth of complexity of emerging patterns in complex systems such as cellular automata. We discuss several ways how a metric for measuring the complexity growth can be defined. This…

Cellular Automata and Lattice Gases · Physics 2022-07-22 Hugo Cisneros , Josef Sivic , Tomas Mikolov

Searching for geometric objects that are close in space is a fundamental component of many applications. The performance of search algorithms comes to the forefront as the size of a problem increases both in terms of total object count as…

Distributed, Parallel, and Cluster Computing · Computer Science 2022-06-30 D. Lebrun-Grandié , A. Prokopenko , B. Turcksin , S. R. Slattery

We study the influence of the dimension of cellular automata (CA) for real time language recognition of one-dimensional languages with parallel input. Specifically, we focus on the question of determining whether every language that can be…

Formal Languages and Automata Theory · Computer Science 2016-10-04 Anaël Grandjean , Victor Poupet

The dynamics group of an asynchronous cellular automaton (ACA) relates properties of its long term dynamics to the structure of Coxeter groups. The key mathematical feature connecting these diverse fields is involutions. Group-theoretic…

Discrete Mathematics · Computer Science 2010-10-12 Matthew Macauley , Henning S. Mortveit

Building XR-AI research prototypes requires navigating two largely separate ecosystems. Mainstream XR development relies on C#/C++ and game engines, while AI development is centered on Python. This toolchain fragmentation slows down…

Human-Computer Interaction · Computer Science 2026-05-22 Arthur Caetano , Radha Kumaran , Kelvin Jou , Tobias Höllerer , Misha Sra

Cellular automata are one-dimensional arrays of interconnected interacting finite automata. We investigate one of the weakest classes, the real-time one-way cellular automata, and impose an additional restriction on their inter-cell…

Formal Languages and Automata Theory · Computer Science 2009-07-30 Martin Kutrib , Andreas Malcher

This article surveys some theoretical aspects of Cellular Automata (CAs) research. In particular, we discuss on maximal length CA. An n-cell CA is a maximal length CA, if all the configurations except one form a single cycle. There is a…

Formal Languages and Automata Theory · Computer Science 2024-10-10 Sumit Adak , Sukanta Das

Aerial Object Goal Navigation, a challenging frontier in Embodied AI, requires an Unmanned Aerial Vehicle (UAV) agent to autonomously explore, reason, and identify a specific target using only visual perception and language description.…

Robotics · Computer Science 2026-02-03 Daoxuan Zhang , Ping Chen , Xiaobo Xia , Xiu Su , Ruichen Zhen , Jianqiang Xiao , Shuo Yang

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

We present CosmoPower-JAX, a JAX-based implementation of the CosmoPower framework, which accelerates cosmological inference by building neural emulators of cosmological power spectra. We show how, using the automatic differentiation, batch…

Cosmology and Nongalactic Astrophysics · Physics 2023-06-27 D. Piras , A. Spurio Mancini

We present a novel, JAX-powered implementation of a parametric component-separation method for CMB polarization data, explicitly designed to handle spatially varying foreground Spectral Energy Distributions (SEDs). The approach models this…

Progress in multi-agent reinforcement learning (MARL) requires challenging benchmarks that assess the limits of current methods. However, existing benchmarks often target narrow short-horizon challenges that do not adequately stress the…

Machine Learning · Computer Science 2025-11-10 Bassel Al Omari , Michael Matthews , Alexander Rutherford , Jakob Nicolaus Foerster