The 2006 symposium of the RIKEN Center for Developmental Biology in Kobe, Japan, was entitled ‘Logic of development: new strategies and concepts’. The purpose of the meeting was to uncover how our understanding of the logic of developmental processes is changing in the light of novel techniques and strategies. The speakers provided a comprehensive overview of diverse topics, such as the power o...

Abstract— Quantum dot Cellular Automata (QCA) is anticipated to allow for extremely dense nano-scale design and implementation of logic circuit over the Complementary Metal Oxide Semiconductor (CMOS). QCA has been considered as a promising alternative to CMOS technology for its lower power consumption, higher scale integration and higher switching frequency. Moreover, the basic element in QCA i...

| In designing today's mobile embedded systems such as cellular phones and PDAs, power consumption is an important design constraint. In a CMOS circuit, switching activity accounts for over 90% of total power dissipation. In this paper, we describe a method of encoding opcodes for low-power instruction fetch by reducing the switching activity from the instruction fetch logic. To reduce the swit...

Quantum-dot Cellular Automata (QCA) is a nanotechnology which has potential applications in future computers. In this paper, a method for reducing the number of majority gates (a QCA logic primitive) is developed to facilitate the conversion of SOP expressions of three-variable Boolean functions into QCA majority logic. Thirteen standard functions are proposed to represent all three-variable Bo...

Many problems from AI have been successfully solved using fuzzy techniques. On the other hand, there are many other AI problems, in which logic programming (LP) techniques have been very useful. Since we have two successful techniques, why not combine them?

We investigate the effect of a finite temperature on the behavior of logic circuits based on the principle of Quantum Cellular Automata (QCA) and of ground state computation. In particular, we focus on the error probability for a wire of QCA cells that propagates a logic state. A numerical model and an analytical, more approximate, model are presented for the evaluation of the partition functio...

The question as to whether the propositional logic of Heyting, which was a formalization of Brouwer's intuitionistic logic, is finitely many valued or not, was open for a while (the question was asked by Hahn). Kurt Gödel (1932) introduced an infinite decreasing chain of intermediate logics, which are known nowadays as Gödel logics, for showing that the intuitionistic logic is not finitely (man...

Quantum dot Cellular Automata (QCA) is an emerging digital logic representation techniques and one of the possible alternatives to Complementary Metal–Oxide–Semiconductor (CMOS) technology. It satisfies attractive circuit components of smaller size and low power dissipation of new circuit design technologies. Quantum dots are nano architecture and it works based on columbic interaction between ...

In this paper we continue development of formal theory of a special class offuzzy logics, called EQ-logics. Unlike fuzzy logics being extensions of theMTL-logic in which the basic connective is implication, the basic connective inEQ-logics is equivalence. Therefore, a new algebra of truth values calledEQ-algebra was developed. This is a lower semilattice with top element endowed with two binary...