Author: London Mathematical Society

Publisher:

ISBN: 0521427266

Release Date: 1992

Genre: Computers

Skip to content
## Applications of categories in computer science

## Reversibility in Dynamics and Group Theory

An accessible yet systematic account of reversibility that demonstrates its impact throughout many diverse areas of mathematics.
## Random Walks and Heat Kernels on Graphs

This introduction to random walks on infinite graphs gives particular emphasis to graphs with polynomial volume growth. It offers an overview of analytic methods, starting with the connection between random walks and electrical resistance, and then proceeding to study the use of isoperimetric and Poincar inequalities. The book presents rough isometries and looks at the properties of a graph that are stable under these transformations. Applications include the 'type problem': determining whether a graph is transient or recurrent. The final chapters show how geometric properties of the graph can be used to establish heat kernel bounds, that is, bounds on the transition probabilities of the random walk, and it is proved that Gaussian bounds hold for graphs that are roughly isometric to Euclidean space. Aimed at graduate students in mathematics, the book is also useful for researchers as a reference for results that are hard to find elsewhere.
## Advances in Elliptic Curve Cryptography

Since the appearance of the authors' first volume on elliptic curve cryptography in 1999 there has been tremendous progress in the field. In some topics, particularly point counting, the progress has been spectacular. Other topics such as the Weil and Tate pairings have been applied in new and important ways to cryptographic protocols that hold great promise. Notions such as provable security, side channel analysis and the Weil descent technique have also grown in importance. This second volume addresses these advances and brings the reader up to date. Prominent contributors to the research literature in these areas have provided articles that reflect the current state of these important topics. They are divided into the areas of protocols, implementation techniques, mathematical foundations and pairing based cryptography. Each of the topics is presented in an accessible, coherent and consistent manner for a wide audience that will include mathematicians, computer scientists and engineers.
## Handbook of Tilting Theory

A handbook of key articles providing both an introduction and reference for newcomers and experts alike.
## Nonlinear Dispersive Equations

This book provides a self-contained presentation of classical and new methods for studying wave phenomena that are related to the existence and stability of solitary and periodic travelling wave solutions for nonlinear dispersive evolution equations. Simplicity, concrete examples, and applications are emphasized throughout in order to make the material easily accessible. The list of classical nonlinear dispersive equations studied includes Korteweg-de Vries, Benjamin-Ono, and Schrodinger equations. Many special Jacobian elliptic functions play a role in these examples. The author brings the reader to the forefront of knowledge about some aspects of the theory and motivates future developments in this fascinating and rapidly growing field. The book can be used as an instructive study guide as well as a reference by students and mature scientists interested in nonlinear wave phenomena.
## Quanta of Maths

The work of Alain Connes has cut a wide swath across several areas of mathematics and physics. Reflecting its broad spectrum and profound impact on the contemporary mathematical landscape, this collection of articles covers a wealth of topics at the forefront of research in operator algebras, analysis, noncommutative geometry, topology, number theory and physics. Specific themes covered by the articles are as follows: entropy in operator algebras, regular $C^*$-algebras of integral domains, properly infinite $C^*$-algebras, representations of free groups and 1-cohomology, Leibniz seminorms and quantum metric spaces; von Neumann algebras, fundamental Group of $\mathrm{II}_1$ factors, subfactors and planar algebras; Baum-Connes conjecture and property T, equivariant K-homology, Hermitian K-theory; cyclic cohomology, local index formula and twisted spectral triples, tangent groupoid and the index theorem; noncommutative geometry and space-time, spectral action principle, quantum gravity, noncommutative ADHM and instantons, non-compact spectral triples of finite volume, noncommutative coordinate algebras; Hopf algebras, Vinberg algebras, renormalization and combinatorics, motivic renormalization and singularities; cyclotomy and analytic geometry over $F_1$, quantum modular forms; differential K-theory, cyclic theory and S-cohomology.
## Surveys on Surgery Theory

Surgery theory, the basis for the classification theory of manifolds, is now about forty years old. There have been some extraordinary accomplishments in that time, which have led to enormously varied interactions with algebra, analysis, and geometry. Workers in many of these areas have often lamented the lack of a single source that surveys surgery theory and its applications. Indeed, no one person could write such a survey. The sixtieth birthday of C. T. C. Wall, one of the leaders of the founding generation of surgery theory, provided an opportunity to rectify the situation and produce a comprehensive book on the subject. Experts have written state-of-the-art reports that will be of broad interest to all those interested in topology, not only graduate students and mathematicians, but mathematical physicists as well. Contributors include J. Milnor, S. Novikov, W. Browder, T. Lance, E. Brown, M. Kreck, J. Klein, M. Davis, J. Davis, I. Hambleton, L. Taylor, C. Stark, E. Pedersen, W. Mio, J. Levine, K. Orr, J. Roe, J. Milgram, and C. Thomas.
## Robust Chaos and Its Applications

Robust chaos is defined by the absence of periodic windows and coexisting attractors in some neighborhoods in the parameter space of a dynamical system. This unique book explores the definition, sources, and roles of robust chaos. The book is written in a reasonably self-contained manner and aims to provide students and researchers with the necessary understanding of the subject. Most of the known results, experiments, and conjectures about chaos in general and about robust chaos in particular are collected here in a pedagogical form. Many examples of dynamical systems, ranging from purely mathematical to natural and social processes displaying robust chaos, are discussed in detail. At the end of each chapter is a set of exercises and open problems (more than 260 in the whole book) intended to reinforce the ideas and provide additional experiences for both readers and researchers in nonlinear science in general, and chaos theory in particular.
## Geometry of Isotropic Convex Bodies

The study of high-dimensional convex bodies from a geometric and analytic point of view, with an emphasis on the dependence of various parameters on the dimension stands at the intersection of classical convex geometry and the local theory of Banach spaces. It is also closely linked to many other fields, such as probability theory, partial differential equations, Riemannian geometry, harmonic analysis and combinatorics. It is now understood that the convexity assumption forces most of the volume of a high-dimensional convex body to be concentrated in some canonical way and the main question is whether, under some natural normalization, the answer to many fundamental questions should be independent of the dimension. The aim of this book is to introduce a number of well-known questions regarding the distribution of volume in high-dimensional convex bodies, which are exactly of this nature: among them are the slicing problem, the thin shell conjecture and the Kannan-Lovász-Simonovits conjecture. This book provides a self-contained and up to date account of the progress that has been made in the last fifteen years.
## Recurrence Sequences

Recurrence sequences are of great intrinsic interest and have been a central part of number theory for many years. Moreover, these sequences appear almost everywhere in mathematics and computer science. This book surveys the modern theory of linear recurrence sequences and their generalizations. Particular emphasis is placed on the dramatic impact that sophisticated methods from Diophantine analysis and transcendence theory have had on the subject. Related work on bilinear recurrences and an emerging connection between recurrences and graph theory are covered. Applications and links to other areas of mathematics are described, including combinatorics, dynamical systems and cryptography, and computer science. The book is suitable for researchers interested in number theory, combinatorics, and graph theory.
## From Gestalt Theory to Image Analysis

This book introduces a new theory in Computer Vision yielding elementary techniques to analyze digital images. These techniques are a mathematical formalization of the Gestalt theory. From the mathematical viewpoint the closest field to it is stochastic geometry, involving basic probability and statistics, in the context of image analysis. The book is mathematically self-contained, needing only basic understanding of probability and calculus. The text includes more than 130 illustrations, and numerous examples based on specific images on which the theory is tested. Detailed exercises at the end of each chapter help the reader develop a firm understanding of the concepts imparted.
## Asymptotic Geometric Analysis

Asymptotic Geometric Analysis is concerned with the geometric and linear properties of finite dimensional objects, normed spaces, and convex bodies, especially with the asymptotics of their various quantitative parameters as the dimension tends to infinity. The deep geometric, probabilistic, and combinatorial methods developed here are used outside the field in many areas of mathematics and mathematical sciences. The Fields Institute Thematic Program in the Fall of 2010 continued an established tradition of previous large-scale programs devoted to the same general research direction. The main directions of the program included: * Asymptotic theory of convexity and normed spaces * Concentration of measure and isoperimetric inequalities, optimal transportation approach * Applications of the concept of concentration * Connections with transformation groups and Ramsey theory * Geometrization of probability * Random matrices * Connection with asymptotic combinatorics and complexity theory These directions are represented in this volume and reflect the present state of this important area of research. It will be of benefit to researchers working in a wide range of mathematical sciences—in particular functional analysis, combinatorics, convex geometry, dynamical systems, operator algebras, and computer science.
## Microelectronics Electromagnetics and Telecommunications

The volume contains 94 best selected research papers presented at the Third International Conference on Micro Electronics, Electromagnetics and Telecommunications (ICMEET 2017) The conference was held during 09-10, September, 2017 at Department of Electronics and Communication Engineering, BVRIT Hyderabad College of Engineering for Women, Hyderabad, Telangana, India. The volume includes original and application based research papers on microelectronics, electromagnetics, telecommunications, wireless communications, signal/speech/video processing and embedded systems.
## Computer Vision

Humans perceive the three-dimensional structure of the world with apparent ease. However, despite all of the recent advances in computer vision research, the dream of having a computer interpret an image at the same level as a two-year old remains elusive. Why is computer vision such a challenging problem and what is the current state of the art? Computer Vision: Algorithms and Applications explores the variety of techniques commonly used to analyze and interpret images. It also describes challenging real-world applications where vision is being successfully used, both for specialized applications such as medical imaging, and for fun, consumer-level tasks such as image editing and stitching, which students can apply to their own personal photos and videos. More than just a source of “recipes,” this exceptionally authoritative and comprehensive textbook/reference also takes a scientific approach to basic vision problems, formulating physical models of the imaging process before inverting them to produce descriptions of a scene. These problems are also analyzed using statistical models and solved using rigorous engineering techniques Topics and features: structured to support active curricula and project-oriented courses, with tips in the Introduction for using the book in a variety of customized courses; presents exercises at the end of each chapter with a heavy emphasis on testing algorithms and containing numerous suggestions for small mid-term projects; provides additional material and more detailed mathematical topics in the Appendices, which cover linear algebra, numerical techniques, and Bayesian estimation theory; suggests additional reading at the end of each chapter, including the latest research in each sub-field, in addition to a full Bibliography at the end of the book; supplies supplementary course material for students at the associated website, http://szeliski.org/Book/. Suitable for an upper-level undergraduate or graduate-level course in computer science or engineering, this textbook focuses on basic techniques that work under real-world conditions and encourages students to push their creative boundaries. Its design and exposition also make it eminently suitable as a unique reference to the fundamental techniques and current research literature in computer vision.