Reversible Computation

5th International Conference, RC 2013, Victoria, BC, Canada, July 4-5, 2013. Proceedings

Editors:

ISBN: 978-3-642-38985-6 (Print) 978-3-642-38986-3 (Online)

Table of contents (20 chapters)

  1. Front Matter

    Pages -

  2. Invited Address

    1. No Access

      Book Chapter

      Pages 1-10

      Efficient Algorithms for Universal Quantum Simulation

  3. Physical Implementation

    1. No Access

      Book Chapter

      Pages 11-24

      Reversible Delay-Insensitive Distributed Memory Modules

    2. No Access

      Book Chapter

      Pages 25-35

      Energy Recovery and Logical Reversibility in Adiabatic CMOS Multiplier

    3. No Access

      Book Chapter

      Pages 36-45

      Comparing CMOS-Based and NEMS-Based Adiabatic Logic Circuits

  4. Arithmetic

    1. No Access

      Book Chapter

      Pages 46-57

      Strength of the Reversible, Garbage-Free 2 k ±1 Multiplier

    2. No Access

      Book Chapter

      Pages 58-69

      Constant-Factor Optimization of Quantum Adders on 2D Quantum Architectures

    3. No Access

      Book Chapter

      Pages 70-83

      Garbage-Free Reversible Constant Multipliers for Arbitrary Integers

    4. No Access

      Book Chapter

      Pages 84-95

      Identities in Modular Arithmetic from Reversible Coherence Operations

  5. Programming and Data Structures

    1. No Access

      Book Chapter

      Pages 96-109

      Reversible Representation and Manipulation of Constructor Terms in the Heap

    2. No Access

      Book Chapter

      Pages 110-124

      An Introduction to Quantum Programming in Quipper

    3. No Access

      Book Chapter

      Pages 125-140

      On the “Q” in QMDDs: Efficient Representation of Quantum Functionality in the QMDD Data-Structure

  6. Modelling

    1. No Access

      Book Chapter

      Pages 141-154

      Modelling of Bonding with Processes and Events

    2. No Access

      Book Chapter

      Pages 155-167

      Universal Gates in Other Universes

    3. No Access

      Book Chapter

      Pages 168-181

      Time-Symmetric Machines

  7. Synthesis and Optimization

    1. No Access

      Book Chapter

      Pages 182-195

      Reversible Circuit Synthesis of Symmetric Functions Using a Simple Regular Structure

    2. No Access

      Book Chapter

      Pages 196-208

      White Dots do Matter: Rewriting Reversible Logic Circuits

    3. No Access

      Book Chapter

      Pages 209-220

      Exploiting Negative Control Lines in the Optimization of Reversible Circuits

    4. No Access

      Book Chapter

      Pages 221-233

      Reducing the Depth of Quantum Circuits Using Additional Circuit Lines

  8. Alternative Technologies

    1. No Access

      Book Chapter

      Pages 234-246

      Quantum Process Calculus for Linear Optical Quantum Computing

    2. No Access

      Book Chapter

      Pages 247-262

      Logically and Physically Reversible Natural Computing: A Tutorial

  9. Back Matter

    Pages -