Search
Now showing items 1-10 of 28
The Solution of the Dirichlet Problem for Laplace's Equation when the Boundary Data is Discontinuous and the Domain has a Boundary which is of Bounded Rotation by Means of the Lebesgue-Stieltjes Integral Equation for the Double Layer Potential
(University of Wisconsin-Madison Department of Computer Sciences, 1970)
Statistical Investigation of Three Storage Allocation Algorithms
(University of Wisconsin-Madison Department of Computer Sciences, 1970)
Fast Finite-Difference Solution of Biharmonic Problems
(University of Wisconsin-Madison Department of Computer Sciences, 1970)
The Sac-1 Polynomial Real Zero System
(University of Wisconsin-Madison Department of Computer Sciences, 1970)
An Interactive, Heuristic Program for Learning Transformational Grammars
(University of Wisconsin-Madison Department of Computer Sciences, 1970)
An interactive system for learning transformational grammars of natural languages has been programmed in ALGOL and is operational on a B5500 timesharing
system. The program is part of an "automated linguistic fieldworker" ...
A Correctness Proof of the Fisher-Galler Algorithm Using Inductive Assertions
(University of Wisconsin-Madison Department of Computer Sciences, 1970)
Flexible Linguistic Pattern Recognition
(University of Wisconsin-Madison Department of Computer Sciences, 1970)
Numerical Approximation of Periodic Solutions of van der Pol's Equation
(University of Wisconsin-Madison Department of Computer Sciences, 1970)
Two new discrete methods, one based on discrete mechanics, the other based on high-order Taylor series, are developed and applied to approximate periodic solutions of van der Pol's equation. Typical numerical results are ...
A Generative Cai Program That Teaches Algebra
(University of Wisconsin-Madison Department of Computer Sciences, 1970)
Bibliography on Proving the Correctness of Computer Programs - Addition No. 1
(University of Wisconsin-Madison Department of Computer Sciences, 1970)
The continued research activity in proving the correctness of computer programs and the widespread interest in my previous program proving bibliography (London 1970a) encourage me to compile these additional updating ...