Synthesis of Binary Ring Counters of Given Periods.
On Relevance, Probabilistic Indexing and Information Retrieval.
Solution of Linear Systems by Richardson's Method.
A Computing Procedure for Quantification Theory.
Analysis of Nets by Numerical Methods.
On the Consistency of Precedence Matrices.
Computation of the Frequency Function of a Quadratic Form in Random Normal Variables.
On an Alternating Direction Method for Solving the Plate Problem with Mixed Boundary Conditions.
On Sturm Sequences for Tridiagonal Matrices.