Muutke küpsiste eelistusi

Reversible Computation: 17th International Conference, RC 2025, Odense, Denmark, July 34, 2025, Proceedings [Pehme köide]

Edited by , Edited by
  • Formaat: Paperback / softback, 163 pages, kõrgus x laius: 235x155 mm, 29 Illustrations, color; 35 Illustrations, black and white; XVI, 163 p. 64 illus., 29 illus. in color., 1 Paperback / softback
  • Sari: Lecture Notes in Computer Science 15716
  • Ilmumisaeg: 22-Jun-2025
  • Kirjastus: Springer International Publishing AG
  • ISBN-10: 3031970624
  • ISBN-13: 9783031970627
Teised raamatud teemal:
  • Pehme köide
  • Hind: 56,11 €*
  • * hind on lõplik, st. muud allahindlused enam ei rakendu
  • Tavahind: 66,01 €
  • 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: 17th International Conference, RC 2025, Odense, Denmark, July 34, 2025, ProceedingsSuurem pilt
  • Formaat: Paperback / softback, 163 pages, kõrgus x laius: 235x155 mm, 29 Illustrations, color; 35 Illustrations, black and white; XVI, 163 p. 64 illus., 29 illus. in color., 1 Paperback / softback
  • Sari: Lecture Notes in Computer Science 15716
  • Ilmumisaeg: 22-Jun-2025
  • Kirjastus: Springer International Publishing AG
  • ISBN-10: 3031970624
  • ISBN-13: 9783031970627
Teised raamatud teemal:
Püsilink: https://www.kriso.ee/db/9783031970627.html
This book constitutes the refereed proceedings of the 17th International Conference on Reversible Computation, RC 2025, held in Odense, Denmark, during July 34, 2025.



The 7 full papers and 5 short papers included in this book were carefully reviewed and selected from 22 submissions.The conference brought together researchers from computer science, mathematics, engineering, and physics to discuss new developments and directions for future research in the area of Reversible Computation.
.- Tallulah, a Tool to Support the Axiomatic Approach to Causal
Consistent Reversibility.
.- Independence and Causality in the Reversible Concurrent Setting.
.- Encoding Choice and Replication in roll.
.- Implementation of an Optimally Bounded Algorithm for Quantum State
Preparation.
.- Universal Graph Theory Operations for Graph State Preparation.
.- On Exact Sizes of Minimal CNOT Circuits.
.- Two small quantum building-blocks suffice.
.- Approximate Optimisation of Quantum Circuits using the ZX-calculus with
Phase Squashing.
.- RevMiGo: Reversible channel-based communication in Go language.
.- Towards a Characterization of Two-way Bijections in a Reversible
Computational Model.
.- Ancilla-free Quantum Adder with Sublinear Depth.
.- Implementing Reversible Neural Networks..