Browsing CS Technical Reports by Issue Date
Now showing items 120 of 1757

A UserOriented Description of Scheduler
(University of WisconsinMadison Department of Computer Sciences, 1966)A useroriented 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 ... 
3600 Drum Scope System Routines for the DD212 Terminal
(University of WisconsinMadison Department of Computer Sciences, 1967) 
Solution of Nonlinear TwoPoint Boundary Value Problems by Linear Programming
(University of WisconsinMadison 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 ... 
Numerical Studies of Two Dimensional, Steady State NavierStokes Equations for Arbitrary Reynolds Number
(University of WisconsinMadison Department of Computer Sciences, 1967) 
Schedule  A Program that Uses Instructor and Student Preferences to Form Timetables
(University of WisconsinMadison 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 ... 
Current Research in the Computer Simulation of Historical Changes in Language
(University of WisconsinMadison Department of Computer Sciences, 1967) 
Storage, Retrieval, and Editing of Information for a Dictionary
(University of WisconsinMadison 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 WisconsinMadison 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. 
The Autoling System
(University of WisconsinMadison 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 SelfDirecting Teaching Program That Generates Simple Arithmetic Problems
(University of WisconsinMadison 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 the Convergence of a Numerical Method for Optimal Control Problems
(University of WisconsinMadison Department of Computer Sciences, 1968) 
A Parametric Method for SemiDefinite Quadratic Programs
(University of WisconsinMadison Department of Computer Sciences, 1968)This paper describes a parametric method for solving semidefinite quadratic programs which seems to be well suited for problems with a large number of constraints. All computations are performed by pivotal operations on ... 
A Decomposition Method for Structured Linear and NonLinear Programs
(University of WisconsinMadison Department of Computer Sciences, 1968)A decomposition method for nonlinear programming problems with structured linear constraints is described. The structure of the constraint matrix is assumed to be block diagonal with a few coupling constraints and/or ... 
A Semantic Associational Memory Net That Learns and Answers Questions
(University of WisconsinMadison Department of Computer Sciences, 1968)This paper describes a general semantic memory structure and associated executive functions, which, using the memory, are capable of learning and answering questions. The system is capable of three types of learning: by ... 
Single Step Methods for the Solution of Singular Initial Value Problems
(University of WisconsinMadison Department of Computer Sciences, 1968) 
Finite Difference Methods and the Eigenvalue Problem for Non SelfAdjoint SturmLiouville Operators
(University of WisconsinMadison Department of Computer Sciences, 1968) 
Convergence of the Conjugate Gradient Method: A Correction and a Different Approach
(University of WisconsinMadison Department of Computer Sciences, 1968) 
Correctness of the Algol Procedure Askforhand
(University of WisconsinMadison 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 ... 
Characterizations of Real Matrices of Monotone Kind
(University of WisconsinMadison Department of Computer Sciences, 1968) 
Numerical Studies of Viscous, Incompressible Flow Through an Orifice for Arbitrary Reynolds Number
(University of WisconsinMadison Department of Computer Sciences, 1968)