Christof Eck Universitat Erlangen
Jiri Jarusek Academy of Sciences of the Czech Repubic, Prague
Miroslav Krbec Academy of Sciences of the Czech Republic, Prague

Unilateral Contact Problems: Variational Methods and Existence Theorems

Series: Pure and Applied Mathematics Volume: 270
ISBN: 1-57444-629-0
Publication Date: 3/17/2005
Number of Pages: 416

Provides an overview of the state of the art for the analysis of contact problems
Uses the simplified normal-compliance method to approximate the classical laws
Describes the interaction between "pure" and applied mathematics in the field of contact problems

This text presents the most up to date treatment of mathematical analysis of contact problems with friction and a major part of the analysis for dynamic contact problems without friction. The authors develop an approach that makes use of the shift technique developed by Fichera, which proves to be an important tool for contact problems and other nonlinear problems with limited regularity. They pay particular attention to quantification and precise results to obtain optimal bounds in sufficient conditions for existence theorems. This text provides a self-contained survey of contact problems that serves as a useful tool for analysis of contact problems with or without friction.

John Cagnol Pole Universitaire Leonard de Vinci, Paris, France
Zolesio Jean-Paul CNRS-INLN

Control and Boundary Analysis

Series: Lecture Notes in Pure and Applied Mathematics Volume: 240
ISBN: 1-57444-594-4
Publication Date: 3/4/2005
Number of Pages: 328

Covers new existence results derived from fine analysis of boundary behavior
Includes intrinsic geometry developed for shell modeling
Introduces new algorithms associated with current computing power, allowing impressive simulations for particle flow
Contains a numerical treatment of the mathematical Speed Method, or Eulerian parametrization tool

This volume comprises selected papers from the 21st Conference on System Modeling and Optimization in Sophia Antipolis, France. It covers over three decades of studies involving partial differential systems and equations. Topics include: the modeling of continuous mechanics involving fixed boundary, control theory, shape optimization and moving boundaries, and topological shape optimization. This edition discusses all developments that lead to current moving boundary analysis and the stochastic approach.

Neil Shephard

Stochastic Volatility
Selected Readings

(Paperback)0-19-925720-5
Publication date: 10 March 2005
534 pages, numerous figures and tables, 234mm x 156mm
Series: Advanced Texts in Econometrics

Description

A selection of the key papers in the development of the stochastic volatility field, gathered for the first time.
A lengthy introduction provides an overview and context, and connects the papers with the literature of the field.
Includes Barr Rosenberg's seminal paper on the behaviour of random variables

Stochastic volatility is the main concept used in the fields of financial economics and mathematical finance to deal with time-varying volatility in financial markets. This book brings together some of the main papers that have influenced the field of the econometrics of stochastic volatility, and shows that the development of this subject has been highly multidisciplinary, with results drawn from financial economics, probability theory, and econometrics, blending to produce methods and models that have aided our understanding of the realistic pricing of options, efficient asset allocation, and accurate risk assessment. A lengthy introduction by the editor connects the papers with the literature.

Alexander Bochman (Holon Academic Institute of Technology, Israel)

EXPLANATORY NONMONOTONIC REASONING

Advances in Logic - Vol. 4

Many approaches in the field of nonmonotonic and "commonsense" reasoning are actually different representations of the same basic ideas and constructions. This book gives a logical formalization of the original, explanatory approach to nonmonotonic reasoning. It uses the basic formalism of biconsequence relations, as well as derived systems of default, autoepistemic and causal inference, to cover in a single framework such diverse systems as default logic, autoepistemic and modal nonmonotonic logics, input/output and causal logics, argumentation theory, and semantics of general logic programs with negation as failure. This approach provides a clear separation between logical (monotonic) and nonmonotonic aspects of nonmonotonic reasoning. The separation allows, in particular, to single out the logics underlying modern logic programming and restore thereby the connection between logic programming and logic.

Contents:

Scott Consequence Relations
Biconsequence Relations
Four-Valued Logics
Nonmonotonic Semantics
Default Consequence Relations
Argumentation Theory
Production and Causal Inference
Epistemic Consequence Relations
Modal Nonmonotonic Logics

Readership: Graduate students and researchers in artificial intelligence and logicians.

424pp Pub. date: Jan 2005
ISBN 981-256-101-3

Scott T Chapman Trinity University, San Antonio, Texas, USA

Arithmetical Properties of Commutative Rings and Monoids

Series: Lecture Notes in Pure and Applied Mathematics Volume: 241
ISBN: 0-8247-2327-9
Publication Date: 3/1/2005
Number of Pages: 416

The study of nonunique factorizations of elements into irreducible elements in commutative rings and monoids has emerged as an independent area of research only over the last 30 years and has enjoyed a recent flurry of activity and advancement. This book presents the proceedings of two recent meetings that gathered key researchers from around the world to review recent major results. The first seven chapters demonstrate the diversity of approaches taken in studying nonunique factorizations and serve both as an introduction to factorization theory and as a survey of current trends and results. The remaining chapters reflect research motivated by arithmetical properties of commutative rings and monoids.

Table of Contents

Non-Atomic Unique Factorization in Integral Domains/ Daniel D. Anderson
Divisibility Properties in Graded Integral Domains/ David F. Anderson
Extensions of Half-Factorial Domains: A Survey/ Jim Coykendall
C-Monoids and Congruence Monoids in Krull Domains/ Franz Halter-Koch
Monotone Chains of Factorizations in C-Monoids/ Andreas Foroutan and Alfred Geroldinger
Transfer Principles in the Theory of Non-unique Factorizations/ Alfred Geroldinger and Franz Halter-Koch
Cale Monoids, Cale Domains, and Cale Varieties/ Scott T. Chapman and Ulrich Krause
Weakly Krull Inside Factorial Domains/ Daniel D. Anderson, Muhammed Zafrullah, and Gyu Whan Chang
The m-Complement of a Multiplicative Set/ David F. Anderson and Gyu Whan Chang
Some Remarks on Infinite Products/ Jim Coykendall
Rings with Prime Nilradical/ Ayman Badawi and Thomas G. Lucas
On the Ideal Generated by the Values of a Polynomial/ Jean-Luc Chabert and Sabine Evrard
Using Factorizations to Prove a Partition Identity/ David E. Dobbs and Timothy P. Kilbourn
On Inside Factorial Integral Domains/ David E. Dobbs, Gabriel Picavet, and Martine Picavet-L'Hermitte
Polynomial Separation of Points in Algebras/ Sophie Frisch
k-Factorized Elements in Telescopic Numerical Semigroups/Jose C. Rosales, Pedro A. Garcia-Sanchez, and Juan I. Garcia-Garcia
Prufer Conditions in Rings with Zero-Divisors/ Sarah Glaz
Unmixedness and the Generalized Principal Ideal Theorem/ Tracy Dawn Hamilton
A Note on Sets of Lengths of Powers of Elements of Finitely Generated Monoids/ Wolfgang Hassler
UMV-Domains/ Evan Houston and Muhammad Zafrullah
On Local Half-Factorial Orders / Florian Kainrath
On Factorization in Krull Domains with Divisor Class/ Group Z2k/ Karl M. Kattchee
Integral Morphisms/ Jack Maney
A Special Type of Invertible Ideal/ Stephen McAdam and Richard G. Swan
Factorization into Radical Ideals/ Bruce Olberding
Strongly Primary Ideals/Gyu Whan Chang, and Hoyoung Nam, and Jeanam Park

Rebecca Goldstein

Incompleteness
The Proof and Paradox of Kurt Godel

A masterly introduction to the life and thought of the man who transformed our conception of math forever.

Kurt Godel is considered the greatest logician since Aristotle. His monumental theorem of incompleteness demonstrated that in every formal system of arithmetic there are true statements that nevertheless cannot be proved. The result was an upheaval that spread far beyond mathematics, challenging conceptions of the nature of the mind.

Rebecca Goldstein, a MacArthur-winning novelist and philosopher, explains the philosophical vision that inspired Godel's mathematics, and reveals the ironic twist that led to radical misinterpretations of his theorems by the trendier intellectual fashions of the day, from positivism to postmodernism. Ironically, both he and his close friend Einstein felt themselves intellectual exiles, even as their work was cited as among the most important in twentieth-century thought. For Godel , the sense of isolation would have tragic consequences.

This lucid and accessible study makes Godel's theorem and its mindbending implications comprehensible to the general reader, while bringing this eccentric, tortured genius and his world to life.

About the series:Great Discoveries brings together renowned writers from diverse backgrounds to tell the stories of crucial scientific breakthroughs?the great discoveries that have gone on to transform our view of the world.

In this penetrating, accessible, and beautifully written book, Rebecca Goldstein explores not only the work of one of the greatest mathematicians, but also the relation of the human mind to the world around it."?Alan Lightman, author of Einstein's Dreams

--------------------------------------------------------------------------------
MacArthur Fellow and Whiting-Award winner Rebecca Goldstein novels include The Mind-Body Problem and Properties of Light. She lives in New York City.

--------------------------------------------------------------------------------
February 2005 / hardcover / ISBN 0-393-05169-2 / 5" x 8" / 288 pages /

Pal Domosi and Chrystopher L. Nehaniv

Algebraic Theory of Automata Networks

SIAM Monographs on Discrete Mathematics and Applications 11

Algebraic Theory of Automata Networks investigates automata networks as algebraic structures and develops their theory in line with other algebraic theories, such as those of semigroups, groups, rings, and fields. The authors also investigate automata networks as products of automata, that is, as compositions of automata obtained by cascading without feedback or with feedback of various restricted types or, most generally, with the feedback dependencies controlled by an arbitrary directed graph. This self-contained book surveys and extends the fundamental results in regard to automata networks, including the main decomposition theorems of Letichevsky, of Krohn and Rhodes, and of others.

Algebraic Theory of Automata Networks summarizes the most important results of the past four decades regarding automata networks and presents many new results discovered since the last book on this subject was published. It contains several new methods and special techniques not discussed in other books, including characterization of homomorphically complete classes of automata under the cascade product; products of automata with semi-Letichevsky criterion and without any Letichevsky criteria; automata with control words; primitive products and temporal products; network completeness for digraphs having all loop edges; complete finite automata network graphs with minimal number of edges; and emulation of automata networks by corresponding asynchronous ones.

Audience

This book provides graduate students and newcomers to the field with ideas, methods, and results of algebraic theory of automata networks. Researchers and engineers working in the area may find the book useful as well, especially chapters about Krohn?Rhodes theory, primitive products, and temporal products, as well as general and various special types of automata networks.

Contents

Preface and Overview; Chapter 1: Preliminaries; Chapter 2: Directed Graphs, Automata, and Automata Networks; Chapter 3: Krohn?Rhodes Theory and Complete Classes; Chapter 4: Without Letichevsky?s Criterion; Chapter 5: Letichevsky?s Criterion; Chapter 6: Primitive Products and Temporal Products;
Chapter 7: Finite State-Homogeneous Automata Networks and Asynchronous Automata Networks; Bibliography; Index.

Available December 2004 | xii + 258 pages | Hardcover | ISBN 0-89871-569-5