Reversible Computation 17th International Conference, RC 2025, Odense, Denmark, July 3–4, 2025, Proceedings /
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 b...
Guardado en:
| Autor Corporativo: | |
|---|---|
| Otros Autores: | , |
| Formato: | Electrónico eBook |
| Lenguaje: | inglés |
| Publicado: |
Cham :
Springer Nature Switzerland : Imprint: Springer,
2025.
|
| Edición: | 1st ed. 2025. |
| Colección: | Lecture Notes in Computer Science,
15716 |
| Materias: | |
| Acceso en línea: | https://doi.org/10.1007/978-3-031-97063-4 |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
MARC
| LEADER | 00000nam a22000005i 4500 | ||
|---|---|---|---|
| 001 | 978-3-031-97063-4 | ||
| 003 | DE-He213 | ||
| 005 | 20260706120106.0 | ||
| 007 | cr nn 008mamaa | ||
| 008 | 250621s2025 sz | s |||| 0|eng d | ||
| 020 | |a 9783031970634 |9 978-3-031-97063-4 | ||
| 024 | 7 | |a 10.1007/978-3-031-97063-4 |2 doi | |
| 050 | 4 | |a QA76.9.L63 | |
| 050 | 4 | |a TK7888.4 | |
| 072 | 7 | |a UYF |2 bicssc | |
| 072 | 7 | |a COM036000 |2 bisacsh | |
| 072 | 7 | |a UYF |2 thema | |
| 082 | 0 | 4 | |a 621.395 |2 23 |
| 245 | 1 | 0 | |a Reversible Computation |h [electronic resource] : |b 17th International Conference, RC 2025, Odense, Denmark, July 3–4, 2025, Proceedings / |c edited by Robert Glück, Robin Kaarsgaard. |
| 250 | |a 1st ed. 2025. | ||
| 264 | 1 | |a Cham : |b Springer Nature Switzerland : |b Imprint: Springer, |c 2025. | |
| 300 | |a XVI, 163 p. 64 illus., 29 illus. in color. |b online resource. | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 341 | 0 | |b Table of contents navigation |2 onix | |
| 341 | 0 | |b Single logical reading order |2 onix | |
| 341 | 0 | |b Short alternative textual descriptions |2 onix | |
| 341 | 0 | |b Use of color is not sole means of conveying information |2 onix | |
| 341 | 0 | |b Use of high contrast between text and background color |2 onix | |
| 341 | 0 | |b Next / Previous structural navigation |2 onix | |
| 341 | 0 | |b All non-decorative content supports reading without sight |2 onix | |
| 347 | |a text file |b PDF |2 rda | ||
| 490 | 1 | |a Lecture Notes in Computer Science, |x 1611-3349 ; |v 15716 | |
| 505 | 0 | |a -- 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. | |
| 520 | |a 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. | ||
| 532 | 8 | |a Accessibility summary: This PDF does not fully comply with PDF/UA standards, but does feature limited screen reader support, described non-text content (images, graphs), bookmarks for easy navigation and searchable, selectable text. Users of assistive technologies may experience difficulty navigating or interpreting content in this document. We recognize the importance of accessibility, and we welcome queries about accessibility for any of our products. If you have a question or an access need, please get in touch with us at accessibilitysupport@springernature.com. | |
| 532 | 8 | |a No reading system accessibility options actively disabled | |
| 532 | 8 | |a Publisher contact for further accessibility information: accessibilitysupport@springernature.com | |
| 650 | 0 | |a Logic design. | |
| 650 | 1 | 4 | |a Logic Design. |
| 700 | 1 | |a Glück, Robert. |e editor. |0 (orcid)0000-0001-6990-3935 |1 https://orcid.org/0000-0001-6990-3935 |4 edt |4 http://id.loc.gov/vocabulary/relators/edt | |
| 700 | 1 | |a Kaarsgaard, Robin. |e editor. |0 (orcid)0000-0002-7672-799X |1 https://orcid.org/0000-0002-7672-799X |4 edt |4 http://id.loc.gov/vocabulary/relators/edt | |
| 710 | 2 | |a SpringerLink (Online service) | |
| 773 | 0 | |t Springer Nature eBook | |
| 776 | 0 | 8 | |i Printed edition: |z 9783031970627 |
| 776 | 0 | 8 | |i Printed edition: |z 9783031970641 |
| 830 | 0 | |a Lecture Notes in Computer Science, |x 1611-3349 ; |v 15716 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-031-97063-4 |
| 912 | |a ZDB-2-SCS | ||
| 912 | |a ZDB-2-SXCS | ||
| 912 | |a ZDB-2-SXPS | ||
| 912 | |a ZDB-2-LNC | ||
| 912 | |a ZDB-2-239 | ||
| 950 | |a Computer Science (SpringerNature-11645) | ||
| 950 | |a Computer Science (R0) (SpringerNature-43710) | ||
| 950 | |a Springer Nature Proceedings Computer Science (SpringerNature-85344) | ||
| 950 | |a Focus Bundle Software and Systems (SpringerNature-85409) | ||