東華大學圖書館 |

語系: 繁體中文

說明(常見問題)

回圖書館首頁

手機版館藏查詢

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

FindBook

Google Book

Amazon

博客來

Reversible computation = 17th International Conference, RC 2025, Odense, Denmark, July 3-4, 2025 : proceedings /

紀錄類型:	書目-電子資源 : Monograph/item
正題名/作者:	Reversible computation/ edited by Robert Glück, Robin Kaarsgaard.
其他題名:	17th International Conference, RC 2025, Odense, Denmark, July 3-4, 2025 : proceedings /
其他題名:	RC 2025
其他作者:	Glück, Robert.
團體作者:	RC (Workshop : Reversible computation)
出版者:	Cham :Springer Nature Switzerland : : 2025.,
面頁冊數:	xvi, 163 p. :ill. (some col.), digital ;24 cm.
內容註:	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.
Contained By:	Springer Nature eBook
標題:	Reversible computing - Congresses. -
電子資源:	https://doi.org/10.1007/978-3-031-97063-4
ISBN:	9783031970634

Reversible computation = 17th International Conference, RC 2025, Odense, Denmark, July 3-4, 2025 : proceedings /
Reversible computation17th International Conference, RC 2025, Odense, Denmark, July 3-4, 2025 : proceedings /[electronic resource] :RC 2025edited by Robert Glück, Robin Kaarsgaard. - Cham :Springer Nature Switzerland :2025. - xvi, 163 p. :ill. (some col.), digital ;24 cm. - Lecture notes in computer science,157161611-3349 ;. - Lecture notes in computer science ;15716..

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.

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.

ISBN: 9783031970634

Standard No.: 10.1007/978-3-031-97063-4doiSubjects--Topical Terms:

3409844
Reversible computing
--Congresses.

LC Class. No.: QA76.9.R48 / R3 2025

Dewey Class. No.: 004

Reversible computation = 17th International Conference, RC 2025, Odense, Denmark, July 3-4, 2025 : proceedings /
LDR:02483nmm a2200361 a 4500 001 2413343
003 DE-He213
005 20250621130221.0
006 m d
007 cr nn 008maaau
008 260205s2025 sz s 0 eng d
020 $a 9783031970634 $q (electronic bk.)
020 $a 9783031970627 $q (paper)
024 7 $a 10.1007/978-3-031-97063-4 $2 doi
035 $a 978-3-031-97063-4
040 $a GP $c GP
041 0 $a eng
050 4 $a QA76.9.R48 $b R3 2025
072 7 $a UYF $2 bicssc
072 7 $a COM036000 $2 bisacsh
072 7 $a UYF $2 thema
082 0 4 $a 004 $2 23
090 $a QA76.9.R48 $b R279 2025
111 2 $a RC (Workshop : Reversible computation) $n (17th : $d 2025 : $c Odense, Denmark) $3 3789340
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 Glück, Robin Kaarsgaard.
246 3 $a RC 2025
260 $a Cham : $b Springer Nature Switzerland : $b Imprint: Springer, $c 2025.
300 $a xvi, 163 p. : $b ill. (some col.), digital ; $c 24 cm.
338 $a online resource $b cr $2 rdacarrier
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.
650 0 $a Reversible computing $v Congresses. $3 3409844
650 0 $a Computer science $x Mathematics $x Congresses. $3 678603
650 0 $a Computer logic $x Congresses. $3 726280
650 1 4 $a Logic Design. $3 892735
700 1 $a Glück, Robert. $3 3789341
700 1 $a Kaarsgaard, Robin. $3 3789342
710 2 $a SpringerLink (Online service) $3 836513
773 0 $t Springer Nature eBook
830 0 $a Lecture notes in computer science ; $v 15716. $3 3789343
856 4 0 $u https://doi.org/10.1007/978-3-031-97063-4
950 $a Computer Science (SpringerNature-11645)