Computers may be thought of as engines for transforming free energy into waste heat and
mathematical work. Existing electronic computers dissipate energy vastly in excess of the …

Quantum mechanics and information theory are among the most important scientific
discoveries of the last century. Although these two areas initially developed separately, it …

Conservative logic is a comprehensive model of computation which explicitly reflects a
number of fundamental principles of physics, such as the reversibility of the dynamical laws …

Just as the theory of computability had its foundations in the Church-Turing thesis,
computational complexity theory rests upon a modern strengthening of this thesis, which …

The theory of reversible computing is based on invertible primitives and composition rules
that preserve invertibility. With these constraints, one can still satisfactorily deal with both …

Recently, cellular automata machines with the size, speed, and flexibility for general
experimentation at a moderate cost have become available to the scientific community …

This work is a part of an effort to analyze the physical limitations of computers due to the
laws of physics. For example, Bennett'" has made a careful study of the free energy …

The theory of quantum computational networks is the quantum generalization of the theory
of logic circuits used in classical computing machines. Quantum gates are the generalization …

In this chapter, the authors discuss a part in an effort to analyze the physical limitations of
computers due to the laws of physics. It is a result of computer science that a universal …

Quantum computers require quantum arithmetic. We provide an explicit construction of
quantum networks effecting basic arithmetic operations: from addition to modular …