Bøger udgivet af Birkhauser Boston

by Luea Cardelli Ever since Strachey's work in the 1960's, polymorphism has been classified into the parametric and overloading varieties. Parametric polymorphism has been the subject of extensive study for over two decades. Overloading, on the other hand, has often been considered too ad hoc to deserve much attention even though it has been, in some form, an ingredient of virtually every programming lan- guage (much more so than parametric polymorphism). With the introduction of object-oriented languages, and in particular with multiple-dispatch object-oriented languages, overloading has become less of a programming convenience and more of a fundamental feature in need of proper explanation. This book provides a compelling framework for the study of run-time over- loading and of its interactions with subtyping and with parametric polymorphism. The book also describes applications to object-oriented programming. This new framework is motivated by the relatively recent spread of programming languages that are entirely based on run-time overloading; this fact probably explains why this subject was not investigated earlier. Once properly understood, overloading reveals itself relevant also to the study of older and more conventional (single- dispatch) object-oriented languages, clarifying delicate issues of covariance and contravariance of method types, and of run-time type analysis. In the final chapters, a synthesis is made between parametric and overloading polymorphism.

This book presents a self-contained introduction to H.M. Stark¿s remarkable conjectures about the leading term of the Taylor expansion of Artin¿s L-functions at s=0. These conjectures can be viewed as a vast generalization of Dirichlet¿s class number formula and Kronecker¿s limit formula. They provide an unexpected contribution to Hilbert¿s 12th problem on the generalization of class fields by the values of transcendental functions.This volume also treats these topics: a proof of the main conjecture for rational characters, and Chinburg¿s invariant; P. Delgne¿s proof of a function field analogue; p-adic versions of the conjectures due to B. Gross and J.-P. Serre.This volume belongs on the shelf of every mathematics library.

This research monograph is a systematic exposition of the background, methods, and recent results in the theory of cycle spaces of ?ag domains. Some of the methods are now standard, but many are new. The exposition is carried out from the viewpoint of complex algebraic and differential geometry. Except for certain foundational material,whichisreadilyavailablefromstandardtexts,itisessentiallyself-contained; at points where this is not the case we give extensive references. After developing the background material on complex ?ag manifolds and rep- sentationtheory, wegiveanexposition(withanumberofnewresults)ofthecomplex geometric methods that lead to our characterizations of (group theoretically de?ned) cyclespacesandtoanumberofconsequences. Thenwegiveabriefindicationofjust how those results are related to the representation theory of semisimple Lie groups through, for example, the theory of double ?bration transforms, and we indicate the connection to the variation of Hodge structure. Finally, we work out detailed local descriptions of the relevant full Barlet cycle spaces. Cycle space theory is a basic chapter in complex analysis. Since the 1960s its importance has been underlined by its role in the geometry of ?ag domains, and by applications in the representation theory of semisimple Lie groups. This developed veryslowlyuntilafewofyearsagowhenmethodsofcomplexgeometry,inparticular those involving Schubert slices, Schubert domains, Iwasawa domains and suppo- ing hypersurfaces, were introduced. In the late 1990s, and continuing through early 2002, we developed those methods and used them to give a precise description of cycle spaces for ?ag domains. This effectively enabled the use of double ?bration transforms in all ?ag domain situations.

This is the sixth annual volume of papers based on the outstanding lectures given at the Seminaire de Theorie des Nombres de Paris. The results presented in 1985-86 by an international group of mathematicians reflect the most recent work in many areas of number theory.

Mathematical ecology is the application of mathematics to describe and understand ecosystems. There are two main approaches. One is to describe natural communities and induce statistical patterns or relationships which should generally occur. However, this book is devoted entirely to introducing the student to the second approach: to study deterministic mathematical models and, on the basis of mathematical results on the models, to look for the same patterns or relationships in nature. This book is a compromise between three competing desiderata. It seeks to: maximize the generality of the models; constrain the models to "e;behave"e; realistically, that is, to exhibit stability and other features; and minimize the difficulty of presentations of the models. The ultimate goal of the book is to introduce the reader to the general mathematical tools used in building realistic ecosystem models. Just such a model is presented in Chapter Nine. The book should also serve as a stepping-stone both to advanced mathematical works like Stability of Biological Communities by Yu. M. Svirezhev and D. O. Logofet (Mir, Moscow, 1983) and to advanced modeling texts like Freshwater Ecosystems by M. Straskraba and A. H. Gnauch (Elsevier, Amsterdam, 1985).

Themainobjectiveofthisbookistogiveacollectionofcriteriaavailablein the spectral theory of selfadjoint operators, and to identify the spectrum and its components in the Lebesgue decomposition. Many of these criteria were published in several articles in di?erent journals. We collected them, added some and gave some overview that can serve as a platform for further research activities. Spectral theory of Schr* odinger type operators has a long history; however the most widely used methods were limited in number. For any selfadjoint operatorA on a separable Hilbert space the spectrum is identi?ed by looking atthetotalspectralmeasureassociatedwithit;oftenstudyingsuchameasure meant looking at some transform of the measure. The transforms were of the form f,?(A)f which is expressible, by the spectral theorem, as ?(x)du (x) for some ?nite measureu . The two most widely used functions? were the sx ?1 exponential function?(x)=e and the inverse function?(x)=(x?z) . These functions are "e;usable"e; in the sense that they can be manipulated with respect to addition of operators, which is what one considers most often in the spectral theory of Schr* odinger type operators. Starting with this basic structure we look at the transforms of measures from which we can recover the measures and their components in Chapter 1. In Chapter 2 we repeat the standard spectral theory of selfadjoint op- ators. The spectral theorem is given also in the Hahn-Hellinger form. Both Chapter 1 and Chapter 2 also serve to introduce a series of de?nitions and notations, as they prepare the background which is necessary for the criteria in Chapter 3.

This monograph studies the logical aspects of domains as used in de- notational semantics of programming languages. Frameworks of domain logics are introduced; these serve as foundations for systematic derivations of proof systems from denotational semantics of programming languages. Any proof system so derived is guaranteed to agree with denotational se- mantics in the sense that the denotation of any program coincides with the set of assertions true of it. The study focuses on two categories for dena- tational semantics: SFP domains, and the less standard, but important, category of stable domains. The intended readership of this monograph includes researchers and graduate students interested in the relation between semantics of program- ming languages and formal means of reasoning about programs. A basic knowledge of denotational semantics, mathematical logic, general topology, and category theory is helpful for a full understanding of the material. Part I SFP Domains Chapter 1 Introduction This chapter provides a brief exposition to domain theory, denotational se- mantics, program logics, and proof systems. It discusses the importance of ideas and results on logic and topology to the understanding of the relation between denotational semantics and program logics. It also describes the motivation for the work presented by this monograph, and how that work fits into a more general program. Finally, it gives a short summary of the results of each chapter. 1. 1 Domain Theory Programming languages are languages with which to perform computa- tion.

"e;What good is a newborn baby?"e; Michael Faraday's reputed response when asked, "e;What good is magnetic induction?"e; But, it must be admitted that a newborn baby may die in infancy. What about this one- the idea of transfiniteness for graphs, electrical networks, and random walks? At least its bloodline is robust. Those subjects, along with Cantor's transfinite numbers, comprise its ancestry. There seems to be general agreement that the theory of graphs was born when Leonhard Euler published his solution to the "e;Konigsberg bridge prob- lem"e; in 1736 [8]. Similarly, the year of birth for electrical network theory might well be taken to be 184 7, when Gustav Kirchhoff published his volt- age and current laws [ 14]. Ever since those dates until just a few years ago, all infinite undirected graphs and networks had an inviolate property: Two branches either were connected through a finite path or were not connected at all. The idea of two branches being connected only through transfinite paths, that is, only through paths having infinitely many branches was never invoked, or so it appears from a perusal of various surveys of infinite graphs [17], [20], [29], [32]. Our objective herein is to explore this idea and some of its ramifications. It should be noted however that directed graphs having transfinite paths have appeared in set theory [6, Section 4.

Intuitively, a foliation corresponds to a decomposition of a manifold into a union of connected, disjoint submanifolds of the same dimension, called leaves, which pile up locally like pages of a book. The theory of foliations, as it is known, began with the work of C. Ehresmann and G. Reeb, in the 1940's; however, as Reeb has himself observed, already in the last century P. Painleve saw the necessity of creating a geometric theory (of foliations) in order to better understand the problems in the study of solutions of holomorphic differential equations in the complex field. The development of the theory of foliations was however provoked by the following question about the topology of manifolds proposed by H. Hopf in the 3 1930's: "e;Does there exist on the Euclidean sphere S a completely integrable vector field, that is, a field X such that X* curl X * 0?"e; By Frobenius' theorem, this question is equivalent to the following: "e;Does there exist on the 3 sphere S a two-dimensional foliation?"e; This question was answered affirmatively by Reeb in his thesis, where he 3 presents an example of a foliation of S with the following characteristics: There exists one compact leaf homeomorphic to the two-dimensional torus, while the other leaves are homeomorphic to two-dimensional planes which accu- mulate asymptotically on the compact leaf. Further, the foliation is C"e;"e;.

This book collects some recent works on the application of dynamic game and control theory to the analysis of environmental problems. This collec- tion of papers is not the outcome of a conference or of a workshop. It is rather the result of a careful screening from among a number of contribu- tions that we have solicited across the world. In particular, we have been able to attract the work of some of the most prominent scholars in the field of dynamic analyses of the environment. Engineers, mathematicians and economists provide their views and analytical tools to better interpret the interactions between economic and environmental phenomena, thus achiev- ing, through this interdisciplinary effort, new and interesting results. The goal of the book is more normative than descriptive. All papers include careful modelling of the dynamics of the main variables involved in the game between nature and economic agents and among economic agents themselves, as well-described in Vrieze's introductory chapter. Fur- thermore, all papers use this careful modelling framework to provide policy prescriptions to the public agencies authorized to regulate emission dy- namics. Several diverse problems are addressed: from global issues, such as the greenhouse effect or deforestation, to international ones, such as the management of fisheries, to local ones, for example, the control of effluent discharges. Moreover, pollution problems are not the only concern of this book.

Richard Trudeau confronts the fundamental question of truth and its representation through mathematical models in The Non-Euclidean Revolution. First, the author analyzes geometry in its historical and philosophical setting; second, he examines a revolution every bit as significant as the Copernican revolution in astronomy and the Darwinian revolution in biology; third, on the most speculative level, he questions the possibility of absolute knowledge of the world.Trudeau writes in a lively, entertaining, and highly accessible style. His book provides one of the most stimulating and personal presentations of a struggle with the nature of truth in mathematics and the physical world.A portion of the book won the Pólya Prize, a distinguished award from the Mathematical Association of America.

This text is appropriate for a one-semester course in what is usually called ad- vanced calculus of several variables. The focus is on expanding the concept of continuity; specifically, we establish theorems related to extreme and intermediate values, generalizing the important results regarding continuous functions of one real variable. We begin by considering the function f(x, y, ... ) of multiple variables as a function of the single vector variable (x, y, ... ). It turns out that most of the n treatment does not need to be limited to the finite-dimensional spaces R , so we will often place ourselves in an arbitrary vector space equipped with the right tools of measurement. We then proceed much as one does with functions on R. First we give an algebraic and metric structure to the set of vectors. We then define limits, leading to the concept of continuity and to properties of continuous functions. Finally, we enlarge upon some topological concepts that surface along the way. A thorough understanding of single-variable calculus is a fundamental require- ment. The student should be familiar with the axioms of the real number system and be able to use them to develop elementary calculus, that is, to define continuous junction, derivative, and integral, and to prove their most important elementary properties. Familiarity with these properties is a must. To help the reader, we provide references for the needed theorems.

This volume contains a collection of essays by selected authors who are active in the field of blood substitutes research or closely allied disciplines. These essays were delivered as lectures by the authors at the second annual "e;Current Issues in Blood Substitute Research and Development - 1995"e; course sponsored jointly by the Departments of Medicine and Bioengineer- ing, University of California, San Diego, the National Institutes of Health (NHLBI), and the U.S. Army on March 30, 31, and April 1, 1995 in San Diego. This course had three goals: to present fundaniental discussions of scientific issues critical to further development of artificial oxygen carriers, to provide academicians a forum to discuss their current research, and to provide the companies involved in developing products the opportunity to update the audience on their progress. The organization owes much to the solicited comments of the attendees of the 1994 course. We would like especially to thank the U.S. Army, particularly through the efforts of COL John Hess, who provided significant funding to make publication of this volume possible. In addition, a number of the participating companies provided additional financial support to offset the costs of the course. These include Alliance Pharmaceutical Corp., Hemosol, Nippon Oil and Fat, Northfield Laboratories, and Ortho Biotech.

This book studies the foundations of the theory of linear and nonlinear forms in single and multiple random variables including the single and multiple random series and stochastic integrals, both Gaussian and non-Gaussian. This subject is intimately connected with a number of classical problems of probability theory such as the summation of independent random variables, martingale theory, and Wiener's theory of polynomial chaos. The book contains a number of older results as well as more recent, or previously unpublished, results. The emphasis is on domination principles for comparison of different sequences of random variables and on decoupling techniques. These tools prove very useful in many areas ofprobability and analysis, and the book contains only their selected applications. On the other hand, the use of the Fourier transform - another classical, but limiting, tool in probability theory - has been practically eliminated. The book is addressed to researchers and graduate students in prob­ ability theory, stochastic processes and theoretical statistics, as well as in several areas oftheoretical physics and engineering. Although the ex­ position is conducted - as much as is possible - for random variables with values in general Banach spaces, we strive to avoid methods that would depend on the intricate geometric properties of normed spaces. As a result, it is possible to read the book in its entirety assuming that all the Banach spaces are simply finite dimensional Euclidean spaces.

* Exciting exposition integrates history, philosophy, and mathematics* Combines a mathematical analysis of approximation theory with an engaging discussion of the differing philosophical underpinnings behind its development* Appendices containing biographical data on numerous eminent mathematicians, explanations of Russian nomenclature and academic degrees, and an excellent index round out the presentation

WALTER A. ROSENBLITH Footnotes to the Recent History of Neuroscience: Personal Reflections and Microstories The workshop upon which this volume is based offered me an opportunity to renew contact fairly painlessly with workers in the brain sciences, not just as a participant/observer but maybe as what might be called a teller of microstories. I had originally become curious about the brain by way of my wife's senior thesis, in which she attempted to relate electroencephalography to certain aspects of human behavior. As a then-budding physicist and communications engineer, I had barely heard about brain waves, nor had I studied physiology in a systematic way. My work on noise dealt with the effects of certain acoustical stimuli on biological structures and entire organisms. This was the period immediately after World War II when many scientists and engineers who had done applied work in the war effort were trying to find their way among the challenging new fields that were opening up. Francis Crick, among others, has described such a search taking place in the cafes of the "e;other"e; Cambridge, the one on the Cam. At that time the brain sciences, in his opinion, offered much less promise than molecular biology. However, he was sufficiently attracted by what they might eventually have to offer to keep an eye on them, and several decades later his work turned toward the brain.

Dedicated to Anthony Joseph, this volume contains surveys and invited articles by leading specialists in representation theory. The focus here is on semisimple Lie algebras and quantum groups, where the impact of Joseph's work has been seminal and has changed the face of the subject.Two introductory biographical overviews of Joseph's contributions in classical representation theory (the theory of primitive ideals in semisimple Lie algebras) and quantized representation theory (the study of the quantized enveloping algebra) are followed by 16 research articles covering a number of varied and interesting topics in representation theory.Contributors: J. Alev; A. Beilinson; A. Braverman; I. Cherednik; J. Dixmier; F. Dumas; P. Etingof; D. Farkas; D. Gaitsgory; F. Ivorra; A. Joseph; D. Joseph; M. Kashiwara; D. Kazhdan; A.A. Kirillov; B. Kostant; S. Kumar; G. Letzter; T. Levasseur; G. Lusztig; L. Makar-Limanov; W. McGovern; M. Nazarov; K-H. Neeb; L.G. Rybnikov; P. Schapira; V. Schechtman; A. Sergeev; J.T. Stafford; Ya. Varshavsky; N. Wallach; and I. Waschkies.