It is a classical result from universal algebra that the notions of polymorphisms and invariants provide a Galois connection between suitably closed classes (clones) of finitary operations f : B n → B, and classes (coclones) of relations r ⊆ B k. We will present a generalization of this duality to classes of (multi-valued, partial) functions f : B n → B m , employing invariants valued in partia...

In this position paper we discuss a set of problems particular to computing within limits that draws on psychological and sociological barriers. The enormity of the predicaments we are facing, global climate change and resource scarcity, together with the social, cultural and national settings in which we are facing these predicaments, are seriously hampering our possibility to address them. We...

We address the problem of test set generation and test set reduction, to first detect, and later localize faults occurring in reversible circuits. Reversible Computation has high promise of low power consumption. Some new fault models are first presented here. An explanation of the new fault models is made based on a physical realization representing the state of the art in the reversible CMOS ...

A saddle-distorted dodecaphenylporphyrin undergoes protonation followed by two-electron reduction by SnCl(2) to give a roof-shaped dodecaphenylporphodimethene which exhibits reversible one-electron reduction and oxidation behaviour in benzonitrile to allow us to observe an ESR spectrum of pi-cation radical in the course of electrochemical oxidation.

We describe an approach to generating and verifying well-defined redox states in metalloprotein single crystals by combining electrochemical control with synchrotron infrared microspectroscopic imaging. For NiFe hydrogenase 1 from Escherichia coli we demonstrate fully reversible and uniform electrochemical reduction from the oxidised inactive to the fully reduced state, and temporally resolve s...

A polyoxotetradecamolybdate cluster [Mo(14)O(38)(OAc)(6)](2-), which has a lacunary core of the Wells-Dawson structure, is isolated by the reduction of [Mo(6)O(19)](2-). The Mo(14) core is comprised of a mixed valence of [Mo(V)(4)Mo(VI)(10)], exhibiting multi-step reversible redox processes that experience both oxidation and reduction.

International Technology Roadmap for Semiconductors (ITRS) set a road map for More than Moore (MtM). Where device is scaled more than what the moore’s law predicts. This MtM scaling will leads to substantially large design in the future and also huge power dissipation due to irreversible logic computation. Since applying low power technique has become tedious and time consuming. The solution is...

Background—Constrictive pericarditis (CP) is a disabling disease, and usually requires pericardiectomy to relieve heart failure. Reversible CP has been described, but there is no known method to predict the reversibility. Pericardial inflammation may be a marker for reversibility. As a pilot study, we assessed whether cardiac magnetic resonance imaging pericardial late gadolinium enhancement (L...