|
|
|
|
LEADER |
00000cam a2200000 i 4500 |
001 |
on1149800453 |
003 |
OCoLC |
005 |
20240623213015.0 |
006 |
m o d |
007 |
cr |n||||||||| |
008 |
200412s2020 sz a ob 001 0 eng d |
040 |
|
|
|a YDX
|b eng
|e pn
|c YDX
|d GW5XE
|d EBLCP
|d LQU
|d OCLCQ
|d OCLCF
|d N$T
|d UKAHL
|d UKMGB
|d NLW
|d VLB
|d OCLCQ
|d OCLCO
|d COM
|d GUA
|d OCLCQ
|d SFB
|d AUD
|d GGVRL
|d OCLCQ
|d OCLCO
|d OCLCQ
|d OCLCL
|
015 |
|
|
|a GBC077408
|2 bnb
|
016 |
7 |
|
|a 019816612
|2 Uk
|
019 |
|
|
|a 1150154119
|a 1152536224
|a 1153166200
|a 1153955995
|a 1154486662
|a 1155218258
|
020 |
|
|
|a 9783030417536
|q (electronic bk.)
|
020 |
|
|
|a 3030417530
|q (electronic bk.)
|
020 |
|
|
|z 3030417522
|
020 |
|
|
|z 9783030417529
|
024 |
8 |
|
|a 10.1007/978-3-030-41
|
035 |
|
|
|a (OCoLC)1149800453
|z (OCoLC)1150154119
|z (OCoLC)1152536224
|z (OCoLC)1153166200
|z (OCoLC)1153955995
|z (OCoLC)1154486662
|z (OCoLC)1155218258
|
037 |
|
|
|a com.springer.onix.9783030417536
|b Springer Nature
|
050 |
|
4 |
|a QA76.889
|b .I48 2020eb
|
049 |
|
|
|a HCDD
|
100 |
1 |
|
|a Zulehner, Alwin.
|
245 |
1 |
0 |
|a Introducing design automation for quantum computing /
|c Alwin Zulehner, Robert Wille.
|
260 |
|
|
|a Cham :
|b Springer,
|c 2020.
|
300 |
|
|
|a 1 online resource (x, 222 pages) :
|b illustrations
|
336 |
|
|
|a text
|b txt
|2 rdacontent
|
337 |
|
|
|a computer
|b c
|2 rdamedia
|
338 |
|
|
|a online resource
|b cr
|2 rdacarrier
|
504 |
|
|
|a Includes bibliographical references and index.
|
505 |
0 |
|
|a Intro -- Preface -- Contents -- Part I Introduction and Background -- 1 Introduction -- 2 Quantum Computing -- 2.1 Quantum States and Operations -- 2.2 Current and Future Quantum Technology -- 2.3 Reversible and Quantum Circuits -- 3 Design Automation Methods for Conventional Systems -- 3.1 Decision Diagrams -- 3.2 Heuristic Search Methods -- 3.3 Efficient Reasoning Engines -- Part II Quantum-Circuit Simulation -- 4 Overview -- 4.1 Simulation Tasks and Strategies -- 4.2 Resulting Challenge and State of the Art -- 4.3 A Complementary Simulation Approach -- 5 Decision Diagram-Based Simulation
|
505 |
8 |
|
|a 5.1 Representations for Quantum-Circuit Simulation -- 5.1.1 Representation of State Vectors -- 5.1.2 Representation of Matrices -- 5.2 Conducting Quantum-Circuit Simulation -- 5.2.1 Constructing Decision Diagrams Representing Gate Matrices -- 5.2.2 Multiplying Matrices and Vectors -- 5.2.3 Measuring Qubits -- 5.3 Discussion -- 5.3.1 Representation of Vectors and Matrices -- 5.3.2 Conducting Operations -- 5.4 Evaluation -- 6 Combining Operations in DD-Based Simulation -- 6.1 Potential in DD-Based Simulation -- 6.2 Exploiting the Potential for More Efficient DD-BasedSimulation
|
505 |
8 |
|
|a 6.2.1 General Strategies for Combining Operations -- 6.2.2 Strategies Utilizing Further Knowledge -- 6.3 Evaluation -- 7 Efficient Implementation of the DDs in the Quantum Realm -- 7.1 General Concepts and Challenges -- 7.1.1 Established Implementation Techniques -- 7.1.2 Handling Complex Numbers -- 7.2 Efficient Handling of Complex Edge Weights -- 7.2.1 Obtaining Numerical Stability -- 7.2.2 Looking-Up Complex Numbers -- 7.2.3 Conducting Operations on DDs -- 7.3 Resulting DD-Package -- 8 Accuracy and Compactness of DDs in the Quantum Realm -- 8.1 Trade-Off Between Accuracy and Compactness
|
505 |
8 |
|
|a 12 Functional Synthesis -- 12.1 Embedding -- 12.1.1 Existing Embedding Process -- 12.1.2 DD-Based Embedding -- Determining the Number of Garbage Outputs -- Assigning Precise Values -- Implementation -- 12.1.3 Evaluation -- 12.2 Conducting Synthesis -- 12.2.1 DD-Based Synthesis -- 12.2.2 Exploiting Redundancies in Paths and Nodes -- 12.2.3 Optimization Potential -- 12.2.4 Evaluation -- 13 One-Pass Design Flow -- 13.1 Combining Embedding and Synthesis -- 13.1.1 Importance of the Embedding Process -- 13.1.2 Exact Solution -- 13.1.3 Heuristic Solution -- 13.1.4 Evaluation
|
520 |
|
|
|a This book offers readers an easy introduction into quantum computing as well as into the design for corresponding devices. The authors cover several design tasks which are important for quantum computing and introduce corresponding solutions. A special feature of the book is that those tasks and solutions are explicitly discussed from a design automation perspective, i.e., utilizing clever algorithms and data structures which have been developed by the design automation community for conventional logic (i.e., for electronic devices and systems) and are now applied for this new technology. By this, relevant design tasks can be conducted in a much more efficient fashion than before - leading to improvements of several orders of magnitude (with respect to runtime and other design objectives). Describes the current state of the art for designing quantum circuits, for simulating them, and for mapping them to real hardware; Provides a first comprehensive introduction into design automation for quantum computing that tackles practically relevant tasks; Targets the quantum computing community as well as the design automation community, showing both perspectives to quantum computing, and what impressive improvements are possible when combining the knowledge of both communities.
|
650 |
|
0 |
|a Quantum computing.
|
650 |
|
7 |
|a Computer architecture & logic design.
|2 bicssc
|
650 |
|
7 |
|a Mathematical theory of computation.
|2 bicssc
|
650 |
|
7 |
|a Circuits & components.
|2 bicssc
|
650 |
|
7 |
|a Computers
|x Systems Architecture
|x General.
|2 bisacsh
|
650 |
|
7 |
|a Science
|x Quantum Theory.
|2 bisacsh
|
650 |
|
7 |
|a Technology & Engineering
|x Electronics
|x Circuits
|x General.
|2 bisacsh
|
650 |
|
7 |
|a Quantum computing
|2 fast
|
700 |
1 |
|
|a Wille, Robert.
|
758 |
|
|
|i has work:
|a Introducing design automation for quantum computing (Text)
|1 https://id.oclc.org/worldcat/entity/E39PCGmvVFCPxfkbtk89x84MdP
|4 https://id.oclc.org/worldcat/ontology/hasWork
|
776 |
0 |
8 |
|i Print version:
|a Zulehner, Alwin.
|t Introducing design automation for quantum computing.
|d Cham : Springer, 2020
|z 3030417522
|z 9783030417529
|w (OCoLC)1137850428
|
856 |
4 |
0 |
|u https://holycross.idm.oclc.org/login?auth=cas&url=https://link.springer.com/10.1007/978-3-030-41753-6
|y Click for online access
|
903 |
|
|
|a SPRING-ENGINE2020
|
994 |
|
|
|a 92
|b HCD
|