Physical Sciences and Mathematics Commons^™

Mail Server Installation And Integration, Tim Lewis

Honors Capstone Projects and Theses

No abstract provided.

Specification And Verification Of Generic Cell Rate Algorithms In Pvs, Huseyin Ozgungor

Electrical & Computer Engineering Theses & Dissertations

Formal verification methods have been considered as a powerful complementary approach to define standards and to prove correctness of the systems. In this work, formal specification of Generic Cell Rate Algorithms are defined and proved. The specification process enables standardization for constructing Generic Cell Rate Algorithms. Standardization is an important process in the Asynchronous Transfer Mode (ATM) networks. By employing formal methods, the necessary standards could be constructed to allow different algorithms to be employed which still meet system requirements. Those system requirements are quantified in the Quality of Service (QOS).

Congestion management is a vital concept for networks in …

A Synthesized Methodology For Eliciting Expert Judgment For Addressing Uncertainty In Decision Analysis, Richard W. Monroe

Engineering Management & Systems Engineering Theses & Dissertations

This dissertation describes the development, refinement, and demonstration of an expert judgment elicitation methodology. The methodology has been developed by synthesizing the literature across several social science and scientific fields. The foremost consideration in the methodology development has been to incorporate elements that are based on reasonable expectations for the human capabilities of the user, the expert in this case.

Many methodologies exist for eliciting assessments for uncertain events. These are frequently elicited in probability form. This methodology differs by incorporating a qualitative element as a beginning step for the elicitation process. The qualitative assessment is a more reasonable way …

Integrating Research Into The Core Curriculum - A Case Study, Erika Rogers

Computer Science and Software Engineering

No abstract provided.

Agent Tcl: A Flexible And Secure Mobile-Agent System, Robert S. Gray

Dartmouth College Ph.D Dissertations

A mobile agent is an autonomous program that can migrate under its own control from machine to machine in a heterogeneous network. In other words, the program can suspend its execution at an arbitrary point, transport itself to another machine, and then resume execution from the point of suspension. Mobile agents have the potential to provide a {\em single, general framework} in which a wide range of distributed applications can be implemented efficiently and easily. Several challenges must be faced, however, most notably reducing migration overhead, protecting a machine from malicious agents (and an agent from malicious machines), and insulating …

Link/Loop/Node Networks, Mark E. Gilbert

Honors Theses

This document is really two separate documents that have been appended together. The first is Link/Loop/Node Networks. This document describes the theory behind link/loop/node networks (LLN), as well as the basic operating instructions for the LLN Simulator (LLNS). The second document is LLN Simulator Technical Reference. This second document describes how the LLNS was constructed using Microsoft Access 2.0, as well as how the LLNS simulates LLN.

Agent Based Systems To Support Multi- Disciplinary Probelm Solving Environments, Anupam Joshi, Naren Ramakrishnan, Tzvetan Drashansky, Elias N. Houstis, John R. Rice, L. H. Tsoukalas

Department of Computer Science Technical Reports

No abstract provided.

Improving Data Availability In Mobile Computing Using Prewrite Operations, Sanjay Kumar Madria, Bharat Bhargava

Department of Computer Science Technical Reports

No abstract provided.

Exploiting And-Or Parallelism In Prolog: The Oasys Computational Model And Abstract Architecture, I. P. Vlachavas

Department of Computer Science Technical Reports

No abstract provided.

Seed Sets And Search Structures For Accelerated Isocontouring, Chandrajit L. Bajaj, Valerio Pasucci, Daniel R. Schikore

Department of Computer Science Technical Reports

No abstract provided.

Practical Sliced Configuration Spaces For Curved Planar Pairs, Elisha Sacks

Department of Computer Science Technical Reports

No abstract provided.

Solving Composite Problems With Interface Relaxation, Mo Mu

Department of Computer Science Technical Reports

No abstract provided.

Book Review Of Joshua M. Epstein & Robert Axtell, Growing Artificial Societies: Social Science From The Bottom Up (Mit Press 1996), Sean D. Detweiler

RISK: Health, Safety & Environment (1990-2002)

Review of the book Joshua M. Epstein & Robert Axtell, Growing Artificial Societies: Social Science from the Bottom Up (MIT Press 1996). Acknowledgements, appendices, index, introduction references. LC 96-25332; ISBN 0-262-05053-6. [208 pp. Cloth $39.95. 55 Hayward St., Cambridge MA 02142.]

The Complexity Of Clerkship Scheduling, Jonathan Feldman

Dartmouth College Undergraduate Theses

Medical students must complete a clerkship program in their fourth year. Individual students have preferences for the clerkships to which they are assigned. However, individual hospitals also have capacities on how many students may be assigned to each clerkship. The problem of scheduling medical students to clerkships is formalized. The problem is then placed in a theoretical framework, and the most general case of Clerkship Scheduling is proven NP-hard. A detailed approximation algorithm is given, and an implementation of this algorithm is discussed and tested.

Autonomous Construction Of Multi Layer Perceptron Neural Networks, Thomas F. Rathbun

Theses and Dissertations

The construction of Multi Layer Perceptron (MLP) neural networks for classification is explored. A novel algorithm is developed, the MLP Iterative Construction Algorithm (MICA), that designs the network architecture as it trains the weights of the hidden layer nodes. The architecture can be optimized on training set classification accuracy, whereby it always achieves 100% classification accuracies, or it can be optimized for generalization. The test results for MICA compare favorably with those of backpropagation on some data sets and far surpasses backpropagation on others while requiring less FLOPS to train. Feature selection is enhanced by MICA because it affords the …

Search For The Bc Meson In Hadronic Z Decays, R. Barate, Manoj Thulasidas

Research Collection School Of Computing and Information Systems

A search for the Bc meson decaying into the channels Jψπ+ and Jψℓ+νℓ (ℓ = e or μ) is performed in a sample of 3.9 million hadronic Z decays collected by the ALEPH detector. This search results in the observation of 0 and 2 candidates in each of these channels, respectively, while 0.44 and 0.81 background events are expected. The following 90% confidence level upper limits are derived:Br(Z→BcXBr(Z→qq̄Br(Bc+→Jψπ+)

Wright State University College Of Engineering And Computer Science Bits And Pcs Newsletter, Volume 13, Number 6, June 1997, College Of Engineering And Computer Science, Wright State University

BITs and PCs Newsletter

Wright State University College of Engineering and Computer Science

Physiologically-Based Vision Modeling Applications And Gradient Descent-Based Parameter Adaptation Of Pulse Coupled Neural Networks, Randy P. Broussard

Theses and Dissertations

In this research, pulse coupled neural networks (PCNNs) are analyzed and evaluated for use in primate vision modeling. An adaptive PCNN is developed that automatically sets near-optimal parameter values to achieve a desired output. For vision modeling, a physiologically motivated vision model is developed from current theoretical and experimental biological data. The biological vision processing principles used in this model, such as spatial frequency filtering, competitive feature selection, multiple processing paths, and state dependent modulation are analyzed and implemented to create a PCNN based feature extraction network. This network extracts luminance, orientation, pitch, wavelength, and motion, and can be cascaded …

Measurement Of The Branching Fraction For D0 → K-Π+, R. Barate, M. Thulasidas

Research Collection School Of Computing and Information Systems

The branching fraction for D0 → K−π+ is measured with the statistics collected by ALEPH from 1991 to 1994. The method is based on the comparison between the rate for the reconstructed D∗+→ D0π+, D0 → K−π+ decay chain and the rate for inclusive soft pion production at low transverse momentum with respect to the nearest jet. The result is B(D0 → K−π+0 = (3.90 ± 0.09 ± 0.12)%

Technologies For Ubiquitous Supercomputing: A Java Interface To The Nexus Communication System, Ian Foster, George K. Thiruvathukal, Steven Tuecke

Computer Science: Faculty Publications and Other Works

We use the term ubiquitous supercomputing to refer to systems that integrate low- and mid-range computing systems, advanced networks and remote high-end computers with the goal of enhancing the computational power accessible from local environments. Such systems promise to enable new applications in areas as diverse as smart instruments and collaborative environments. However, they also demand tools for transporting code between computers and for establishing flexible, dynamic communication structures. In this article, we propose that these requirements be satisfied by introducing Java classes that implement the global pointer and remote service request mechanisms defined by a communication library called Nexus. …

Bandwidth, Edgesum And Profile Of Graphs, Yung-Ling Lai

Dissertations

No abstract provided.

A Toolkit For Specializing Production Operating System Code, Crispin Cowan, Dylan Mcnamee, Andrew P. Black, Calton Pu, Jonathan Walpole, Charles Krasic, Perry Wagle, Qian Zhang

Computer Science Faculty Publications and Presentations

Specialization has been recognized as a powerful technique for optimizing operating systems. However, specialization has not been broadly applied beyond the research community because the current techniques, based on manual specialization, are time-consuming and error-prone. This paper describes a specialization toolkit that should help broaden the applicability of specializing operating systems by assisting in the automatic generation of specialized code, and {\em guarding} the specialized code to ensure the specialized system continues to be correct. We demonstrate the effectiveness of the toolkit by describing experiences we have had applying it in real, production environments. We report on our experiences with …

Efficient Parallel Processing With Optical Interconnections, Lili Hai

Dissertations

With the advances in VLSI technology, it is now possible to build chips which can each contain thousands of processors. The efficiency of such chips in executing parallel algorithms heavily depends on the interconnection topology of the processors. It is not possible to build a fully interconnected network of processors with constant fan-in/fan-out using electrical interconnections. Free space optics is a remedy to this limitation. Qualities exclusive to the optical medium are its ability to be directed for propagation in free space and the property that optical channels can cross in space without any interference. In this thesis, we present …

Multi-Wavelength Infrared Imaging Computer Systems And Applications, Jun Li

Dissertations

This dissertation presents the development of three computer systems for multi-wavelength thermal imaging.

Two computer systems were developed for the multi-wavelength imaging pyrometers (M-WIPs) that yield non-contact temperature measurements by remotely sensing the surface of objects with unknown wavelength-dependent emissivity. These M-WIP computer systems represent the state-of-art development in remote temperature measurement system based on the multi-wavelength approach. The dissertation research includes M-WIP computer system integration, software development, performance evaluation, and also applications in monitoring and control of temperature distribution of silicon wafers in a rapid thermal process system.

The two M-WIPs are capable of data acquisition, signal processing, system …

High Speed Protocols For Dual Bus And Dual Ring Network Architectures, Yaling Zhou

Dissertations

In this dissertation, two channel access mechanisms providing fair and bandwidth efficient transmission on dual bus and dual ring networks with high bandwidth-latency product are proposed. In addition, two effective priority mechanisms are introduced to meet the throughput and delay requirements of the diverse arrays of applications that future high speed networks must support.

For dual bus architectures, the Buffer Insertion Bandwidth Balancing (BI_BWB) mechanism and the Preemptive priority Bandwidth Balancing (P_BI_BWB) mechanism are proposed. BI_BWB can significantly improve the delay performance of remote stations. It achieves that by providing each station with a shift register into which the station …

On Document Filing Based Upon Predicates, Zhijian Zhu

Dissertations

This dissertation presents a formal approach to modeling documents in a personal office environment, proposes a heterogeneous algebraic query language to manipulating objects (folders) in the document model, and investigates a predicate-driven document filing system for automatically filing documents.

The document model was initially proposed in [38] which adopts a very natural view for describing the office documents using the relational and object-oriented paradigms. The model employs a dual approach to classifying and categorizing office documents by defining both a document type hierarchy and a folder organization. This dissertation extends and specifies formally the document model. Documents are partitioned into …

Design And Implementation Of On-Line Metrics, Ashok Vantipalli

Theses

The performance of a software product plays an important role in the software industry to survive the tough competition given by the other software vendors. The real test for a software product starts after its release when it is extensively used by the end users and in different environments. And the software goes through a number of tests by the end users which can be very different and insufficient from the regression tests the software vendor performed on it. This critical issue; requires each vendor to have a department mainly dealing with the testing and analysing the performance of a …

A Graphical Environment For Change Detection In Structured Documents, Girish A. Patel

Theses

Change detection in structured documents (e.g. SGML is important in data warehousing, digital libraries and Internet databases. This thesis presents a graphical environment for detecting changes in the structured documents. We represent. each document by alp ordered labeled tree based on the underlying markup language. We then compare two documents by invoking previously developed algorithms for approximate pattern matching and pattern discovery in trees. Several operators are developed to support. the comparison of the documents; graphical devices are provided to facilitate the use of the operators. We believe the proposed tool is useful for not only document management, but also …

Object Oriented Partitioning For A Medical Vocabulary Based On Semantic Network, Mansnimar Singh

Theses

Computers have become ubiquitous and indispensable part of everyday life both for personal use and in the workplace. Medicine is one of the few domains that has not fully adopted computerization. One impediment to this emanates from a communication gap between the computer science professional and the medical professional. Besides, medical terminology is full of synonyms and medical professionals use them according to their personal preferences. This lack of common terminology has prevented sharing of knowledge and automating data processing, resulting in the healthcare information explosion.

Semantic network models have been developed to represent medical concepts and to provide a …

The Role Of Mathematics In Culture, W. James Bradley

ACMS Conference Proceedings 1997

This paper examines theories of the role of mathematics in culture and seeks to understand how a Christian should view the role of mathematics.