語系:
繁體中文
English
說明(常見問題)
圖資館首頁
登入
回首頁
到查詢結果
[ subject:"Reversible computing" ]
切換:
標籤
|
MARC模式
|
ISBD
Reversible computation11th Internati...
~
(1998 :)
Reversible computation11th International Conference, RC 2019, Lausanne, Switzerland, June 24-25, 2019 : proceedings /
紀錄類型:
書目-電子資源 : Monograph/item
正題名/作者:
Reversible computationedited by Michael Kirkedal Thomsen, Mathias Soeken.
其他題名:
11th International Conference, RC 2019, Lausanne, Switzerland, June 24-25, 2019 : proceedings /
其他題名:
RC 2019
其他作者:
Thomsen, Michael Kirkedal.
團體作者:
出版者:
Cham :Springer International Publishing :2019.
面頁冊數:
viii, 247 p. :ill., digital ;24 cm.
Contained By:
Springer Nature eBook
標題:
Reversible computingCongresses.
電子資源:
https://doi.org/10.1007/978-3-030-21500-2
ISBN:
9783030215002$q(electronic bk.)
Reversible computation11th International Conference, RC 2019, Lausanne, Switzerland, June 24-25, 2019 : proceedings /
Reversible computation
11th 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 ;4891..
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$q(electronic bk.)
Standard No.: 10.1007/978-3-030-21500-2doiSubjects--Topical Terms:
683659
Reversible computing
--Congresses.
LC Class. No.: QA76.9.R48 / R3 2019
Dewey Class. No.: 004
Reversible computation11th International Conference, RC 2019, Lausanne, Switzerland, June 24-25, 2019 : proceedings /
LDR
:02903nmm a2200361 a 4500
001
586932
003
DE-He213
005
20200701114221.0
006
m d
007
cr nn 008maaau
008
210326s2019 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
$n
(3rd :
$d
1998 :
$c
Amsterdam, Netherlands)
$3
194767
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
683659
650
0
$a
Computer science
$x
Mathematics
$3
253427
650
0
$a
Computer logic
$v
Congresses.
$3
443053
650
1 4
$a
Logic Design.
$3
276275
650
2 4
$a
Programming Languages, Compilers, Interpreters.
$3
274102
650
2 4
$a
Programming Techniques.
$3
274470
650
2 4
$a
Arithmetic and Logic Structures.
$3
276274
650
2 4
$a
Artificial Intelligence.
$3
212515
650
2 4
$a
Computer System Implementation.
$3
276333
700
1
$a
Thomsen, Michael Kirkedal.
$3
878408
700
1
$a
Soeken, Mathias.
$3
712052
710
2
$a
SpringerLink (Online service)
$3
273601
773
0
$t
Springer Nature eBook
830
0
$a
Lecture notes in computer science ;
$v
4891.
$3
383229
830
0
$a
Programming and software engineering.
$3
821998
856
4 0
$u
https://doi.org/10.1007/978-3-030-21500-2
950
$a
Computer Science (SpringerNature-11645)
筆 0 讀者評論
全部
電子館藏
館藏
1 筆 • 頁數 1 •
1
條碼號
館藏地
館藏流通類別
資料類型
索書號
使用類型
借閱狀態
預約狀態
備註欄
附件
000000190717
電子館藏
1圖書
電子書
EB QA76.9.R48 R279 2019 2019
一般使用(Normal)
在架
0
1 筆 • 頁數 1 •
1
多媒體
多媒體檔案
https://doi.org/10.1007/978-3-030-21500-2
評論
新增評論
分享你的心得
Export
取書館別
處理中
...
變更密碼
登入