Coverart for item
The Resource Reversible computation : 11th International Conference, RC 2019, Lausanne, Switzerland, June 24{u2013}25, 2019, proceedings, Michael Kirkedal Thomsen, Mathias Soeken (eds.)

Reversible computation : 11th International Conference, RC 2019, Lausanne, Switzerland, June 24{u2013}25, 2019, proceedings, Michael Kirkedal Thomsen, Mathias Soeken (eds.)

Label
Reversible computation : 11th International Conference, RC 2019, Lausanne, Switzerland, June 24{u2013}25, 2019, proceedings
Title
Reversible computation
Title remainder
11th International Conference, RC 2019, Lausanne, Switzerland, June 24{u2013}25, 2019, proceedings
Statement of responsibility
Michael Kirkedal Thomsen, Mathias Soeken (eds.)
Title variation
RC 2019
Creator
Contributor
Editor
Subject
Genre
Language
eng
Summary
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
Member of
Cataloging source
Z5A
Dewey number
004
Illustrations
illustrations
Index
index present
LC call number
QA76.9.R48
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
2019
http://bibfra.me/vocab/lite/meetingName
RC (Workshop : Reversible Computation)
Nature of contents
bibliography
http://library.link/vocab/relatedWorkOrContributorName
  • Thomsen, Michael Kirkedal
  • Soeken, Mathais
Series statement
  • Lecture notes in computer science
  • LNCS sublibrary. SL 2, Programming and software engineering
Series volume
11497
http://library.link/vocab/subjectName
  • Reversible computing
  • Computer science
  • Computer logic
Label
Reversible computation : 11th International Conference, RC 2019, Lausanne, Switzerland, June 24{u2013}25, 2019, proceedings, Michael Kirkedal Thomsen, Mathias Soeken (eds.)
Instantiates
Publication
Note
International conference proceedings
Antecedent source
unknown
Bibliography note
Includes bibliographical references and author index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Color
multicolored
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
  • Reversibility vs Local Creation/Destruction
  • Pablo Arrighi, Nicolas Durbec, Aurélien Emmanuel
  • Characterizing Compatible View Updates in Syntactic Bidirectionalization
  • Naoki Nishida, Germán Vidal
  • Programming Languages
  • Sized Types for Low-Level Quantum Metaprogramming
  • Matthew Amy
  • Reversible Imperative Parallel Programs and Debugging
  • James Hoey, Irek Ulidowski
  • Circuit Synthesis
  • Invited Talk
  • Efficient Realization of Toffoli and NCV Circuits for IBM QX Architectures
  • Alexandre A. A. de Almeida, Gerhard W. Dueck, Alexandre César Rodrigues da Silva
  • Automatically Translating Quantum Programs from a Subset of Common Gates to an Adiabatic Representation
  • Malcolm Regan, Brody Eastwood, Mahita Nagabhiru, Frank Mueller
  • An Efficient Method for Quantum Circuit Placement Problem on a 2-D Grid
  • Atsushi Matsuo, Shigeru Yamashita
  • Evaluation of Circuit Synthesis
  • Evaluating the Flexibility of A* for Mapping Quantum Circuits
  • Alwin Zulehner, Hartwig Bauer, Robert Wille
  • Evaluating ESOP Optimization Methods in Quantum Compilation Flows
  • Concurrent Quantum Strategies
  • Giulia Meuli, Bruno Schmitt, Rüdiger Ehlers, Heinz Riener, Giovanni De Micheli
  • Applications and Implementations
  • Implementing NChooseK on IBM Q Quantum Computer Systems
  • Harsh Khetawat, Ashlesha Atrey, George Li, Frank Mueller, Scott Pakin
  • Reversible In-Place Carry-Lookahead Addition with Few Ancillae
  • Torben Ægidius Mogensen
  • Controlling Reversibility in Reversing Petri Nets with Application to Wireless Communications
  • Anna Philippou, Kyriaki Psara, Harun Siljak
  • Pierre Clairambault, Marc de Visme, Glynn Winskel
  • Theory and Foundation
  • A Birkhoff Connection Between Quantum Circuits and Linear Classical Reversible Circuits
  • Alexis De Vos, Stijn De Baerdemacker
  • Inversion, Iteration, and the Art of Dual Wielding
  • Robin Kaarsgaard
Control code
on1107448859
Dimensions
unknown
Extent
1 online resource (viii, 247 pages)
File format
unknown
Form of item
online
Isbn
9783030214999
Level of compression
unknown
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other physical details
illustrations.
Quality assurance targets
not applicable
Reformatting quality
unknown
Sound
unknown sound
Specific material designation
remote
System control number
(OCoLC)1107448859
Label
Reversible computation : 11th International Conference, RC 2019, Lausanne, Switzerland, June 24{u2013}25, 2019, proceedings, Michael Kirkedal Thomsen, Mathias Soeken (eds.)
Publication
Note
International conference proceedings
Antecedent source
unknown
Bibliography note
Includes bibliographical references and author index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Color
multicolored
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
  • Reversibility vs Local Creation/Destruction
  • Pablo Arrighi, Nicolas Durbec, Aurélien Emmanuel
  • Characterizing Compatible View Updates in Syntactic Bidirectionalization
  • Naoki Nishida, Germán Vidal
  • Programming Languages
  • Sized Types for Low-Level Quantum Metaprogramming
  • Matthew Amy
  • Reversible Imperative Parallel Programs and Debugging
  • James Hoey, Irek Ulidowski
  • Circuit Synthesis
  • Invited Talk
  • Efficient Realization of Toffoli and NCV Circuits for IBM QX Architectures
  • Alexandre A. A. de Almeida, Gerhard W. Dueck, Alexandre César Rodrigues da Silva
  • Automatically Translating Quantum Programs from a Subset of Common Gates to an Adiabatic Representation
  • Malcolm Regan, Brody Eastwood, Mahita Nagabhiru, Frank Mueller
  • An Efficient Method for Quantum Circuit Placement Problem on a 2-D Grid
  • Atsushi Matsuo, Shigeru Yamashita
  • Evaluation of Circuit Synthesis
  • Evaluating the Flexibility of A* for Mapping Quantum Circuits
  • Alwin Zulehner, Hartwig Bauer, Robert Wille
  • Evaluating ESOP Optimization Methods in Quantum Compilation Flows
  • Concurrent Quantum Strategies
  • Giulia Meuli, Bruno Schmitt, Rüdiger Ehlers, Heinz Riener, Giovanni De Micheli
  • Applications and Implementations
  • Implementing NChooseK on IBM Q Quantum Computer Systems
  • Harsh Khetawat, Ashlesha Atrey, George Li, Frank Mueller, Scott Pakin
  • Reversible In-Place Carry-Lookahead Addition with Few Ancillae
  • Torben Ægidius Mogensen
  • Controlling Reversibility in Reversing Petri Nets with Application to Wireless Communications
  • Anna Philippou, Kyriaki Psara, Harun Siljak
  • Pierre Clairambault, Marc de Visme, Glynn Winskel
  • Theory and Foundation
  • A Birkhoff Connection Between Quantum Circuits and Linear Classical Reversible Circuits
  • Alexis De Vos, Stijn De Baerdemacker
  • Inversion, Iteration, and the Art of Dual Wielding
  • Robin Kaarsgaard
Control code
on1107448859
Dimensions
unknown
Extent
1 online resource (viii, 247 pages)
File format
unknown
Form of item
online
Isbn
9783030214999
Level of compression
unknown
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other physical details
illustrations.
Quality assurance targets
not applicable
Reformatting quality
unknown
Sound
unknown sound
Specific material designation
remote
System control number
(OCoLC)1107448859

Library Locations

Processing Feedback ...