Jingbo Wang - Böcker

The contributions deal with program verification, model checking, abstract interpretation, program synthesis, static analysis, type systems, deductive methods, decision procedures, theorem proving, program certification, debugging techniques, program transformation, optimization, and hybrid and cyber-physical systems.

The O&G industry is going through a paradigm shift, where scarcity of water, economics of water management, declining oil costs, and increasing focus on environmental and ecological stewardship are shifting the focus toward integrated water management in E&P operations.

Over the past half century, reverse osmosis (RO) has grown from a nascent niche technology into the most versatile and effective desalination and advanced water treatment technology available.

Quantum mechanics undergraduate courses mostly focus on systems with known analytical solutions; the finite well, simple Harmonic, and spherical potentials. However, most problems in quantum mechanics cannot be solved analytically. This textbook introduces the numerical techniques required to tackle problems in quantum mechanics, providing numerous examples en route. No programming knowledge is required – an introduction to both Fortran and Python is included, with code examples throughout.With a hands-on approach, numerical techniques covered in this book include differentiation and integration, ordinary and differential equations, linear algebra, and the Fourier transform. By completion of this book, the reader will be armed to solve the Schrödinger equation for arbitrarily complex potentials, and for single and multi-electron systems.

Given the extensive application of random walks in virtually every science related discipline, we may be at the threshold of yet another problem solving paradigm with the advent of quantum walks. Over the past decade, quantum walks have been explored for their non-intuitive dynamics, which may hold the key to radically new quantum algorithms. This growing interest has been paralleled by a flurry of research into how one can implement quantum walks in laboratories. This book presents numerous proposals as well as actual experiments for such a physical realization, underpinned by a wide range of quantum, classical and hybrid technologies.

Given the extensive application of random walks in virtually every science related discipline, we may be at the threshold of yet another problem solving paradigm with the advent of quantum walks. Over the past decade, quantum walks have been explored for their non-intuitive dynamics, which may hold the key to radically new quantum algorithms.