Browsing CS Technical Reports by Issue Date
Now showing items 4160 of 1770

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 ... 
Iterative Solution of the Neumann Problem on a Rectangle by Successive Line OverRelaxation
(University of WisconsinMadison Department of Computer Sciences, 1968) 
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 ... 
Compose./Compoise: An Experimental Text Editor
(University of WisconsinMadison Department of Computer Sciences, 1968) 
Numerical Studies of Viscous, Incompressible Flow for Arbitrary Reynolds Number
(University of WisconsinMadison Department of Computer Sciences, 1968) 
Numerical Studies of Steady, Viscous, Incompressible Flow in a Channel with a Step
(University of WisconsinMadison Department of Computer Sciences, 1968) 
A Retrospective and Prospective Survey of the Monte Carlo Method
(University of WisconsinMadison Department of Computer Sciences, 1968) 
Continuity in the Strong Topology of Operator Valued Solution of Nonlinear Differential Equations with an Application to Optimal Control
(University of WisconsinMadison Department of Computer Sciences, 1968) 
BIBCON: A 3600 Program for Producing Concordances to Prose, Poetry and Bibliographic References
(University of WisconsinMadison Department of Computer Sciences, 1969) 
A Note on the Eigenvalue Problem with Sublinear Hammerstein Operations
(University of WisconsinMadison Department of Computer Sciences, 1969) 
A Semantic Theory Based Upon Interactive Meaning
(University of WisconsinMadison Department of Computer Sciences, 1969)When words are combined to form an expression, very often the expression means more than just the sum of the meaning of its constituents. The extra semantic information that the expression carries is semantic interaction ... 
Stability Analysis in Discrete Mechanics
(University of WisconsinMadison Department of Computer Sciences, 1969) 
Bibliography on Proving the Correctness of Computer Programs
(University of WisconsinMadison Department of Computer Sciences, 1969) 
A Simple, Global, Complementary Variational Principle
(University of WisconsinMadison Department of Computer Sciences, 1969) 
Flexible Pattern Recognition
(University of WisconsinMadison Department of Computer Sciences, 1969)This paper presents and describes a sequence of three computer programs that examine what "flexibility" might mean in the context of pattern recognition. Flexibility is a vague, but important, concept, and it is something ... 
Proofs of Algorithms for Asymptotic Series
(University of WisconsinMadison Department of Computer Sciences, 1969)Six algorithms for computing asymptotic series as formulas are proved to be correct. 
Convergence of a Discretization for Constrained Spline Function Problems
(University of WisconsinMadison Department of Computer Sciences, 1969) 
Topological Problems Arising When Solving Boundary Value Problems for Elliptic Partial Differential Equations by the Method of Finite Differences
(University of WisconsinMadison Department of Computer Sciences, 1969) 
Monte Carlo Simulation of Language Change in Tikopia & Maori
(University of WisconsinMadison Department of Computer Sciences, 1969) 
Monte Carlo Integration with Sequential Stratification
(University of WisconsinMadison Department of Computer Sciences, 1969)