![Cover image for Reversible Computation 15th International Conference, RC 2023, Giessen, Germany, July 18-19, 2023, Proceedings Cover image for Reversible Computation 15th International Conference, RC 2023, Giessen, Germany, July 18-19, 2023, Proceedings](/client/assets/5.0.0.9/ctx//client/images/no_image.png)
Title:
Reversible Computation 15th International Conference, RC 2023, Giessen, Germany, July 18-19, 2023, Proceedings
Author:
Kutrib, Martin. editor. (orcid)
ISBN:
9783031381003
Edition:
1st ed. 2023.
Physical Description:
XII, 245 p. 69 illus., 16 illus. in color. online resource.
Series:
Lecture Notes in Computer Science, 13960
Contents:
Invited 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.
Added Corporate Author:
Electronic Access:
https://doi.org/10.1007/978-3-031-38100-3Copies:
Available:*
Library | Material Type | Item Barcode | Shelf Number | Status | Item Holds |
---|---|---|---|---|---|
Searching... | E-Book | 521090-1001 | XX(521090.1) | Searching... | Searching... |