Reversible Computation 15th International Conference, RC 2023, Giessen, Germany, July 18-19, 2023, Proceedings
tarafından
Kutrib, Martin. editor. (orcid)
Başlık
:
Reversible Computation 15th International Conference, RC 2023, Giessen, Germany, July 18-19, 2023, Proceedings
Yazar
:
Kutrib, Martin. editor. (orcid)
ISBN
:
9783031381003
Basım Bilgisi
:
1st ed. 2023.
Fiziksel Tanımlama
:
XII, 245 p. 69 illus., 16 illus. in color. online resource.
Seri
:
Lecture Notes in Computer Science, 13960
İçerik
:
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.
Yazar Ek Girişi
:
Kutrib, Martin.
Meyer, Uwe.
Tüzel Kişi Ek Girişi
:
SpringerLink (Online service)
Elektronik Erişim
:
| Kütüphane | Materyal Türü | Demirbaş Numarası | Yer Numarası | [[missing key: search.ChildField.HOLDING]] | Durumu/İade Tarihi |
|---|
| Çevrimiçi Kütüphane | E-Kitap | 521090-1001 | ONLINE | | Elektronik Kütüphane |