Mathematics of Discrete Structures for Computer Science

Revised 4th edition covers major mathematical ideas and techniques from ancient Near East to 20th-century computer theory. Work of Archimedes, Pascal, Gauss, Hilbert, etc.

Lattice gauge theory is a fairly young research area in Theoretical Particle Physics. It is of great promise as it offers the framework for an ab-initio treatment of the nonperturbative features of st

Classical computable model theory is most naturally concerned with countable domains. There are, however, several methods – some old, some new – that have extended its basic concepts to uncountable structures. Unlike in the classical case, however, no single dominant approach has emerged, and different methods reveal different aspects of the computable content of uncountable mathematics. This book contains introductions to eight major approaches to computable uncountable mathematics: descriptive set theory; infinite time Turing machines; Blum-Shub-Smale computability; Sigma-definability; computability theory on admissible ordinals; E-recursion theory; local computability; and uncountable reverse mathematics. This book provides an authoritative and multifaceted introduction to this exciting new area of research that is still in its early stages. It is ideal as both an introductory text for graduate and advanced undergraduate students and a source of interesting new approaches for resear

In recent years there have been important and far reaching developments in the study of nonlinear waves and a class of nonlinear wave equations which arise frequently in applications. The wide interest in this field comes from the understanding of special waves called 'solitons' and the associated development of a method of solution to a class of nonlinear wave equations termed the inverse scattering transform (IST). Before these developments, very little was known about the solutions to such 'soliton equations'. The IST technique applies to both continuous and discrete nonlinear Schrödinger equations of scalar and vector type. Also included is the IST for the Toda lattice and nonlinear ladder network, which are well-known discrete systems. This book, first published in 2003, presents the detailed mathematical analysis of the scattering theory; soliton solutions are obtained and soliton interactions, both scalar and vector, are analyzed. Much of the material is not available in the pre

This volume is an excellent resource for professionals in various areas of applications of mathematics, modeling, and computational science. It focuses on recent progress and modern challenges in thes

Mathematicians have skills that would enable them to use data to answer questions important to them and others, and report those answers in compelling ways. Data science combines parts of mathematics,

The European Conference on Numerical Mathematics and Advanced Applications (ENUMATH) is a series of meetings held every two years to provide a forum for discussion on recent aspects of numerical mathe

IAENG Transactions on Engineering Technologies contains forty-nine revised and extended research articles, written by prominent researchers participating in the conference. Topics covered include circ

This volume contains peer-reviewed papers and case studies derived from invited papers. The contributions address two key problems: (i) natural, technological and environmental risks, risk preventi

This is a book for those who love photography and like to understand how things work. It begins with an introduction to the history and science of photography and addresses questions about the princip

This is a book for those who love photography and like to understand how things work. It begins with an introduction to the history and science of photography and addresses questions about the princip

Michael Ruse offers a new analysis of the often troubled relationship between science and religion. Arguing against both extremes - in one corner, the New Atheists; in the other, the Creationists and their offspring the Intelligent Designers - he asserts that science is the highest source of human inquiry. Yet, by its very nature and its deep reliance on metaphor, science restricts itself and is unable to answer basic, significant questions about the meaning of the universe and humankind's place within it: why is there something rather than nothing? What is the meaning of it all? Ruse shows that one can legitimately be a skeptic about these questions, and yet why it is open for a Christian, or member of any faith, to offer answers. Scientists, he concludes, should be proud of their achievements but modest about their scope. Christians should be confident of their mission but respectful of the successes of science.

"A engaging history of the British Science Museum, produced to mark the centenary of its separation from the Victoria & Albert Museum in 1909. Rather than simply a narrative history, it uses the k

Published to mark the centenary of the founding of the Science Museum in 1909, Science for the Nation is a unique look at the history of a great national institution. It is also a study of the changi