Physical Implementation of Quantum Walks, Kia Manouchehri; Jingbo Wang
Автор: Wang, Jingbo Manouchehri, Kia Название: Physical implementation of quantum walks ISBN: 3642360130 ISBN-13(EAN): 9783642360138 Издательство: Springer Рейтинг: Цена: 16979.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: In light of recent explorations of their non-intuitive dynamics, this book presents proposals as well as actual experiments on how quantum walks can be implemented in the laboratory, underpinned by a range of quantum, classical and hybrid technologies.
Автор: Alwyn van der Merwe; F. Selleri Название: Quantum Paradoxes and Physical Reality ISBN: 9401073309 ISBN-13(EAN): 9789401073301 Издательство: Springer Рейтинг: Цена: 42625.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Although the debate about the true nature of the quantum behavior of atomic systems has never ceased, there are two periods during which it has been particularly intense: the years that saw the founding of quantum mechanics and, increasingly, these modern times.
Автор: Han Название: Implementation and Application of Automata ISBN: 331940945X ISBN-13(EAN): 9783319409450 Издательство: Springer Рейтинг: Цена: 7826.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 21st InternationalConference on Implementation and Application of Automata, CIAA 2016,held in Seoul, South Korea, in July 2016. The 26 revised full papers presented were carefully reviewed and selected from49 submissions.
Автор: Alwyn van der Merwe; F. Selleri Название: Quantum Paradoxes and Physical Reality ISBN: 0792302532 ISBN-13(EAN): 9780792302537 Издательство: Springer Рейтинг: Цена: 42625.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Although the debate about the true nature of the quantum behavior of atomic systems has never ceased, there are two periods during which it has been particularly intense: the years that saw the founding of quantum mechanics and, increasingly, these modern times.
Автор: Sebastian Maneth Название: Implementation and Application of Automata ISBN: 3642029787 ISBN-13(EAN): 9783642029783 Издательство: Springer Рейтинг: Цена: 9781.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 14th International Conference CIAA 2009 Sydney Australia July 1417 2009 Proceedings. .
Описание: This book, the first in the subject, is a comprehensive account of optimal reduction by two of its leading exponents. Practical implementation aspects are fully covered as are its mathematical underpinnings. The book is essentially self-contained, requiring no more than basic familiarity with functional languages. It will be welcomed by graduate students and research workers.
Автор: Arnaud Carayol; Cyril Nicaud Название: Implementation and Application of Automata ISBN: 3319601334 ISBN-13(EAN): 9783319601335 Издательство: Springer Рейтинг: Цена: 7685.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 22nd International Conference on Implementation and Application of Automata, CIAA 2017,held in Marne-la-Vallee, France, in June 2017. The 17 revised full papers presented were carefully reviewed and selected from 31 submissions.
Автор: Markus Holzer; Martin Kutrib Название: Implementation and Application of Automata ISBN: 3319088459 ISBN-13(EAN): 9783319088457 Издательство: Springer Рейтинг: Цена: 7826.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
FPsolve: A Generic Solver for Fixpoint Equations over Semirings.- Restarting Automata for Picture Languages: A Survey on Recent Developments.- Investigations on Automata and Languages over a Unary Alphabet.- Cellular Automata for Crowd Dynamics.- Counting Equivalent Linear Finite Transducers Using a Canonical Form.- On the Power of One-Way Automata with Quantum and Classical States.- On Comparing Deterministic Finite Automata and the Shuffle of Words.- Minimal Partial Languages and Automata.- Large Aperiodic Semigroups.- On the Square of Regular Languages.- Unary Languages Recognized by Two-Way One-Counter Automata.- A Type System for Weighted Automata and Rational Expressions.- Bounded Prefix-Suffix Duplication.- Recognition of Labeled Multidigraphs by Spanning Tree Automata.- Reset Thresholds of Automata with Two Cycle Lengths.- On the Ambiguity, Finite-Valuedness, and Lossiness Problems in Acceptors and Transducers.- Kleene Closure on Regular and Prefix-Free Languages.- Left is Better than Right for Reducing Nondeterminism of NFAs.- Analytic Functions Computable by Finite State Transducers.- Partial Derivative and Position Bisimilarity Automata.- The Power of Regularity-Preserving Multi Bottom-up Tree Transducers.- Pushdown Machines for Weighted Context-Free Tree Translation.- Weighted Variable Automata over Infinite Alphabets.- Implications of Quantum Automata for Contextuality.- Pairwise Rational Kernels Obtained by Automaton Operations.
Описание: Covers development in the field of automated deduction. This book focuses on the investigation of problems derived from realistic applications. It focuses on basic research in deduction and on the knowledge on which modern deductive systems are based. It presents techniques of implementation and details about system building.
Описание: Presents the concepts and methods in automated deduction. This work focuses on basic research in deduction and on the knowledge on which modern deductive systems are based. It presents techniques of implementation and details about system building. It deals with applications of deductive techniques.
Автор: Alfonso Miola Название: Design and Implementation of Symbolic Computation Systems ISBN: 354057235X ISBN-13(EAN): 9783540572350 Издательство: Springer Рейтинг: Цена: 11179.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: A collection of research papers that focuses on innovative methodological and technological aspects of the design and implementation of hardware and software systems for symbolic and algebraic computing, automated reasoning, geometric modelling and automatic programming.
