In this era of nanometer semiconductor nodes, the transistor scaling and voltage are not any longer in line with each other, leading to failure Dennard scaling. Thus, it poses a severe design challenge. Reversible computing plays vital role applications like low power CMOS, nanotechnology, quantum computing, optical digital signal processing, cryptography, computer graphics andmany more. The pr...

A function is reversible if each input vector produces a unique output vector. Reversible functions find many applications, especially in low power design, quantum computing, optical computing, and nanotechnology. Logic synthesis for reversible circuits differs substantially from traditional logic synthesis and is an active field of research at the moment. In this paper, we present the first pr...

As energy efficiency becomes a paramount issue in this day and age, reversible computing may serve as a critical step towards energy conservation in information technology. The inputs of reversible computing elements define the outputs and vice versa. Some reversible gates such as the Fredkin gate are also universal; that is, they may be used to produce any logic operation. It is possible to fi...

Projection methods are a standard approach for the numerical solution of differential equations on manifolds. It is known that geometric properties (such as symplecticity or reversibility) are usually destroyed by such a discretization, even when the basic method is symplectic or symmetric. In this article, we introduce a new kind of projection methods, which allows us to recover the time-rever...

Partitioning automata (PA) are de ned. They are equivalent to cellular automata (CA). Reversible sub-classes are also equivalent. A simple, reversible and universal partitioning automaton is described. Finally, it is shown that there are reversible PA and CA that are able to simulate any reversible PA or CA on any con guration.

Reversible logic is one of the emerging technologies having promising applications in quantum computing. This project will deal with the design of a 16 bit reversible Arithmetic Logic Unit (ALU) with 15 operations is presented by making use of Double Peres gate, Fredkin gate, Toffolli gate, DKG gate and NOT gate. A new VLSI architecture for ALU using reversible logic gates is proposed. ALU is o...

Heteroaggregation is the aggregation of mixed particle systems where the colloidal particles may differ in charge, size and chemical composition. The phenomenon of heteroaggregation is of great relevance in industrial processes and the natural environment. This review will focus on binary heteroaggregation where at least one of the particles is a stimulus-responsive smart particle. Aggregation ...

The notion of reversible computing is attracting interest because of its applications in diverse fields, in particular the study of programming abstractions for fault tolerant systems. Reversible CCS (RCCS), proposed by Danos and Krivine, enacts reversibility by means of memory stacks. Ulidowski and Phillips proposed a general method to reverse a process calculus given in a particular SOS forma...

We establish a close connection between a reversible programming language based on type isomorphisms and a formally presented univalent universe. The correspondence relates combinators witnessing type isomorphisms in the programming language to paths in the univalent universe; and combinator optimizations in the programming language to 2-paths in the univalent universe. The result suggests a si...