Digital Commons Network^™

A Purdue University Course In The History Of Computing, Saul Rosen

Department of Computer Science Technical Reports

No abstract provided.

Transaction Models For Advanced Database Applications, Ahmed K. Elmagarmid

Department of Computer Science Technical Reports

No abstract provided.

Wright State University College Of Engineering And Computer Science Bits And Pcs Newsletter, March 1991, College Of Engineering And Computer Science, Wright State University

BITs and PCs Newsletter

A twelve page newsletter created by the Wright State University College of Engineering and Computer Science that addresses the current affairs of the college.

Duality In Logic Programming, Feng Yang

Electrical Engineering and Computer Science - Technical Reports

Various approximations of classic negation have been proposed for logic programming. But the semantics for those approximations are not entirely clear. In this paper a proof-theoretic operator, we call it failure operator, denoted as FP, is associated with each logic program to characterize the meaning of various negations in logic programming. It is shown that the failure operator FP is a dual of the TP, immediate consequence operator developed by Van Emden and Kowalski and is downward continuous. It has the desirable properties entirely analogous to what TP has such as continuity, having a unique least fixpoint and a unique …

Transfer Of 4gl Application From Ingres To Oracle, Adnan Altunisik

Theses and Dissertations

This paper documents the transfer of 4GL applications from INGRES to ORACLE. As a result of a fast and conceptual change in computer languages, 4GLs were developed and evolved. These are programming support tools whose goal is, basically, to make the programs more efficient by reducing the number of instructions. Both ORACLE and INGRES database systems use 4GLs to develop applications. Their 4GL environments and their facilities for application development are investigated and explained in depth in this effort. The TWX application, which was originally implemented in INGRES by using its 4GL, is designed and reimplemented in ORACLE. This is …

The Boundary Element Method Applied To The Two Dimensional Stefan Moving Boundary Problem, Donald C. Vosika

Theses and Dissertations

This thesis considers problems for which the boundary is not known before the problem is solved and must be determined as part of the solution. We consider a time dependent problem which results in a moving boundary. We look at the heat conduction/diffusion equation in one and two spatial dimensions. We use Green's Theorem to yield a Volterra boundary integral equation which involves an unknown function on the moving boundary. We use the boundary element method to obtain a solution. Graphical results for the two dimensional problem are presented.

Optimal Iterative Task Scheduling For Parallel Simulations, Joann M. Sartor

Theses and Dissertations

The ultimate purpose of this research is to reduce the time needed for execution of parallel computer simulations. In particular, the impact of task assignment strategies is determined for parallel VHDL circuit simulations. The classical scheduling problem, which assigns n precedence-constrained tasks to m processors is NP-complete in all but the simplest cases. The problem of assigning simulation tasks is further complicated by the iterative nature of computer simulations: each task is required to execute multiple times as the simulation executes. This investigation develops a polynomial-time algorithm (the level strategy) which provides optimal assignment for iterative systems with specific constraints. …

A Computer Simulation Of Braitenberg Vehicles, Eric B. Werkowitz

Theses and Dissertations

In his treatise, Vehicles: Experiments in Synthetic Psychology, Valentino Braitenberg used simple, autonomous vehicle designs to illustrate the principles behind animal nervous system organization and operation. The goal of this effort was to produce a computer program to allow a researcher to experiment with these concepts and to analyze their performance using methods employed by experimental psychologists. The resulting program allows the user to design vehicles that respond to changes in their environments and that have the ability to adapt their behavior, using a learning algorithm developed by Teuvo Kohonen. The vehicle designer is free to select sensor attributes, …

Efficient Crcw-Pram Algorithms Combining Multiple Autonomous Databases, Alberto Apostolico

Department of Computer Science Technical Reports

No abstract provided.

Wright State University College Of Engineering And Computer Science Bits And Pcs Newsletter, February 1991, College Of Engineering And Computer Science, Wright State University

BITs and PCs Newsletter

An eight page newsletter created by the Wright State University College of Engineering and Computer Science that addresses the current affairs of the college.

Multiple Expert System, Umesh Kumar Mittal

Theses

In many domains, for example medical diagnosis, there are several sources of knowledge, e.g., several domain experts. These domain experts may have disagreements over some issues in the domain. Research in the area of human decision making suggests that a human decision is not always made based on the advice of a single expert. Many current expert systems, however, expect consistency in their knowledge bases. An expert system does not deliberate by reasoning that "on one hand..." but "on the other hand..." The knowledge engineer, who is not necessarily an expert in the same domain, ensures consistency by eliminating all …

The Parallelization Of Level 2 And 3 Blas Operations On Distributed Memory Machines, M. Aboelaze, N. P. Chrisochoides, Elias N. Houstis, C. E. Houstis

Department of Computer Science Technical Reports

No abstract provided.

Performance Of Pde Sparse Solvers On Hypercubes, Mo Mu, John R. Rice

Department of Computer Science Technical Reports

No abstract provided.

Wright State University College Of Engineering And Computer Science Bits And Pcs Newsletter, January 1991, College Of Engineering And Computer Science, Wright State University

BITs and PCs Newsletter

A twelve page newsletter created by the Wright State University College of Engineering and Computer Science that addresses the current affairs of the college.

Disjoint Covers In Replicated Heterogeneous Arrays, P.K. Mckinley, N. Hasan, Ran Libeskind-Hadas, C.L. Liu

All HMC Faculty Publications and Research

Reconfigurable chips are fabricated with redundant elements that can be used to replace the faulty elements. The fault cover problem consists of finding an assignment of redundant elements to the faulty elements such that all of the faults are repaired. In reconfigurable chips that consist of arrays of elements, redundant elements are configured as spare rows and spare columns.

This paper considers the problem in which a chip contains several replicates of a heterogeneous array, one or more sets of spare rows, and one or more sets of spare columns. Each set of spare rows is identical to the set …

Selection Networks, Nicholas Pippenger

All HMC Faculty Publications and Research

An upper bound asymptotic to $2n\log _e n$ is established for the number of comparators required in a network that classifies $n$ values into two classes, each containing $n / 2$ values, with each value in one class less than or equal to each value in the other. (The best lower bound known for this problem is asymptotic to $(n / 2)\log _2 n$.)

Three--Dimensional Medical Imaging: Algorithms And Computer Systems, M. R. Stytz, G. Frieder, O. Frieder

College of Engineering and Computer Science - Former Departments, Centers, Institutes and Projects

This paper presents an introduction to the field of three-dimensional medical imaging It presents medical imaging terms and concepts, summarizes the basic operations performed in three-dimensional medical imaging, and describes sample algorithms for accomplishing these operations. The paper contains a synopsis of the architectures and algorithms used in eight machines to render three-dimensional medical images, with particular emphasis paid to their distinctive contributions. It compares the performance of the machines along several dimensions, including image resolution, elapsed time to form an image, imaging algorithms used in the machine, and the degree of parallelism used in the architecture. The paper concludes …

Implementing A Neural Network In The Smalltalk Graphical Environment, John M. Damgaard

Presidential Scholars Theses (1990 – 2006)

Interest in artificial neural networks has grown rapidly over the past few years. The technology is intriguing and the potential applications of the technology are exciting and diverse. Another area of growing interest in the computer science field is that of object-oriented programming. The object-oriented paradigm is a very powerful tool which can improve software quality and streamline the development process. The most common object-oriented language is Smalltalk. I feel that Smalltalk is an excellent platform on which to implement artificial neural networks.

Shadow Casting Phenomena At Newgrange, Frank Prendergast

Articles

A digital model of the Newgrange passage tomb and surrounding ring of monoliths known as the Great Circle is used to investigate sunrise shadow casting phenomena at the monument. Diurnal variation in shadow directions and lengths are analysed for their potential use in the Bronze Age to indicate the passage of seasonal time. Computer-aided simulations are developed from a photogrammetric survey to accurately show how three of the largest monoliths, located closest to the tomb entrance and archaeologically coded GC1, GC-1 and GC-2, cast their shadows onto the vertical face of the entrance kerbstone, coded K1. The phenomena occur at …

A Meta-Analysis Of Learner Control In Computer-Based Learning Environments, June A. Parsons

CCAC Theses and Dissertations

The objective of this meta-analysis was to integrate the results of a collection of primary research studies on learner control of computer-based environments. The scope for the meta-analysis was limited to inquiry on different learner-control models and their effect on student achievement as represented by posttest scores. Three specific research questions were defined:

1. What are the characteristics of the body of learner-control research which has examined the effect on achievement of learner control?
2. Is there a difference in the achievement of students who are provided with learner control and students who are provided with other control models?
3. Do specific moderator …

Dissertation Report Is 8995 Using Dialog Cip At Winona State University To Educate End-Users, Kathryn Sullivan

CCAC Theses and Dissertations

Graduate students need to know the resources of their university library in order to do research and cannot be expected to remember any library training they may have received as undergraduates. A class offered by the library on how to search databases available through DIALOG's Classroom Instruction Program (CIP) was proposed, in cooperation with existing research classes in the student's field. A study was conducted at Winona State University. Winona, MN, with research classes offered by two professors in the field of special education. The study was to determine whether the information presented in an instruction session based on six …

Graduate Bulletin, 1991-1993, Moorhead State University

Graduate Bulletins (Catalogs)

No abstract provided.

An Expert Inference Engine For Generation Of Nursing Diagnoses, Tom Edgar

UNF Graduate Theses and Dissertations

Expert computer systems for use in the nursing profession are emerging as a potentially viable alternative to manual procedures. As nursing science continues to develop, the intellectual requirements of assessment and diagnosis are demanding that the professional nurse draw on an ever increasing bank of knowledge to interact effectively with clients. An expert system appears a promising tool to assist the nurse in storing and accessing some of the knowledge necessary to perform the assessment and diagnostic functions.

Problems and opportunities In applying artificial intelligence techniques to nursing science are documented and the current state of expert systems for nursing …

Actuarial Computation Of Multiemployer Pension Plan Withdrawal Liability, Kelly A. Renze

Presidential Scholars Theses (1990 – 2006)

This project helps to demonstrate how pension actuaries must keep a constant eye on new laws. The pension industry is constantly bombarded with new laws which force them to alter policies and procedures. Because of the huge number of laws, it is difficult for all employees to fully understand every law. During my stay at the Principal, I discovered that many passages are interpreted differently by different people. I also uncovered some details through my research that other employees were not aware of.

Because of this complexity, it is often necessary to assign to one person, such as myself, the …

Apt Compiler Toolkit User Manual, George K. Thiruvathukal, Ufuk Verun

Computer Science: Faculty Publications and Other Works

The Apt Compiler Toolkit was designed to address the need for structured, efficient, portable, and capable tools to prototype language translators and compilers. In the current release of the toolkit tools are available for the generation of scanners, parsers, and data structures. A robust library of functions is supplied with the toolkit which includes support for the scanner, the parser, abstract data types (which are commonly used in language translators/compilers), and string functions.

Inclusive Production Of The Charmed Baryon C+ From E+E- Annihilations At S=10.55 Gev, P. Avery, Manoj Thulasidas

Research Collection School Of Computing and Information Systems

We report results on inclusive production of the charmed baryon Λc+ from e+e− annihilations at √s=10.5 GeV. Measurements are presented of the inclusive cross section times branching fraction for the continuum production of Λc+ as observed in six different decay modes, and of a new, improved value of the Λc+ mass. The inclusive cross section times the branching fraction into pK−π+ is measured to be 10.0±1.5±1.5 pb summed over all xp. The branching fractions of Λc+ into p¯K0, p¯K0π+π−, Λπ+, Λπ+π−π+, and Ξ−K+π+ relative to that into pK−π+ are measured to be 0.44±0.07±0.05, 0.43±0.12±0.04, 0.18±0.03±0.03, 0.65±0.11±0.12, and 0.15±0.04±0.03, respectively. The …

Implementation Of Object Oriented University Database Using Vodak/Vml-0 Prototype, Abhay V. Bhave

Theses

In recent years object - oriented programming has gained a tremendous popularity in the design and implementation of emerging data - intensive application systems. Object oriented knowledge based approaches have proved to be very powerful vehicle when developing, integrating complex systems.

Using a University database demonstrated here is an object oriented model. This model uses VODAK/VML-0 prototype which was developed by GMD - IPSI, Darmstadt FRG. The Conceptual Schema of this database was done using The Dual Model, but as the current VODAK/VML version does not support dual model, the schema was modified before use. There are 167 classes defined …

Three Degrees Of Freedom Compliant Motion Control For Robotic Aircraft Refueling, Clayton M. Andersen

Theses and Dissertations

The Air Force Institute of Technology (AFIT) supports on-going research in application of robotic technology to enhance assembly tasks. As a testbed, AFIT supports the ground-based aerial refueling project, with an emphasis on visual servoing techniques and compliant motion control. This thesis focuses on compliant motion control. Previous research developed the testing environment, which includes a PUMA-560 industrial manipulator, and a half scale mock-up of an aerial refueling system. This effort corrected and expanded the existing two degree of freedom (DOF) compliant controller to three DOF. Three DOF compliance was demonstrated by inserting the refueling nozzle into the receiver port. …

Voronoi Diagrams In A River, Kokichi Sugihara

Department of Computer Science Technical Reports

No abstract provided.

Implementing Expert System Rule Conditions By Neural Networks, Henry Tirri

Department of Computer Science Technical Reports

No abstract provided.