Physical Sciences and Mathematics Commons^™

Parvec Workshop On Very Large Least Squares Problems And Supercomputers, John R. Rice

Department of Computer Science Technical Reports

No abstract provided.

A Linear Time Algorithm For The Minimum Area Rectangle Enclosing A Convex Polygon, Dennis S. Arnon, John P. Gieselmann

Department of Computer Science Technical Reports

No abstract provided.

Ads Formal Semantics, Takayuki Kimura

All Computer Science and Engineering Research

Abstract Database System (ADS) is a data model developed for an enduring medical information system where frequent changes in the conceptual schema are anticipated and multi-level abstraction is required. The mechanism of abstraction in ADS is based on the abstraction operator of the lamba calculus. The formal semantics of a subset of the ADS model is presented using the denotational specification method.

Specification Of Synchronizing Processes, Krithivasan Ramamritham, Robert M. Keller

All HMC Faculty Publications and Research

The formalism of temporal logic has been suggested to be an appropriate tool for expressing the semantics of concurrent programs. This paper is concerned with the application of temporal logic to the specification of factors affecting the synchronization of concurrent processes. Towards this end, we first introduce a model for synchronization and axiomatize its behavior. SYSL, a very high-level language for specifying synchronization properties, is then described. It is designed using the primitives of temporal logic and features constructs to express properties that affect synchronization in a fairly natural and modular fashion. Since the statements in the language have intuitive …

Robotic Realities: Near Term Prospects And Problems, Robert U. Ayres, Steven M. Miller

Research Collection School Of Computing and Information Systems

Industrial robots are automation, but with a difference. Other machine tools are extensions of human capabilities, while robots are seen mainly as substitutes for human workers. Robots will find most of their industrial applications during the next decade or two in the metal-working sectors, where they will begin to displace semiskilled machine operatives in medium to large batch production operations. They cannot substitute for skilled machinists or other workers doing nonroutine jobs, or specialized, dedicated hard automation used in mass production. The current generation of robots, lacking sensory data processing and interpretation capabilities, can potentially replace up to 1.3 million …

Implementing A Scalar C Compiler On The Cyber 205, Kuo-Cheng Li, Herb Schwetman

Department of Computer Science Technical Reports

No abstract provided.

Channel Routing Algorithms For Overlap Models, Susanne E. Hambrusch

Department of Computer Science Technical Reports

No abstract provided.

The Proposed Darpa Ip-To-X.25 Interface Standard: Performance Optimization With Multiple Circuits, Douglas E. Comer, John T. Korb

Department of Computer Science Technical Reports

No abstract provided.

Ua66/10/2 Newsletter, Wku Mathematics

WKU Archives Records

Newsletter created by and about the WKU Mathematics department.

Expansion Of The Performance Evaluation Capabilities Of Ellpack, John R. Rice

Department of Computer Science Technical Reports

No abstract provided.

Proportional Advancement From Regional Programming Contests, John R. Metzner

Computer Science Faculty Research & Creative Works

No abstract provided.

Cost-Benefit Analysis Of Computer Systems In Community Hospital Food Service, Beverly Kittle

Loma Linda University Electronic Theses, Dissertations & Projects

Cost containment has always been a major concern to managers. Therefore, any system which decreases costs by reducing labor time is given serious evaluation.

A five week comparison was made between financial record keeping by the manual method and by the computerized method. A continuous time study was utilized to make this comparison.

Over the five weeks, an average overall time savings of 245 minutes for the computerized versus the manual method was observed. The net savings to the institution was 223 minutes per week which translates to approximately $140.00 per month over a 5 year period.

The rapid payback …

A Polynomial-Time Algorithm For The Topological Type Of A Real Algebraic Curve, Dennis S. Arnon, Scott Mccallum

Department of Computer Science Technical Reports

No abstract provided.

A Technique To Reduce Procedure Call Overhead In Block Structured Languages, Thomas P. Murtagh

Department of Computer Science Technical Reports

No abstract provided.

Minimizing Contact Points And Using Overlap On Two Layers, Susanne E. Hambrusch

Department of Computer Science Technical Reports

No abstract provided.

An Optimal Design Of Relational Data Model, Pissamai Amatayakul

Masters Theses

The objective of this study was to propose a design methodology to support a designed in mapping a conceptual model to a logical model. The system was created as a semiinteractive software to produce an optimal relational data model for a given database. The software was developed by combining a well known normalization method from a theory of relational data model which was presented by Codd and the ideas of new normal form which were presented recently by many researchers in the field of database design. The complete description of data objects and their associations are initially defined as a …

A Uniform System For Data Base Directories, Karl Chang

Masters Theses

The objective of this study is to provide an efficient uniform system for data base directories, so that every file in the data base will have the same type of efficient directory. Data base directories will then be uniformly generated, updated and maintained.

The uniform system which is developed here can handle not only discrete attributes, but also range attributes. For the range attributes, it provides the uniform ranges (i.e., a set of ranges such that the records are distributed uniformly between ranges.)

In this thesis, the design and implementation of the hybrid B-plus tree and inverted files which is …

Parameter Optimization Using A Hierarchical System Of Learning Automata, Brian T. Mitchell

Dissertations

Many problems in adaptive control, pattern recognition, filtering, identification, and artificial intelligence can be viewed as parameter optimization problems. The learning automation approach to these problems has two distinct advantages over the classic hill climbing methods: (1) the parameter space need not be metric and (2) a global rather than local optimum can be found. Unfortunately, these advantages do not come without corresponding difficulties, namely the problem of high dimensionality. A hierarchical system of learning automata has been used to reduce this problem somewhat, but inefficiencies still remain since the current hierarchical system was balanced and static hierarchical learning automaton …

Software Parts For Elliptic Ppe Software, John R. Rice

Department of Computer Science Technical Reports

No abstract provided.

Algorithm Gencol: Collocation On General Domains With Bicubic Hermite Polynomials, Elias N. Houstis, W. F. Mitchell, John R. Rice

Department of Computer Science Technical Reports

No abstract provided.

Collocation Software For Second Order Elliptic Partial Differential Equations, Elias N. Houstis, W. F. Mitchell, John R. Rice

Department of Computer Science Technical Reports

No abstract provided.

Optimal Routing In The Cube-Connected Cycles Interconnection Network, Daniel A. Reed

Department of Computer Science Technical Reports

No abstract provided.

Orthodontic Information Systems : A Developmental Study, Gary D. Sheldon

Loma Linda University Electronic Theses, Dissertations & Projects

The intent of this study was to design and implement a computer-based orthodontic system providing an integrated information environment throughout the entire patient treatment process.

Total system integration was achieved by restructuring the entire information gathering process. A complete, evaluation of patient diagnosis and treatment evaluation procedures established five major information categories and a critical information list for proper patient management. Information organization was outlined to provide a logical progression in the information gathering process and patient chart forms were designed to implement this. Defining the computer system's performance identified three functions as follows: 1) entry and editing of individual …

Mathematics: The Loss Of Certainty, Calvin Jongsma

ACMS Conference Proceedings 1983

Morris Kline was a contentious mathematician and author, documenting (as he saw it) both the deficiencies of mid-twentieth-century reformist trends in mathematics education and formalist views of the foundations (and practice) of mathematics. This brief introduction to a discussion of Kline's 1980 book and its mixed reception by the mathematics community provides a context for assessing his ideas as part of his overall views on the nature of mathematics.

Arrogance And Humility In The Philosophy Of Mathematics, James Murdock

ACMS Conference Proceedings 1983

This paper explores the philosophical, sociological, and theological questions related to the field of mathematics and whether or not it is ethical to pursue when its discoveries are used for evil.

The Activitiy And Application Of Mathematics, R. S. D. Thomas

ACMS Conference Proceedings 1983

There are four so-called philosophies of mathematics that I regard as totally discredited, formalism, intuitionism, logicism, and Platonism. It is a common feature of the ism philosophies of mathematics that they do not take the application of mathematics very seriously. This paper examines a view of mathematics that takes applications seriously.

Using Mathematical Concepts To Illustrate Scriptural And Spiritual Ideas, Robert Brabenec

ACMS Conference Proceedings 1983

Christian mathematics faculty and students respond in differing ways to this idea of applying mathematics to Scripture, and vice-versa. Mathematics is man-made, while Scripture is inspired by God, so they should be disjoint entities. However, it is well known that the Scripture used analogies of familiar human objects and ideas in order to explain spiritual ideas. This paper discusses various mathematical concepts and how they illustrate Scriptural and spiritual ideas.

A Comparative Study Of Christian Mathematical Realism And Its Humanistic Alternatives, Paul Zwier

ACMS Conference Proceedings 1983

This paper explores what sort of stance a Christian should have on important mathematical questions such as realism.

Introduction (1983), Robert Brabenec

ACMS Conference Proceedings 1983

No abstract provided.

Table Of Contents (1983), Association Of Christians In The Mathematical Sciences

ACMS Conference Proceedings 1983

A Fourth Conference on Mathematics from a Christian Perspective

Edited by Robert L. Brabenec, Wheaton College