Taxonomic Syntax for First-Order Inference

Most knowledge representation languages are based on classes and taxonomic relationships between classes. Taxonomic hierarchies without defaults or exceptions are semantically equivalent to a collection of formulas in first order predicate calculus. Although designers of knowledge representation languages often express an intuitive feeling that there must be some advantage to representing facts as taxonomic relationships rather than first order formulas, there are few, if any, technical results supporting this intuition. We attempt to remedy this situation by presenting a taxonomic syntax for first order predicate calculus and a series of theorems that support the claim that taxonomic syntax is superior to classical syntax.

Natural Language Syntax and First Order Preference

We have argued elsewhere that first order inference can be made more efficient by using non-standard syntax for first order logic. In this paper we show how a fragment of English syntax under Montague semantics provides the foundation of a new inference procedure. This procedure seems more effective than corresponding procedures based on either classical syntax of our previously proposed taxonomic syntax. This observation may provide a functional explanation for some of the syntactic structure of English.

The Proceedings of the First PHANToM User's Group Workshop

These proceedings summarize the results of the First PHANToM User's Group Workshop held September 27-30, 1996 MIT. The goal of the workshop was to bring together a group of active users of the PHANToM Haptic Interface to discuss the scientific and engineering challenges involved in bringing haptics into widespread use, and to explore the future possibilities of this exciting technology. With over 50 attendees and 25 presentations the workshop provided the first large forum for users of a common haptic interface to share results and engage in collaborative discussions. Short papers from the presenters are contained herein and address the following topics: Research Effort Overviews, Displays and Effects, Applications in Teleoperation and Training, Tools for Simulated Worlds and, Data Visualization.

First example of asymmetric transfer hydrogenation in water induced by a chiral amino alcohol hydrochloride

The low-cost and commercially available (-)-ephedrine hydrochloride was firstly employed in the [RuCl2(1)-cymene)](2)-catalyzed asymmetric transfer hydrogenation of prochiral ketones in water. The reaction could be performed in the open air at rt, affording excellent yields (up to 99%) and good enantioselectivities (up to 83% ee). It provided a further step toward the discovery of simplified catalyst systems for eventual availability. (c) 2005 Published by Elsevier Ltd.

Prediction of 30-day mortality in older patients with a first acute myocardial infarction

This study sought predictors of mortality in patients aged >or=75 years with a first ST-segment elevation myocardial infarction (STEMI) and evaluated the validity of the GUSTO-I and TIMI risk models. Clinical variables, treatment and mortality data from 433 consecutive patients were collected. Univariable and multivariable logistic regression analyses were applied to identify baseline factors associated with 30-day mortality. Subsequently a model predicting 30-day mortality was created and compared with the performance of the GUSTO-I and TIMI models. After adjustment, a higher Killip class was the most important predictor (OR 16.1; 95% CI 5.7-45.6). Elevated heart rate, longer time delay to admission, hyperglycemia and older age were also associated with increased risk. Patients with hypercholesterolemia had a significantly lower risk (OR 0.46; 95% CI 0.24-0.86). Discrimination (c-statistic 0.79, 95% CI 0.75-0.84) and calibration (Hosmer-Lemeshow 6, p = 0.5) of our model were good. The GUSTO-I and TIMI risk scores produced adequate discrimination within our dataset (c-statistic 0.76, 95% CI 0.71-0.81, and c-statistic 0.77, 95% CI 0.72-0.82, respectively), but calibration was not satisfactory (HL 21.8, p = 0.005 for GUSTO-I, and HL 20.6, p = 0.008 for TIMI). In conclusion, short-term mortality in elderly patients with a first STEMI depends most importantly on initial clinical and hemodynamic status. The GUSTO-I and TIMI models are insufficiently adequate for providing an exact estimate of 30-day mortality risk.

Program: a record of the first 40 years of electronic library and information systems

Tedd, L.(2006). Program: a record of the first 40 years of electronic library and information systems. Program: electronic library and information systems,40(1), 11-26.

Can Object (Instance) Diagrams Help First Year Students Understand Program Behaviour?

Thomas, L.A., Ratcliffe, M.B. and Thomasson, B. J., Can Object (Instance) Diagrams Help First Year Students Understand Program Behaviour? in Diagrammatic Representation and Inference, Diagrams 2004, editors A. Blackwell, K. Marriot and Atushi Shimojima, Springer Lecture Notes on Artificial Intelligence, 2980.

France and the Problems of Security and Disarmament after the First World War

Jackson, Peter, 'France and the Problems of Security and Disarmament after the First World War', Journal of Strategic Studies (2006) 29(2) pp.247-280 Special Issue: Enforcing arms limits: Germany post 1919; Iraq post 1991 RAE2008

Labour and the Bomb: The First Eighty Years

Scott, L. (2006). Labour and the Bomb: The First Eighty Years. International Affairs. 82(4), pp.685-700 RAE2008

The D-CIXS X-ray spectrometer on the SMART-1 mission to the Moon - First Results

Grande, Manuel; Kellett, B.; Howe, C.; Perry, C.H., 'The D-CIXS X-ray spectrometer on the SMART-1 mission to the Moon - First Results', Planetary And Space Science (2007) 55(4) pp.494-502 RAE2008

Jam To-morrow and Jam Yesterday, but Never Jam To-day: The of Theology Libraries Planning the Twenty-first Century

The future of theology libraries is far from clear. Since the nineteenth century, theology libraries have evolved to support the work of theological education. This article briefly reviews the development of theology libraries in North America and examines the contextual changes impacting theology libraries today. Three significant factors that will shape theology libraries in the coming decade are collaborative models of pedagogy and scholarship, globalization and rapid changes in information technology, and changes in the nature of scholarly publishing including the digitization of information. A large body of research is available to assist those responsible for guiding the direction of theology libraries in the next decade, but there are significant gaps in what we know about the impact of technology on how people use information that must be filled in order to provide a solid foundation for planning.

Coming conflicts for liberty : a Thanksgiving sermon, preached November 30th, 1899, at a Union service in the First Baptist Church of Fall River, Mass.

The print copy of this sermon is held by Pitts Theology Library. The Pitts Theology Library's digital copy was produced as part of the ATLA/ATS Cooperative Digital Resources Initiative (CDRI), funded by the Luce Foundation. Reproduction note: Electronic reproduction. Atlanta, Georgia : Pitts Theology Library, Emory University, 2003. (Thanksgiving Day Sermons, ATLA Cooperative Digital Resources Initiative, CDRI). Joint CDRI project by: Andover-Harvard Library (Harvard Divinity School), Pitts Theology Library (Emory University), and Princeton Theological Seminary Libraries.