Model Checking Quantum Systems: Principles and Algorithms (Ying Mingsheng)(Pevná vazba)

Model Checking Quantum Systems: Principles and Algorithms (Ying Mingsheng)(Pevná vazba)

Model checking is one of the most successful verification techniques and has been widely adopted in traditional computing and communication hardware and software industries. This book provides the first systematic introduction to model checking techniques applicable to quantum systems, with broad

Fundamentals of Quantum Computing: Theory and Practice (Kasirajan Venkateswaran)(Pevná vazba)

This introductory book on quantum computing includes an emphasis on the development of algorithms. Appropriate for both university students as well as software developers interested in programming a quantum computer, this practical approach to modern quantum computing takes the reader through the

Introduction to Quantum Algorithms Via Linear Algebra, Second Edition (Lipton Richard J.)(Pevná vazba)

Quantum computing explained in terms of elementary linear algebra, emphasizing computation and algorithms and requiring no background in physics. This introduction to quantum algorithms is concise but comprehensive, covering many key algorithms. It is mathematically rigorous but requires minimal

Quantum Theory and Statistical Thermodynamics: Principles and Worked Examples (Hertel Peter)(Pevná vazba)

This textbook presents a concise yet detailed introduction to quantum physics. Concise, because it condenses the essentials to a few principles. Detailed, because these few principles - necessarily rather abstract - are illustrated by several telling examples. A fairly complete overview of the

Examining Quantum Algorithms for Quantum Image Processing (Li Haisheng)(Pevná vazba)

An emerging interdisciplinary field of study in the realm of academia has been quantum computing and its various applications. The rapid rate of progress of this advancing technology as well as its multi-faceted nature has created a vast amount of potential research material for professionals and

Advanced Solar-Distillation Systems: Basic Principles, Thermal Modeling, and Its Application (Tiwari G. N.)(Pevná vazba)

Quantum Mechanics for Scientists and Engineers (Miller David A. B.)(Pevná vazba)

If you need a book that relates the core principles of quantum mechanics to modern applications in engineering, physics, and nanotechnology, this is it. Students will appreciate the book's applied emphasis, which illustrates theoretical concepts with examples of nanostructured materials, optics,

Model Checking, Second Edition (Clarke Edmund M.)(Pevná vazba)

An expanded and updated edition of a comprehensive presentation of the theory and practice of model checking, a technology that automates the analysis of complex systems.Model checking is a verification technology that provides an algorithmic means of determining whether an abstract

Principles of Robot Motion: Theory, Algorithms, and Implementations (Choset Howie)(Pevná vazba)

A text that makes the mathematical underpinnings of robot motion accessible and relates low-level details of implementation to high-level algorithmic concepts.Robot motion planning has become a major focus of robotics. Research findings can be applied not only to robotics but to planning routes on

Feedback Systems: An Introduction for Scientists and Engineers, Second Edition (strm Karl Johan)(Pevná vazba)

The essential introduction to the principles and applications of feedback systems--now fully revised and expandedThis textbook covers the mathematics needed to model, analyze, and design feedback systems. Now more user-friendly than ever, this revised and expanded edition of Feedback Systems is a

Computational Physics: Simulation of Classical and Quantum Systems (Scherer Philipp)(Pevná vazba)

Part I Numerical Methods.- Error Analysis.- Interpolation.- Numerical Differentiation.- Numerical Integration.- Systems of Inhomogeneous Linear Equations.- Roots and Extremal Points.- Fourier Transformation.- Random Numbers and Monte-Carlo Methods.- Eigenvalue Problems.- Data Fitting.-

Probabilistic Graphical Models: Principles and Techniques (Koller Daphne)(Pevná vazba)

A general framework for constructing and using probabilistic models of complex systems that would enable a computer to use available information for making decisions.Most tasks require a person or an automated system to reason--to reach conclusions based on available information. The framework of

Cloud Computing: Principles, Systems and Applications (Antonopoulos Nick)(Pevná vazba)

Cloud computing has recently emerged as a subject of substantial industrial and academic interest, though its meaning and scope is hotly debated. For some researchers, clouds are a natural evolution towards the full commercialisation of grid systems, while others dismiss the term as a mere

Internet Computing: Principles of Distributed Systems and Emerging Internet-Based Technologies (Sunyaev Ali)(Pevná vazba)

1 Introduction to Internet Computing.- 2 Information Systems Architecture.- 3 Design of Good Information Systems Architectures.- 4 Internet Architectures.- 5 Middleware.- 6 Web services.- 7 Cloud Computing.- 8 Fog and Edge Computing.- 9 Distributed Ledger Technology.- 10 The Internet of Things.- 11

Quantum Field Theory: From Basics to Modern Topics (Gelis Franois)(Pevná vazba)

This modern text combines fundamental principles with advanced topics and recent techniques in a rigorous and self-contained treatment of quantum field theory.Beginning with a review of basic principles, starting with quantum mechanics and special relativity, students can refresh their knowledge of

Quantum Monte Carlo Approaches for Correlated Systems (Becca Federico)(Pevná vazba)

Over the past several decades, computational approaches to studying strongly-interacting systems have become increasingly varied and sophisticated. This book provides a comprehensive introduction to state-of-the-art quantum Monte Carlo techniques relevant for applications in correlated systems

Simulation Algorithms for Computational Systems Biology (Marchetti Luca)(Pevná vazba)

Essential topic in modern life science researchSelf-contained presentationAuthors are leading researchers in the

Quantum Field Theory and the Standard Model (Schwartz Matthew D.)(Pevná vazba)

Providing a comprehensive introduction to quantum field theory, this textbook covers the development of particle physics from its foundations to the discovery of the Higgs boson. Its combination of clear physical explanations, with direct connections to experimental data, and mathematical rigor

Image Texture Analysis: Foundations, Models and Algorithms (Hung Chih-Cheng)(Pevná vazba)

Part I: Existing Models and Algorithms for Image Texture Image Texture, Texture Features, and Image Texture Classification and Segmentation Texture Features and Image Texture Models Algorithms for Image Texture Classification Dimensionality Reduction and Sparse Representation Part II: The K-Views

Quantum Computation and Quantum Information (Nielsen Michael A.)(Pevná vazba)

One of the most cited books in physics of all time, Quantum Computation and Quantum Information remains the best textbook in this exciting field of science. This 10th anniversary edition includes an introduction from the authors setting the work in context. This comprehensive textbook describes

Quantum Chemistry, 2nd Edition (McQuarrie Donald a.)(Pevná vazba)

Quantum Chemistry 2e offers students a superb introduction to quantum mechanics and its application to

Managing Asian Destinations (Wang Ying)(Pevná vazba)

Analyses empirical evidence collected and interpreted by researchers indigenous to Asian culture and contextOffers a variety of perspectives and case studies of Asian destinations, including many emerging destinationsProvides an Asian perspective that is missing from much current

Classical and Quantum Cosmology (Calcagni Gianluca)(Pevná vazba)

Introduction.- Hot big bang model.- Cosmological perturbations.- Cosmic microwave background.- Inflation.- Big bang problem.- Cosmological constant problem.- The problem of quantum gravity.- Canonical quantum gravity.- Canonical quantum cosmology.- Cosmology of quantum gravities.- String theory.-

Data Mining and Machine Learning: Fundamental Concepts and Algorithms (Zaki Mohammed J.)(Pevná vazba)

The fundamental algorithms in data mining and machine learning form the basis of data science, utilizing automated methods to analyze patterns and models for all kinds of data in applications ranging from scientific discovery to business analytics. This textbook for senior undergraduate and