LEADER 02960nam 22004935 450 001 9910734836903321 005 20251225203651.0 010 $a3-031-38100-9 024 7 $a10.1007/978-3-031-38100-3 035 $a(CKB)27559658400041 035 $a(MiAaPQ)EBC30627420 035 $a(Au-PeEL)EBL30627420 035 $a(DE-He213)978-3-031-38100-3 035 $a(PPN)272250074 035 $a(EXLCZ)9927559658400041 100 $a20230711d2023 u| 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aReversible Computation $e15th International Conference, RC 2023, Giessen, Germany, July 18?19, 2023, Proceedings /$fedited by Martin Kutrib, Uwe Meyer 205 $a1st ed. 2023. 210 1$aCham :$cSpringer Nature Switzerland :$cImprint: Springer,$d2023. 215 $a1 online resource (250 pages) 225 1 $aLecture Notes in Computer Science,$x1611-3349 ;$v13960 311 08$a9783031380990 327 $aInvited Paper -- Energy complexity of computation -- Foundations -- Replications in Reversible Concurrent Calculi -- Towards a Taxonomy for Reversible Computation Approaches -- Computational Complexity of Reversible Reaction Systems -- Reversible Programming -- Optimization of Reversible Control Flow Graphs -- Tail recursion transformation for invertible functions -- Saving Memory Space in Deep Neural Networks by Recomputing: A Survey -- Towards a Dereversibilizer: Fewer Asserts, Statically -- Quantum Computing -- Quantum String Matching Unfolded and Extended -- Optimizing Quantum Space using Spooky Pebble Games -- Uncomputation in the Qrisp high-level Quantum Programming Framework -- Quantum Circuits -- Improved Synthesis of Tooli-Hadamard Circuits -- Implementation of a Reversible Distributed Calculus -- Improved Cost-Metric for Nearest Neighbor Mapping of Quantum Circuitsto 2-Dimensional Hexagonal Architecture -- Exploiting the Benefits of Clean Ancilla Based Toffoli Gate Decomposition Across Architectures. 330 $aThis book constitutes the refereed proceedings of the 15th International Conference on Reversible Computation, RC 2023, held in Giessen, Germany, during July 18?19, 2023. The 11 full papers and 3 short papers included in this book were carefully reviewed and selected from 19 submissions. They were organized in topical sections as follows: Foundations; Reversible Programming; Quantum Computing; and Quantum Circuits. 410 0$aLecture Notes in Computer Science,$x1611-3349 ;$v13960 606 $aLogic design 606 $aLogic Design 615 0$aLogic design. 615 14$aLogic Design. 676 $a621.395 700 $aKutrib$b Martin$01373423 701 $aMeyer$b Uwe$01222748 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910734836903321 996 $aReversible Computation$93404499 997 $aUNINA