東華大學圖書館 |

語系: 繁體中文

說明(常見問題)

回圖書館首頁

手機版館藏查詢

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

Reversible computation = 11th Intern...

RC (Workshop : Reversible Computation) (2019 :)

FindBook

Google Book

Amazon

博客來

Reversible computation = 11th International Conference, RC 2019, Lausanne, Switzerland, June 24-25, 2019 : proceedings /

紀錄類型:	書目-電子資源 : Monograph/item
正題名/作者:	Reversible computation/ edited by Michael Kirkedal Thomsen, Mathias Soeken.
其他題名:	11th International Conference, RC 2019, Lausanne, Switzerland, June 24-25, 2019 : proceedings /
其他題名:	RC 2019
其他作者:	Thomsen, Michael Kirkedal.
團體作者:	RC (Workshop : Reversible Computation)
出版者:	Cham :Springer International Publishing : : 2019.,
面頁冊數:	viii, 247 p. :ill., digital ;24 cm.
內容註:	Invited Talk -- Concurrent Quantum Strategies -- Theory and Foundation -- A Birkhoff Connection between Quantum Circuits and Linear Classical Reversible Circuits -- Inversion, Iteration, and the Art of Dual Wielding -- Reversibility vs local creation/destruction -- Characterizing Compatible View Updates in Syntactic Bidirectionalization -- Programming Languages -- Sized Types for low-level Quantum Metaprogramming -- Reversible Imperative Parallel Programs and Debugging -- Circuit Synthesis -- Efficient Realization of Toffoli and NCV Circuits for IBM QX Architectures -- Automatically Translating Quantum Programs from a Subset of Common Gates to an Adiabatic Representation -- An Efficient Method for Quantum Circuit Placement Problem on a 2-D Grid -- Evaluation of Circuit Synthesis -- Evaluating the Flexibility of A* for Mapping Quantum Circuits -- Evaluating ESOP Optimization Methods in Quantum Compilation Flows -- Applications and Implementations -- Implementing NChooseK on IBM Q Quantum Computers -- Reversible Carry-Lookahead Addition With Few Ancillae -- Controlling Reversibility in Reversing Petri Nets with Application to Wireless Communications.
Contained By:	Springer Nature eBook
標題:	Reversible computing - Congresses. -
電子資源:	https://doi.org/10.1007/978-3-030-21500-2
ISBN:	9783030215002

Reversible computation = 11th International Conference, RC 2019, Lausanne, Switzerland, June 24-25, 2019 : proceedings /
Reversible computation11th International Conference, RC 2019, Lausanne, Switzerland, June 24-25, 2019 : proceedings /[electronic resource] :RC 2019edited by Michael Kirkedal Thomsen, Mathias Soeken. - Cham :Springer International Publishing :2019. - viii, 247 p. :ill., digital ;24 cm. - Lecture notes in computer science,114970302-9743 ;. - Lecture notes in computer science ;11497..

Invited Talk -- Concurrent Quantum Strategies -- Theory and Foundation -- A Birkhoff Connection between Quantum Circuits and Linear Classical Reversible Circuits -- Inversion, Iteration, and the Art of Dual Wielding -- Reversibility vs local creation/destruction -- Characterizing Compatible View Updates in Syntactic Bidirectionalization -- Programming Languages -- Sized Types for low-level Quantum Metaprogramming -- Reversible Imperative Parallel Programs and Debugging -- Circuit Synthesis -- Efficient Realization of Toffoli and NCV Circuits for IBM QX Architectures -- Automatically Translating Quantum Programs from a Subset of Common Gates to an Adiabatic Representation -- An Efficient Method for Quantum Circuit Placement Problem on a 2-D Grid -- Evaluation of Circuit Synthesis -- Evaluating the Flexibility of A* for Mapping Quantum Circuits -- Evaluating ESOP Optimization Methods in Quantum Compilation Flows -- Applications and Implementations -- Implementing NChooseK on IBM Q Quantum Computers -- Reversible Carry-Lookahead Addition With Few Ancillae -- Controlling Reversibility in Reversing Petri Nets with Application to Wireless Communications.

This book constitutes the refereed proceedings of the 11th International Conference on Reversible Computation, RC 2019, held in Lausanne, Switzerland, in June 2019. The 12 full papers and two short papers included in this volume were carefully reviewed and selected from 22 submissions. One invited talk is also included. The papers are organized in the following topical sections: theory and foundation; programming languages; circuit synthesis; evaluation of circuit synthesis; and applications and implementations.

ISBN: 9783030215002

Standard No.: 10.1007/978-3-030-21500-2doiSubjects--Topical Terms:

3409844
Reversible computing
--Congresses.

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

Dewey Class. No.: 004

Reversible computation = 11th International Conference, RC 2019, Lausanne, Switzerland, June 24-25, 2019 : proceedings /
LDR:02903nmm a2200361 a 4500 001 2242920
003 DE-He213
005 20200701114221.0
006 m d
007 cr nn 008maaau
008 211207s2019 sz s 0 eng d
020 $a 9783030215002 $q (electronic bk.)
020 $a 9783030214999 $q (paper)
024 7 $a 10.1007/978-3-030-21500-2 $2 doi
035 $a 978-3-030-21500-2
040 $a GP $c GP
041 0 $a eng
050 4 $a QA76.9.R48 $b R3 2019
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 2019
111 2 $a RC (Workshop : Reversible Computation) $n (11th : $d 2019 : $c Lausanne, Switzerland) $3 3502632
245 1 0 $a Reversible computation $h [electronic resource] : $b 11th International Conference, RC 2019, Lausanne, Switzerland, June 24-25, 2019 : proceedings / $c edited by Michael Kirkedal Thomsen, Mathias Soeken.
246 3 $a RC 2019
260 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2019.
300 $a viii, 247 p. : $b ill., digital ; $c 24 cm.
490 1 $a Lecture notes in computer science, $x 0302-9743 ; $v 11497
490 1 $a Programming and software engineering
505 0 $a Invited Talk -- Concurrent Quantum Strategies -- Theory and Foundation -- A Birkhoff Connection between Quantum Circuits and Linear Classical Reversible Circuits -- Inversion, Iteration, and the Art of Dual Wielding -- Reversibility vs local creation/destruction -- Characterizing Compatible View Updates in Syntactic Bidirectionalization -- Programming Languages -- Sized Types for low-level Quantum Metaprogramming -- Reversible Imperative Parallel Programs and Debugging -- Circuit Synthesis -- Efficient Realization of Toffoli and NCV Circuits for IBM QX Architectures -- Automatically Translating Quantum Programs from a Subset of Common Gates to an Adiabatic Representation -- An Efficient Method for Quantum Circuit Placement Problem on a 2-D Grid -- Evaluation of Circuit Synthesis -- Evaluating the Flexibility of A* for Mapping Quantum Circuits -- Evaluating ESOP Optimization Methods in Quantum Compilation Flows -- Applications and Implementations -- Implementing NChooseK on IBM Q Quantum Computers -- Reversible Carry-Lookahead Addition With Few Ancillae -- Controlling Reversibility in Reversing Petri Nets with Application to Wireless Communications.
520 $a This book constitutes the refereed proceedings of the 11th International Conference on Reversible Computation, RC 2019, held in Lausanne, Switzerland, in June 2019. The 12 full papers and two short papers included in this volume were carefully reviewed and selected from 22 submissions. One invited talk is also included. The papers are organized in the following topical sections: theory and foundation; programming languages; circuit synthesis; evaluation of circuit synthesis; and applications and implementations.
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
650 2 4 $a Programming Languages, Compilers, Interpreters. $3 891123
650 2 4 $a Programming Techniques. $3 892496
650 2 4 $a Arithmetic and Logic Structures. $3 893182
650 2 4 $a Artificial Intelligence. $3 769149
650 2 4 $a Computer System Implementation. $3 892710
700 1 $a Thomsen, Michael Kirkedal. $3 3502633
700 1 $a Soeken, Mathias. $3 2131854
710 2 $a SpringerLink (Online service) $3 836513
773 0 $t Springer Nature eBook
830 0 $a Lecture notes in computer science ; $v 11497. $3 3502634
830 0 $a Programming and software engineering. $3 3382571
856 4 0 $u https://doi.org/10.1007/978-3-030-21500-2
950 $a Computer Science (SpringerNature-11645)