Reversible Computation: 13th International Conference, Rc 2021, Virtual Event, July 7-8, 2021, Proceedings, Yamashita Shigeru, Yokoyama Tetsuo
Автор: 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;
Автор: 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.
Автор: 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;
Автор: 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.
Автор: 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.
Автор: Shigeru Yamashita; Shin-ichi Minato Название: Reversible Computation ISBN: 3319084933 ISBN-13(EAN): 9783319084930 Издательство: Springer Рейтинг: Цена: 44720.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Automata for reversible computation.- Notation and languages for reversible computation.- Synthesis and optimization for reversible circuits.- Validation and representation of quantum logic.
Автор: Michael Kirkedal Thomsen; Mathias Soeken Название: Reversible Computation ISBN: 3030214990 ISBN-13(EAN): 9783030214999 Издательство: Springer Рейтинг: Цена: 54030.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: 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.
Автор: 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.
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.
Автор: Iain Phillips; Hafizur Rahaman Название: Reversible Computation ISBN: 3319599356 ISBN-13(EAN): 9783319599359 Издательство: Springer Рейтинг: Цена: 51230.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book constitutes the refereed proceedings of the 9th International Conference on Reversible Computation, RC 2017, held in Kolkata, India, in July 2017. The 13 full and 5 short papers included in this volume together with one invited paper were carefully reviewed and selected from 47 submissions. reversible circuit synthesis;
Автор: 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.
Казахстан, 010000 г. Астана, проспект Туран 43/5, НП2 (офис 2) ТОО "Логобук" Тел:+7 707 857-29-98 ,+7(7172) 65-23-70 www.logobook.kz
