Describes how operations on local inverted files are to be modified in order to use them in distributed information retrieval systems based on thesauri. The presented rules may be viewed as the logical approach in implementing a distributed retrieval system consisting of n local retrieval systems. (Author/MBR)

Describes Fermat's last theorem and shows the proof for the case when the exponent is four. Outlines other works for the proof of the theorem, including Kummer's. Twelve references are listed. (YP)

A Bayesian argument is used to suggest modifications to the Robertson and Jones relevance weighting formula to accommodate the addition to the query of terms taken from the relevant documents identified during the search. (Author)

Lists five criteria in the acceptance of mathematical theorems, such as understanding, significance, compatibility, reputation, and convincing argument. Concludes that social and language factors are involved in the process of the acceptance. (YP)

Discusses indeterminancy of selection of terms by indexers and by inquirers as major factors influencing subject access to documents in document retrieval systems. Five types of interactions between these two indeterminancies are discussed, and a change in traditional method of subject searching is suggested to reduce effect of inter-indexer…

The purpose of this paper is to provide an overview of the analysis of data collected by the National Assessment of Educational Progress (NAEP). In simplest terms, the analysis can be characterized as establishing baseline estimates of the percentages of young Americans possessing certain skills, knowledge, understandings, and attitudes and…

Describes two easily applied mathematical theorems, Budan's rule and Rolle's theorem, that in addition to Descartes's rule of signs and intermediate-value theorem, are useful in chemical equilibrium. Provides examples that illustrate the use of all four theorems. Discusses limitations of the polynomial equation representation of chemical…