Information content and programming semantics are just two of the applications of the mathematical concepts of order, continuity and domains. This authoritative and comprehensive account of the subject will be an essential handbook for all those working in the area. An extensive index and bibliography make this an ideal sourcebook for all those working in domain theory.
Information content and programming semantics are just two of the applications of the mathematical concepts of order, continuity and domains. This aut...
The interaction of waves with obstacles is an everyday phenomenon in science and engineering, arising for example in acoustics, electromagnetism, seismology and hydrodynamics. The mathematical theory and technology needed to understand the phenomenon is known as multiple scattering, and this book is the first devoted to the subject. The author covers a variety of techniques, describing first the single-obstacle methods and then extending them to the multiple-obstacle case. A key ingredient in many of these extensions is an appropriate addition theorem: a coherent, thorough exposition of these...
The interaction of waves with obstacles is an everyday phenomenon in science and engineering, arising for example in acoustics, electromagnetism, seis...
This book focuses on the asymptotic behavior of the probabilities of large deviations of the trajectories of random walks with 'heavy-tailed' (in particular, regularly varying, sub- and semiexponential) jump distributions. Large deviation probabilities are of great interest in numerous applied areas, typical examples being ruin probabilities in risk theory, error probabilities in mathematical statistics, and buffer-overflow probabilities in queueing theory. The classical large deviation theory, developed for distributions decaying exponentially fast (or even faster) at infinity, mostly uses...
This book focuses on the asymptotic behavior of the probabilities of large deviations of the trajectories of random walks with 'heavy-tailed' (in part...
Polycycles and symmetric polyhedra appear as generalizations of graphs in the modeling of molecular structures, such as the Nobel prize winning fullerenes, occurring in chemistry and crystallography. The chemistry has inspired and informed many interesting questions in mathematics and computer science, which in turn have suggested directions for synthesis of molecules. Here the authors give access to new results in the theory of polycycles and two-faced maps together with the relevant background material and mathematical tools for their study. Organized so that, after reading the introductory...
Polycycles and symmetric polyhedra appear as generalizations of graphs in the modeling of molecular structures, such as the Nobel prize winning fuller...
Graph theory is an important branch of contemporary combinatorial mathematics. By describing recent results in algebraic graph theory and demonstrating how linear algebra can be used to tackle graph-theoretical problems, the authors provide new techniques for specialists in graph theory. The book explains how the spectral theory of finite graphs can be strengthened by exploiting properties of the eigenspaces of adjacency matrices associated with a graph. The extension of spectral techniques proceeds at three levels: using eigenvectors associated with an arbitrary labeling of graph vertices,...
Graph theory is an important branch of contemporary combinatorial mathematics. By describing recent results in algebraic graph theory and demonstratin...
Emphasizes topological, geometrical and analytical properties of absolute measurable spaces; of interest for real analysis, set theory and measure theory.
Emphasizes topological, geometrical and analytical properties of absolute measurable spaces; of interest for real analysis, set theory and measure the...
This book investigates how a user or observer can influence the behavior of systems mathematically and computationally. A thorough mathematical analysis of controllability problems is combined with a detailed investigation of methods used to solve them numerically; these methods being validated by the results of numerical experiments. In the first part of the book, the authors discuss the mathematics and numerics relating to the controllability of systems modeled by linear and non-linear diffusion equations; Part two is dedicated to the controllability of vibrating systems, typical ones being...
This book investigates how a user or observer can influence the behavior of systems mathematically and computationally. A thorough mathematical analys...
Professor Hodges emphasizes definability and methods of construction, and introduces the reader to advanced topics such as stability. He also provides the reader with much historical information and a full bibliography, enhancing the book's use as a reference.
Professor Hodges emphasizes definability and methods of construction, and introduces the reader to advanced topics such as stability. He also provides...
Algebraists have studied noncommutative fields (also called skew fields or division rings) less thoroughly than their commutative counterparts. Most existing accounts have been confined to division algebras, i.e. skew fields that are finite dimensional over their center. This work offers the first comprehensive account of skew fields. It is based on the author's LMS Lecture Note Volume "Skew Field Constructions." The axiomatic foundation and a precise description of the embedding problem precedes an account of algebraic and topological construction methods. The author presents his general...
Algebraists have studied noncommutative fields (also called skew fields or division rings) less thoroughly than their commutative counterparts. Most e...