We establish an exact logical characterization of linear time complexity of cellular automata of dimension d, for any fixed d: a set of pictures of dimension d belongs to this complexity class iff it is definable in existential second-order logic restricted to monotonic Horn formulas with built-in successor function and d+1 first-order variables. This logical characterization is optimal modulo ...

A design procedure of neural associative memories to be used for robot vision systems is developed, which fits in the capabilities both of discrete-time cellular neural networks (DTCNNs) and fuzzy logic. The choice of this kind of neural networks is motivated by their architecture, suitable for storing images, and their locally connected structure, which is effective for the hardware implementa...

The main problem in the guidance of Autonomous Mobile Robots is obstacle avoidance in unknown environment. This paper presents a novel technique for path fixing for obstacle avoidance using a framework of cellular logic. The images of the unknown environment obtained from local perception devices are scanned by an array of neighbourhood windows and processed by the techniques of contouring, ske...

cellular and molecular anesthesia: from bench to bedside in the current practice of anesthesia, each day, anesthesiologists deal with a great work: they use the cellular mechanisms of drug molecules to induce their desired effects for induction and maintenance of anesthesia to achieve appropriate tolerance of surgery and its pain, modulation of stress response, sedation needed for performing a ...

Quantum-Dot Cellular Automata (QCA) are an emerging field-coupled nanotechnology with remarkable performance and energy efficiency. In order to enable the exploration of this technology, we propose a model for the logic synthesis of QCA circuits that, for the first time, considers and abstracts all main physical aspects—in particular, energy dissipation. To this end, we review in detail how ene...

a controversy among the muslim philosophers about the domain of the extensions was that is the subject of the verity-propositions contained the impossible extensions or only all of the actual and possible ones. from ibn-sina to al-khunaji, there are explicit texts to the former view; but later logicians, starting with athir al-din al-abhari, were inclined to the latter. in this paper, we attamp...

The theory and application of cellular automata (CA) for a stream cipher-based encryption principle are presented in this study. Certain fundamental transformations developed based on CA regarding decentralized computation modeling different system’s behavior. changes governing state transitions rely simple evolution rules, which can easily be translated into functions using logic operators. A ...

Side-channel attacks by cryptanalysis are becoming a serious threat for cryptographers, who are designing systems that are more robust in terms of hardware and algorithm threats, aiming to thwart violations of the secrecy of securely processed information. As our contribution on a related issue, we propose a new secure logic, called charge-sharing symmetric adiabatic logic (CSSAL), for resistan...