The increased computational power and software tools available to engineers have increased the use and dependence on modeling and computer simulation throughout the design process. These tools have given engineers the capability of designing highly complex systems and computer architectures that were previously unthinkable. Every complex design project, from integrated circuits, to aerospace vehicles, to industrial manufacturing processes requires these new methods. This book fulfills the essential need of system and control engineers at all levels in understanding modeling and simulation. This book, written as a true text/reference has become a standard sr./graduate level course in all EE departments worldwide and all professionals in this area are required to update their skills.
The book provides a rigorous mathematical foundation for modeling and computer simulation. It provides a comprehensive framework for modeling and simulation integrating the various simulation approaches. It covers model formulation, simulation model execution, and the model building process with its key activities model abstraction and model simplification, as well as the organization of model libraries. Emphasis of the book is in particular in integrating discrete event and continuous modeling approaches as well as a new approach for discrete event simulation of continuous processes. The book also discusses simulation execution on parallel and distributed machines and concepts for simulation model realization based on the High Level Architecture (HLA) standard of the Department of Defense.

* Presents a working foundation necessary for compliance with High Level Architecture (HLA) standards
* Provides a comprehensive framework for continuous and discrete event modeling and simulation
* Explores the mathematical foundation of simulation modeling
* Discusses system morphisms for model abstraction and simplification
* Presents a new approach to discrete event simulation of continuous processes
* Includes parallel and distributed simulation of discrete event models
* Presentation of a concept to achieve simulator interoperability in the form of the DEVS-Bus

This handbook is volume III in a series devoted to stationary partial differential quations. Similarly as volumes I and II, it is a collection of self contained state-of-the-art surveys written by well known experts in the field. The topics covered by this handbook include singular and higher order equations, problems near critically, problems with anisotropic nonlinearities, dam problem, T-convergence and Schauder-type estimates. These surveys will be useful for both beginners and experts and speed up the progress of corresponding (rapidly developing and fascinating) areas of mathematics.

Key features:

- Written by well-known experts in the field
- Self-contained volume in series covering one of the most rapid developing topics in mathematics
- Written by well-known experts in the field
- Self-contained volume in series covering one of the most rapid developing topics in mathematics

This book treats modal logic as a theory, with several subtheories, such as completeness theory, correspondence theory, duality theory and transfer theory and is intended as a course in modal logic for students who have had prior contact with modal logic and who wish to study it more deeply. It presupposes training in mathematical or logic. Very little specific knowledge is presupposed, most results which are needed are proved in this book.

This work is motivated by and develops connections between several branches of mathematics and physics--the theories of Lie algebras, finite groups and modular functions in mathematics, and string theory in physics. The first part of the book presents a new mathematical theory of vertex operator algebras, the algebraic counterpart of two-dimensional holomorphic conformal quantum field theory. The remaining part constructs the Monster finite simple group as the automorphism group of a very special vertex operator algebra, called the "moonshine module" because of its relevance to "monstrous moonshine."

This book has evolved from the lecture course on Functional Analysis I had given several times at the ETH. The text has a strict logical order, in the style of "Definition - Theorem - Proof - Example - Exercises". The proofs are rather thorough and there many examples. The first part of the book(the first three chapters, resp. the first two volumes) is devoted to the theory of Banach spaces in the most general sense of the term. The purpose of the first chapter (resp. first volume) is to introduce those results on Banach spaces which are used later or which are closely connected with the book. It therefore only contains a small part of the theory, and several results are stated (and proved) in a diluted form. The second chapter (which together with Chapter 3 makes the second volume) deals with Banach algebras (and involutive Banach algebras), which constitute the main topic of the first part of the book. The third chapter deals with compact operators on Banach spaces and linear (ordinary and partial) differential equations - applications of the, theory of Banach algebras.

This Handbook covers latent variable models, which are a flexible class of models for modeling multivariate data to explore relationships among observed and latent variables.
- Covers a wide class of important models
- Models and statistical methods described provide tools for analyzing a wide spectrum of complicated data
- Includes illustrative examples with real data sets from business, education, medicine, public health and sociology.
- Demonstrates the use of a wide variety of statistical, computational, and mathematical techniques.

These two volumes cover the principal approaches to constructivism in mathematics. They present a thorough, up-to-date introduction to the metamathematics of constructive mathematics, paying special attention to Intuitionism, Markov's constructivism and Martin-Lof's type theory with its operational semantics. A detailed exposition of the basic features of constructive mathematics, with illustrations from analysis, algebra and topology, is provided, with due attention to the metamathematical aspects. Volume 1 is a self-contained introduction to the practice and foundations of constructivism, and does not require specialized knowledge beyond basic mathematical logic. Volume 2 contains mainly advanced topics of a proof-theoretical and semantical nature.

Geometric Function Theory is that part of Complex Analysis which covers the theory of conformal and quasiconformal mappings.
Beginning with the classical Riemann mapping theorem, there is a lot of existence theorems for canonical conformal mappings. On the other side there is an extensive theory of qualitative properties of conformal and quasiconformal mappings, concerning mainly a prior estimates, so called distortion theorems (including the Bieberbach conjecture with the proof of the Branges). Here a starting point was the classical Scharz lemma, and then Koebe's distortion theorem.
There are several connections to mathematical physics, because of the relations to potential theory (in the plane). The Handbook of Geometric Function Theory contains also an article about constructive methods and further a Bibliography including applications eg: to electroxtatic problems, heat conduction, potential flows (in the plane).
- A collection of independent survey articles in the field of GeometricFunction Theory
- Existence theorems and qualitative properties of conformal and quasiconformal mappings
- A bibliography, including many hints to applications in electrostatics, heat conduction, potential flows (in the plane).

This book constitutes a first- or second-year graduate course in operator theory. It is a field that has great importance for other areas of mathematics and physics, such as algebraic topology, differential geometry, and quantum mechanics. It assumes a basic knowledge in functional analysis but no prior acquaintance with operator theory is required.

This handbook is the sixth and last volume in the series devoted to stationary partial differential equations. The topics covered by this volume include in particular domain perturbations for boundary value problems, singular solutions of semilinear elliptic problems, positive solutions to elliptic equations on unbounded domains, symmetry of solutions, stationary compressible Navier-Stokes equation, Lotka-Volterra systems with cross-diffusion, and fixed point theory for elliptic boundary value problems.
* Collection of self-contained, state-of-the-art surveys
* Written by well-known experts in the field
* Informs and updates on all the latest developments

The contributors and their methods are diverse. Their papers deal with subjects such as anamorphic art, the geometry of Durer, musical works of Mozart and Beethoven, the history of negative numbers, the development of mathematical notation, and efforts to bring mathematics to bear on problems in commerce and engineering. All papers have English summaries.
This book provides historians of mathematics or mathematicians with an interest in history with an overview of the methods, concerns, and results of research in the history of mathematics as it stands today.

This monograph provides a comprehensive treatment of expansion theorems for regular systems of first order differential equations and "n"-th order ordinary differential equations.
In 10 chapters and one appendix, it provides a comprehensive treatment from abstract foundations to applications in physics and engineering. The focus is on non-self-adjoint problems. Bounded operators are associated to these problems, and Chapter 1 provides an in depth investigation of eigenfunctions and associated functions for bounded Fredholm valued operators in Banach spaces. Since every "n"-th order differential equation is equivalent
to a first order system, the main techniques are developed for systems. Asymptotic fundamental
systems are derived for a large class of systems of differential equations. Together with boundary
conditions, which may depend polynomially on the eigenvalue parameter, this leads to the definition of Birkhoff and Stone regular eigenvalue problems. An effort is made to make the conditions relatively easy verifiable; this is illustrated with several applications in chapter 10.
The contour integral method and estimates of the resolvent are used to prove expansion theorems.
For Stone regular problems, not all functions are expandable, and again relatively easy verifiable
conditions are given, in terms of auxiliary boundary conditions, for functions to be expandable.
Chapter 10 deals exclusively with applications; in nine sections, various concrete problems such as
the Orr-Sommerfeld equation, control of multiple beams, and an example from meteorology are investigated.

Key features:
Expansion Theorems for Ordinary Differential Equations
Discusses Applications to Problems from Physics and Engineering
Thorough Investigation of Asymptotic Fundamental Matrices and Systems
Provides a Comprehensive Treatment
Uses the Contour Integral Method
Represents the Problems as Bounded Operators
Investigates Canonical Systems of Eigen- and Associated Vectors for Operator Functions
"

The collected works of Turing, including a substantial amount of unpublished material, will comprise four volumes: Mechanical Intelligence, Pure Mathematics, Morphogenesis and Mathematical Logic. Alan Mathison Turing (1912-1954) was a brilliant man who made major contributions in several areas of science. Today his name is mentioned frequently in philosophical discussions about the nature of Artificial Intelligence. Actually, he was a pioneer researcher in computer architecture and software engineering; his work in pure mathematics and mathematical logic extended considerably further and his last work, on morphogenesis in plants, is also acknowledged as being of the greatest originality and of permanent importance. He was one of the leading figures in Twentieth-century science, a fact which would have been known to the general public sooner but for the British Official Secrets Act, which prevented discussion of his wartime work. What is maybe surprising about these papers is that although they were written decades ago, they address major issues which concern researchers today.

The collected works of Turing, including a substantial amount of unpublished material, will comprise four volumes: Mechanical Intelligence, Pure Mathematics, Morphogenesis and Mathematical Logic. Alan Mathison Turing (1912-1954) was a brilliant man who made major contributions in several areas of science. Today his name is mentioned frequently in philosophical discussions about the nature of Artificial Intelligence. Actually, he was a pioneer researcher in computer architecture and software engineering; his work in pure mathematics and mathematical logic extended considerably further and his last work, on morphogenesis in plants, is also acknowledged as being of the greatest originality and of permanent importance. He was one of the leading figures in Twentieth-century science, a fact which would have been known to the general public sooner but for the British Official Secrets Act, which prevented discussion of his wartime work. What is maybe surprising about these papers is that although they were written decades ago, they address major issues which concern researchers today.

Real Reductive Groups I is an introduction to the representation theory of real reductive groups. It is based on courses that the author has given at Rutgers for the past 15 years. It also had its genesis in an attempt of the author to complete a manuscript of the lectures that he gave at the CBMS regional conference at The University of North Carolina at Chapel Hill in June of 1981. This book comprises 10 chapters and begins with some background material as an introduction. The following chapters then discuss elementary representation theory; real reductive groups; the basic theory of (g, K)-modules; the asymptotic behavior of matrix coefficients; The Langlands Classification; a construction of the fundamental series; cusp forms on G; character theory; and unitary representations and (g, K)-cohomology. This book will be of interest to mathematicians and statisticians.

The book is meant to serve two purposes. The first and more obvious one is to present state of the art results in algebraic research into residuated structures related to substructural logics. The second, less obvious but equally important, is to provide a reasonably gentle introduction to algebraic logic. At the beginning, the second objective is predominant. Thus, in the first few chapters the reader will find a primer of universal algebra for logicians, a crash course in nonclassical logics for algebraists, an introduction to residuated structures, an outline of Gentzen-style calculi as well as some titbits of proof theory - the celebrated Hauptsatz, or cut elimination theorem, among them. These lead naturally to a discussion of interconnections between logic and algebra, where we try to demonstrate how they form two sides of the same coin. We envisage that the initial chapters could be used as a textbook for a graduate course, perhaps entitled Algebra and Substructural Logics.
As the book progresses the first objective gains predominance over the second. Although the precise point of equilibrium would be difficult to specify, it is safe to say that we enter the technical part with the discussion of various completions of residuated structures. These include Dedekind-McNeille completions and canonical extensions. Completions are used later in investigating several finiteness properties such as the finite model property, generation of varieties by their finite members, and finite embeddability. The algebraic analysis of cut elimination that follows, also takes recourse to completions. Decidability of logics, equational and quasi-equational theories comes next, where we show how proof theoretical methods like cut elimination are preferable for small logics/theories, but semantic tools like Rabin's theorem work better for big ones. Then we turn to Glivenko's theorem, which says that a formula is an intuitionistic tautology if and only if its double negation is a classical one. We generalise it to the substructural setting, identifying for each substructural logic its Glivenko equivalence class with smallest and largest element. This is also where we begin investigating lattices of logics and varieties, rather than particular examples. We continue in this vein by presenting a number of results concerning minimal varieties/maximal logics. A typical theorem there says that for some given well-known variety its subvariety lattice has precisely such-and-such number of minimal members (where values for such-and-such include, but are not limited to, continuum, countably many and two). In the last two chapters we focus on the lattice of varieties corresponding to logics without contraction. In one we prove a negative result: that there are no nontrivial splittings in that variety. In the other, we prove a positive one: that semisimple varieties coincide with discriminator ones.
Within the second, more technical part of the book another transition process may be traced. Namely, we begin with logically inclined technicalities and end with algebraically inclined ones. Here, perhaps, algebraic rendering of Glivenko theorems marks the equilibrium point, at least in the sense that finiteness properties, decidability and Glivenko theorems are of clear interest to logicians, whereas semisimplicity and discriminator varieties are universal algebra par exellence. It is for the reader to judge whether we succeeded in weaving these threads into a seamless fabric.
- Considers both the algebraic and logical perspective within a common framework.
- Written by experts in the area.
- Easily accessible to graduate students and researchers from other fields.
- Results summarized in tables and diagrams to provide an overview of the area.
- Useful as a textbook for a course in algebraic logic, with exercises and suggested research directions.
- Provides a concise introduction to the subject and leads directly to research topics.
- The ideas from algebra and logic are developed hand-in-hand and the connections are shown in every level.

Scientific Computing and Differential Equations: An Introduction to Numerical Methods, is an excellent complement to Introduction to Numerical Methods by Ortega and Poole. The book emphasizes the importance of solving differential equations on a computer, which comprises a large part of what has come to be called scientific computing. It reviews modern scientific computing, outlines its applications, and places the subject in a larger context.
This book is appropriate for upper undergraduate courses in mathematics, electrical engineering, and computer science; it is also well-suited to serve as a textbook for numerical differential equations courses at the graduate level.

* An introductory chapter gives an overview of scientific computing, indicating its important role in solving differential equations, and placing the subject in the larger environment
* Contains an introduction to numerical methods for both ordinary and partial differential equations
* Concentrates on ordinary differential equations, especially boundary-value problems
* Contains most of the main topics for a first course in numerical methods, and can serve as a text for this course
* Uses material for junior/senior level undergraduate courses in math and computer science plus material for numerical differential equations courses for engineering/science students at the graduate level

There has been a common perception that computational complexity is a theory of "bad news" because its most typical results assert that various real-world and innocent-looking tasks are infeasible. In fact, "bad news" is a relative term, and, indeed, in some situations (e.g., in cryptography), we want an adversary to not be able to perform a certain task. However, a "bad news" result does not automatically become useful in such a scenario. For this to happen, its hardness features have to be quantitatively evaluated and shown to manifest extensively.
The book undertakes a quantitative analysis of some of the major results in complexity that regard either classes of problems or individual concrete problems. The size of some important classes are studied using resource-bounded topological and measure-theoretical tools. In the case of individual problems, the book studies relevant quantitative attributes such as approximation properties or the number of hard inputs at each length.
One chapter is dedicated to abstract complexity theory, an older field which, however, deserves attention because it lays out the foundations of complexity. The other chapters, on the other hand, focus on recent and important developments in complexity. The book presents in a fairly detailed manner concepts that have been at the centre of the main research lines in complexity in the last decade or so, such as: average-complexity, quantum computation, hardness amplification, resource-bounded measure, the relation between one-way functions and pseudo-random generators, the relation between hard predicates and pseudo-random generators, extractors, derandomization of bounded-error probabilistic algorithms, probabilistically checkable proofs, non-approximability of optimization problems, and others.
The book should appeal to graduate computer science students, and to researchers who have an interest in computer science theory and need a good understanding of computational complexity, e.g., researchers in algorithms, AI, logic, and other disciplines.
-Emphasis is on relevant quantitative attributes of important results in complexity.
-Coverage is self-contained and accessible to a wide audience.
-Large range of important topics including: derandomization techniques, non-approximability of optimization problems, average-case complexity, quantum computation, one-way functions and pseudo-random generators, resource-bounded measure and topology.

This volume introduces a unified, self-contained study of linear discrete parabolic problems through reducing the starting discrete problem to the Cauchy problem for an evolution equation in discrete time. Accessible to beginning graduate students, the book contains a general stability theory of discrete evolution equations in Banach space and gives applications of this theory to the analysis of various classes of modern discretization methods, among others, Runge-Kutta and linear multistep methods as well as operator splitting methods.

Key features:

* Presents a unified approach to examining discretization methods for parabolic equations.
* Highlights a stability theory of discrete evolution equations (discrete semigroups) in Banach space.
* Deals with both autonomous and non-autonomous equations as well as with equations with memory.
* Offers a series of numerous well-posedness and convergence results for various discretization methods as applied to abstract parabolic equations; among others, Runge-Kutta and linear multistep methods as well as certain operator splitting methods.
* Provides comments of results and historical remarks after each chapter.
. Presents a unified approach to examining discretization methods for parabolic equations.
. Highlights a stability theory of discrete evolution equations (discrete semigroups) in Banach space.
. Deals with both autonomous and non-autonomous equations as well as with equations with memory.
. Offers a series of numerous well-posedness and convergence results for various discretization methods as applied to abstract parabolic equations; among others, Runge-Kutta and linear multistep methods as well as certain operator splitting methods as well as certain operator splitting methods are studied in detail.
.Provides comments of results and historical remarks after each chapter."

The book presents a systematic and compact treatment of the qualitative theory of half-linear
differential equations. It contains the most updated and comprehensive material and represents the first attempt to present the results of the rapidly developing theory of half-linear differential equations in a unified form. The main topics covered by the book are oscillation and asymptotic theory and the theory of boundary value problems associated with half-linear equations, but the book also contains a treatment of related topics like PDE s with p-Laplacian, half-linear difference equations and various more general nonlinear differential equations.
- The first complete treatment of the qualitative theory of half-linear differential equations.
- Comparison of linear and half-linear theory.
- Systematic approach to half-linear oscillation and asymptotic theory.
- Comprehensive bibliography and index.
- Useful as a reference book in the topic.

This classic work has been fundamentally revised to take account of recent developments in general topology. The first three chapters remain unchanged except for numerous minor corrections and additional exercises, but chapters IV-VII and the new chapter VIII cover the rapid changes that have occurred since 1968 when the first edition appeared.
The reader will find many new topics in chapters IV-VIII, e.g. theory of Wallmann-Shanin's compactification, realcompact space, various generalizations of paracompactness, generalized metric spaces, Dugundji type extension theory, linearly ordered topological space, theory of cardinal functions, dyadic space, etc., that were, in the author's opinion, mostly special or isolated topics some twenty years ago but now settle down into the mainstream of general topology.

This Handbook treats those parts of the theory of Boolean algebras of most interest to pure mathematicians: the set-theoretical abstract theory and applications and relationships to measure theory, topology, and logic. It is divided into two parts (published in three volumes). Part I (volume 1) is a comprehensive, self-contained introduction to the set-theoretical aspects of the theory of Boolean Algebras. It includes, in addition to a systematic introduction of basic algebra and topological ideas, recent developments such as the Balcar-Franek and Shelah-Shapirovskii results on free subalgebras. Part II (volumes 2 and 3) contains articles on special topics describing - mostly with full proofs - the most recent results in special areas such as automorphism groups, Ketonen's theorem, recursive Boolean algebras, and measure algebras.

This text brings the reader to the frontiers of current research in topological rings. The exercises illustrate many results and theorems while a comprehensive bibliography is also included.

The book is aimed at those readers acquainted with some very basic point-set topology and algebra, as normally presented in semester courses at the beginning graduate level or even at the advanced undergraduate level. Familiarity with Hausdorff, metric, compact and locally compact spaces and basic properties of continuous functions, also with groups, rings, fields, vector spaces and modules, and with Zorn's Lemma, is also expected.