Humanist Discussion Group, Vol. 17, No. 727.
Centre for Computing in the Humanities, King's College London
www.kcl.ac.uk/humanities/cch/humanist/
www.princeton.edu/humanist/
Submit to: humanist@princeton.edu
Date: Thu, 25 Mar 2004 06:34:07 +0000
From: Willard McCarty <willard.mccarty@kcl.ac.uk>
Subject: new books
(1)
Volume 3 Number 1 of Software and Systems Modeling is now available on the
SpringerLink web site at http://springerlink.metapress.com.
This issue contains:
Editorial
In search of effective design abstractions p. 1
DOI: 10.1007/s10270-004-0052-3
Experts voice UML 3.0 and the future of modeling p. 4
DOI: 10.1007/s10270-004-0051-4
Regular papers
OCL 1.4/5 vs. 2.0 Expressions Formal semantics and expressiveness p. 9
DOI: 10.1007/s10270-003-0035-9
Regular paper
Formalization of UML state machines using temporal logic p. 31
DOI: 10.1007/s10270-003-0029-7
Regular paper
Nesting in Euler Diagrams: syntax, semantics and construction p. 55
DOI: 10.1007/s10270-003-0036-8
Regular paper
The OsMoSys approach to multi-formalism modeling of systems
(2)
International Symposium on History of Machines and Mechanisms
edited by
Marco Ceccarelli
Dipartmento di Meccanica, Strutture, Ambiente e Territorio, University of
Cassino, Italy
The HMM2004 International Symposium on History of Machines and Mechanisms
is the second event of a series that started in 2000 as the main activity
of the IFToMM Permanent Commission for History of MMS, Mechanism and
Machine Science. The aim of the HMM Symposium is to be a forum to exchange
views, opinions, and experiences on the history of MMS from technical
viewpoints in order to track the past but also to look at future
developments in MMS. These Proceedings contain about 30 papers by authors
from all around the world. The papers cover the wide range of the history
of mechanical engineering. and particularly the history of MMS. The
contributions address mainly technical aspects of historical developments
of machines and mechanisms. The history of the IFToMM, the International
Federation for the Promotion of Mechanism and Machine Science, is also
outlined through the historical activities of its Commissions. Original
sources are referenced in the papers so that these Proceedings can be also
considered a kind of handbook on the history of machines and mechanisms.
This book is of interest to researchers, graduate students and engineers
specializing or addressing attention to history of science and technology,
and particularly on history of MMS.
Hardbound ISBN: 1-4020-2203-4 Date: May 2004 Pages: 406 pp.
EUR 150.00 / USD 165.00 / GBP 104.00
(3)
Designing Personalized User Experiences in eCommerce
edited by
Clare-Marie Karat
IBM TJ Watson Research Center, Hawthorne, NY, USA
Jan O. Blom
Nokia Research Center, Helsinki, Finland
John Karat
IBM TJ Watson Research Center, Hawthorne, NY, USA
HUMAN-COMPUTER INTERACTION SERIES -- 5
How do you design personalized user experiences that delight and provide
value to the customers of an eCommerce site? Personalization does not
guarantee high quality user experience: a personalized user experience has
the best chance of success if it is developed using a set of best practices
in HCI. In this book 35 experts from academia, industry and government
focus on issues in the design of personalized web sites. The topics range
from the design and evaluation of user interfaces and tools to information
architecture and computer programming related to commercial web sites. The
book covers four main areas:
* Theoretical, Conceptual, and Architectural Frameworks of
Personalization,
* Research on the Design and Evaluation of Personalized User
Experiences in Different Domains,
* Approaches to personalization Through Recommender Systems,
* Lessons Learned and Future Research Questions.
This book will be a valuable tool in helping the reader to understand the
range of factors to take into consideration in designing and building a
personalized user experience. The authors of each of the chapters identify
possibilities and alert the reader to issues that can be addressed in the
beginning of a project by taking a 'big picture' view of designing
personalized user interfaces. For anyone working or studying in the field
of HCI, information architecture or eCommerce, this book will provide a
solid foundation of knowledge and prepare for the challenges ahead.
Hardbound ISBN: 1-4020-2147-X Date: April 2004 Pages: 360 pp.
EUR 113.00 / USD 125.00 / GBP 78.00
(4)
Higher Education and the Challenge of Sustainability
Problematics, Promise, and Practice
edited by
Peter Blaze Corcoran
Florida Gulf Coast University, Fort Myers, USA
Arjen E.J. Wals
Wageningen University, The Netherlands
Sustainability challenges universities around the world to rethink their
missions and to re-structure their courses, research programs, and life on
campus. Graduates are increasingly exposed to notions of sustainability,
which are emotionally, politically, ethically, and scientifically charged.
They must be able to deal with conflicting norms and values, uncertain
outcomes and futures, and a changing knowledge base. At the same time they
will need to be able to contextualize knowledge in an increasingly
globalized society.
This book provides a variety of valuable theoretical and practical
resources for students, teachers, researchers, and administrators who seek
to integrate sustainability in higher education. Sustainability is not only
explored as both an outcome and a process of learning, but as a catalyst
for educational change and institutional innovation. The book raises the
various problematics related to this inchoate field and provides an
intellectual history and critical assessment of the prospects for
institutionalizing sustainability in higher education.
Special Offer
Pre-publication offer (hardbound edition) valid until 31 March 2004: EUR
90.00/USD 99.00/GBP 63.00
Pre-publication offer (paperback edition) valid until 31 March 2004: EUR
34.00/USD 38.00/GBP 24.00
(Please refer to promotional code 738020 when ordering.)
Hardbound ISBN: 1-4020-2026-0 Date: April 2004 Pages: 382 pp.
EUR 145.00 / USD 160.00 / GBP 101.00
(5)
Induction and Deduction in the Sciences
edited by
Friedrich Stadler
University of Vienna and Institute Vienna Circle, Austria
VIENNA CIRCLE INSTITUTE YEARBOOK -- 11
The articles in this volume deal with the main inferential methods that can
be applied to different kinds of experimental evidence. These contributions
- accompanied with critical comments - by renowned scholars in the field of
philosophy of science aim at removing the traditional opposition between
inductivists and deductivists . They explore the different methods of
explanation and justification in the sciences in different contexts and
with different objectives.
The volume contains contributions on methods of the sciences, especially on
induction, deduction, abduction, laws, probability and explanation, ranging
from logic, mathematics, natural to the social sciences. They present a
highly topical pluralist re-evaluation of methodological and foundational
procedures and reasoning, e.g. focusing in Bayesianism and Artificial
Intelligence.
They document the second international conference in Vienna on "Induction
and Deduction in the Sciences" as part of the Scientific Network on
"Historical and Contemporary Perspectives of Philosophy of Science in
Europe", funded by the European Science Foundation (ESF).
Hardbound ISBN: 1-4020-1967-X Date: April 2004 Pages: 359 pp.
EUR 140.00 / USD 154.00 / GBP 97.00
(6)
Handbook of Philosophical Logic, Second Edition
edited by
Dov M. Gabbay
Dept. of Computer Science, King's College, London, UK
F. Guenthner
Zentrum fuer Informations- und Sprachverarbeitung,
Ludwig-Maximilians-Universitaet, Muenchen, Germany
HANDBOOK OF PHILOSOPHICAL LOGIC, *SECOND EDITION* -- 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.
Special Offer
A special 15% discount on list prices applies when placing a
standing/continuation order for all 18 volumes in this series
(Please refer to promotional code 738020 when ordering.)
CONTENTS AND CONTRIBUTORS
* Editorial Preface; D.M. Gabbay.
* Modal Logic and Self-Reference; C. Smory=C5=84ski.
* Diagonalization in Logic and Mathematics; D. Jacquette.
* Semantics and the Liar Paradox; A. Visser.
* The Logic of Fiction; J. Woods, P. Alward.
* Index.
Hardbound ISBN: 1-4020-1966-1 Date: March 2004 Pages: 338 pp.
EUR 129.00 / USD 142.00 / GBP 89.00
This archive was generated by hypermail 2b30 : Fri May 07 2004 - 17:01:50 EDT