Muutke küpsiste eelistusi

E-raamat: Reversible Computation: 4th International Workshop, RC 2012, Copenhagen, Denmark, July 2-3, 2012, Revised Papers

Edited by , Edited by
Teised raamatud teemal:
  • Formaat - PDF+DRM
  • Hind: 49,39 €*
  • * hind on lõplik, st. muud allahindlused enam ei rakendu
  • Lisa ostukorvi
  • Lisa soovinimekirja
  • See e-raamat on mõeldud ainult isiklikuks kasutamiseks. E-raamatuid ei saa tagastada.
Reversible Computation: 4th International Workshop, RC 2012, Copenhagen, Denmark, July 2-3, 2012, Revised PapersSuurem pilt
Teised raamatud teemal:

DRM piirangud

  • Kopeerimine (copy/paste):

    ei ole lubatud

  • Printimine:

    ei ole lubatud

  • Kasutamine:

    Digitaalõiguste kaitse (DRM)
    Kirjastus on väljastanud selle e-raamatu krüpteeritud kujul, mis tähendab, et selle lugemiseks peate installeerima spetsiaalse tarkvara. Samuti peate looma endale  Adobe ID Rohkem infot siin. E-raamatut saab lugeda 1 kasutaja ning alla laadida kuni 6'de seadmesse (kõik autoriseeritud sama Adobe ID-ga).

    Vajalik tarkvara
    Mobiilsetes seadmetes (telefon või tahvelarvuti) lugemiseks peate installeerima selle tasuta rakenduse: PocketBook Reader (iOS / Android)

    PC või Mac seadmes lugemiseks peate installima Adobe Digital Editionsi (Seeon tasuta rakendus spetsiaalselt e-raamatute lugemiseks. Seda ei tohi segamini ajada Adober Reader'iga, mis tõenäoliselt on juba teie arvutisse installeeritud )

    Seda e-raamatut ei saa lugeda Amazon Kindle's. 

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
Lisainfo e-raamatute kohta Lisainfo e-raamatute kohta
Püsilink: https://www.kriso.ee/db/97836423631532e.html
Märksõnad: