General concepts and methods that occur throughout mathematics and now also in theoretical computer science are the subject of this book. It is a thorough introduction to Categories, emphasizing the geometric nature of the subject and explaining its connections to mathematical logic. The book should appeal to the inquisitive reader who has seen some basic topology and algebra and would like to learn and explore further.
The first part contains a detailed treatment of the fundamentals of Geometric Logic, which combines four central ideas: natural transformations, sheaves, adjoint functors, and topoi.
A special feature of the work is a general calculus of relations presented in the second part. This calculus offers another, often more amenable framework for concepts and methods discussed in part one. Some aspects of this approach find their origin in the relational calculi of Peirce and Schroeder from the last century, and in the 1940's in the work of Tarski and others on relational algebras. The representation theorems discussed are an original feature of this approach.
"

Chapter 1 presents theorems on differentiable functions often used in differential topology, such as the implicit function theorem, Sard's theorem and Whitney's approximation theorem.
The next chapter is an introduction to real and complex manifolds. It contains an exposition of the theorem of Frobenius, the lemmata of Poincare and Grothendieck with applications of Grothendieck's lemma to complex analysis, the imbedding theorem of Whitney and Thom's transversality theorem.
Chapter 3 includes characterizations of linear differentiable operators, due to Peetre and Hormander. The inequalities of Garding and of Friedrichs on elliptic operators are proved and are used to prove the regularity of weak solutions of elliptic equations. The chapter ends with the approximation theorem of Malgrange-Lax and its application to the proof of the Runge theorem on open Riemann surfaces due to Behnke and Stein.

In this book the authors try to bridge the gap between the treatments of matrix theory and linear algebra. It is aimed at graduate and advanced undergraduate students seeking a foundation in mathematics, computer science, or engineering. It will also be useful as a reference book for those working on matrices and linear algebra for use in their scientific work.

Essential Computational Modeling for the Human Body presents key contributions selected from the volume in the Handbook of Numerical Analysis: Computational Modeling for the Human Body Vol. 12 (2005).

Computational (Mathematical) Modeling is used by scientists and researchers with various applications in chemical, biological, behavioral, environmental sciences, etc. This guide presents essential research techniques for analysis and essential concrete examples of computational models, while supplying a wide range of commonly used methods and applications, followed by various numerical simulations.

Provides various viewpoints of methods and applications are available for researchers to chose and experiment with; Numerical analysis and open problems useful for experimentation; Computational Models useful for surgery simulations;

Essential Numerical Methods for Electromagnetics presents key contributions selected from the volume in the Handbook of Numerical Analysis: Numerical Methods for Electromagnetics Vol. 13 (2005).

This reference is an accessible resource on the basics of modeling. It is designed to assist professionals in the development of electromagnetic designs for electronic components and devices. It provides essential numerical methods and applications necessary for the development of technologies and simulation modeling. Numerical methods are a key ingredient in a simulation environment where researchers create virtually simulated experiments versus physical experiments. This book serves as a useful guide for scientists, engineers, and researchers providing a quick reference of commonly used numerical methods to help solve a variety of problems in the electronic industry.

The basics of modeling aspects provide an accessible resource; Numerical solution procedures for quick reference; Special numerical techniques are presented to assist in specialization; Most commonly used methods and applications to create simulation experiments;

Continuum Mechanics is a branch of physical mechanics that describes the macroscopic mechanical behavior of solid or fluid materials considered to be continuously distributed. It is fundamental to the fields of civil, mechanical, chemical and bioengineering. This time-tested text has been used for over 35 years to introduce junior and senior-level undergraduate engineering students, as well as graduate students, to the basic principles of continuum mechanics and their applications to real engineering problems. The text begins with a detailed presentation of the coordinate invariant quantity, the tensor, introduced as a linear transformation. This is then followed by the formulation of the kinematics of deformation, large as well as very small, the description of stresses and the basic laws of continuum mechanics. As applications of these laws, the behaviors of certain material idealizations (models) including the elastic, viscous and viscoelastic materials, are presented.

This new edition offers expanded coverage of the subject matter both in terms of details and contents, providing greater flexibility for either a one or two-semester course in either continuum mechanics or elasticity. Although this current edition has expanded the coverage of the subject matter, it nevertheless uses the same approach as that in the earlier editions - that one can cover advanced topics in an elementary way that go from simple to complex, using a wealth of illustrative examples and problems. It is, and will remain, one of the most accessible textbooks on this challenging engineering subject.
Significantly expanded coverage of elasticity in Chapter 5, including solutions of some 3-D problems based on the fundamental potential functions approach.

New section at the end of Chapter 4 devoted to the integral formulation of the field equations

Seven new appendices appear at the end of the relevant chapters to help make each chapter more self-contained

Expanded and improved problem sets providing both intellectual challenges and engineering applications

Completely updated guide for scientists, engineers and students who want to use Microsoft Excel 2007 to its full potential.
Electronic spreadsheet analysis has become part of the everyday work of researchers in all areas of engineering and science. Microsoft Excel, as the industry standard spreadsheet, has a range of scientific functions that can be utilized for the modeling, analysis and presentation of quantitative data. This text provides a straightforward guide to using these functions of Microsoft Excel, guiding the reader from basic principles through to more complicated areas such as formulae, charts, curve-fitting, equation solving, integration, macros, statistical functions, and presenting quantitative data.

Key Features:
* Content written specifically for the requirements of science and engineering students and professionals working with Microsoft Excel, brought fully up to date with the new Microsoft Office release of Excel 2007.
* Features of Excel 2007 are illustrated through a wide variety of examples based in technical contexts, demonstrating the use of the program for analysis and presentation of experimental results.
* Updated with new examples, problem sets, and applications. New website with data sets, downloadable spreadsheets and other useful resources.

This monograph began life as a series of papers documenting five years of research into the logical foundations of Categorial Grammar, a grammatical paradigm which has close analogies with Lambda Calculus and Type Theory. The technical theory presented here stems from the interface between Logic and Linguistics and, in particular, the theory of generalized quantification. A categorical framework with lambda calculus-oriented semantics is a convenient vehicle for generalizing semantic insights (obtained in various corners of natural language) into one coherent theory.

The book aims to demonstrate to fellow logicians that the resulting applied lambda calculus has intrinsic logical interest. In the final analysis, the idea is not just to break the syntactic code' of natural languages but to understand the cognitive functioning of the human mind.

Information Security is usually achieved through a mix of technical, organizational and legal measures. These may include the application of cryptography, the hierarchical modeling of organizations in order to assure confidentiality, or the distribution of accountability and responsibility by law, among interested parties.
The history of Information Security reaches back to ancient times and starts with the emergence of bureaucracy in administration and warfare. Some aspects, such as the interception of encrypted messages during World War II, have attracted huge attention, whereas other aspects have remained largely uncovered.
There has never been any effort to write a comprehensive history. This is most unfortunate, because Information Security should be perceived as a set of communicating vessels, where technical innovations can make existing legal or organisational frame-works obsolete and a breakdown of political authority may cause an exclusive reliance on technical means.
This book is intended as a first field-survey. It consists of twenty-eight contributions, written by experts in such diverse fields as computer science, law, or history and political science, dealing with episodes, organisations and technical developments that may considered to be exemplary or have played a key role in the development of this field.
These include: the emergence of cryptology as a discipline during the Renaissance, the Black Chambers in 18th century Europe, the breaking of German military codes during World War II, the histories of the NSA and its Soviet counterparts and contemporary cryptology. Other subjects are: computer security standards, viruses and worms on the Internet, computer transparency and free software, computer crime, export regulations for encryption software and the privacy debate.
- Interdisciplinary coverage of the history Information Security
- Written by top experts in law, history, computer and information science
- First comprehensive work in Information Security

The material collected in this volume reflects the active present of this area of mathematics, ranging from the abstract theory of gradient flows to stochastic representations of non-linear parabolic PDE's.
Articles will highlight the present as well as expected future directions of development of the field with particular emphasis on applications.
The article by Ambrosio and Savare discusses
the most recent development in the theory of gradient flow of probability measures. After an introduction reviewing the properties of the Wasserstein space and corresponding subdifferential calculus, applications are given to evolutionary
partial differential equations. The contribution of Herrero provides a description of some mathematical approaches developed to account for quantitative as well as qualitative aspects of chemotaxis. Particular attention is paid to the limits of cell's
capability to measure external cues on the one hand, and to provide an overall description of aggregation models for the slim mold " Dictyostelium discoideum" on the other.
The chapter written by Masmoudi deals with a rather different topic - examples of singular limits in hydrodynamics. This is nowadays a well-studied issue given the amount of new results based on the development of the existence theory for rather general systems of equations in hydrodynamics. The paper by DeLellis addreses the most recent results for the transport equations with regard to possible applications in the theory of hyperbolic systems of conservation laws. Emphasis is put on the development of the theory in the case when the governing field is only a BV function.
The chapter by Rein represents a comprehensive survey of results on the Poisson-Vlasov system in astrophysics. The question of global stability of steady states is addressed in detail. The contribution of Soner is devoted to different representations of non-linear parabolic equations in terms of Markov processes. After a brief introduction on the linear theory, a class of
non-linear equations is investigated, with applications to stochastic control and differential games.
The chapter written by Zuazua presents some of the recent progresses done on the problem of controllabilty of partial differential equations. The applications include the linear wave and heat equations, parabolic equations with coefficients of low regularity, and some fluid-structure interaction models.
- Volume 1 focuses on the abstract theory of evolution
- Volume 2 considers more concrete probelms relating to specific applications
- Volume 3 reflects the active present of this area of mathematics, ranging from the abstract theory of gradient flows to stochastic representations of non-linear PDEs"

This book comes out of need and urgency (expressed especially in areas of Information Retrieval with respect to Image, Audio, Internet and Biology) to have a working tool to compare data.
The book will provide powerful resource for all researchers using Mathematics as well as for mathematicians themselves. In the time when over-specialization and terminology fences isolate researchers, this Dictionary try to be "centripedal" and "oikoumeni," providing some access and altitude of vision but without taking the route of scientific vulgarisation. This attempted balance is the main philosophy of this Dictionary which defined its structure and style.
Key features:
- Unicity: it is the first book treating the basic notion of Distance in whole generality.
- Interdisciplinarity: this Dictionary is larger in scope than majority of thematic dictionaries.
- Encyclopedicity: while an Encyclopedia of Distances seems now too difficult to produce, this book (by its scope, short introductions and organization) provides the main material for it and for future tutorials on some parts of this material.
- Applicability: the distances, as well as distance-related notions and paradigms, are provided in ready-to-use fashion.
- Worthiness: the need and urgency for such dictionary was great in several huge areas, esp. Information Retrieval, Image Analysis, Speech Recognition and Biology.
- Accessibility: the definitions are easy to locate by subject or, in Index, by alphabetic order; the introductions and definitions are reader-friendly and maximally independent one from another; still the text is structured, in the 3D HTML style, by hyperlink-like boldfaced references to similar definitions.
* Covers a large range of subjects in pure and applied mathematics
* Designed to be easily applied--the distances and distance-related notions and paradigms are ready to use
* Helps users quickly locate definitions by subject or in alphabetical order; stand-alone entries include references to other entries and sources for further investigation

This book is designed for the reader who wants to get a general view of the terminology of General Topology with minimal time and effort. The reader, whom we assume to have only a rudimentary knowledge of set theory, algebra and analysis, will be able to find what they want if they will properly use the index. However, this book contains very few proofs and the reader who wants to study more systematically will find sufficiently many references in the book.

Key features:

- More terms from General Topology than any other book ever published
- Short and informative articles
- Authors include the majority of top researchers in the field
- Extensive indexing of terms

The Handbook of Mathematical Fluid Dynamics is a compendium of essays that provides a survey of the major topics in the subject. Each article traces developments, surveys the results of the past decade, discusses the current state of knowledge and presents major future directions and open problems. Extensive bibliographic material is provided. The book is intended to be useful both to experts in the field and to mathematicians and other scientists who wish to learn about or begin research in mathematical fluid dynamics. The Handbook illuminates an exciting subject that involves rigorous mathematical theory applied to an important physical problem, namely the motion of fluids.

Computational Geometry is an area that provides solutions to geometric problems which arise in applications including Geographic Information Systems, Robotics and Computer Graphics. This Handbook provides an overview of key concepts and results in Computational Geometry. It may serve as a reference and study guide to the field. Not only the most advanced methods or solutions are described, but also many alternate ways of looking at problems and how to solve them.

Volume II of "Classical Recursion Theory" describes the universe from a local (bottom-up
or synthetical) point of view, and covers the whole spectrum, from the
recursive to the arithmetical sets.
The first half of the book provides a detailed picture of the computable
sets from the perspective of Theoretical Computer Science. Besides giving a
detailed description of the theories of abstract Complexity Theory and of Inductive Inference, it contributes a uniform picture of the most basic complexity
classes, ranging from small time and space bounds to the elementary functions,
with a particular attention to polynomial time and space computability. It also
deals with primitive recursive functions and larger classes, which are of
interest to the proof theorist.
The second half of the book starts with the classical theory of recursively
enumerable sets and degrees, which constitutes the core of Recursion or
Computability Theory. Unlike other texts, usually confined to the Turing
degrees, the book covers a variety of other strong reducibilities, studying
both their individual structures and their mutual relationships. The last
chapters extend the theory to limit sets and arithmetical sets. The volume
ends with the first textbook treatment of the enumeration degrees, which
admit a number of applications from algebra to the Lambda Calculus.
The book is a valuable source of information for anyone interested in
Complexity and Computability Theory. The student will appreciate the detailed
but informal account of a wide variety of basic topics, while the specialist
will find a wealth of material sketched in exercises and asides. A massive
bibliography of more than a thousand titles completes the treatment on the
historical side.

Topology, for many years, has been one of the most exciting and influential fields of research in modern mathematics. Although its origins may be traced back several hundred years, it was Poincare who "gave topology wings" in a classic series of articles published around the turn of the century. While the earlier history, sometimes called the prehistory, is also considered, this volume is mainly concerned with the more recent history of topology, from Poincare onwards.
As will be seen from the list of contents the articles cover a wide range of topics. Some are more technical than others, but the reader without a great deal of technical knowledge should still find most of the articles accessible. Some are written by professional historians of mathematics, others by historically-minded mathematicians, who tend to have a different viewpoint.

A collection of self contained state-of-the art surveys. The authors have made an effort to achieve readability for mathematicians and scientists from other fields, for this series of handbooks to be a new reference for research, learning and teaching.
- written by well-known experts in the field
- self contained volume in series covering one of the most rapid developing topics in mathematics

Probability is relevant to so many different subject areas that its importance as a mathematical technique cannot be underestimated. This book provides a comprehensive, user-friendly introduction to the subject. The step-by-step approach taken by the author allows students to develop knowledge at their own pace and, by working through the numerous exercises, they are ensured a full understanding of the material before moving on to more advanced sections. Traditional examples of probablistic theory, such as coins and dice, are included but the author has also used many exercises based on real-life problems. The result is an introduction to probability that avoids the overly confusing, theoretical approach often adopted in this area, and provides a simple and concise text that will be invaluable to all studying first and second year courses on the subject.

This first part presents chapters on models of computation, complexity theory, data structures, and efficient computation in many recognized sub-disciplines of Theoretical Computer Science.

Techniques of physics find wide application in biology, medicine, engineering and technology generally. This series is devoted to techniques which have found and are finding application. The aim is to clarify the principles of each technique, to emphasize and illustrate the applications and to draw attention to new fields of possible employment.

This book is a landmark title in the continuous move from integer to non-integer in mathematics: from integer numbers to real numbers, from factorials to the gamma function, from integer-order models to models of an arbitrary order. For historical reasons, the word 'fractional' is used instead of the word 'arbitrary'.
This book is written for readers who are new to the fields of fractional derivatives and fractional-order mathematical models, and feel that they need them for developing more adequate mathematical models.
In this book, not only applied scientists, but also pure mathematicians will find fresh motivation for developing new methods and approaches in their fields of research.
A reader will find in this book everything necessary for the initial study and immediate application of fractional derivatives fractional differential equations, including several necessary special functions, basic theory of fractional differentiation, uniqueness and existence theorems, analytical numerical methods of solution of fractional differential equations, and many inspiring examples of applications.

Key Features
* A unique survey of many applications of fractional calculus
* Presents basic theory
* Includes a unified presentation of selected classical results, which are important for applications
* Provides many examples
* Contains a separate chapter of fractional order control systems, which opens new perspectives in control theory
* The first systematic consideration of Caputo's fractional derivative in comparison with other selected approaches
* Includes tables of fractional derivatives, which can be used for evaluation of all considered types of fractional derivatives

This English version of the path-breaking French book on this subject gives the definitive treatment of the revolutionary approach to measure theory, geometry, and mathematical physics developed by Alain Connes. Profusely illustrated and invitingly written, this book is ideal for anyone who wants to know what noncommutative geometry is, what it can do, or how it can be used in various areas of mathematics, quantization, and elementary particles and fields.
Key Features
* First full treatment of the subject and its applications
* Written by the pioneer of this field
* Broad applications in mathematics
* Of interest across most fields
* Ideal as an introduction and survey
* Examples treated include:
@subbul* the space of Penrose tilings
* the space of leaves of a foliation
* the space of irreducible unitary representations of a discrete group
* the phase space in quantum mechanics
* the Brillouin zone in the quantum Hall effect
* A model of space time

Studies in Logic and the Foundations of Mathematics, Volume 102: Set Theory: An Introduction to Independence Proofs offers an introduction to relative consistency proofs in axiomatic set theory, including combinatorics, sets, trees, and forcing. The book first tackles the foundations of set theory and infinitary combinatorics. Discussions focus on the Suslin problem, Martin's axiom, almost disjoint and quasi-disjoint sets, trees, extensionality and comprehension, relations, functions, and well-ordering, ordinals, cardinals, and real numbers. The manuscript then ponders on well-founded sets and easy consistency proofs, including relativization, absoluteness, reflection theorems, properties of well-founded sets, and induction and recursion on well-founded relations. The publication examines constructible sets, forcing, and iterated forcing. Topics include Easton forcing, general iterated forcing, Cohen model, forcing with partial functions of larger cardinality, forcing with finite partial functions, and general extensions. The manuscript is a dependable source of information for mathematicians and researchers interested in set theory.

This book is an exposition of "semi-Riemannian geometry" (also called "pseudo-Riemannian geometry")--the study of a smooth manifold furnished with a metric tensor of arbitrary signature. The principal special cases are Riemannian geometry, where the metric is positive definite, and Lorentz geometry. For many years these two geometries have developed almost independently: Riemannian geometry reformulated in coordinate-free fashion and directed toward global problems, Lorentz geometry in classical tensor notation devoted to general relativity. More recently, this divergence has been reversed as physicists, turning increasingly toward invariant methods, have produced results of compelling mathematical interest.

Probability theory is a rapidly expanding field and is used in many areas of science and technology. Beginning from a basis of abstract analysis, this mathematics book develops the knowledge needed for advanced students to develop a complex understanding of probability. The first part of the book systematically presents concepts and results from analysis before embarking on the study of probability theory. The initial section will also be useful for those interested in topology, measure theory, real analysis and functional analysis. The second part of the book presents the concepts, methodology and fundamental results of probability theory. Exercises are included throughout the text, not just at the end, to teach each concept fully as it is explained, including presentations of interesting extensions of the theory. The complete and detailed nature of the book makes it ideal as a reference book or for self-study in probability and related fields.
Covers a wide range of subjects including f-expansions, Fuk-Nagaev inequalities and Markov triples.Provides multiple clearly worked exercises with complete proofs.Guides readers through examples so they can understand and write research papers independently.