國立高雄大學圖資館 |

Language: English

Back

Reversible computation11th Internati...

(1998 :)

Reversible computation11th International Conference, RC 2019, Lausanne, Switzerland, June 24-25, 2019 : proceedings /

Record Type:	Electronic resources : Monograph/item
Title/Author:	Reversible computationedited by Michael Kirkedal Thomsen, Mathias Soeken.
Reminder of title:	11th International Conference, RC 2019, Lausanne, Switzerland, June 24-25, 2019 : proceedings /
remainder title:	RC 2019
other author:	Thomsen, Michael Kirkedal.
corporate name:
Published:	Cham :Springer International Publishing :2019.
Description:	viii, 247 p. :ill., digital ;24 cm.
Contained By:	Springer Nature eBook
Subject:	Reversible computingCongresses.
Online resource:	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 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 ;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)