This thesis deals with topological orders from two different perspectives: from a condensed matter point of view, where topological orders are considered as breakthrough phases of matter; and from the emerging realm of quantum computation, where topological quantum codes are considered the most appealing platform against decoherence.
This book constitutes the refereed post-conference proceedings of the 5th International Workshop on Machine Learning and Data Mining for Sports Analytics, MLSA 2018, colocated with ECML/PKDD 2018, in Dublin, Ireland, in September 2018.
This textbook is intended for practical, laboratory sessions associated with the course of quantum computing and quantum algorithms, as well as for self-study.
This book constitutes the refereed post-conference proceedings of the 26th International Workshop on Functional and Constraint Logic Programming, WFLP 2018, held in Frankfurt/Main, Germany, in September 2018.
This book constitutes the proceedings of the 26th International Conference on Information Processing in Medical Imaging, IPMI 2019, held at the Hong Kong University of Science and Technology, Hong Kong, China, in June 2019.
Students studying computer animation and computer games have to be familiar with geometry, matrices, vectors, rotation transforms, quaternions, curves and surfaces, and as computer graphics software becomes increasingly sophisticated, calculus is also being used to resolve its associated problems.
This book presents a systematic exposition of the main ideas and methods in treating inverse problems for PDEs arising in basic mathematical models, though it makes no claim to being exhaustive.
This book constitutes selected papers from the 23rd International Conference on Information Security and Cryptology, ICISC 2020, held in Seoul, South Korea, in December 2020.
Guide to this Book My main objective is to teach programming in Pascal to people in the hard sciences and technology, who don't have much patience with the standard textbooks with their lengthy, pedantic approach, and their many examples of no interest to scientists and engineers.
This volume collects lecture notes and research articles from the International Autumn School on Computational Number Theory, which was held at the Izmir Institute of Technology from October 30th to November 3rd, 2017 in Izmir, Turkey.
The first step-by-step introduction to the methodology of agent-based models in economics, their mathematical and statistical analysis, and real-world applications.
Iceberg semantics is a new framework of Boolean semantics for mass nouns and count nouns in which the interpretation of a noun phrase rises up from a generating base and floats with its base on its Boolean part set, like an iceberg.
The two volume set LNCS 11486 and 11487 constitutes the proceedings of the International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2019, held in Almeria, Spain,, in June 2019.
Students studying different branches of computer graphics have to be familiar with geometry, matrices, vectors, rotation transforms, quaternions, curves and surfaces and as computer graphics software becomes increasingly sophisticated, calculus is also being used to resolve its associated problems.
This book constitutes the refereed proceedings of the 22nd International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2020, held in Austin, TX, USA, in November 2020.
The five-volume set LNCS 11536, 11537, 11538, 11539, and 11540 constitutes the proceedings of the 19th International Conference on Computational Science, ICCS 2019, held in Faro, Portugal, in June 2019.
50 Years of Combinatorics, Graph Theory, and Computing advances research in discrete mathematics by providing current research surveys, each written by experts in their subjects.
This book constitutes the proceedings of the 25th International Conference on Implementation and Application of Automata, CIAA 2021, held in July 2021.
Synchronizing E-Security is a critical investigation and empirical analysis of studies conducted among companies that support electronic commerce transactions in both advanced and developing economies.
This two-volume set LNCS 11554 and 11555 constitutes the refereed proceedings of the 16th International Symposium on Neural Networks, ISNN 2019, held in Moscow, Russia, in July 2019.
This book constitutes the proceedings of the 21st International Conference on Formal Engineering Methods, ICFEM 2019, held in Shenzhen, China, in November 2019.
Applied Probability presents a unique blend of theory and applications, with special emphasis on mathematical modeling, computational techniques, and examples from the biological sciences.
The idea of the present volume emerged in 2002 from a series of talks by Frank Stephan in 2002, and John Case in 2003, on developments of algorithmic learning theory.
This book constitutes the thoroughly refereed post-workshop proceedings of the 8th International Workshop on the Arithmetic of Finite Field, WAIFI 2020, held in Rennes, France in July 2020.
This is a book about isomorphisms 0/ types, arecent difficult research topic in type theory that turned out to be able to have valuable practical applications both for programming language design and far more human- centered information retrieval in software libraries.
This book constitutes the refereed proceedings of the 26th International Symposium on Static Analysis, SAS 2019, held in Porto, Portugal, in October 2019.
Reversible grammar allows computational models to be built that are equally well suited for the analysis and generation of natural language utterances.
