Digital Commons Network^™

Order Statistics And Other Complex Data Operations On Tree-Structured Dictionary Machines, Michael T. Goodrich, Mikhail J. Atallah

Department of Computer Science Technical Reports

No abstract provided.

Method And Apparatus For Performing Hashing Operations Using Galois Field Multiplication, John L. Carter, George Markowsky, Mark N. Wegman

Computer Science Faculty Research & Creative Works

The invention comprises a method and apparatus for performing a hashing operation on an N bit number under control of a prespecified N bit hashing constant which comprises performing N/K finite field partial multiplications of the object to be hashed by the hashing constant, utilizing K logic and combinatorial circuits all of which operate in parallel to completely evaluate the number in N/K operations.

Another feature of the present invention is that the hashing constant loaded into the system may be changed at will with a resultant changing of the hashing characteristics to suit a particular class of objects to …

Using Supercomputers Today And Tomorrow, John R. Rice

Department of Computer Science Technical Reports

No abstract provided.

An Efficient Parallel Solution For Euclidean Shortest Paths In Three Dimensions, Chanderjit Bajaj

Department of Computer Science Technical Reports

No abstract provided.

An Optimal Parallel Algorithm For The All Nearest -- Neighbor Problem For A Convex Polygon, Michael T. Goodrich

Department of Computer Science Technical Reports

No abstract provided.

A Practical Application To Data Consistency Validation Using Finite State Automata, Michael Lee Richardson

Masters Theses

The data which are input to a complex information system must often be verified for both syntactic and semantic consistency. The syntactic consistency can be enforced in a straightforward manner during the data entry process. The semantic inconsistencies can be more difficult to discover. A general approach, using finite state automata, is demonstrated here as applied to enforce consistency on client questionnaire responses in a large information system. This approach is developed using those software engineering standards are outlined and justified in this research. A discussion of semantic inconsistencies which require more sophisticated techniques is included.

On Multidimensional Arrays Of Processors, Mikhail J. Atallah

Department of Computer Science Technical Reports

No abstract provided.

A Distributed Shortest Path Algorithm For A Planar Network, Greg N. Frederickson

Department of Computer Science Technical Reports

No abstract provided.

Generalized Unfoldings For Shortest Paths In Euclidean 3-Space, C. Bajaj, T. T. Moh

Department of Computer Science Technical Reports

No abstract provided.

Display Oriented Front End Interfaces, Balachander Krishnamurthy, Francie J. Newbery, Craig E. Wills

Department of Computer Science Technical Reports

No abstract provided.

Eliminating Proofs Of Interference-Freedom From Levin-Gries Csp Program Proofs, Thomas P. Murtagh

Department of Computer Science Technical Reports

No abstract provided.

A Monte Carlo Analysis Of The Mincycle Algorithm For Generating Minimal Perfect Hash Functions, Pao-Po Hou, Thomas J. Sager

Computer Science Technical Reports

In this paper, several minimal perfect hashing function generating methods are examined. One of them, the mincycle method by Sager is evaluated by the Monte Carlo method. The results are represented in graphs and tables.

A Parallel Branch And Bound Algorithm For Integer Linear Programming Models, Rochelle L. Boehning, Billy E. Gillett

Computer Science Technical Reports

A parallel branch and bound algorithm is developed for use with MIMD computers to study the efficiency of parallel processors on general integer linear programming problems. The Haldi and IBM test problems and a System Design model are used in the implementation of the algorithm. Initially the algorithm solves the Haldi and IBM test problems on a single processor computer which simulates a multiple processor computer. The algorithm is then implemented on the Denelcor HEP multiprocessor using two of the IBM problems to compare the results of the simulation to the results using an MIMD computer. Finally the algorithm is …

Predicting Success In High School Computer Programming, John C. Gevedon

Graduate Theses and Dissertations

There are great differences in performance among students taking high school programming courses, and instructors debate over what elements contribute to these differences. Some students develop logical thinking abilities and problem solving techniques, while others fail to develop skills beyond memorization of specific terms and procedures. It is not known whether these differences are causally related to the specific educational environment or student backgrounds. Without more information, the factors that actually contribute to the success of high school students in computer programming courses cannot be accurately determined. It was the purpose of this study then to isolate certain student characteristics …

Development Of An On-Line Computer System For Cyclic Voltammetry Studies, Tai-Lee Leo Huo

Chemistry & Biochemistry Theses & Dissertations

An Apple II Plus microcomputer was interfaced to a PAR 174A Polarographic Analyser, an HP 7O4OA X-Y recorder and a three-electrode system. This on-line computer system was applied to Cyclic Voltammetry (CV) studies. The interfacing involved both hardware and software development. Various hardware components were used to amplify and transmit the analog signal both going into the computer and coming from the computer. Software programs were written for staircase waveform generation, data acquisition, and plotting the voltammograms obtained.

A package was designed for CV experiments to be used by the students in the instrumental analysis laboratory. This package contains several …

Color Display Of Vowel Spectra As A Training Aid For The Deaf, Amir Jalali Jagharghi

Electrical & Computer Engineering Theses & Dissertations

The objective of this research was to develop a transformation for mapping speech parameters to color parameter. This transformation is done in real-time, and the resulting color parameter are continuously displayed on a color monitor. This visual speech display is to be used as a speech articulation training aid for the deaf. The conversion of speech acoustic signals into speech parameter was accomplished using special -purpose electronics. The real-time conversion of speech parameter to display parameter was controlled by an 8086/8088 microprocessor operating in an S-100 bus structure. The coefficients of the Karhunen-Loeve series expansion of speech power spectra were …

Analog Computer Simulation With Automatic Scaling By Digital Computer, Mark Anthony Motter

Electrical & Computer Engineering Theses & Dissertations

A computer-aided design approach for the simplification of analog computer simulation is presented. The simulation configuration consists of an EAI 2000 analog computer with serial communications link to a PDP — 11/24 digital computer. Under control of the PDP-11, the analog simulations are realized with appropriate time and magnitude scaling which adjusts the range of the simulation coefficients and prevents overloads of the analog components. The analog computer hardware configuration accommodates both stable plants up to eighth order and closed-loop systems up to tenth order. Cascade compensation is provided for the closed-loop systems.

The plant may be described by either …

The Algebraic Complexity Of Shortest Paths In Polyhedral Spaces, Chanderjit Bajaj

Department of Computer Science Technical Reports

No abstract provided.

On The Probable Performance Of Graph Coloring Algorithms, Jonathan S. Turner

All Computer Science and Engineering Research

We define a natural probability distribution over the set of k-colorable graphs on n vertices and study the probable performance of several algorithms on graphs selected from this distribution. The main results are listed below. • We describe an algorithm to determine if a given n vertex graph is k-colorable, which runs in time O(n + m log k), where m is the number of edges. We show that this algorithm can successfully identify almost all random k-colorable graphs for constant or slowly growing values of k. • We show that an algorithm proposed by Brelas, and justified on experimental …

Least Squares Approximation By One-Pass Methods With Piecewise Polynomials, Fujiichi Yoshimoto

Department of Computer Science Technical Reports

No abstract provided.

On Universal Tests For The Truth Of World Views: Their Existence And Identifiability, William Buttelmann, Paul Fienberg

ACMS Conference Proceedings 1985

In his book, Christian Apologetics, Norman Geisler proposes a universal test for the truth of world views. We examine this concept and find that it raises serious difficulties. This paper first presents some basic definitions for "world view" and "truth-value of a world view," then studies the concept of a universal test for the truth of world views in light of these definitions. Geisler has proposed what amounts to a universal decision procedure to determine the truth-value of world views. We show that, in the general case, no such universal decision procedure exists. Whether or not such universal tests for …

Selected Bibliography Of Donald Maccrimmon Mackay, Gene B. Chase

ACMS Conference Proceedings 1985

A selected bibliography of Donald MacCrimmon MacKay, including his written works and biographical sources.

The Significance Of Formally Undecidable Propositions For The Use Of Classical Logic In Theological Arguments, Gordon E. Whitney

ACMS Conference Proceedings 1985

No abstract provided.

Faith And Mathematics - A Different Perspective, James E. Mann, Jr.

ACMS Conference Proceedings 1985

No abstract provided.

Artificial Intelligence? - A Christian Appraisal, Donald M. Mackay

ACMS Conference Proceedings 1985

No abstract provided.

Is Rational Thinking The Best Thinking?, Richard Laatsch

ACMS Conference Proceedings 1985

No abstract provided.

Undergraduate Mathematical Modeling: When And What To Teach, Frank R. Giordano, Maurice D. Weir

ACMS Conference Proceedings 1985

No abstract provided.

Multidimensional Timestamp Protocols For Concurrency Control, Pei-Jyun Leu, Bharat Bhargava

Department of Computer Science Technical Reports

No abstract provided.

Introduction (1985), Robert Brabenec

ACMS Conference Proceedings 1985

A Fifth Conference on Mathematics from a Christian Perspective

Edited by Robert L. Brabenec, Wheaton College

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

ACMS Conference Proceedings 1985

A Fifth Conference on Mathematics from a Christian Perspective

Edited by Robert L. Brabenec, Wheaton College