Physical Sciences and Mathematics Commons^™

A New Ordering Scheme For The Hermite Bicubic Collocation Equations, Wayne R. Dyksen, John R. Rice

Department of Computer Science Technical Reports

No abstract provided.

Algebraic Complexity Theory, Nicholas Pippenger

All HMC Faculty Publications and Research

Algebraic complexity theory, the study of the minimum number of operations sufficient to perform algebraic computations, is surveyed with emphasis on the general theory of bilinear forms and two of its applications: polynomial multiplication and matrix multiplication. Though by no means exhausting algebraic complexity theory, these topics illustrate well its development and its methods, and provide examples of its most striking successes.

A Simulation Model For Assessing Alternate Strategies For Beef Production With Land, Energy And Economic Constraints, Otto J. Loewer, E. M. Smith, G. Benock, Thomas C. Bridges, Larry G. Wells, Nelson Gay, S. Burgess, L. Springate, David L. Debertin

Biosystems and Agricultural Engineering Faculty Publications

A computer model has been developed to analyze alternate management strategies and energy and economic constraints. Daily production of beef animals and growing crops is simulated in response to prevailing conditions and system interactions using the GASP IV simulation language. Complete inventories of plant dry matter, animal status, production resources and economic net worth are maintained over the simulation period.

Forecasting Reject Rate Of Tested Lsi Chips, Sharad C. Seth, Vishwani D. Agrawal

School of Computing: Faculty Publications

The reject rate of LSI chips due to incomplete fault coverage of the tests is the fraction of faulty chips, among the chips that pass the tests. This reject rate, which is a measure of the tested chip quality, contributes to the field returns. It is, however, difficult to determine the tested chip quality from the field return data which may also include rejects due to handling damages, infant mortality, etc. Also, a large number of chips must be in use in the field before an adequate amount of field return data can be obtained. This paper gives a method …

A Graph Model For Pattern-Sensitive Faults In Random Access Memories, Sharad C. Seth, K. Narayanaswamy

School of Computing: Faculty Publications

This correspondence generalizes Hayes' recent ideas for generating an optimal transition write sequence which forms the "backbone" of his algorithm for testing semiconductor RAM'S for pattern-sensitive faults. The generalization, presented in graph theoretic terms, involves two sequential steps. The first step results in assigning of a "color" to each memory cell. In the second step, each color is defined as a distinct sequence of bits representing the sequence of states assumed by the correspondingly colored cell. The constraints imposed at each step lead to interesting and general problems in graph theory: the standard graph coloring problem in the first step, …

On Some Dependencies Between Functional Forms In Functional Programming Systems, Atanas Radenski

Mathematics, Physics, and Computer Science Faculty Articles and Research

In the present paper, some dependencies between functional forms in functional programming systems are demonstrated. It is shown that any functional form can be expressed by using only the forms composition, condition and construction.

The Double Eigenvalue Problem; Including Numerical Solutions, John Gregory, Ralph W. Wilkerson

Computer Science Faculty Research & Creative Works

No abstract provided.

Some Computational Aspects Of Queueing Network Models, Herb Schwetman

Department of Computer Science Technical Reports

No abstract provided.

The Coronary Distribution Zone : Mathematical Modelling Of The Left Ventricular Epicardial Surface For Area Calculation, Three-Dimensional Rotaton And Display, S. Matts E. Sjölander

Loma Linda University Electronic Theses, Dissertations & Projects

A computer model of the left ventricular (LV) epicardial surface was developed from Jang’s truncated ellipsoidal model, which has a minor to major axis ratio of 6:10. The model was applied in calculating the area of a segment of the myocardium, jeopardized by an impending occlusion of its associated artery. The endangered segment of the LV muscle was also visualized in different projections by rotations in three space and graphical displays simulating the three dimensions.

The area formula for the surface of the ideal model , a truncated prolate spheroid, was derived and used in producing maps for manual calculations …

The Role Of Technological Change, Robert U. Ayres, Steven M. Miller

Research Collection School Of Computing and Information Systems

We develop an optimal growth model that includes several important new features. First, technological change is endogenously related to the growth of 'knowledge.' Investment may be directed either towards physical capital or knowledge (or both). Knowledge becomes an effective substitute for scarce resources by increasing the technical efficiency of resource utilization both for consumption and in capital. Nevertheless, a finite quantity resource must be embodied in capital and a finite flow is required for depreciation. Thus, there is an upper limit to technical efficiency and economic growth is thus ultimately limited by the availability of renewable resources. For a simple …

Introduction To The Configurable, Highly Parallel (Chip) Computer), Lawrence Snyder

Department of Computer Science Technical Reports

No abstract provided.

An Abstract Model Of Unstratified Database System, Takayuki D. Kimura, Jerome R. Cox Jr., Will D. Gillett

All Computer Science and Engineering Research

A semantic data model is introduced with the following capabilities: (1) Abstraction mechanisms for aggregation, generalization and classification, (2) Unstratified control of the database content, (3) Refined control of intentional and extensional information, and (4) Extensive semantic consistency checking. The basic features of the model are illustrated through a scenario of interactions between the user and the database system (using the proposed model) for constructing a simple database on technical publications.

Design Studies Suggested By An Abstract Model For Medical Information System, Jerome R. Cox Jr., Takayuki D. Kimura, P. Moore, Will D. Gillett, Mishell J. Stucki

All Computer Science and Engineering Research

We have developed a formal model of a database system that is unusual in that it has the ability to represent information about its own structure and to insure semantic consistency. The model distinguishes general laws from instances of events and objects, but many of its mechanisms serve both categories of information. The model form a substrate upon which an information structure appropriate to neonatology is being developed. Some example queries are shown and a design study for an associative memory suggested by the model is described briefly.

Research In Secure Computing (Final Report), Dorothy E. Denning, Peter J. Denning

Department of Computer Science Technical Reports

No abstract provided.

Hierarchical Analysis Of A Distributed Evaluator, Robert M. Keller, Gary Lindstrom

All HMC Faculty Publications and Research

We outline the analysis of a distributed evaluator for an applicative language FGL (Function Graph Language). Our goal is to show that the least fixed point semantics of FGL are faithfully implemented by the hardware evaluator envisioned in the Applicative Multi-Processor System AMPS. Included in the analysis are a formalization of demand-driven computation , the introduction of an intermediate graphic language IGL to aid in our proofs, and discussion of pragmatic issues involved in the AMPS machine language design.

A Note On The Semantics Of Looping Programs In Propositional Dynamic Logic, Francine Berman

Department of Computer Science Technical Reports

No abstract provided.

Bounds On The Number Of Samples Needed For Neural Learning, Kishan G. Mehrotra, Chilukuri K. Mohan, Sanjay Ranka

Electrical Engineering and Computer Science - Technical Reports

This paper addresses the relationship between the number of hidden layer nodes in a neural network, the complexity of a multi-class discrimination problem, and the number of samples needed for effective learning. Bounds are given for the latter. We show that Ω(min(d,n).M) boundary samples are required for successful classification of M clusters of samples using a 2 hidden layer neural network with d-dimensional inputs and n nodes in the first hidden layer.

Ua66/16/2 Ogden Instructional Computing Newsletter, Vol. 2, No. 1, Wku Mathematics & Computer Science

WKU Archives Records

Newsletter created by the Ogden Computer Laboratory to promote services, courses, hardware, software and student activities.

A Tale Of Two Islands (A Fable), Peter J. Denning

Department of Computer Science Technical Reports

No abstract provided.

High Order Methods For Elliptic Partial Differential Equations With Singularities, Elias N. Houstis, John R. Rice

Department of Computer Science Technical Reports

No abstract provided.

Computing Cyclic List Structures, F. Lockwood Morris, Jennifer Schwarz

Electrical Engineering and Computer Science - Technical Reports

It is argued that list structures containing cycles are useful and unobjectionable Lisp entities. If this is so, it is desirable to have a means of computing them less foreign to the equational-definition style characteristic of Lisp than are the list-structure-altering primitives rplaca and rplacd. A notion is developed of a reasonable system of mutually recursive equations, guaranteed to have a unique solution in list structures. The notion is given in terms of the computations invoked by the equations, without reference to the forms of expressions appearing in them. A variety of programming examples are presented, including a curious implementation …

Principles, Preferences And Ideals For Computer Arithmetic, Thomas E. Hull, Christian H. Reinsch, John R. Rice

Department of Computer Science Technical Reports

No abstract provided.

Effects Of Changes In Surface Water Regime And/Or Land Use On The Vertical Distribution Of Water Available For Wetland Vegetation: Dynamic Model Of The Zone Of Aeration (Appendix To Part 1 Of Completion Report For Project A-023-Ark), Robert N. Maccallum, R. A. Sims

Technical Reports

Appendix to Part 1 of Completion Report for Project A-023-ARK

Principles Of Program Design Induced From Experience With Small, Public Programs, Douglas E. Comer

Department of Computer Science Technical Reports

No abstract provided.

Operating Systems Articles, Peter J. Denning, Dorothy E. Denning

Department of Computer Science Technical Reports

No abstract provided.

A Critique Of The Foundations Of Hoare-Style Programming Logics, Michael O'Donnell

Department of Computer Science Technical Reports

No abstract provided.

Experience With Transporting Pascal To An Interactive Environment, Douglas E. Comer, John Garney

Department of Computer Science Technical Reports

No abstract provided.

Operational Analysis Based On Minimal Information: A Hypothetical Case Study, Herb Schwetman

Department of Computer Science Technical Reports

No abstract provided.

Low Contention Semaphores And Ready Lists, Peter J. Denning, T. Don Dennis, Jeffrey Brumfield

Department of Computer Science Technical Reports

No abstract provided.

Programming With Recursion, Dirk Siefkes

Department of Computer Science Technical Reports

No abstract provided.