Muutke küpsiste eelistusi

Reversible Computation: 4th International Workshop, RC 2012, Copenhagen, Denmark, July 2-3, 2012, Revised Papers 2013 ed. [Pehme köide]

Edited by , Edited by
  • Formaat: Paperback / softback, 241 pages, kõrgus x laius: 235x155 mm, kaal: 454 g, 70 Illustrations, black and white; X, 241 p. 70 illus., 1 Paperback / softback
  • Sari: Programming and Software Engineering 7581
  • Ilmumisaeg: 04-Jan-2013
  • Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
  • ISBN-10: 3642363148
  • ISBN-13: 9783642363146
Teised raamatud teemal:
  • Pehme köide
  • Hind: 45,00 €*
  • * hind on lõplik, st. muud allahindlused enam ei rakendu
  • Tavahind: 52,94 €
  • Säästad 15%
  • Raamatu kohalejõudmiseks kirjastusest kulub orienteeruvalt 2-4 nädalat
  • Kogus:
  • Lisa ostukorvi
  • Tasuta tarne
  • Tellimisaeg 2-4 nädalat
  • Lisa soovinimekirja
Reversible Computation: 4th International Workshop, RC 2012, Copenhagen, Denmark, July 2-3, 2012, Revised Papers 2013 ed.Suurem pilt
  • Formaat: Paperback / softback, 241 pages, kõrgus x laius: 235x155 mm, kaal: 454 g, 70 Illustrations, black and white; X, 241 p. 70 illus., 1 Paperback / softback
  • Sari: Programming and Software Engineering 7581
  • Ilmumisaeg: 04-Jan-2013
  • Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
  • ISBN-10: 3642363148
  • ISBN-13: 9783642363146
Teised raamatud teemal:
Püsilink: https://www.kriso.ee/db/9783642363146.html
Märksõnad:
This book constitutes the refereed proceedings of the 4th International Workshop on Reversible Computation, RC 2012, held in Copenhagen, Denmark, in July 2012.

The 19 contributions presented in this volume were carefully reviewed and selected from 46 submissions. The papers cover theoretical considerations, reversible software and reversible hardware, and physical realizations and applications in quantum computing.
Theoretical Considerations
Tutorial: Graphical Calculus for Quantum Circuits
1(13)
Bob Coecke
Ross Duncan
One-Way Reversible Multi-head Finite Automata
14(15)
Martin Kutrib
Andreas Malcher
A Deterministic Two-Way Multi-head Finite Automaton Can Be Converted into a Reversible One with the Same Number of Heads
29(15)
Kenichi Morita
Undecidability of the Surjectivity of the Subshift Associated to a Turing Machine
44(13)
Rodrigo Torres
Nicolas Ollinger
Anahi Gajardo
Reversible Software and Languages
Isomorphic Interpreters from Logically Reversible Abstract Machines
57(15)
Roshan P. James
Amr Sabry
Synthesizing Loops for Program Inversion
72(13)
Cong Hou
Daniel Quinlan
David Jefferson
Richard Fujimoto
Richard Vuduc
Frugal Encoding in Reversible MOQA: A Case Study for Quicksort
85(12)
Diarmuid Early
Ang Gao
Michel Schellekens
Towards a General-Purpose, Reversible Language for Controlling Self-reconfigurable Robots
97(15)
Ulrik Pagh Schultz
Reversible and Quantum Circuits
Reversible and Quantum Circuit Optimization: A Functional Approach
112(13)
Zahra Sasanian
D. Michael Miller
Properties of Quantum Templates
125(13)
Md. Mazder Rahman
Gerhard W. Dueck
Optimal 4-bit Reversible Mixed-Polarity Toffoli Circuits
138(14)
Marek Szyprowski
Pawel Kerntopf
Design of an Online Testable Ternary Circuit from the Truth Table
152(8)
Noor M. Nayeem
Jacqueline E. Rice
Physical Realizations and Design
Garbageless Reversible Implementation of Integer Linear Transformations
160(11)
Stephane Burignat
Kenneth Vermeirsch
Alexis De Vos
Michael Kirkedal Thomsen
Garbage-Free Reversible Integer Multiplication with Constants of the Form 2κ ± 2ι ± 1
171(12)
Holger Bock Axelsen
Michael Kirkedal Thomsen
Property Checking of Quantum Circuits Using Quantum Multiple-Valued Decision Diagrams
183(14)
Julia Setter
Mathias Soeken
Robert Wille
Rolf Drechsler
Using πDDs in the Design of Reversible Circuits (Work-In-Progress)
197(7)
Mathias Soeken
Robert Wille
Shin-ichi Minato
Rolf Drechsler
Distributed Systems
A Verification Technique for Reversible Process Algebra
204(14)
Jean Krivine
A Reversible Process Calculus and the Modelling of the ERK Signalling Pathway
218(15)
Iain Phillips
Irek Ulidowski
Shoji Yuen
Controlled Reversibility and Compensations
233(8)
Ivan Lanese
Claudio Antares Mezzina
Jean-Bernard Stefani
Author Index 241