Digital Commons Network^™

Computer Technology Skills Of Preservice And Inservice Elementary School Teachers, Sheila M. Bailey

Electronic Dissertations and Theses

The major purpose of this investigation is to determine the level of computer technology competencies held by both preservice and present teachers. A computer technology survey will be issued to preservice teachers and present teachers to assess their level of computer skills. The results will be grouped into three levels of computer knowledge: awareness, literacy, and application. Secondly this study would like to determine if more computer instruction is being received in the preservice or in the inservice environment. It is hypothesized that most preserved and present teachers will fall into the levels of awareness and literacy. It is also …

Proof Strategies For Hardware Verification, Robert Eastham, Krishnaprasad Thirunarayan

Kno.e.sis Publications

Ascertaining correctness of digital hardware designs through simulation does not scale-up for large designs because of the sheer combinatorics of the problem. Formal verification of hardware designs holds promise because its computational complexity is of the order of number of different types of components (and not number of components in the design). This approach requires the specification of the behavior and the design in a formal language, and reason with them using a theorem prover. In this paper we attempt to develop a methodology for writing and using these specifications for some important classes of hardware circuits. We examine digital …

The Use Of Non-Commutative Algebra In Cryptographically Secure Pseudo-Random Number Generators, Brian M. Mckeever

Honors Theses

This thesis begins with a general overview of pseudo-random number generators and some of their applications. This thesis then describes their applications to cryptography, and some additional requirements imposed by cryptography. This thesis then provides an introduction to the ring of quaternions, and discusses how they can be included in pseudo-random number generators. Finally, this thesis provides a description of the performance of these generators.

Wright State University College Of Engineering And Computer Science Bits And Pcs Newsletter, Volume 12, Number 5, May 1996, 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.

Computational Science As One Driving Force For All Aspects Of Computing Research, John R. Rice

Department of Computer Science Technical Reports

No abstract provided.

Multi-Agent Simulation Of Complex Heterogeneous Models In Scientific Computing, Anupam Joshi, Tzvetan Drashansky, John R. Rice, Sanjiva Weerawarana, Elias N. Houstis

Department of Computer Science Technical Reports

No abstract provided.

Application Of Neural Networks To The Non-Destructive Testing Of Aluminum Cans, B. Balasubramaniam, Daniel .. Clair

Computer Science Technical Reports

Neural Networks are used to c lassify aluminum beverage containers as acceptable or non acceptable, depending upon their wall thicknesses. For each can, the thickness of the wall of the can at different points is measured using a non-destructive, ultra-sound technique. These measureI\}ents are then applied as inputs to the networks and the classification is provided as the output Three architectures, one unsupervised and two supervised, are tested. Their performances are analyzed and compared and the paradigm best suited to the problem is selected.

Computer Assisted Control Of Robotic Rock Drilling Equipment Using Rock Face Image Mapping, William Robert Macneil, Peter (C. Y.)(Chung You) Ho

Computer Science Technical Reports

Use of a totally unmanned mining robot is an ideal solution in removing humans from the dangerous underground mining environment. However, a complete autonomous system is a long way from reality. In the meantime, steps towards that goal can be made and integrated into current mining technology to take away some of the risk and stress from the miner making him more alert and the environment safer for those that do have to be undergroμnd. For our purposes here, the machine will be an automated robotic platform with the intelligence necessary for accurate placement of the drill tip on an …

Gnarly Rantings About The Hacker And The Ants, Rudy Rucker

SWITCH

The article is an excerpt from Rucker’s book “The Happy Mutant”. It begins with his reflection of his career with GoMotion. He discusses the relation that he saw between design and cyberspace. Later he discusses his experience with a game a colleague found on the net: a virtual world where player is an ant. He talks about the struggles he goes through in this virtual world because of game difficulty and poor visuals. He ties it all in with how the Silicon Valley works in a similar way, and is filled with hackers and programers all needing each other to …

Error Correction Via A Post-Processor For Continuous Speech Recognition, Eric K. Ringger, James F. Allen

Faculty Publications

This paper presents a new technique for overcoming several types of speech recognition errors by post-processing the output of a continuous speech recognizer. The post-processor output contains fewer errors, thereby making interpretation by higher-level modules, such as a parser, in a speech understanding system more reliable. The primary advantage to the post-processing approach over existing approaches for overcoming SR errors lies in its abilityto introduce options that are not available in the SR module’s output. This work provides evidence for the claim that a modern continuous speech recognizer can be used successfully in “black-box” fashion for robustly interpreting spontaneous utterances …

Powerfaids: Building A Road To Financial Aid Efficiency, Lauri Nichols '96

Honors Projects

To most students, the Financial Aid office is a small room in the basement of Holmes Hall where they are occasionally sent to sign over a paper or two. It has something to do with money, and every so often, these students get something in the mail that tells them just how much it's going to cost them to continue their education here at Illinois Wesleyan. They know that papers are filled out, usually by their parents, and then in a couple of months, a figure jumps out of nowhere and becomes "Your Financial Aid Package."

Tonitza A Graphics Package For Structural Biology User's Guide, Ioana Maria Martin, Dan C. Marinescu

Department of Computer Science Technical Reports

No abstract provided.

Parametric Kinematic Tolerance Analysis Of Planar Mechanisms, Elisha Sacks, Leo Joskowicz

Department of Computer Science Technical Reports

No abstract provided.

Adaptive Integration Of Audio And Visual Information Using Discrete And Semi-Continuous Hidden Markov Models In Audiovisual Automatic Speech Recognition, Qin Su

Electrical & Computer Engineering Theses & Dissertations

An audiovisual semi-continuous hidden Markov model (HMM)-based Automatic Speech Recognition (ASR) system and an improved method of integrating audio and visual information in an audiovisual discrete HMM-based ASR system are investigated.

In the audiovisual discrete HMM, an adaptive integration formulation is employed, which incorporates the integration into the HMM at a pre-categorical stage. A visual weighting parameter is determined automatically, which allows the relative contribution of audio and visual information to be adjusted adaptively. Using an adaptive weight, the accuracy increased by 13% compared to the same model with no adaptive weight.

The semi-continuous HMM is a class of models …

Variable Step Size Lms Adaptive Filters With Delayed Coefficient Updating, Guixian Xu

Electrical & Computer Engineering Theses & Dissertations

A new approach to delayed LMS adaptive filtering is presented, which uses a variable step size for coefficient updating to increase convergence speed and improve tracking characteristics. The new algorithm, called delayed variable step size LMS (DVLMS), is explained, analyzed, and simulated to experimentally determine performance characteristics. Three different strategies for adjusting the step size are examined, and their performance is compared. Also, simulation results are presented to show that the proposed DVLMS systems provide faster convergence and lower mis-adjustment than previously proposed DLMS systems.

Speech Feature Computation For Visual Speech Articulation Training, Stefan Auberg

Electrical & Computer Engineering Theses & Dissertations

A new version of the Visual Speech Articulation Training Aid was implemented which provides real-time visual feedback for speech articulation training. This version was migrated to a Windows Multimedia PC from a previous version which used a Personal Computer (PC) system and additional specialized and expensive custom hardware. This new version will make the system more available to schools and private users. A new method was developed for computing spectral/temporal features which characterize the speech sounds. In addition to the typical frame-based spectral analysis parameters, the new method represents temporal changes of the spectrum with a small number of features. …

Scheduling Processors For Distributed, Critical, Real-Time Systems, Hari K. Narasimhamurthy

Electrical & Computer Engineering Theses & Dissertations

The development of a procedure to obtain cyclo-static schedules for distributed, critical real-time applications is presented in this thesis. The applications considered in this thesis are characterized by hard deadlines and periodic inputs. The applica­ tions are described by a data flow graph model which guarantees performance. Given the data flow graph representation, processors are scheduled to complete tasks as specified in the representation. The scheduling technique separates the scheduling of tasks in time and the assignment of processors to tasks. While different criteria exist for task scheduling, a schedule which minimizes latency and maximizes throughput is used in this …

Wheels: An Automated Program Analysis Tool, Aggie Sun, Bruce Mcmillin

Computer Science Technical Reports

The understanding of program behavior is becoming vitally more important now that software is becoming an integral part of industry and everyday life. However, even the best documented code is often not sufficient enough to completely and correctly relay the actual program behavior. The problem lies beyond being familiar with the programming language and is hidden in the complex mathematics which govern the program's behavior. This behavior is not easily detected and varies from one program to the next. We propose a method for describing program behavior using two general properties of iterative programs: feasibility and progress. This method can …

Categorization Of Programs Using Neural Networks, Franz J. Kurfess, Lonnie R. Welch

Computer Science and Software Engineering

This paper describes some experiments based on the use of neural networks for assistance in the quality assessment of programs, especially in connection with the reengineering of legacy systems. We use Kohonen networks, or self-organizing maps, for the categorization of programs: programs with similar features are grouped together in a two-dimensional neighbourhood, whereas dissimilar programs are located far apart. Backpropagation networks are used for generalization purposes: based on a set of example programs whose relevant aspects have already been assessed, we would like to obtain an extrapolation of these assessments to new programs. The basis for these investigation is an …

Generalized Hidden Filter Markov Models Applied To Speaker Recognition, John M. Colombi

Theses and Dissertations

Classification of time series has wide Air Force, DoD and commercial interest, from automatic target recognition systems on munitions to recognition of speakers in diverse environments. The ability to effectively model the temporal information contained in a sequence is of paramount importance. Toward this goal, this research develops theoretical extensions to a class of stochastic models and demonstrates their effectiveness on the problem of text-independent (language constrained) speaker recognition. Specifically within the hidden Markov model architecture, additional constraints are implemented which better incorporate observation correlations and context, where standard approaches fail. Two methods of modeling correlations are developed, and their …

A Generic Intelligent Architecture For Computer-Aided Training Of Procedural Knowledge, Freeman A. Kilpatrick Jr.

Theses and Dissertations

Intelligent Tutoring System (ITS) development is a knowledge-intensive task, suffering from the same knowledge acquisition bottleneck that plagues most Artificial Intelligence (AI) systems. This research presents an architecture that requires knowledge only in the form of a shallow knowledge base and a simulation to produce a training system. The knowledge base provides the basic procedural knowledge while the simulation provides context. The remainder of the knowledge required for training is learned through the interaction of these components in a state-space scenario exploration process and inductive machine learning. These knowledge components are used only at the interface level, allowing the internal …

Stochastic Approximation Methods For Systems Over An Infinite Horizon, Harold J. Kushner, Felisa Vázquez-Abad

Publications and Research

The paper develops efficient and general stochastic approximation (SA) methods for improving the operation of parametrized systems of either the continuous- or discrete-event dynamical systems types and which are of interest over a long time period. For example, one might wish to optimize or improve the stationary (or average cost per unit time) performance by adjusting the systems parameters. The number of applications and the associated literature are increasing at a rapid rate. This is partly due to the increasing activity in computing pathwise derivatives and adapting them to the average-cost problem. Although the original motivation and the examples come …

A System For Structured Management Of Hypermedia Resources For The World Wide Web, Kevin L. Marlowe

Computer Science Theses & Dissertations

The World Wide Web (WWW) is arguably the preferred method for disseminating information across the Internet. Most of the work to support the advancement of WWW technology has focused on servers used in storing and retrieving information, browsers for viewing this information, and editors or filters for creating the information.

One area which has received little attention is that of actually managing this information at the local host. This thesis describes the development of a means for organizing local data prior to its publishing on the WWW, a method for gathering local pages together and preparing them for distribution, and …

On The Interaction Of Object-Oriented Design Patterns And Programming Languages, Gerald Baumgartner, Konstantin Läufer, Vincent F. Russo

Computer Science: Faculty Publications and Other Works

Design patterns are distilled from many real systems to catalog common programming practice. However, some object-oriented design patterns are distorted or overly complicated because of the lack of supporting programming language constructs or mechanisms. For this paper, we have analyzed several published design patterns looking for idiomatic ways of working around constraints of the implementation language. From this analysis, we lay a groundwork of general-purpose language constructs and mechanisms that, if provided by a statically typed, object-oriented language, would better support the implementation of design patterns and, transitively, benefit the construction of many real systems. In particular, our catalog of …

A Performance Monitoring Environment And Its Use For The Study Of Paging And I/O Activity Of Parallel Programs, Kuei Yu Wang, Dan C. Marinescu

Department of Computer Science Technical Reports

No abstract provided.

A Secure Message Broadcasting System (Smbs), Mark Crosbie, Ivan Krsul, Steve Lodin, Eugene H. Spafford

Department of Computer Science Technical Reports

No abstract provided.

On Tailoring Thread Schedules In Protocol Design: Experimental Results, Juan Carlos Gomez, Vernon J. Rego, V. S. Sunderam

Department of Computer Science Technical Reports

No abstract provided.

Web//Ellpack: A Networked Computing Service On The World Wide Web, Sanjiva Weerawarana, Elias N. Houstis, John R. Rice, Margaret G. Gaitatzes, Shahani Markus

Department of Computer Science Technical Reports

No abstract provided.

A Multiagent Environment For Mpses, Tzvetan T. Drashansky, Anupam Joshi, John R. Rice, Elias N. Houstis, Sanjiva Weerawarana

Department of Computer Science Technical Reports

No abstract provided.

Entity Identification In Database Integration, Ee Peng Lim, Jaideep Srivastava, Satya Prabhakar, James Richardson

Research Collection School Of Computing and Information Systems

The objective of entity identification is to determine the correspondence between objective instances from more than one database. This paper examines the problem at the instance level assuming that schema level heterogeneity has been resolved a priori. Soundness and completeness are defined as the desired properties of any entity-identification technique. To achieve soundness, a set of identity and distinctness rules have to be established for the entities in the integrated world. We then propose the use of extended key, which is the union of keys (and possibly other attributes) from the relations to be matched, and its corresponding identity rule …