Reversible Computation [E-Book] : 15th International Conference, RC 2023, Giessen, Germany, July 18-19, 2023, Proceedings / edited by Martin Kutrib, Uwe Meyer.
This 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 o...
Saved in:
|
Full text |
|
| Personal Name(s): | Kutrib, Martin, editor |
| Meyer, Uwe, editor | |
| Edition: |
1st edition 2023. |
| Imprint: |
Cham :
Springer,
2023
|
| Physical Description: |
XII, 245 pages 69 illustrations, 16 illustrations in color (online resource) |
| Note: |
englisch |
| ISBN: |
9783031381003 |
| DOI: |
10.1007/978-3-031-38100-3 |
| Series Title: |
Lecture Notes in Computer Science ;
13960 |
| Subject (LOC): |
- 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 Circuits to 2-Dimensional Hexagonal Architecture
- Exploiting the Benefits of Clean Ancilla Based Toffoli Gate Decomposition Across Architectures.