First a general definition of reversibility is given which is in accordance with the mechanical concept of reversibility. This definition is applied to thermostatics. It is shown that the smooth curves in the space of equilibrium parameters can be approximated arbitrarily by irreversible or by almost reversible real processes. The work done during an almost reversible process is given by a Pfaf...

In the investigation of minimal machinery in reversible computing, we proved that each nondegenerate 2-state 3-symbol reversible logic element is logically universal. So far, a 2-state 4-symbol element called “rotary element” was shown to be logically universal in the framework of reversible logic element with memory. The main result in this paper not only improves the previous result with resp...

Porous copper nanoarchitectures are obtained selectively by acid-dealloying of Mg–Cu precursors prepared microwave-induced-metal-plasma methods; the entire process is reversible.

The principle of detailed balance states that in equilibrium each elementary process is equilibrated by its reverse process. For many real physico-chemical complex systems (e.g. homogeneous combustion, heterogeneous catalytic oxidation, most enzyme reactions, etc.), detailed mechanisms include both reversible and irreversible reactions. In this case, the principle of detailed balance cannot be ...

We present a printer that builds functional three-dimensional structures by reversible assembly of a discrete set of components, “digital materials”. This approach uses the components rather than a control system to impose the spatial and functional constraints. Printing can be performed as a parallel rather than a linear process. The printing process is reversible for re-use of the pieces or f...

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.

Much research has studied foundations for correct and reliable communication-centric systems. A salient approach to correctness uses session types to enforce structured communications; a recent approach to reliability uses reversible actions as a way of reacting to unanticipated events or failures. This note develops a simple observation: the machinery required to define asynchronous semantics ...

Starting from a sequence of independent Wright-Fisher diffusion processes on [0, 1], we construct a class of reversible infinite dimensional diffusion processes on ∆∞ := {x ∈ [0, 1] N : ∑ i≥1 xi = 1} with GEM distribution as the reversible measure. Log-Sobolev inequalities are established for these diffusions, which lead to the exponential convergence to the corresponding reversible measures in...