| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISA996664549603316 |
|
|
Autore |
Glück Robert |
|
|
Titolo |
Reversible Computation : 17th International Conference, RC 2025, Odense, Denmark, July 3–4, 2025, Proceedings / / edited by Robert Glück, Robin Kaarsgaard |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2025 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2025.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (334 pages) |
|
|
|
|
|
|
Collana |
|
Lecture Notes in Computer Science, , 1611-3349 ; ; 15716 |
|
|
|
|
|
|
Altri autori (Persone) |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Logic design |
Logic Design |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di contenuto |
|
-- 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. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
This book constitutes the refereed proceedings of the 17th International Conference on Reversible Computation, RC 2025, held in Odense, Denmark, during July 3–4, 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. |
|
|
|
|
|
|
|
| |