Titlebook: Reversible Computation; 5th International Co Gerhard W. Dueck,D. Michael Miller Conference proceedings 2013 Springer-Verlag Berlin Heidelbe

照相机

书目名称Reversible Computation影响因子(影响力)




书目名称Reversible Computation影响因子(影响力)学科排名




书目名称Reversible Computation网络公开度




书目名称Reversible Computation网络公开度学科排名




书目名称Reversible Computation被引频次




书目名称Reversible Computation被引频次学科排名




书目名称Reversible Computation年度引用




书目名称Reversible Computation年度引用学科排名




书目名称Reversible Computation读者反馈




书目名称Reversible Computation读者反馈学科排名

别名

弯弯曲曲

字谜游戏

vertebrate

抱狗不敢前

著名

Garbage-Free Reversible Constant Multipliers for Arbitrary Integerses and gives circuits whose size are (in the worst case) linear in the size of the constant. This makes the method unsuitable for large constants, but gives quite compact circuits for small constants. The circuits use no garbage or ancillary lines.

doxazosin

Identities in Modular Arithmetic from Reversible Coherence Operationsomorphisms of these categorical models, although generally overlooked, have decidedly non-trivial computational content. The theory of categorical coherence is based around reversible structural operations (canonical isomorphisms) that allow for transformations between related, but distinct, mathema

Nonporous

Reversible Representation and Manipulation of Constructor Terms in the Heap particular without generating garbage. In this paper we present methods for representing and manipulating binary trees (constructor terms) in the heap of a reversible machine. We also give methods for enforcing the so-called . for a simplified version of the recent reversible functional language .

施魔法

An Introduction to Quantum Programming in Quipperge, through a demonstration of how to make use of some of its key features. We illustrate many of Quipper’s language features by developing a few well known examples of Quantum computation, including quantum teleportation, the quantum Fourier transform, and a quantum circuit for addition.