000 03608nam a22005415i 4500
001 978-3-031-38100-3
003 DE-He213
005 20240207153638.0
007 cr nn 008mamaa
008 230711s2023 sz | s |||| 0|eng d
020 _a9783031381003
_9978-3-031-38100-3
050 4 _aQA76.9.L63
050 4 _aTK7888.4
072 7 _aUYF
_2bicssc
072 7 _aCOM036000
_2bisacsh
072 7 _aUYF
_2thema
082 0 4 _a621.395
_223
245 1 0 _aReversible Computation
_h[electronic resource] :
_b15th International Conference, RC 2023, Giessen, Germany, July 18-19, 2023, Proceedings /
_cedited by Martin Kutrib, Uwe Meyer.
250 _a1st ed. 2023.
264 1 _aCham :
_bSpringer Nature Switzerland :
_bImprint: Springer,
_c2023.
300 _aXII, 245 p. 69 illus., 16 illus. in color.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aLecture Notes in Computer Science,
_x1611-3349 ;
_v13960
500 _aAcceso multiusuario
505 0 _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 Circuits to 2-Dimensional Hexagonal Architecture -- Exploiting the Benefits of Clean Ancilla Based Toffoli Gate Decomposition Across Architectures.
520 _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.
541 _fUABC ;
_cPerpetuidad
650 0 _aLogic design.
650 1 4 _aLogic Design.
700 1 _aKutrib, Martin.
_eeditor.
_0(orcid)0000-0002-9564-2625
_1https://orcid.org/0000-0002-9564-2625
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
700 1 _aMeyer, Uwe.
_eeditor.
_0(orcid)0000-0003-0216-8803
_1https://orcid.org/0000-0003-0216-8803
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
710 2 _aSpringerLink (Online service)
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783031380990
776 0 8 _iPrinted edition:
_z9783031381010
830 0 _aLecture Notes in Computer Science,
_x1611-3349 ;
_v13960
856 4 0 _zLibro electrónico
_uhttp://libcon.rec.uabc.mx:2048/login?url=https://doi.org/10.1007/978-3-031-38100-3
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
942 _cLIBRO_ELEC
999 _c262177
_d262176