Computer Sciences Commons^™

Responding To Policies At Runtime In Trustbuilder, Michael D. Jones, Kent E. Seamons, Bryan Smith

Faculty Publications

To preview my talk, I will first give a brief overview of trust negotiation and policy exchange. Third, I will discuss the limitations of current compliance checkers and adaptations needed for trust negotiation. Finally, I will outline the contributions of this research.

New Techniques For Improving Biological Data Quality Through Information Integration, Katherine Grace Herbert

Dissertations

As databases become more pervasive through the biological sciences, various data quality concerns are emerging. Biological databases tend to develop data quality issues regarding data legacy, data uniformity and data duplication. Due to the nature of this data, each of these problems is non-trivial and can cause many problems for the database. For biological data to be corrected and standardized, methods and frameworks must be developed to handle both structural and traditional data.

The BIG-AJAX framework has been developed for solving these problems through both data cleaning and data integration. This framework exploits declarative data cleaning and exploratory data mining …

Relationship Analysis : Improving The Systems Analysis Process, Joseph Thomas Catanio

Dissertations

A significant aspect of systems analysis involves discovering and representing entities and their inter-relationships. Guidelines exist to identify entities but do not provide a rigorous and comprehensive process to explicitly capture the relationship structure of the problem domain. Whereas, other analysis techniques lightly address the relationship discovery process, Relationship Analysis is the only systematic, domain-independent analysis technique focusing exclusively on a domain's relationship structure.

The quality of design artifacts, such as class diagrams, and development time necessary to generate these artifacts can be improved by first representing the complete relationship structure of the problem domain. The Relationship Analysis Model is …

Efficient Similarity Search In High-Dimensional Data Spaces, Yue Li

Dissertations

Similarity search in high-dimensional data spaces is a popular paradigm for many modern database applications, such as content based image retrieval, time series analysis in financial and marketing databases, and data mining. Objects are represented as high-dimensional points or vectors based on their important features. Object similarity is then measured by the distance between feature vectors and similarity search is implemented via range queries or k-Nearest Neighbor (k-NN) queries.

Implementing k-NN queries via a sequential scan of large tables of feature vectors is computationally expensive. Building multi-dimensional indexes on the feature vectors for k-NN search also tends to be unsatisfactory …

A Discovery And Analysis Of Influencing Factors Of Pair Programming, Kyungsub Steve Choi

Dissertations

The exploration into the underlying psychosocial links of pair programming. a new and unorthodox programming paradigm in which two programmers share one keyboard and monitor during real-time programming sessions, is undertaken. These complex psychosocial relationships, along with cognitive process exchanges, ultimately mold the programming output as well as determine the level of communication, satisfaction. confidence and compatibility. Laying the framework for this research, a through review of traditional and contemporary paradigms with a special focus on their limitations and a list of current software development problems are presented. Next, a detailed summary of pair programming and related agile software paradigms, …

On Ip Over Wdm Burst-Switched Long Haul And Metropolitan Area Networks, Jingxuan Liu

Dissertations

The IP over Wavelength Division Multiplexing (WDM) network is a natural evolution ushered in by the phenomenal advances in networking technologies and technical breakthroughs in optical communications, fueled by the increasing demand in the reduction of operation costs and the network management complexity. The unprecedented bandwidth provisioning capability and the multi-service supportability of the WDM technology, in synergy with the data-oriented internetworking mechanisms, facilitates a common shared infrastructure for the Next Generation Internet (NGJ).

While NGI targets to perform packet processing directly on the optical transport layer, a smooth evolution is critical to success. Intense research has been conducted to …

Studies Of Disk Arrays Tolerating Two Disk Failures And A Proposal For A Heterogeneous Disk Array, Chunqi Han

Dissertations

There has been an explosion in the amount of generated data in the past decade. Online access to these data is made possible by large disk arrays, especially in the RAID (Redundant Array of Independent Disks) paradigm. According to the RAID level a disk array can tolerate one or more disk failures, so that the storage subsystem can continue operating with disk failure(s). RAID 5 is a single disk failure tolerant array which dedicates the capacity of one disk to parity information. The content on the failed disk can be reconstructed on demand and written onto a spare disk. However, …

An Approximate Search Engine For Structure, Huiyuan Shan

Dissertations

As the size of structural databases grows, the need for efficiently searching these databases arises. Thanks to previous and ongoing research, searching by attribute-value and by text has become commonplace in these databases. However, searching by topological or physical structure, especially for large databases and especially for approximate matches, is still an art.

In this dissertation, efficient search techniques are presented for retrieving trees from a database that are similar to a given query tree. Rooted ordered labeled trees, rooted unordered labeled trees and free trees are considered. Ordered labeled trees are trees in which each node has a label …

Enriching And Designing Metaschemas For The Umls Semantic Network, Li Zhang

Dissertations

The disparate terminologies used by various biomedical applications or professionals make the communication between them more difficult. The Unified Medical Language System (UMLS) of the National Library of Medicine (NLM) is an attempt to integrate different medical terminologies into a unified representation framework to improve decision making and the quality of patient care as well as research in the health-care field. Metathesaurus (META) and Semantic Network (SN) are two main components of the UMLS system, where the SN provides a high-level abstract of the concepts in the META.

This dissertation addresses three problems of the SN. First, the SN's two-tree …

Participatory Learning Environment : Requirements And Design Analysis, Vikas Manohar Achhpiliya

Theses

The primary purpose of this thesis is to develop the requirements and model preliminary database and class designs for the Participatory Learning Approach Environment (PLAE). The requirements and the designs will be presented for version 1.0 and 2.0 with version 2.0 supporting an enhanced requirements set.

Participatory Learning Approach Environment (PLAE) is an exercise management tool for the Participatory Learning Approach (PLA) - a pedagogy approach based on the theory of constructivism. The PLAE facilitates and enhances learning among students while easing the administrative burden of the instructor and cognitive overload of the students. The theory and concepts on which …

Electronic Marketplaces And Their Roles In The Staffing Industry : An Explorative Analysis, Vishal Khubani

Theses

This thesis will explore and analyze the role of electronic marketplaces in the staffing industry from the viewpoint of hiring executives, human resources personnel, staffing organizations, and candidates. Using analyses of popular electronic job marketplaces, this paper will establish the efficiency and effectiveness of electronic marketplaces as compared to traditional staffing methods. It will also provide a detailed view of various electronic marketplaces, their financial structure and analysis of their performance. This information will also result in a return on investment estimate for the average hiring organization using electronic marketplaces.

A Clustered Back-Bone For Routing In Ad-Hoc Networks, Delzad Kothawala

Theses

In the recent years, a lot of research work has been undertaken in the area of ad-hoc networks due to the increasing potential of putting them to commercial use in various types of mobile computing devices. Topology control in ad-hoc networks is a widely researched topic; with a number of algorithms being proposed for the construction of a power-efficient topology that optimizes the battery usage of the mobile nodes.

This research proposes a novel technique of partitioning the ad-hoc network into virtually-disjoint clusters. The ultimate aim of forming a routing graph over which power-efficient routing can be implemented in a …

Analysis Of Auf1 Targeted Mrna Sequences, Jiebo Lu

Theses

AUF 1, an A+U rich element (ARE) binding protein, plays an important role in mRNA decay. To identify the mRNAs that interact with AUF 1, mRNA derived from a human cardiac cDNA expression library was purified by AUF 1 affinity chromatography and cloned following RT-PCR. 261 sequences were obtained. The sequences were searched against two protein databases and four nucleic acid databases, and the sequence information and database search results were input into a local Microsoft Access database, BLAST-AUF 1, by Java applets for parsing document. Analysis of protein information by querying BLAST-AUF 1 identified 194 function-known proteins, which were …

Review Of Algorithms For Rna Secondary Structure Prediction With Pseudoknots, Ingrid Helene Nielsen

Theses

Pseudoknots are structures that are formed from the base pairing of an RNA secondary loop structure with a complementary base which lies somewhere outside of the loop. The result is a structure, which plays a vital role in cell structure rigidity, regulation of protein synthesis, and in the structural organization of RNA complexes. Deciphering RNA folding patterns would begin to unravel some of the mysteries surrounding the cell and its functions and open a new world to scientists. Many algorithms have been written in this quest to predict RNA's secondary structure but not many have been very successful.

In this …

Analysis Of Molecular Conformations Using Relative Planes, Deepa S. Pai

Theses

Ring substructures of a drug usually participate actively in binding to the receptor. It is necessary to study the spatial relationship of these molecular recognition features in order to determine the pharmacophore of the drug. This is a particularly difficult problem when the drug is a flexible molecule with many energetically accessible conformations.

In this research an innovative approach to calculate the relative displacement and orientation of every possible pair of rings in a given molecule was designed, tested, and implemented in the "Planes" program. Planes were defined from each of the ring substructures and the displacement and rotation of …

Random Search Conformational Analysis Of Piperazine And Piperadine Analogs Of Gbr12909 : Implicit Aqueous Solvation Effects, William A. Roosma

Theses

The object of this work was to study the effect of solvent on the conformational potential energy surface (PES) of GBR12909 analogs. Local minima on the PES's were found by the Random Search algorithm using the Sybyl molecular modeling package from Tripos, Inc., and an implicit solvent model. Two force-field/charge models were employed in the analysis: the Tripos force field with Gasteiger-Huckel charges and the MMFF94 force field with MMFF94 charges.

The effect of solvent on the location of minima in multi-dimensional torsional angle space was studied by comparison to the vacuum phase results. Minima were plotted in torsional angle …

Systems Integration With Dlsi, Tarun Preet S. Bedi

Theses

Systems integration aims to provide a homogenous view to a system consisting of many heterogeneous systems. Systems integration can be achieved by many means out of which the middleware approach is the most popular. This is because middleware can be built around existing systems thereby reducing the amount of changes needed for the integration. Nowadays many middleware technologies are available to integrate heterogeneous systems. One can chose among them depending upon the requirements. But due to the many technologies available for Middleware, a muddle of middleware exists. To reduce this muddle and to integrate the systems already implemented using different …

Semantic Web Technology Evaluation Ontology (Sweto): A Test Bed For Evaluating Tools And Benchmarking Applications, Boanerges Aleman-Meza, Amit P. Sheth, I. Budak Arpinar, Chris Halaschek

Kno.e.sis Publications

No abstract provided.

A Spatiotemporal Query Service For Mobile Users In Sensor Networks, Chenyang Lu, Guoliang Xing, Octav Chipara, Chien-Liang Fok, Sangeeta Bhattacharya

All Computer Science and Engineering Research

This paper presents MobiQuery, a spatiotemporal query service that allows mobile users to periodically gather information from their surrounding areas through a wireless sensor network. A key advantage of MobiQuery lies in its capability to meet stringent spatiotemporal performance constraints crucial to many applications. These constraints include query latency, data freshness and fidelity, and changing query areas due to user mobility. A novel just-in-time prefetching algorithm enables MobiQuery to main-tain robust spatiotemporal guarantees even when nodes op-erate under extremely low duty cycles. Furthermore, it sig-nificantly reduces the storage cost and network contention caused by continuous queries from mobile users. We …

Bec Metering Department New System Proposal, Bradley Godwin

Honors Capstones

Capstone submitted as a graduation requirement for the BSU Honors Program.

Toward A Sound Integration Of Isabelle With A Combined Decision Procedure, Tom Harke

Computer Science Faculty Publications and Presentations

I present work on a project to integrate Isabelle, an extremely versatile interactive proof assistant, with a combined decision procedure, the Cooperating Validity Checker (CVC). Isabelle is sound and flexible, however it is often tedious to use. CVC is fully automatic, but only handles decision problems expressible over a relatively weak set of theories including linear arithmetic, uninterpreted functions, data types, and firstorder quantifier-free logic. My goal is to increase the amount of automation in Isabelle, by making it use CVC as an oracle for such problems, but without compromising Isabelle’s soundness.

In this paper I report on the progress …

Composing Systemic Aspects Into Component-Oriented Doc Middleware, Nanbor Wang

All Computer Science and Engineering Research

The advent and maturation of component-based middleware frameworks have sim-plified the development of large-scale distributed applications by separating system devel-opment and configuration concerns into different aspects that can be specified and com-posed at various stages of the application development lifecycle. Conventional component middleware technologies, such as J2EE [73] and .NET [34], were designed to meet the quality of service (QoS) requirements of enterprise applications, which focus largely on scalability and reliability. Therefore, conventional component middleware specifications and implementations are not well suited for distributed real-time and embedded (DRE) ap-plications with more stringent QoS requirements, such as low latency/jitter, timeliness, and …

Synchronizing Keyframe Facial Animation To Multiple Text-To-Speech Engines And Natural Voice With Fast Response Time, William H. Pechter

Dartmouth College Undergraduate Theses

This thesis aims to create an automated lip-synchronization system for real-time applications. Specifically, the system is required to be fast, consist of a limited number of keyframes with small memory requirements, and create fluid and believable animations that synchronize with text-to-speech engines as well as raw voice data. The algorithms utilize traditional keyframe animation and a novel method of keyframe selection. Additionally, phoneme-to-keyframe mapping, synchronization, and simple blending rules are employed. The algorithms provide blending between keyframe images, borrow information from neighboring phonemes, accentuate phonemes b, p and m, differentiate between keyframes for phonemes with allophonic variations, and provide prosodromic …

Enhancing Expressiveness Of Speech Through Animated Avatars For Instant Messaging And Mobile Phones, Joseph E. Pechter

Dartmouth College Undergraduate Theses

This thesis aims to create a chat program that allows users to communicate via an animated avatar that provides believable lip-synchronization and expressive emotion. Currently many avatars do not attempt to do lip-synchronization. Those that do are not well synchronized and have little or no emotional expression. Most avatars with lip synch use realistic looking 3D models or stylized rendering of complex models. This work utilizes images rendered in a cartoon style and lip-synchronization rules based on traditional animation. The cartoon style, as opposed to a more realistic look, makes the mouth motion more believable and the characters more appealing. …

Final Report For The Darpa/Nsf Interdisciplinary Study On Human–Robot Interaction, Jennifer L. Burke, Robin Roberson Murphy, Erika Rogers, Vladimir J. Lumelsky, Jean Scholtz

Computer Science and Software Engineering

As part of a Defense Advanced Research Projects Agency/National Science Foundation study on human–robot interaction (HRI), over sixty representatives from academia, government, and industry participated in an interdisciplinary workshop, which allowed roboticists to interact with psychologists, sociologists, cognitive scientists, communication experts and human–computer interaction specialists to discuss common interests in the field of HRI, and to establish a dialogue across the disciplines for future collaborations. We include initial work that was done in preparation for the workshop, links to keynote and other presentations, and a summary of the findings, outcomes, and recommendations that were generated by the participants. Findings of …

The Icdm Development Toolkit: Purpose And Overview, Jens G. Pohl, Kym Jason Pohl, Russell Leighton, Michael Zang, Steven Gollery, Mark Porczak

Collaborative Agent Design (CAD) Research Center

This report provides an overview description of the Integrated Cooperative Decision-Making (ICDM) software toolkit for the development of intelligent decision-support applications. More technical descriptions of ICDM are contained in a companion CDM Technical Report (CDM-18-04) entitled: ‘The ICDM Development Toolkit: Technical Description’.

ICDM is an application development framework and toolkit for decision-support systems incorporating software agents that collaborate with each other and human users to monitor changes (i.e., events) in the state of problem situations, generate and evaluate alternative plans, and alert human users to immediate and developing resource shortages, failures, threats, and similar adverse conditions. A core component of …

Meteor-S Web Service Annotation Framework, Abhijit A. Patil, Swapna A. Oundhakar, Amit P. Sheth, Kunal Verma

Kno.e.sis Publications

The World Wide Web is emerging not only as an infrastructure for data, but also for a broader variety of resources that are increasingly being made available as Web services. Relevant current standards like UDDI, WSDL, and SOAP are in their fledgling years and form the basis of making Web services a workable and broadly adopted technology. However, realizing the fuller scope of the promise of Web services and associated service oriented architecture will requite further technological advances in the areas of service interoperation, service discovery, service composition, and process orchestration. Semantics, especially as supported by the use of ontologies, …

Sempl: A Semantic Portal, Matthew Perry, Eric Stiles

Kno.e.sis Publications

Semantic Web technology is intended for the retrieval, collection, and analysis of meaningful data with significant automation afforded by machine understandability of data [1]. As one illustration of semantic web technology in action, we present SEMPL, a semantic web portal for the Large Scale Distributed Information Systems lab (LSDIS) at the University of Georgia. SEMPL, which is powered by a state of the art commercial system, Semagix Freedom [7], uses an ontology-driven approach to provide semantic browsing, linking, and contextual querying of content within the portal. By using the ontology based information integration technique, SEMPL can specify the context of …

Text Is Software Too, Alexander Dekhtyar, Jane Huffman Hayes, Tim Menzies

Computer Science and Software Engineering

Software compiles and therefore is characterized by a parseable grammar. Natural language text rarely conforms to prescriptive grammars and therefore is much harder to parse. Mining parseable structures is easier than mining less structured entities. Therefore, most work on mining repositories focuses on software, not natural language text. Here, we report experiments with mining natural language text (requirements documents) suggesting that: (a) mining natural language is not too diffcult, so (b) software repositories should routinely be augmented with all the natural language text used to develop that software.

Dynamic Robot Networks: A Coordination Platform For Multi-Robot Systems, Christopher M. Clark

Computer Science and Software Engineering

A large number of tasks, from manufacturing to planetary exploration, have been successfully accomplished using single robot systems. Many of these tasks could be completed faster, more reliably, and on a larger scale using a cooperating team of autonomous mobile robots. However, robots must be able to coordinate their actions before cooperation is possible. This work aims to enable robots with the ability to coordinate their actions for safe navigation in dynamic, unknown environments. Specifically, the work focuses on: 1) the coordination of multiple robots when sensing and inter-robot communication are limited and 2) multi-robot motion planning in dynamic, unknown …