Search
Now showing items 1-10 of 37
A Net Structure for Semantic Information Storage, Deduction and Retrieval
(University of Wisconsin-Madison Department of Computer Sciences, 1971)
This paper descril3es a data structure, MENS (MEmory Net Structure), that is useful for storing semantic information stemming Crom a natural language, and a system, MENTAL (MEmory Net That Answers and Learns) that interacts ...
BIBCON: An 1108 Program for Producing Concordances to Prose, Poetry and Bibliographic References
(University of Wisconsin-Madison Department of Computer Sciences, 1971)
Numerical Studies of Flow Between Rotating Coaxial Disks
(University of Wisconsin-Madison Department of Computer Sciences, 1971)
A new algorithm, which is exceptionally fast for certain choices of numerical parameters, is described for the study of nonlinear, incompressible flow between two rotating disks. Typical examples for Reynolds number R in ...
Noise-like Transforms of Omega-Events
(University of Wisconsin-Madison Department of Computer Sciences, 1971)
The present paper considers the effects of several types of noiselike transforms on regular sets of infinite tapes. These transforms can be interpreted as message distortions resulting from factors such as statis, deletion, ...
A Proof of the Instability of Backward-Difference Multistep Methods for the Numerical Integration of Ordinary Differential Equations
(University of Wisconsin-Madison Department of Computer Sciences, 1971)
Interactive Graphical Spline Approximation to Boundary Value Problems
(University of Wisconsin-Madison Department of Computer Sciences, 1971)
Earlier work on interactive graphical approximation of data using linear programming has now been extended to ordinary differential equation multipoint boundary value problems. The approximation is obtained using a suitable ...
The SAC-1 List Processing System
(University of Wisconsin-Madison Department of Computer Sciences, 1971)
SAC-1 is a computer-independent system for Symbolic and Algebraic Calculation, programmed in Fortran IV (as defined by USASI). The system is especially directed towards efficient performance of large-scale calculatios ...
The SAC-1 Rational Functional System
(University of Wisconsin-Madison Department of Computer Sciences, 1971)
Complete Minimum Discrepancy Distributions for One Through Six Points in the Unit Square
(University of Wisconsin-Madison Department of Computer Sciences, 1971)
Approximate Solutions and Error Bounds for Quadiliniear Elliptic Boundary Value Problems
(University of Wisconsin-Madison Department of Computer Sciences, 1971)
An error bound for a quasilinear elliptic boundary value problem (including the case of nonlinear differential boundary conditions) is obtained as a positively weighted sum of the absolute defects of the operator equations. ...