Browsing CS Technical Reports by Issue Date
Now showing items 1-20 of 1767
-
A User-Oriented Description of Scheduler
(University of Wisconsin-Madison Department of Computer Sciences, 1966)A user-oriented description of a program which formulates university timetables is given. This program takes into account each student's choice of courses and each instructor's choice of instruction times. Directions on ... -
Solution of Nonlinear Two-Point Boundary Value Problems by Linear Programming
(University of Wisconsin-Madison Department of Computer Sciences, 1967)A system of n nonlinear ordinary differential equations is considered on the interval [a, b] with at least one of the n boundary conditions specified at each end of the interval. In addition, any available a priori bounds ... -
Current Research in the Computer Simulation of Historical Changes in Language
(University of Wisconsin-Madison Department of Computer Sciences, 1967) -
3600 Drum Scope System Routines for the DD212 Terminal
(University of Wisconsin-Madison Department of Computer Sciences, 1967) -
Schedule - A Program that Uses Instructor and Student Preferences to Form Timetables
(University of Wisconsin-Madison Department of Computer Sciences, 1967)A computer program which forms timetables from instructors' choices of times and students' choices of courses has been used by the Computer Sciences Department at the University of Wisconsin. Instructors are asked to choose ... -
Numerical Studies of Two Dimensional, Steady State Navier-Stokes Equations for Arbitrary Reynolds Number
(University of Wisconsin-Madison Department of Computer Sciences, 1967) -
Storage, Retrieval, and Editing of Information for a Dictionary
(University of Wisconsin-Madison Department of Computer Sciences, 1967)The purpose of this paper is to describe the progress and future plans for the automation of the Dictionary of American Regional English. Although most of the problems which are discussed have already been tackled by ... -
Interval Arithmetic for the Burroughs B5500: Four Algol Procedures and Proofs of Their Correctness
(University of Wisconsin-Madison Department of Computer Sciences, 1968)Four Algol procedures for interval add, subtract, multiply and divide are presented. Also included are proofs that each is correct according to theory developed in the first part of the paper. -
On the Approximate Minimization of Functionals
(University of Wisconsin-Madison Department of Computer Sciences, 1968) -
The Autoling System
(University of Wisconsin-Madison Department of Computer Sciences, 1968)The AUTOLING system represents an attempt to replace the human linguist with a machine in the process of linguistic fieldwork with an informant. To the extent that the attempt succeeds, the analytic and heuristic methodology ... -
A Self-Directing Teaching Program That Generates Simple Arithmetic Problems
(University of Wisconsin-Madison Department of Computer Sciences, 1968)This paper describes a digital computer program (COACH) written in extended Algol that is currently operating on the Burroughs B550O. The program automatically (1)generates its own problems in simple arithmetic, (2)evaluates ... -
On Newton-Like Methods
(University of Wisconsin-Madison Department of Computer Sciences, 1968) -
Deriving and Tabulating English Spelling-to-Sound Correspondences
(University of Wisconsin-Madison Department of Computer Sciences, 1968)A series of programs has been written for deriving and tabulating English spelling-to-sound and sound-to-spelling correspondences. One program scans the spelling and pronunciation of a word and decides which sounds in the ... -
Correctness of the Algol Procedure Askforhand
(University of Wisconsin-Madison Department of Computer Sciences, 1968)Reasons are given to justify the writing of this particular proof of correctness. They include (i) illustration of some new techniques of proof, (ii) experimentation with a method of presenting a proof and (iii) presentation ... -
Finite Difference Methods and the Eigenvalue Problem for Non Self-Adjoint Sturm-Liouville Operators
(University of Wisconsin-Madison Department of Computer Sciences, 1968) -
A Memory Net Structure: Present Implementation and a Proposed Language
(University of Wisconsin-Madison Department of Computer Sciences, 1968)A memory net structure has been designed which is particularly useful for storing, processing, and retrieving information of the type used in semantic analysis of natural language, question answering and theorem proving. ... -
Convergence of the Conjugate Gradient Method: A Correction and a Different Approach
(University of Wisconsin-Madison Department of Computer Sciences, 1968) -
Single Step Methods for the Solution of Singular Initial Value Problems
(University of Wisconsin-Madison Department of Computer Sciences, 1968) -
The Anatomy of an Algol Procedure
(University of Wisconsin-Madison Department of Computer Sciences, 1968)A specific Algol procedure is analyzed in great detail in order to obtain an analysis of exactly what it does. The strategy of analysis is first explained, and the remainder of the paper consists of the written analysis. ... -
On the Convergence of a Numerical Method for Optimal Control Problems
(University of Wisconsin-Madison Department of Computer Sciences, 1968)