Bücher veröffentlicht von Springer New York

The pioneering work of French mathematician Pierre de Fermat has attracted the attention of mathematicians for over 350 years. This book was written in honor of the 400th anniversary of his birth, providing readers with an overview of the many properties of Fermat numbers and demonstrating their applications in areas such as number theory, probability theory, geometry, and signal processing. This book introduces a general mathematical audience to basic mathematical ideas and algebraic methods connected with the Fermat numbers.

This book evolved from a course at our university for beginning graduate stu- dents in mathematics-particularly students who intended to specialize in ap- plied mathematics. The content of the course made it attractive to other math- ematics students and to graduate students from other disciplines such as en- gineering, physics, and computer science. Since the course was designed for two semesters duration, many topics could be included and dealt with in de- tail. Chapters 1 through 6 reflect roughly the actual nature of the course, as it was taught over a number of years. The content of the course was dictated by a syllabus governing our preliminary Ph. D. examinations in the subject of ap- plied mathematics. That syllabus, in turn, expressed a consensus of the faculty members involved in the applied mathematics program within our department. The text in its present manifestation is my interpretation of that syllabus: my colleagues are blameless for whatever flaws are present and for any inadvertent deviations from the syllabus. The book contains two additional chapters having important material not included in the course: Chapter 8, on measure and integration, is for the ben- efit of readers who want a concise presentation of that subject, and Chapter 7 contains some topics closely allied, but peripheral, to the principal thrust of the course. This arrangement of the material deserves some explanation.

The purpose of this book is to describe methods for solving problems in applied electromagnetic theory using basic concepts from functional anal- ysis and the theory of operators. Although the book focuses on certain mathematical fundamentals, it is written from an applications perspective for engineers and applied scientists working in this area. Part I is intended to be a somewhat self-contained introduction to op- erator theory and functional analysis, especially those elements necessary for application to problems in electromagnetics. The goal of Part I is to ex- plain and synthesize these topics in a logical manner. Examples principally geared toward electromagnetics are provided. With the exception of Chapter 1, which serves as a review of basic electromagnetic theory, Part I presents definitions and theorems along with associated discussion and examples. This style was chosen because it allows one to readily identify the main concepts in a particular section. A proof is provided for all theorems whose proof is simple and straightforward. A proof is also provided for theorems that require a slightly more elaborate proof, yet one that is especially enlightening, being either constructive or illustrative. Generally. theorems are stated but not proved in cases where either the proof is too involved or the details of the proof would take one too far afield of the topic at hand, such as requiring additional lemmas that are not clearly useful in applications.

Term rewriting techniques are applicable in various fields of computer sci- ence: in software engineering (e.g., equationally specified abstract data types), in programming languages (e.g., functional-logic programming), in computer algebra (e.g., symbolic computations, Grabner bases), in pro- gram verification (e.g., automatically proving termination of programs), in automated theorem proving (e.g., equational unification), and in algebra (e.g., Boolean algebra, group theory). In other words, term rewriting has applications in practical computer science, theoretical computer science, and mathematics. Roughly speaking, term rewriting techniques can suc- cessfully be applied in areas that demand efficient methods for reasoning with equations. One of the major problems one encounters in the theory of term rewriting is the characterization of classes of rewrite systems that have a desirable property like confluence or termination. If a term rewriting system is conflu- ent, then the normal form of a given term is unique. A terminating rewrite system does not permit infinite computations, that is, every computation starting from a term must end in a normal form. Therefore, in a system that is both terminating and confluent every computation leads to a result that is unique, regardless of the order in which the rewrite rules are applied. This book provides a comprehensive study of termination and confluence as well as related properties.

There are two approaches in the study of differential equations of field theory. The first, finding closed-form solutions, works only for a narrow category of problems. Written by a well-known active researcher, this book focuses on the second, which is to investigate solutions using tools from modern nonlinear analysis.

This book introduces the basic principles of functional analysis and areas of Banach space theory that are close to nonlinear analysis and topology. The text can be used in graduate courses or for independent study. It includes a large number of exercises of different levels of difficulty, accompanied by hints.

This book is devoted to the study of the acoustic wave equation and of the Maxwell system, the two most common wave equations encountered in physics or in engineering. The main goal is to present a detailed analysis of their mathematical and physical properties. Wave equations are time dependent. However, use of the Fourier trans- form reduces their study to that of harmonic systems: the harmonic Helmholtz equation, in the case of the acoustic equation, or the har- monic Maxwell system. This book concentrates on the study of these harmonic problems, which are a first step toward the study of more general time-dependent problems. In each case, we give a mathematical setting that allows us to prove existence and uniqueness theorems. We have systematically chosen the use of variational formulations related to considerations of physical energy. We study the integral representations of the solutions. These representa- tions yield several integral equations. We analyze their essential properties. We introduce variational formulations for these integral equations, which are the basis of most numerical approximations. Different parts of this book were taught for at least ten years by the author at the post-graduate level at Ecole Poly technique and the University of Paris 6, to students in applied mathematics. The actual presentation has been tested on them. I wish to thank them for their active and constructive participation, which has been extremely useful, and I apologize for forcing them to learn some geometry of surfaces.

This book evolved from notes originally developed for a graduate course, "e;Best Approximation in Normed Linear Spaces,"e; that I began giving at Penn State Uni- versity more than 25 years ago. It soon became evident. that many of the students who wanted to take the course (including engineers, computer scientists, and statis- ticians, as well as mathematicians) did not have the necessary prerequisites such as a working knowledge of Lp-spaces and some basic functional analysis. (Today such material is typically contained in the first-year graduate course in analysis. ) To accommodate these students, I usually ended up spending nearly half the course on these prerequisites, and the last half was devoted to the "e;best approximation"e; part. I did this a few times and determined that it was not satisfactory: Too much time was being spent on the presumed prerequisites. To be able to devote most of the course to "e;best approximation,"e; I decided to concentrate on the simplest of the normed linear spaces-the inner product spaces-since the theory in inner product spaces can be taught from first principles in much less time, and also since one can give a convincing argument that inner product spaces are the most important of all the normed linear spaces anyway. The success of this approach turned out to be even better than I had originally anticipated: One can develop a fairly complete theory of best approximation in inner product spaces from first principles, and such was my purpose in writing this book.

of the Architecture Forum, and to the evolution of TOGAF, to ensure that others make a fair contribution in return. So much for legal necessities. I turn now to the additional information and resources that I hope the reader will ?nd of interest. The Development of TOGAF TOGAF has come a long way since its inception in 1994 at the instigation of The Open Group's User Council (as it then was)-representatives of the computer user community among The Open Group membership. The original motivations for TOGAF were very much as Tony and Col have expounded so eloquently in the early chapters of this book. The original development of TOGAF was based on the Technical - chitecture Framework for Information Management (TAFIM) developed by the U.S. Department of Defense. The DoD gave The Open Group - plicit permission and encouragement to create TOGAF by building on the TAFIM, which itself represented hundreds of person-years of dev- opment effort and millions of dollars of U.S. government investment. Starting from this sound foundation, the members of The Open Group's Architecture Forum have developed successive versions of TOGAF over the years and published them on The Open Group's public Web site. TOGAF-Related Resources The Open Group's Architecture Forum portal at http://www.opengroup. org/architecture/ provides a ''way in'' to the information sources - scribed in the remainder of this Foreword. The TOGAF documentation can be viewed freely online at http:// www.opengroup.org/public/arch/.

Intended for beginning graduate students or advanced undergraduates, this text covers the statistical basis of thermodynamics, including examples from solid-state physics. It also treats some topics of more recent interest such as phase transitions and non-equilibrium phenomena. The presentation introducesmodern concepts, such as the thermodynamic limit and equivalence of Gibbs ensembles, and uses simple models (ideal gas, Einstein solid, simple paramagnet) and many examples to make the mathematical ideas clear. Frequently used mathematical methods are discussed in detail and reviews in an appendix. The book begins with a review of statistical methods and classical thermodynamics, making it suitable for students from a variety of backgrounds. Statistical mechanics is formulated in the microcanonical ensemble; some simple arguments and many examples are used to construct th canonical and grand-canonical ensembles. The discussion of quantum statistical mechanics includes Bose and Fermi ideal gases, the Bose-Einstein condensation, blackbody radiation, phonons and magnons. The van der Waals and Curoe-Weiss phenomenological models are used to illustrate the classical theories of phase transitions and critical phenomena; modern developments are intorducted with discussions of the Ising model, scaling theory, and renormalization-group ideas. The book concludes withy two chapters on nonequilibrium phenomena: one using Boltzmann's kinetic approach, and the other based on stochastic methods. Exercises at the end of each chapter are an integral part of the course, clarifying and extending topics discussed in the text. Hints and solutions can be found on the author's web site.

Clustered survival data are encountered in many scientific disciplines including human and veterinary medicine, biology, epidemiology, public health and demography. Frailty models provide a powerful tool to analyse clustered survival data. In contrast to the large number of research publications on frailty models, relatively few statistical software packages contain frailty models.It is demanding for statistical practitioners and graduate students to grasp a good knowledge on frailty models from the existing literature. This book provides an in-depth discussion and explanation of the basics of frailty model methodology for such readers. The discussion includes parametric and semiparametric frailty models and accelerated failure time models. Common techniques to fit frailty models include the EM-algorithm, penalised likelihood techniques, Laplacian integration and Bayesian techniques. More advanced frailty models for hierarchical data are also included.Real-lifeexamples are used to demonstrate how particular frailty models can be fitted and how the results should be interpreted. The programs to fit all the worked-out examples in the book are available from the Springer website with most of the programs developed in the freeware packages R and Winbugs. The book starts with a brief overview of some basic concepts in classical survival analysis, collecting what is needed for the reading on the more complex frailty models.

Bayesian networks and decision graphs are formal graphical languages for representation and communication of decision scenarios requiring reasoning under uncertainty. Their strengths are two-sided. It is easy for humans to construct and to understand them, and when communicated to a computer, they can easily be compiled. Furthermore, handy algorithms are developed for analyses of the models and for providing responses to a wide range of requests such as belief updating, determining optimal strategies, conflict analyses of evidence, and most probable explanation. The book emphasizes both the human and the computer side. Part I gives a thorough introduction to Bayesian networks as well as decision trees and infulence diagrams, and through examples and exercises, the reader is instructed in building graphical models from domain knowledge. This part is self-contained and it does not require other background than standard secondary school mathematics. Part II is devoted to the presentation of algorithms and complexity issues. This part is also self-contained, but it requires that the reader is familiar with working with texts in the mathematical language. The author also: *Provides a well-founded practical introduction to Bayesian networks, decision trees and influence diagrams *Gives several examples and exercises exploiting the computer systems for Bayesian netowrks and influence diagrams *Gives practical advice on constructiong Bayesian networks and influence diagrams from domain knowledge. *Embeds decision making into the framework of Bayesian networks *Presents in detail the currently most efficient algorithms for probability updating in Bayesian networks *Discusses a wide range of analyes tools and model requests together with algorithms for calculation of responses. *Gives a detailed presentation of the currently most efficient algorithm for solving influence diagrams. Finn V. Jensen is professor of computer science at the University of Aalborg.

This is a history of parametric statistical inference, written by one of the most important historians of statistics of the 20th century, Anders Hald. This book can be viewed as a follow-up to his two most recent books, although this current text is much more streamlined and contains new analysis of many ideas and developments. And unlike his other books, which were encyclopedic by nature, this book can be used for a course on the topic, the only prerequisites being a basic course in probability and statistics.The book is divided into five main sections:* Binomial statistical inference;* Statistical inference by inverse probability;* The central limit theorem and linear minimum variance estimation by Laplace and Gauss;* Error theory, skew distributions, correlation, sampling distributions;* The Fisherian Revolution, 1912-1935.Throughout each of the chapters, the author provides lively biographical sketches of many of the main characters, including Laplace, Gauss, Edgeworth, Fisher, and Karl Pearson. He also examines the roles played by DeMoivre, James Bernoulli, and Lagrange, and he provides an accessible exposition of the work of R.A. Fisher.This book will be of interest to statisticians, mathematicians, undergraduate and graduate students, and historians of science.

Now in its second edition, this book continues to give readers a broad mathematical basis for modelling and understanding the wide range of wave phenomena encountered in modern applications. New and expanded material includes topics such as elastoplastic waves and waves in plasmas, as well as new exercises. Comprehensive collections of models are used to illustrate the underpinning mathematical methodologies, which include the basic ideas of the relevant partial differential equations, characteristics, ray theory, asymptotic analysis, dispersion, shock waves, and weak solutions. Although the main focus is on compressible fluid flow, the authors show how intimately gasdynamic waves are related to wave phenomena in many other areas of physical science. Special emphasis is placed on the development of physical intuition to supplement and reinforce analytical thinking. Each chapter includes a complete set of carefully prepared exercises, making this a suitable textbook for students in applied mathematics, engineering, and other physical sciences. Reviews of the first edition:"e;This book ... is an introduction to the theory of linear and nonlinear waves in fluids, including the theory of shock waves. ... is extraordinarily accurate and free of misprints ... . I enjoyed reading this book. ... most attractive and enticing appearance, and I'm certain that many readers who browse through it will wish to buy a copy. The exercises ... are excellent. ... A beginner who worked through these exercises would not only enjoy himself or herself, but would rapidly acquire mastery of techniques used...in JFM and many other journals..."e; (C. J. Chapman, Journal of Fluid Mechanics, Vol. 521, 2004) "e;The book targets a readership of final year undergraduates and first year graduates in applied mathematics. In the reviewer's opinion, it is very well designed to catch the student's interest ... while every chapter displays essential features in some important area of fluid dynamics. Additionally, students may practice by solving 91 exercises. This volume is mainly devoted to inviscid flows. ... The book is very well written."e; (Denis Serre, Mathematical Reviews, 2004)