Reversible Computation: 13th International Conference, Rc 2021, Virtual Event, July 7-8, 2021, Proceedings, Yamashita Shigeru, Yokoyama Tetsuo
Автор: 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;
Автор: Platzer Andrй, Sutcliffe Geoff Название: Automated Deduction - Cade 28: 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings ISBN: 3030798755 ISBN-13(EAN): 9783030798758 Издательство: Springer Цена: 37260.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This open access book constitutes the proceeding of the 28th International Conference on Automated Deduction, CADE 28, held virtually in July 2021. The 29 full papers and 7 system descriptions presented together with 2 invited papers were carefully reviewed and selected from 76 submissions.
Автор: 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.
Автор: 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.
Автор: 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.
Автор: 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.
Автор: Stephanidis Constantine, Antona Margherita, Ntoa Stavroula Название: Hci International 2021 - Posters: 23rd Hci International Conference, Hcii 2021, Virtual Event, July 24-29, 2021, Proceedings, Part II ISBN: 3030786412 ISBN-13(EAN): 9783030786410 Издательство: Springer Цена: 46570.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: The three-volume set CCIS 1419, CCIS 1420, and CCIS 1421 contains the extended abstracts of the posters presented during the 23rd International Conference on Human-Computer Interaction, HCII 2021, which was held virtually in July 2021.
Автор: Thomson Robert, Hussain Muhammad Nihal, Dancy Christopher Название: Social, Cultural, and Behavioral Modeling: 14th International Conference, Sbp-Brims 2021, Virtual Event, July 6-9, 2021, Proceedings ISBN: 3030803864 ISBN-13(EAN): 9783030803865 Издательство: Springer Цена: 46570.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book constitutes the proceedings of the 14th International Conference on Social, Cultural, and Behavioral Modeling, SBP-BRiMS 2021, which was held online during July 6-9, 2021.The 32 full papers presented in this volume were carefully reviewed and selected from 56 submissions.
Казахстан, 010000 г. Астана, проспект Туран 43/5, НП2 (офис 2) ТОО "Логобук" Тел:+7 707 857-29-98 ,+7(7172) 65-23-70 www.logobook.kz
