Reversible and Quantum Circuits: Optimization and Complexity Analysis, Abdessaied Nabila, Drechsler Rolf
Автор: Devitt Название: Reversible Computation ISBN: 3319405772 ISBN-13(EAN): 9783319405773 Издательство: Springer Рейтинг: Цена: 52170.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book constitutes the refereed proceedings of the 8th International Conference on Reversible Computation, RC 2016, held in Bologna, Italy, in July 2016. The 18 full and 5 short papers included in this volume were carefully reviewed and selected from 38 submissions. The papers are organized in topical sections named: process calculi;
Автор: Jean Krivine; Jean-Bernard Stefani Название: Reversible Computation ISBN: 3319208594 ISBN-13(EAN): 9783319208596 Издательство: Springer Рейтинг: Цена: 44720.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: The Conference on Reversible Computation particularly includes the following topics: reversible machines, reversible languages, design and verification of quantum circuits, design of reversible circuits and circuit synthesis.
Автор: Alexis De Vos, Stijn De Baerdemacker, Yvan Van Rentergem Название: Synthesis of Quantum Circuits vs. Synthesis of Classical Reversible Circuits ISBN: 1681733811 ISBN-13(EAN): 9781681733814 Издательство: Mare Nostrum (Eurospan) Рейтинг: Цена: 76690.00 T Наличие на складе: Невозможна поставка. Описание: At first sight, quantum computing is completely different from classical computing. Nevertheless, a link is provided by reversible computation.Whereas an arbitrary quantum circuit, acting on w qubits, is described by an n x n unitary matrix with n=2w, a reversible classical circuit, acting on w bits, is described by a 2w x 2w permutation matrix. The permutation matrices are studied in group theory of finite groups (in particular the symmetric group Sn); the unitary matrices are discussed in group theory of continuous groups (a.k.a. Lie groups, in particular the unitary group U(n).Both the synthesis of a reversible logic circuit and the synthesis of a quantum logic circuit take advantage of the decomposition of a matrix: the former of a permutation matrix, the latter of a unitary matrix. In both cases the decomposition is into three matrices. In both cases the decomposition is not unique.
Автор: Abdessaied Название: Reversible and Quantum Circuits ISBN: 3319319353 ISBN-13(EAN): 9783319319353 Издательство: Springer Рейтинг: Цена: 81050.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This bookpresents a new optimization flow for quantum circuits realization. At thereversible level, optimization algorithms are presented to reduce the quantumcost. Then, new mapping approaches to decompose reversible circuits to quantumcircuits using different quantum libraries are described. Finally, optimizationtechniques to reduce the quantum cost or the delay are applied to the resultingquantum circuits. Furthermore, this book studies the complexity of reversiblecircuits and quantum circuits from a theoretical perspective.
Автор: Alexis De Vos, Stijn De Baerdemacker, Yvan Van Rentergem Название: Synthesis of Quantum Circuits vs. Synthesis of Classical Reversible Circuits ISBN: 168173379X ISBN-13(EAN): 9781681733791 Издательство: Mare Nostrum (Eurospan) Рейтинг: Цена: 56370.00 T Наличие на складе: Невозможна поставка. Описание: At first sight, quantum computing is completely different from classical computing. Nevertheless, a link is provided by reversible computation.Whereas an arbitrary quantum circuit, acting on w qubits, is described by an n x n unitary matrix with n=2w, a reversible classical circuit, acting on w bits, is described by a 2w x 2w permutation matrix. The permutation matrices are studied in group theory of finite groups (in particular the symmetric group Sn); the unitary matrices are discussed in group theory of continuous groups (a.k.a. Lie groups, in particular the unitary group U(n).Both the synthesis of a reversible logic circuit and the synthesis of a quantum logic circuit take advantage of the decomposition of a matrix: the former of a permutation matrix, the latter of a unitary matrix. In both cases the decomposition is into three matrices. In both cases the decomposition is not unique.
Автор: Saleem Mohammed Ridha Taha Название: Reversible Logic Synthesis Methodologies with Application to Quantum Computing ISBN: 3319234781 ISBN-13(EAN): 9783319234786 Издательство: Springer Рейтинг: Цена: 113190.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book opens the door to a new interesting and ambitious world of reversible and quantum computing research. Top world universities, companies and government institutions are in a race of developing new methodologies, algorithms and circuits on reversible logic, quantum logic, reversible and quantum computing and nano-technologies.
Автор: Gerhard W. Dueck; D. Michael Miller Название: Reversible Computation ISBN: 3642389856 ISBN-13(EAN): 9783642389856 Издательство: Springer Рейтинг: Цена: 42860.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book constitutes the refereed proceedings of the 5th International Conference on Reversible Computation, RC 2013, held in Victoria, BC, Canada, in July 2013. The 19 contributions presented together with one invited paper were carefully reviewed and selected from 37 submissions.
Foundations of Reversible Computation.- Software and Reversible Systems: A Survey of Recent Activities.- Simulation and Design of Quantum Circuits.- Research on Reversible Functions Having Component Functions with Specified Properties - An Overview.- A Case Study for Reversible Computing: Reversible Debugging.- Towards Choreographic-Based Monitoring.- Reversibility in Chemical Reactions.- Reversible Control of Robots.- Reversible Languages and Incremental State Saving in Optimistic Parallel Discrete Event Simulation.- Reversible Computation in Wireless Communications.- Error Reconciliation in Quantum Key Distribution Protocols.
Автор: Kenichi Morita Название: Theory of Reversible Computing ISBN: 443156604X ISBN-13(EAN): 9784431566045 Издательство: Springer Рейтинг: Цена: 130430.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: 1. Introduction.- 2. Reversible Logic Elements with Memory.- 3. Classification of Reversible Logic Elements with Memory and Their Universality.- 4. Reversible Logic Gates.- 5. Reversible Turing Machines.- 6. Making Reversible Turing Machines from Reversible Primitives.- 7. Universal Reversible Turing Machines.- 8. Space-Bounded Reversible Turing Machines.-9. Other Models of Reversible Machines.- 10. Reversible Cellular Automata.- 11. One-Dimensional Universal Reversible Cellular Automata.- 12. Two-Dimensional Universal Reversible Cellular Automata.- 13. Reversible Elementary Triangular Partitioned Cellular Automata.- 14. Self-reproduction in Reversible Cellular Automata.
Автор: Lanese Ivan, Rawski Mariusz Название: Reversible Computation: 12th International Conference, Rc 2020, Oslo, Norway, July 9-10, 2020, Proceedings ISBN: 3030524817 ISBN-13(EAN): 9783030524814 Издательство: Springer Рейтинг: Цена: 46570.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book constitutes the refereed proceedings of the 12th International Conference on Reversible Computation, RC 2020, held in Oslo, Norway, in July 2020. The 17 full papers included in this volume were carefully reviewed and selected from 22 submissions. The papers are organized in the following topical sections: theory and foundation;
Автор: Kari Название: Reversible Computation ISBN: 3319994972 ISBN-13(EAN): 9783319994970 Издательство: Springer Рейтинг: Цена: 46570.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book constitutes the refereed proceedings of the 10th International Conference on Reversible Computation, RC 2018, held in Leicester, UK, in September 2018. The 13 full, 7 short, and one tutorial papers included in this volume together with four invited talks were carefully reviewed and selected from 28 submissions.
Автор: Robert Gl?ck; Tetsuo Yokoyama Название: Reversible Computation ISBN: 3642363148 ISBN-13(EAN): 9783642363146 Издательство: Springer Рейтинг: Цена: 42860.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book constitutes the refereed proceedings of the 4th International Workshop on Reversible Computation, RC 2012, held in Copenhagen, Denmark, in July 2012. The papers cover theoretical considerations, reversible software and reversible hardware, and physical realizations and applications in quantum computing.
Казахстан, 010000 г. Астана, проспект Туран 43/5, НП2 (офис 2) ТОО "Логобук" Тел:+7 707 857-29-98 ,+7(7172) 65-23-70 www.logobook.kz
