Series: Lecture Notes in Statistics , Vol.
177
2003, Approx. 280 p., Softcover
ISBN: 1-85233-763-X
About this book
Tools for Constructing Chronologies focuses
on ways of getting
more out of existing chronological data by
careful analysis. It
surveys a range of cutting edge methods in
chronology
construction and seeks to enable cross-disciplinary
fertilisation
of ideas. The specially invited papers cover
a range of
timescales, from the perspectives of a number
of disciplines. The
methods used range from complex statistical
treatments, to (non-statistical)
considerations of how to systematically represent
relative dating
information. Each chapter can be read alone,
but they are also
carefully cross-referenced. The editors'
introductory essay
provides a cross-disciplinary overview of
the state of chronology
construction methods, and highlights the
links between them. This
book will appeal to a wide range of researchers,
scientists and
graduate students using chronologies in their
work; from applied
statisticians to archaeologists, geologists
and paleontologists,
to those working in bioinformatics and chronometry.
Table of contents
Preface: Towards Integrated Thinking in Chronology
Building.-
Bayesian Chronological Data Interpretation:
Where Now?- Pragmatic
Bayesians: A Decade of Integrating Radiocarbon
Dates into
Chronological Models.- Bayesian Inference
of Calibration Curves:
Application to Archaeomagnetism.- The Synchronization
of
Civilizations in the Eastern Mediterranean
in the Second
Millennium BC: Natural Science Dating Attempts.-
Applications of
Formal Model Choice to Archaeological Chronology
Building.-
Complicated Relations and Blind Dating: Formal
Analysis of
Relative Chronological Structures.- Genealogies
from Time-Stamped
Sequence Data.- Tephrochronology and Its
Application to Late
Quaternary Environmental Reconstruction,
with Special Reference
to the North Atlantic Islands.- Constructing
Chronologies of Sea-Level
Change from Salt-Marsh Sediments.- A Framework
for Analysing
Fossil Record Data.- Taking Bayes Beyond
Radiocarbon: Bayesian
Approaches to Some Other Chronometric Methods.-
Index.
Series: Texts in Theoretical Computer Science.
An EATCS Series
2004, Approx. 250 p., Hardcover
ISBN: 3-540-20032-0
About this textbook
The Parametric Lambda Calculus is a meta-model
for computation,
in the sense that it can be specialized in
order to obtain
paradigmatic languages (in particular lambda-calculi)
for
modelling different kinds of computation.
The book considers in
particular the call-by-name computation,
in both its lazy and not
lazy version, and the call-by-value one.
The book is a completely
new presentation of some classical results
in the Lambda Calculus
field, together with some new results. The
originality is that a
new calculus is presented, the Parametric
Lambda Calculus, that
can be instantiated in order to obtain some
already known lambda-calculi.
Some properties, that in the literature have
been proved
separately for different calculi, can be
proved once for the
Parametric one. The lambda calculi are presented
from a Computer
Science point of view, so with a particular
emphasis on their
semantics, both operational and denotational.
Written for:
Researchers, lecturers, graduates, libraries
Series: Texts in Theoretical Computer Science.
An EATCS Series
2004, Approx. 300 p., Hardcover
ISBN: 3-540-00428-9
About this textbook
This book gives a comprehensive overview
of central themes of
finite model theory ? expressive power, descriptive
complexity,
and zero-one laws ? together with selected
applications relating
to database theory and artificial intelligence,
especially
constraint databases and constraint satisfaction
problems. The
final chapter provides a concise modern introduction
to modal
logic, emphasizing the continuity in spirit
and technique with
finite model theory. This underlying spirit
involves the use of
various fragments of and hierarchies within
first-order, second-order,
fixed-point, and infinitary logics to gain
insight into phenomena
in complexity theory and combinatorics. The
book emphasizes the
use of combinatorial games, such as extensions
and refinements of
the Ehrenfeucht-Fraisse pebble game, as a
powerful way to analyze
the expressive power of such logics, and
illustrates how deep
notions from model theory and combinatorics,
such as o-minimality
and treewidth, arise naturally in the application
of finite model
theory to database theory and AI. Students
of logic and computer
science will find here the tools necessary
to embark on research
into finite model theory, and all readers
will experience the
excitement of a vibrant area of the application
of logic to
computer science.
Table of contents
Preface; Introduction (Scott Weinstein);
On the expressive power
of logics on finite models (Phokion G. Kolaitis);
Finite model
theory and descriptive complexity (Erich
Gradel); Logic and
random structures (Joel Spencer); Embedded
finite models and
constraint databases (Leonid Libkin); Constraint
satisfaction and
finite-model theory (Moshe Y. Vardi); Local
variations on a loose
theme: modal logic and decidability (Maarten
Marx and Yde Venema);
Bibliography; Index.
Series: Classics in Mathematics
Reprint of the 1st ed. Berlin Heidelberg
New York 1974, 2004, X,
578 p., Softcover
ISBN: 3-540-20284-6
About this book
From the Reviews: "Gihman and Skorohod
have done an
excellent job of presenting the theory in
its present state of
rich imperfection."D.W. Stroock in Bulletin
of the American
Mathematical Society, 1980 "To call
this work encyclopedic
would not give an accurate picture of its
content and style. Some
parts read like a textbook, but others are
more technical and
contain relatively new results. ... The exposition
is robust and
explicit, as one has come to expect of the
Russian tradition of
mathematical writing. The set when completed
will be an
invaluable source of information and reference
in this ever-expanding
field."K.L. Chung in American Scientist,
1977 "The
dominant impression is of the authors' mastery
of their material,
and of their confident insight into its underlying
structure."J.F.C.
Kingman in Bulletin of the London Mathematical
Society, 1977
Table of contents
Basic Notions of Probability Theory.- Random
Sequences.- Random
Functions.- Linear Theory of Random Processes.-
Probability
Measures on Functional Spaces.- Limit Theorems
for Random
Processes.- Absolute Continuity of Measures
Associated with
Random Processes.- Measurable Functions on
Hilbert Spaces.-
Historical and Bibliographical Remarks.-
Bibliography.-
Corrections to the First Printings of Volumes
I and II.- Subject
Index.
Series: Classics in Mathematics
Reprint of the 1st ed. Berlin Heidelberg
New York 1975, 2004, X,
441 p., Softcover
ISBN: 3-540-20285-4
About this book
From the Reviews: "Gihman and Skorohod
have done an
excellent job of presenting the theory in
its present state of
rich imperfection."D.W. Stroock in Bulletin
of the American
Mathematical Society, 1980 "To call
this work encyclopedic
would not give an accurate picture of its
content and style. Some
parts read like a textbook, but others are
more technical and
contain relatively new results. ... The exposition
is robust and
explicit, as one has come to expect of the
Russian tradition of
mathematical writing. The set when completed
will be an
invaluable source of information and reference
in this ever-expanding
field"K.L. Chung in American Scientist,
1977 "The
dominant impression is of the authors' mastery
of their material,
and of their confident insight into its underlying
structure.
..."J.F.C. Kingman in Bulletin of the
London Mathematical
Society, 1977
Table of contents
Introduction.- Basic Definitions and Properties
of Markov
Processes.- Homogeneous Markov Processes.-
Jump Processes.-
Processes with Independent Increments.- Branching
Processes.-
Historical and Bibliographical Remarks.-
Bibliography.- Subject
Index.
In view of the significance of the array
manifold in array
processing and array communications, the
role of differential
geometry as an analytical tool cannot be
overemphasized.
Differential geometry is mainly confined
to the investigation of
the geometric properties of manifolds in
three-dimensional
Euclidean space R3 and in real spaces of
higher dimension.
Extending the theoretical framework to complex
spaces, this
invaluable book presents a summary of those
results of
differential geometry which are of practical
interest in the
study of linear, planar and three-dimensional
array geometries.
Contents:
Differential Geometry of Array Manifold Curves
Differential Geometry of Array Manifold Surfaces
Non-Linear Arrays: (Azimuth, Elevation) Parametrization
of Array
Manifold Surfaces
Non-Linear Arrays: Cone-Angle Parametrization
of Array Manifold
Surfaces
Array Ambiguities
Array Bounds
Array Design and Robustness
Readership: Graduate students, researchers
and practitioners in
electrical and electronic engineering.
240pp (approx.) Pub. date: Scheduled Summer
2004
ISBN 1-86094-422-1
ISBN 1-86094-423-X(pbk)
CALIFORNIA DREAMING
Reforming Mathematics Education
2003
320 pp. 6 1/8 x 9 1/4
Cloth ISBN 0-300-09432-9 $29.95
“Wilson challenges the often facile and
formulaic explanations
given for the failure of educational improvement.
She helps us to
reframe the questions most important
to ask and the problems most important to
solve.”--Deborah
Loewenberg Ball, University of Michigan
This compelling book tells the history of
the past two decades of
efforts to reform mathematics education in
California. That
history is a contentious one, full of such
fervor and heat that
participants and observers often refer to
the “math wars.”
Suzanne M. Wilson considers the many perspectives
of those
involved in math reform, weaving a tapestry
of facts,
philosophies, conversations, events, and
personalities into a
vivid narrative. While her focus is on California,
the
implications of her book extend to struggles
over education
policy and practice throughout the United
States.
Wilson’s three-dimensional account of math
education reform
efforts reveals how the debates tend to be
deeply ideological and
how people come to feel misunderstood and
misrepresented. She
examines the myths used to explain the failure
of reforms, the
actual reasons for failure, and the importance
of taking multiple
perspectives into account when planning and
implementing reform.
Suzanne M. Wilson is professor in the Department
of Teacher
Education and director of the Center for
the Scholarship of
Teaching at Michigan State University.
“Wilson challenges the often facile and
formulaic explanations
given for the failure of educational improvement.
She helps us to
reframe the questions most important to ask
and the problems most
important to solve.”--Deborah Loewenberg
Ball, University of
Michigan