Sequential Search: A Method for Solving Constrained Optimization Problems.
A New Normal-Form Theorem for Context-Free Phrase Structure Grammars.
Approximation of Solutions of Mixed Boundary Value Problems for Poisson's Equation by Finite Differences.
Numerical Evaluation of Symmetric Polynomials.
A Fast Direct Solution of Poisson's Equation Using Fourier Analysis.
A Fixed Optimum Cell-Size for Records of Various Lengths.
A Machine-Oriented Logic Based on the Resolution Principle.
A Modified Multistep Method for the Numerical Integration of Ordinary Differential Equations.
An Error Bound for a Numerical Filtering Technique.
A Programming Language for Simulating Digital Systems.
Uniform Random Number Generators.
Analysis and Synthesis of Stable Linear Sequential Circuits.
A Turing Machine Simulator.