The λ-calculus is destructive: its main computational mechanism – beta reduction – destroys the redex and makes it thus impossible to replay the computational steps. Recently, reversible computational models have been studied mainly in the context of quantum computation, as (without measurements) quantum physics is inherently reversible. However, reversibility also changes fundamentally the sem...

Increasing demand for reduction in power dissipation in digital computer system has led to new mode of computation for digital design giving birth to reversible computing. Its main aim is low power dissipation in logical elements but can have some other advantages likeerror preventionand data security. In present-day, reversible logic has bring out to be an optimistic computing model having app...

a moment equations method was performed to study the reversible chain transfer catalyzed polymerization (rtcp) of styrene in 80°c. to do this, a kinetic scheme containing conventional free radical polymerization reactions and equilibrium reactions of rtcp was assumed. after obtaining mass balance equations, three moment equations were defined for free and dormant radicals and dead chains. monom...

introduction: the role of midbrain reticular formation, which includes the nucleus cuneiformis (ncf), as a crucial antinociceptive region in descending pain modulation has long been investigated. in this study, we tried to highlight the role of ncf in morphine-induced antinociception in formalin-induced pain model in rats. methods: a total of 201 male wistar rats weighing 260-310 g were used in...

[Ir(6)(μ-alloCl(2)(2-))(3)(Cp*)(6)(OH)(3)](PF(6))(3) (1) having 7,8-dichloroalloxazine dianion (alloCl(2)(2-)) as bridging ligands was synthesized and characterized by X-ray crystallography, spectroscopic and electrochemical measurements. The alloxazine ligands showed unprecedented coordination modes to link the six Ir(III) centres. The complex exhibited remarkable stability and reversible six-...

Recently testing of Quantum-dot Cellular Automata (QCA) Circuits has attracted a lot of attention. In this paper, QCA is investigated for testable implementations of reversible logic. To amplify testability in Reversible QCA circuits, a test method regarding to Built In Self Test technique is developed for detecting all simulated defects. A new Reversible QCA MUX 2×1 desig...