Aldo Antonelli
University of California, Irvine
Grounded Consequence for Defeasible Logic
Hardback (ISBN-10: 0521842050 | ISBN-13: 9780521842051)
136 pages | 228 x 152 mm
In stock (Stock level updated: 06:15 GMT, 23 January 2006)
This is a title on the foundations of defeasible logic, which
explores the formal properties of everyday reasoning patterns
whereby people jump to conclusions, reserving the right to
retract them in the light of further information. Although
technical in nature the book contains sections that outline basic
issues by means of intuitive and simple examples. This book is
primarily targeted at philosophers interested in the foundations
of defeasible logic, logicians, and specialists in artificial
intelligence and theoretical computer science.
* Interesting and innovative technical proposal in the
foundations of defeasible reasoning
* Introductory sections accessible to the general reader
* Intuitive examples used to illustrate and motivate the main
points
Contents
1. The logic of defeasible inference; 2. Cyclic networks; 3.
General extensions; 4. Defeasible consequence.
Review
eAntonelli applies some of the techniques developed in Kripkefs
approach to the paradoxes to generalize some of the most popular
formalisms for nonmonotonic reasoning, particularly Default Logic.
The result is a complex and sophisticated theory that is
technically solid and attractive from an intuitive standpoint.f
John Horty, Committee on Philosophy and the Sciences, University
of Maryland, College Park
F. Iachello / Yale University, Connecticut
A. Arima / University of Tokyo
The Interacting Boson Model
Series: Cambridge Monographs on Mathematical Physics
Paperback (ISBN-10: 0521028795 | ISBN-13: 9780521028790)
Not yet published - available from May 2006 (Stock level updated:
06:15 GMT, 23 January 2006)
Price is not yet set
The interacting boson model was introduced in 1974 as an attempt
to describe collective properties of nuclei in a unified way.
Since 1974, the model has been the subject of many investigations
and it has been extended to cover most aspects of nuclear
structure. This book gives an account of the properties of the
interacting boson model. In particular, this book presents the
mathematical techniques used to analyze the structure of the
model. It also collects in a single, easily accessible reference
all the formulas that have been developed throughout the years to
account for collective properties of nuclei. Suitable for both
theorists and experimentalists.
Contents
Preface; Part I. The Interacting Boson Model -1: 1. Operators; 2.
Algebras; 3. Geometry; Part II. The Interacting Boson Model -2: 4.
Operators; 5. Algebras; 6. Geometry; Part III. The Interacting
Boson Model -k: 7. The interacting boson models -3 and -4; 8. The
interacting boson models -G, -F, -CM; 9. Group elements;
References; Index.
Edited by Luis Pardo / Allan Pinkus / Endre Suli / Mike Todd
Foundations of Computational Mathematics, Santander 2005
Series: London Mathematical Society Lecture Note Series (No. 331)
Paperback (ISBN-10: 0521681618 | ISBN-13: 9780521681612)
Not yet published - available from May 2006 (Stock level updated:
06:15 GMT, 23 January 2006)
Price is not yet set
This volume is a collection of articles based on the plenary
talks presented at the 2005 meeting in Santander of the Society
for the Foundations of Computational Mathematics. The talks were
given by some of the foremost world authorities in computational
mathematics. The topics covered reflect the breadth of research
within the area as well as the richness and fertility of
interactions between seemingly unrelated branches of pure and
applied mathematics. As a result this volume will be of interest
to researchers in the field of computational mathematics and also
to non-experts who wish to gain some insight into the state of
the art in this active and significant field.
* chapters based on plenary talks given by world authorities
* chapters reflect richness and diversity of area of
computational mathematics
* written to appeal to non-experts and to specialists
Contents
1. Fokker?Planck equations, diluted polymers and sparse finite
element methods Endre Suli; 2. Low-volume hyperbolic 3-manifolds
Robert Meyerhoff; 3. Algorithms in tropical algebraic geometry
Bernd Sturmfels; 4. Estimates on the probability distribution of
condition numbers of special data Luis Pardo; 5. Long-time energy
conservation of numerical integrators Ernst Hairer; 6. Greedy
approximations Vladimir Temlyakov; 7. Noether's theorem for
smooth, finite difference and finite element models E. L.
Mansfield; 8. Numerical integration in hundreds of dimensions:
the lattice side of the story Ian Sloan; 9. Computational
homology in dynamical systems Konstantin Mischaikow; 10.
Numerical methods for high(er)-dimensional problems Michael
Griebel; 11. Nonsmooth optimization and eigenvalues Adrian Lewis;
12. The cost of accurate numerical linear algebra Jim Demmel.
Anders Kock
Synthetic Differential Geometry, 2nd Edition
Series: London Mathematical Society Lecture Note Series (No. 333)
Paperback (ISBN-10: 0521687381 | ISBN-13: 9780521687386)
Not yet published - available from July 2006 (Stock level updated:
06:15 GMT, 23 January 2006)
Synthetic Differential Geometry is a method of reasoning in
differential geometry and differential calculus, based on the
assumption of sufficiently many nilpotent elements on the number
line, in particular numbers d such that d2=0. The use of
nilpotent elements allows one to replace the limit processes of
calculus by purely algebraic calculations and notions. For the
first half of the book familiarity with differential calculus and
abstract algebra is presupposed during the development of results
in calculus and differential geometry on a purely axiomatic/synthetic
basis. In the second half basic notions of category theory are
presumed in the construction of suitable Cartesian closed
categories and the interpretation of logical formulae within them.
This is a second edition of Kock's classical text from 1981. Many
notes have been included, with comments on developments in the
field from the intermediate years, and almost 100 new
bibliographic entries have been added.
* Straightforward easy to read style with many excercises
* No knowledge of differential geometry is presupposed
* A much quoted classic now in 2nd edition, the two layers of the
book (1981 and 2006) are clearly distinguished
Contents
Preface to the second edition (2005) ; Preface to the first
edition (1981) ; I. The synthetic theory: 1. Basic structure on
the geometric line; 2. Differential calculus; 3. Taylor formulae
- one variable; 4. Partial derivatives; 5. Taylor formulae -
several variables; 6. Some important infinitesimal objects; 7.
Tangent vectors and the tangent bundle; 8. Vector fields; 9. Lie
bracket; 10. Directional derivatives; 11. Functional analysis -
jacobi identity; 12. The comprehensive axiom; 13. Order and
integration; 14. Forms and currents; 15. Currents - stokes'
theorem; 16. Weil algebras; 17. formal manifolds; 18.
Differential forms in terms of simplices; 19. Open covers; 20.
Differential forms as quantities; 21. Pure geometry; II.
Categorical logic: 1. Generalized elements; 2. Satisfaction (1);
3. Extensions and descriptions; 4. Semantics of function objects;
5. Axiom 1 revisited; 6. Comma categories; 7. Dense class of
generators; 8. Satisfaction (2); 9. Geometric theories; III.
Models: 1. Models for axioms 1, 2, and 3; 2. Models for epsilon-stable
geometric theories; 3. Well-adapted models (1); 4. Well-adapted
models (2); 5. The algebraic theory of smooth functions; 6. Germ-determined
T-infinity-algebras; 7. The open cover topology; 8. Construction
of well-adapted models; 9. Manifolds with boundary;10. Field
property - germ algebras; 11. Order and integration in cahiers
topos; Appendices; Bibliography; Index.
Robert A. Day / University of Delaware
Barbara Gastel / Texas A & M University
How to Write and Publish a Scientific Paper, 6th Edition
Paperback (ISBN-10: 0521671671 | ISBN-13: 9780521671675)
Not yet published - available from August 2006 (Stock level
updated: 06:15 GMT, 23 January 2006)
This practical guide is designed to help scientific researchers
write and publish their work in a scientific journal. It provides
information on how to prepare each section of a scientific paper,
covering the abstract, introduction, methods, results,
discussion, acknowledgements and references. Retaining the core
material that made earlier editions such a success, this new
edition includes sections on approaching a writing project,
understanding the ethics of scientific publishing, and writing
about science for non-native speakers of English. The book
explains how journals function and advises on choosing an
appropriate journal. It offers guidance on writing theses, review
articles, grant proposals, and preparing scientific materials for
the public. Appendices include lists of useful abbreviations,
expressions to avoid in scientific writing, and corrections of
common style errors and spelling mistakes. This book is a
valuable guide to scientists at all levels, from new graduate
students to experienced professionals.
* New edition of one of the worldfs bestselling scientific
writing guides.
* Includes new chapters on approaching a writing project, the
ethics of scientific publishing, preparing grant proposals,
writing for the public, writing in English as a second language,
and providing peer review
* Offers advice on how to prepare each section of a scientific
paper, and clarifies the submission and publication process
Contents
Part I. Some Preliminaries: 1. What is scientific writing?; 2.
Historical perspective; 3. Approaching a writing project; 4. What
is a scientific paper?; 5. Ethics in scientific publishing; 6.
Where to submit your manuscript; Part II. Preparing the Text: 7.
How to prepare the title; 8. How to list the authors and
addresses; 9. How to prepare the abstract; 10. How to write the
introduction; 11. How to write the materials and methods section;
12. How to write the results; 13. How to write the discussion; 14.
How to state the acknowledgements; 15. How to cite the
references; Part III. Preparing the Tables and Figures: 16. How
to design effective tables; 17. How to prepare effective graphs;
18. How to prepare effective photographs; Part IV. Publishing the
Paper: 19. Rights and permissions; 20. How to submit the
manuscript; 21. The review process (how to deal with editors); 22.
The publishing process (how to deal with proofs); Part V. Doing
Other Writing for Publication: 23. How to write a review paper;
24. How to write opinion (book reviews, editorials, and letters
to the editor); 25. How to write a book chapter or a book; 26.
How to write for the public; Part VI. Conference Communications:
27. How to present a paper orally; 28. How to prepare a poster;
29. How to write a conference report; 30. Use and misuse of
English; 31. Avoiding jargon; 32. How and when to use
abbreviations; 33. Writing clearly across cultures and media; 34.
How to write science in English as a foreign language; Part VII.
Other Topics in Scientific Communication: 35. How to write a
thesis; 36. How to prepare a curriculum vitae; 37. How to prepare
grant proposals and progress reports; 38. How to write a
recommendation letter - and how to ask for one; 39. How to work
with the media; 40. How to provide peer review; 41. How to seek a
scientific-communication career; Appendices.