Synthesis and optimization of reversible circuits—a survey

M Saeedi, IL Markov - ACM Computing Surveys (CSUR), 2013 - dl.acm.org
Reversible logic circuits have been historically motivated by theoretical research in low-
power electronics as well as practical improvement of bit manipulation transforms in …

Optimal synthesis of multiple output boolean functions using a set of quantum gates by symbolic reachability analysis

WNN Hung, X Song, G Yang, J Yang… - IEEE transactions on …, 2006 - ieeexplore.ieee.org
This paper proposes an approach to optimally synthesize quantum circuits by symbolic
reachability analysis, where the primary inputs and outputs are basis binary and the internal …

[BOOK][B] Introduction to reversible computing

KS Perumalla - 2013 - books.google.com
Few books comprehensively cover the software and programming aspects of reversible
computing. Filling this gap, Introduction to Reversible Computing offers an expanded view of …

[BOOK][B] Artificial chemistries

W Banzhaf, L Yamamoto - 2015 - books.google.com
An introduction to the fundamental concepts of the emerging field of Artificial Chemistries,
covering both theory and practical applications. The field of Artificial Life (ALife) is now firmly …

Towards a reversible functional language

T Yokoyama, HB Axelsen, R Glück - International Workshop on Reversible …, 2011 - Springer
We identify concepts of reversibility for a functional language by means of a set of semantic
rules with specific properties. These properties include injectivity along with local backward …

A reversible carry-look-ahead adder using control gates

B Desoete, A De Vos - Integration, 2002 - Elsevier
In principle, any reversible logic circuit can be built by using a single building block (having
three logic inputs and three logic outputs). However, no simple synthesis tool is available to …

Finite-time erasing of information stored in fermionic bits

G Diana, GB Bagci, M Esposito - … Review E—Statistical, Nonlinear, and Soft …, 2013 - APS
Finite-time erasing of information stored in fermionic bits Page 1 PHYSICAL REVIEW E 87,
012111 (2013) Finite-time erasing of information stored in fermionic bits Giovanni Diana,1 G …

[BOOK][B] Reversible logic synthesis: from fundamentals to quantum computing

AN Al-Rabadi - 2012 - books.google.com
For the first time in book form, this comprehensive and systematic monograph presents the
methods for the reversible synthesis of logic functions and circuits. This methodology offers …

[HTML][HTML] Fundamentals of reversible flowchart languages

T Yokoyama, HB Axelsen, R Glück - Theoretical computer science, 2016 - Elsevier
This paper presents the fundamentals of reversible flowcharts. Reversible flowcharts are
intended to naturally represent the structure and control flow of reversible (imperative) …

Liquid marble interaction gate for collision-based computing

TC Draper, C Fullarton, N Phillips… - Materials Today, 2017 - Elsevier
Liquid marbles are microliter droplets of liquid, encapsulated by self-organized hydrophobic
particles at the liquid/air interface. They offer an efficient approach for manipulating liquid …