March 2004, ISBN 1-4020-1966-1, Hardbound
Book Series: HANDBOOK OF PHILOSOPHICAL LOGIC, *SECOND EDITION* :
Volume 11
The first edition of the Handbook of Philosophical Logic (four
volumes) was published in the period 1983-1989 and has proven to
be an invaluable reference work to both students and researchers
in formal philosophy, language and logic.
The second edition of the Handbook is intended to comprise some
18 volumes and will provide a very up-to-date authoritative, in-depth
coverage of all major topics in philosophical logic and its
applications in many cutting-edge fields relating to computer
science, language, argumentation, etc.
The volumes will no longer be as topic-oriented as with the first
edition because of the way the subject has evolved over the last
15 years or so. However the volumes will follow some natural
groupings of chapters.
Audience: Students and researchers whose work or interests
involve philosophical logic and its applications.
Contents and Contributors
Editorial Preface; D.M. Gabbay.
Modal Logic and Self-Reference; C. Smorynski.
Diagonalization in Logic and Mathematics; D. Jacquette.
Semantics and the Liar Paradox; A. Visser.
The Logic of Fiction; J. Woods, P. Alward.
Index.
May 2004, ISBN 1-4020-2334-0, Hardbound
Book Series: APPLIED LOGIC SERIES : Volume 29
`Towards the end of the nineteenth century, Frege gave us the
abstraction principles and the general notion of functions. Self-application
of functions was at the heart of Russell's paradox. This led
Russell to introduce type theory in order to avoid the paradox.
Since, the twentieth century has seen an amazing number of
theories concerned with types and functions and many applications.
Progress in computer science also meant more and more emphasis on
the use of logic, types and functions to study the syntax,
semantics, design and implementation of programming languages and
theorem provers, and the correctness of proofs and programs. The
authors of this book have themselves been leading the way by
providing various extensions of type theory which have been shown
to bring many advantages. This book gathers much of their
influential work and is highly recommended for anyone interested
in type theory. The main emphasis is on:
Types: from Russell to Ramsey, to Church, to the modern Pure Type
Systems and some of their extensions.
Functions: from Frege, to Russell to Church, to Automath and the
use of functions in mathematics, programming languages and
theorem provers.
The role of types in logic: Kripke's notion of truth, the
evolution and role of the propositions as types concept and its
use in logical frameworks.
The role of types in computation: extensions of type theories
which can better model proof checkers and programming languages
are given.
The first part of the book is historical, yet at the same time,
places historical systems (like Russell's RTT) in the modern
setting. The second part deals with modern type theory as it
developed since the 1940s, and with the role of propositions as
types (or proofs as terms), but at the same time, places another
historical system (the proof checker Automath) in the modern
setting. The third part uses this bridging in the first two parts
between historical and modern systems to propose new systems that
bring more advantages together. This book has much to offer to
mathematicians, logicians and to computer scientists in general.
It will have considerable influence for many years to come.' -
Henk Barendregt
Stochastic geometry, based on current developments in
geometry, probability and measure theory, makes possible modeling
of two- and three-dimensional random objects with interactions as
they appear in the microstructure of materials, biological
tissues, macroscopically in soil, geological sediments etc. In
combination with spatial statistics it is used for the solution
of practical problems such as the description of spatial
arrangements and the estimation of object characteristics. A
related field is stereology, which makes possible inference on
the structures, based on lower-dimensional observations.
Unfolding problems for particle systems and extremes of particle
characteristics are studied. The reader can learn about current
developments in stochastic geometry with mathematical rigor on
one hand and find applications to real microstructure analysis in
natural and material sciences on the other hand.
Audience: This volume is suitable for scientists in mathematics,
statistics, natural sciences, physics, engineering (materials),
microscopy and image analysis, as well as postgraduate students
in probability and statistics.
June 2004, ISBN 1-4020-8102-2, Hardbound
Print ISBN: 0-8247-5396-8
Series Volume: 174
This item is part of the Statistics: Textbooks and Monographs
series.
Description
The only comprehensive work devoted exclusively to this family of
distributions.
A milestone in the published literature on the subject, this
first-ever Handbook of Beta Distribution and Its Applications
clearly enumerates the properties of beta distributions and
related mathematical notions, summarizes modern applications in a
variety of fields, and reviews up-and-coming progress from the
front lines of statistical research and practice.
Table of Contents
Foundations
Limit Theorems
Characterization
Interacting particles
Arithmetical functions
Miscellaneous results
Author Index
Subject Index
Textbook | Print Published: 07/15/2004
Print ISBN: 0-8247-5402-6
Series Volume: 175
This item is part of the Pure and Applied Mathematics series.
Description
This impressive work sees the theory of products of random
variables through from distributions and limit theorems, to
characterizations, to applications in physics, order statistics,
and number theory?using entirely probabilistic arguments in
actualizing the potential of the asymptotic theory of products of
independent random variables and obtaining results with dependent
variables using a new Bonferroni-type argument.
Table of Contents
Foundations
Limit Theorems
Characterization
Interacting Particles
Arithmetical Functions
Miscellaneous Results
Bibliography
Author Index
Subject Index
Textbook | Print Published: 07/15/2004
Print ISBN: 0-8247-5825-0
Series Volume: 176
This item is part of the Statistics: Textbooks and Monographs
series.
Description
Offering more than 25% new material, this reference/text clearly
describes the most recently utilized IRT models and furnishes
detailed explanations of algorithms that can be used to estimate
the item or ability parameters under various IRT
models?surrounding issues related to statistical theory,
numerical methods, and the mechanics of computer programs for
parameter estimation.
Table of Contents
The Item Characteristic Curve: Dichotomous Response
Estimating the Parameters of an Item Characteristic Curve
Maximum Likelihood Estimation of Examinee Ability
Maximum Likelihood Procedures for Estimating Both Ability and
Item Parameters
The Rasch Model
Marginal Maximum Likelihood Estimation and an EM Algorithm
Bayesian Parameter Estimation Procedures
The Graded Item Response
Nominally Scored Items
Markov Chain Monte Carlo Methods
Parameter Estimation with Multiple Groups
Parameter Estimation for a Test with Mixed Item Types