we prove that if $m$ is a monoid and $a$ a finite set with more than one element‎, ‎then the residual finiteness of $m$ is equivalent to that of the monoid consisting of all cellular automata over $m$ with alphabet $a$‎.

quantum-dot cellular automata (qca) are a promising nanotechnology to implement digital circuits at the nanoscale. devices based on qca have the advantages of faster speed, lower power consumption, and greatly reduced sizes. in this paper, we are presented the circuits, which generate random numbers in qca. random numbers have many uses in science, art, statistics, cryptography, gaming, gamblin...

image segmentation is an important task in image processing and computer vision which attract many researchers attention. there are a couple of information sets pixels in an image: statistical and structural information which refer to the feature value of pixel data and local correlation of pixel data, respectively. markov random field (mrf) is a tool for modeling statistical and structural inf...

The Full Adders (FAs) constitute the essential elements of digital systems, in a sense that they affect the circuit parameters of such systems. With respect to the MOSFET restrictions, its replacement by new devices and technologies is inevitable. QCA is one of the accomplishments in nanotechnology nominated as the candidate for MOSFET replacement. In this article 4 new layouts are presente...

An additive cellular automaton is a linear map on the set of infinite multidimensional arrays of elements in a finite cyclic group Z/mZ. In this paper, we consider simplices appearing in the orbits generated from arithmetic arrays by additive cellular automata. We prove that they constitute a source of balanced simplices, that are simplices containing all the elements of Z/mZ with the same mult...

The aim of this article is to provide several ways assess the observability and reconstructibility bounded cellular automata (CA). First, generic definitions for considered CA their associated sensors are given, as well these measured dynamical systems. Criteria proposed linear affine through an extension Kalman criterion non-linear from results on Boolean networks. A method decentralised calcu...

Local Proceedings iii iv Preface This volume contains the proceedings of the 18th International workshop AUTOMATA and the 3rd international symposium JAC. AUTOMATA workshop series aims at gathering researchers from all over the world working in fundamental aspects of cellular automata and related discrete complex systems. Topics cover (although they are not limited to): dynamics, topological, e...

quantum dot cellular automata (qca) is one of the important nano-level technologies for implementation of both combinational and sequential systems. qca have the potential to achieve low power dissipation and operate high speed at thz frequencies. however large probability of occurrence fabrication defects in qca, is a fundamental challenge to use this emerging technology. because of these vari...