ACM DL

Journal of the ACM (JACM)

Menu

Search Issue
enter search term and/or author name

Archive


Journal of the ACM (JACM), Volume 7 Issue 3, July 1960

A Computing Procedure for Quantification Theory
Martin Davis, Hilary Putnam
Pages: 201-215
DOI: 10.1145/321033.321034
The hope that mathematical methods employed in the investigation of formal logic would lead to purely computational methods for obtaining mathematical theorems goes back to Leibniz and has been revived by Peano around the turn of the century and...

On Relevance, Probabilistic Indexing and Information Retrieval
M. E. Maron, J. L. Kuhns
Pages: 216-244
DOI: 10.1145/321033.321035
This paper reports on a novel technique for literature indexing and searching in a mechanized library system. The notion of relevance is taken as the key concept in the theory of information retrieval and a comparative concept...

Computation of the Frequency Function of a Quadratic Form in Random Normal Variables
Walter F. Freiberger, Richard H. Jones
Pages: 245-250
DOI: 10.1145/321033.321036
One of the outstanding problems in the theory of time series analysis is the distribution problem in spectral analysis for small samples. When the number of observations is sufficiently large for the Central Limit Theorem to be applicable, the...

Analysis of Nets by Numerical Methods
Arthur Gill
Pages: 251-254
DOI: 10.1145/321033.321037
The assignment of prime numbers to the branches of directed or non-directed nets, enables one to construct transition matrices in a numerical, rather than a symbolic, form. The numerical form greatly facilitates the construction of higher-order...

On the Consistency of Precedence Matrices
Frank Harary
Pages: 255-259
DOI: 10.1145/321033.321038
The consistency of precedence matrices is studied in the very natural geometric setting of the theory of directed graphs. An elegant recent procedure (Marimont [7]) for checking consistency is further justified by means of a graphical lemma. In...

On Sturm Sequences for Tridiagonal Matrices
J. M. Ortega
Pages: 260-263
DOI: 10.1145/321033.321039

On an Alternating Direction Method for Solving the Plate Problem with Mixed Boundary Conditions
Samuel D. Conte, Ralph T. Dames
Pages: 264-273
DOI: 10.1145/321033.321040

Solution of Linear Systems by Richardson's Method
Werner L. Frank
Pages: 274-286
DOI: 10.1145/321033.321041

Synthesis of Binary Ring Counters of Given Periods
G. B. Fitzpatrick
Pages: 287-297
DOI: 10.1145/321033.321042
A number of papers have been written from time to time about logical counters of a certain type which have quite simple logic and have been variously referred to as Binary Ring Counters, Shift Register Counters, Johnson Counters, etc. To my...