This monograph aims to provide an accessible and fairly comprehensive treatment of recent developments on generalised dualities for graphs on surfaces and their applications. Duality arises in many areas, particularly topological and algebraic graph theory, topology, and physics. The importance of duality derives not only from its inherent...
The main theme of this book is exact solutions to nonlinear partial differential equations and systematic methods for finding them. All techniques are demonstrated with plenty of worked-out examples, which are predominantly drawn from fluid mechanics, reaction-diffusion systems, and nonlinear diffusion…Throughout the book, notation is kept...
This book describes the specification and proof of a compiler for a realistically complicated assembly-level language. The book defines the state of the art in machine check proofs of software. Piton is a simple assembly-level programming language for a microprocessor called the FM9001 described at the machine code level. The correctness of...
Why is astronomy considered a science while astrology is considered only a pseudoscience?
In other words, how can we prove that a theory faithfully describes reality,
and that this theory can then be used to predict unknown facts? Karl Popper, the
well-known philosopher, studied these problems and summarized his conclusions in
one...
This text covers abstract principles of molecular computing and the building of actual systems. Topics include the use of proteins and other molecules for information processing, molecular recognition, computation in nonlinear media, and more.
The next great change in computer science and information technology will come from mimicking...
This main purpose of this book is to present the basic theory of well-posed linear systems in a form which makes it available to a larger audience, thereby opening up the possibility of applying it to a wider range of problems. Up to now the theory has existed in a distributed form, scattered between different papers with...
With the advancement of statistical methodology inextricably linked to the use of computers, new methodological ideas must be translated into usable code and then numerically evaluated relative to competing procedures. In response to this, Statistical Computing in C++ and R concentrates on the writing of code rather...
QoS is an important subject that takes a central place in overall packet network technologies. It is a complex subject and its analysis involves such mathematical disciplines as probability, random variables, stochastic processes, and queuing. These mathematical subjects are abstract and are not easy to grasp for uninitiated...
Practical Programming is true to its name. The information it presents is organized around useful tasks rather than abstract constructs, and each chapter addresses a well-contained and important aspect of programming in Python. A student wondering “How do I make the computer do X?” would be able to find their answer very quickly with...
Develop cross-platform mobile games with Corona using the Lua programming language! Corona is experiencing explosive growth among mobile game developers, and this book gets you up to speed on how to use this versatile platform. You'll use the Corona SDK to simplify game programming and take a...
Grid computing has become a topic of significant interest in the scientific community as a means of enabling application developers to aggregate resources scattered around the globe for solving large-scale scientific problems. This monograph addresses four critical software development aspects for the engineering and execution of applications on...
In this book I want to tell the story of gauge fields, the messengers that transmit signals among elementary particles, enabling them to interact. They work in the quantum realm of quarks, the deepest level of the structure of matter we have reached so far.
The basic interaction at this level percolates upwards, through hierarchies of...
