Digital Commons Network^™

Tr-2006005: Logical Omniscience Via Proof Complexity, Sergei Artemov, Roman Kuznets

Computer Science Technical Reports

No abstract provided.

Tr-2006006: Additive Preconditioning And Aggregation In Matrix Computations, Victor Y. Pan, Dmitriy Ivolgin, Brian Murphy, Rhys Eric Rosholt, Islam Taj-Eddin, Yuqing Tang, Xiaodong Yan

Computer Science Technical Reports

No abstract provided.

Tr-2006007: Root-Finding With Eigen-Solving, Victor Y. Pan, Brian Murphy, Rhys Eric Rosholt

Computer Science Technical Reports

No abstract provided.

Software-Based Gradient Nonlinearity Distortion Correction, Thomas Seward Lee

Theses Digitization Project

The primary purpose of the thesis is to discuss the use of Magnetic Resonance Imaging (MRI) in functional proton radiosurgery. The methods presented in this thesis were specifically designed to correct gradient nonlinearity distortion, the single greatest hurdle that limits the deployment of MRI-based functional proton radiosurgery systems. The new system central in the thesis fully utilized MRI to provide localization of anatomical targets with submillimeter accuracy. The thesis provides analysis and solutions to the problems related to gradient nonlinearity distortion. The characteristics of proton radiosurgery are introduced, in addition to a discussion of its advantages over other current methods …

Game Design And Development, Vani Indrani Surangi

Theses Digitization Project

The project focuses on computer tools suitable for particular game genres and how they are used to develop 3D computer games. As part of learning about the tools, the author developed a 3D computer adventure game called "Adventures of Smiley" using Macromedia Director MX and 3D Studio Max. The game's purpose is to engage children using a friendly interface while they learn about different topics in various subject areas through lessons and puzzles. The research gathered information about the current game industry, technologies and game genres, which can be used as a reference for the beginning level game programmer. The …

Tr-2006004: Justified Knowledge Is Sufficient, Evangelia Antonakos

Computer Science Technical Reports

No abstract provided.

A Systematic Review Of The Roles And Competencies Of Medical Information Professionals(Mips) In Evidence-Based Medicine In Thailand, Somrux Sahapong, Lampang Manmart, Dusadee Ayuvat, Somkiet Potisat

EDU-COM International Conference

The aim of this study was to systematically review the roles and competencies of Medical Information Professionals (MIPs: non-medical personnel who are information technology and medical library literacy) in supporting clinicians in the practice of evidence-based medicine (EBM) as reported in the published literature. It analysed and synthesized information from textbooks on EBM and research and review articles drawn from MEDLINE using the following keywords: ―evidence-based medicine‖, ―information seeking and physician‖, ―information need and physician‖, ―EBM librarian‖, ―clinical librarian‖, ―library service‖, ―informationist‖, and ―knowledge management‖. Information from research articles published in local journals and conference proceedings was also included evidence-based …

Semantics Enabled Dynamic Process Configuration, Kunal Verma, Karthik Gomadam, Jonathan Lathem, Amit P. Sheth, John A. Miller

Kno.e.sis Publications

Web processes are the next generation workflows created using Web services. This paper addresses research issues in creating a framework for configuring and executing dynamic Web processes. Our approach is that of a multiparadigm constraint analysis for process configuration using quantitative and logical constraints. We also present a software architecture and an engineering approach for extending current Web service infrastructure to support dynamic Web processes. An execution environment, extending Apache Axis, one of the most popular SOAP implementations, to support dynamic process configuration is presented. Empirical evaluation of the system is performed to demonstrate the cost benefits of dynamic process …

Data Processing In Space, Time, And Semantics Dimensions, Farshad Hakimpour, Boanerges Aleman-Meza, Matthew Perry, Amit P. Sheth

Kno.e.sis Publications

This work presents an experimental system for data processing in space, time and semantics dimensions using current Semantic Web technologies. The paper describes how we obtain geographic and event data from Internet sources and also how we integrate them into an RDF store. We briefly introduce a set of functionalities in space, time and semantics dimensions. These functionalities are implemented based on our existing technology for main-memory based RDF data processing developed in the LSDIS Lab. A number of these functionalities are exposed as REST Web services. We present two sample client side applications that are developed using a combination …

An Empirical Evaluation Of The Impact Of Test-Driven Development On Software Quality, David S. Janzen

Computer Science and Software Engineering

Test-driven development (TDD) has gained recent attention with the popularity of the Extreme Programming agile software development methodology. Advocates of TDD rely primarily on anecdotal evidence with relatively little empirical evidence of the benefits of the practice. This research is the first comprehensive evaluation of how TDD affects software architecture and internal design quality. Formal controlled experiments were conducted in undergraduate and graduate academic courses, in a professional training course, and with in-house professional development projects in a Fortune 500 company. The experiments involved over 230 student and professional programmers working on almost five hundred software projects ranging in size …

Multinational Web Uses And Gratifications: Measuring The Social Impact Of Online Community Participation Across National Boundaries, Patricia Grace-Farfaglia, Ad Dekkers, Binod Sundararajan, Lois Peters, Sung-Hee Park

Nutrition Sciences Faculty Publications

This paper describes the rationale and findings from a multinational study of online uses and gratifications conducted in theUnited States,Korea, and theNetherlandsin spring 2003. Survey questions developed in three languages by native speaking researchers was presented to approximately 400 respondents in each country via the Web. Web uses and gratifications were analyzed cross-nationally in a comparative fashion focusing on involvement in different types of on-line communities. Findings indicate that demographic characteristics, cultural values, and Internet connection type emerged as critical factors that explain why the same technology is adopted differently.

Reporting On-Campus Crime Online: User Intention To Use, Gondy A. Leroy, Alicia Iriberri '06, Nathan Garrett

CGU Faculty Publications and Research

National surveys demonstrate that millions of crimes go unreported in the United States. Several reasons may contribute to this lack of reporting and we are investigating these potential reasons and how they may be addressed. We are developing an online system that provides an anonymous and secure mechanism for both victims and witnesses to report crimes to police. The system is being implemented and tested on a university campus. Potential users (i.e., students, staff) were surveyed to determine their intent to use the system. Respondents claimed to report crimes already, which is in contrast with the findings from the national …

Wright State University College Of Engineering And Computer Science Bits And Pcs Newsletter, Volume 22, Number 4, January 2006, College Of Engineering And Computer Science, Wright State University

BITs and PCs Newsletter

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

A Metrics Tool For Multi-Language .Net Software Applications, Panos K. Linos, G. Mcgullogh, E. Maier

Scholarship and Professional Work - LAS

The measurement of software metrics at the MSIL (Microsoft Intermediate Language) level can be as effective as measuring such metrics at the level of each individual language (e.g. VB, Java, C# etc.).

Traditional Chinese Medicine On-Line Diagnosis System, Chuan-Ting Chou

Theses Digitization Project

The project developed a web-based application that provides a user-friendly interface to assist practitioners of traditional Chinese medicine in determining the correct diagnosis. Traditional Chinese Medicine On-line Diagnosis System (TCMODS) allows a diagnostician to enter a patient's symptoms using a series of questionnaires to determine health status, which will then be stored in the database as part of the patient's medical records. The database will also differentiate among the patterns of syndromes known in traditional Chinese medicine and search and match these with the patient's data to the known uses of Chinese herbs. TCMODS will then generate that patient's medical …

Personal Online Banking System, Xinsheng Chen

Theses Digitization Project

The Personal Online Banking System (POBS) is a Web-based application that allows users to conduct online bank services. The bank customer can use POBS for deposits and withdrawals, to view her checking and/or saving account, and to transfer funds between accounts. The bank clerk can use POBS to handle customer deposits and withdrawals. The bank manager can use POBS to view reports generated by the system and save these reports in Excel format. The system administrator can use POBS for user account management. The project proves that use of Spring Framework, a layered application framework based on J2EE Design and …

Biometric Security: Are Inexpensive Biometric Devices Reliable Enough To Gain Wide-Spread Security Usage?, Brian Thanh Tran

Inquiry: The University of Arkansas Undergraduate Research Journal

The ever growing need for security in today' s world requires exploring the feasibility of various security methods to ensure the safety of the world's population. With the tremendous growth of technology, e-commerce, and business globalization, society implements new methods to try to battle security problems. Technology advances has resulted in a number of inexpensive biometric devices to the marketplace. Two questions surface regarding this devices-are they reliable enough for general usage and will people be willing to use them? This research conducted a repeated design experiment to determine the effectiveness of four inexpensive biometric devices-three fingerprint readers and an …

Sabbatical Leave Proposal And Report, Ken Urban

Sabbaticals

I plan to use my sabbatical time creating live websites/ databases/ web services for not-for-profit businesses. I plan to create them using the rich variety of different tools I have been teaching. I think it is important that I not only build these sites, but also interact with groups who will be using the sites while building them.

I plan to write a time-based contract with the entities for whom I will consultant pro bono for. Of the many benefits, this will ensure an end for the work, to prevent this from interfering with my future work at Parkland. This …

Technology Professional Development: Long-Term Effects On Teacher Self-Efficacy, George R. Watson

Educational Foundations and Technology

The West Virginia K-12 RuralNet Project was an NSF funded program to train inservice teachers on integrating the Internet into science and mathematics curriculum. The program involved training inservice teachers through an intensive summer workshop and supplemental online courses. This study examines the effects of the project on the long-term self-efficacy of inservice teachers and their use of the Internet in the classroom. The specific research questions addressed are: Do professional development programs affect the long-term self-efficacy of inservice teachers? Did the addition of online courses and follow-up to the program affect self-efficacy levels? Finally, do certain external factors, specifically …

Exploiting Redundancy To Boost Performance In A Raid-10 Style Cluster-Based File System, Yifeng Zhu, Hong Jiang, Xiao Qin, Dan Feng, David Swanson

School of Computing: Faculty Publications

While aggregating the throughput of existing disks on cluster nodes is a cost-effective approach to alleviate the I/O bottleneck in cluster computing, this approach suffers from potential performance degradations due to contentions for shared resources on the same node between storage data processing and user task computation. This paper proposes to judiciously utilize the storage redundancy in the form of mirroring existed in a RAID-10 style file system to alleviate this performance degradation. More specifically, a heuristic scheduling algorithm is developed, motivated from the observations of a simple cluster configuration, to spatially schedule write operations on the nodes with less …

Approximation Algorithms For Survivable Multicommodity Flow Problems With Applications To Network Design, Ajay Todimala, Byrav Ramamurthy

School of Computing: Conference and Workshop Papers

Multicommodity flow (MF) problems have a wide variety of applications in areas such as VLSI circuit design, network design, etc., and are therefore very well studied. The fractional MF problems are polynomial time solvable while integer versions are NP-complete. However, exact algorithms to solve the fractional MF problems have high computational complexity. Therefore approximation algorithms to solve the fractional MF problems have been explored in the literature to reduce their computational complexity. Using these approximation algorithms and the randomized rounding technique, polynomial time approximation algorithms have been explored in the literature.

In the design of high-speed networks, such as …

A Database And Tool, Im Browser, For Exploring And Integrating Emerging Gene And Protein Interaction Data For Drosophila, Svetlana Pacifico, Guozhen Liu, Stephen Guest, Jodi R. Parrish, Farshad Fotouhi, Russell L. Finley Jr

Wayne State University Associated BioMed Central Scholarship

Abstract

Background

Biological processes are mediated by networks of interacting genes and proteins. Efforts to map and understand these networks are resulting in the proliferation of interaction data derived from both experimental and computational techniques for a number of organisms. The volume of this data combined with the variety of specific forms it can take has created a need for comprehensive databases that include all of the available data sets, and for exploration tools to facilitate data integration and analysis. One powerful paradigm for the navigation and analysis of interaction data is an interaction graph or map that represents proteins …

A Sparse Program Dependence Graph For Object Oriented Programming Languages, Keith Garfield

Electronic Theses and Dissertations

The Program Dependence Graph (PDG) has achieved widespread acceptance as a useful tool for software engineering, program analysis, and automated compiler optimizations. This thesis presents the Sparse Object Oriented Program Dependence Graph (SOOPDG), a formalism that contains elements of traditional PDG's adapted to compactly represent programs written in object-oriented languages such as Java. This formalism is called sparse because, in contrast to other OO and Java-specific adaptations of PDG's, it introduces few node types and no new edge types beyond those used in traditional dependence-based representations. This results in correct program representations using smaller graph structures and simpler semantics when …

Fast Bounds On The Distribution Of Smooth Numbers, Scott T. Parsell, Jonathan P. Sorenson

Scholarship and Professional Work - LAS

In this paper we present improvements to Bernstein’s algorithm, which finds rigorous upper and lower bounds for (x, y).

The Pseudosquares Prime Sieve, Jonathan P. Sorenson

Scholarship and Professional Work - LAS

We present the pseudosquares prime sieve, which finds all primes up to n.

Logic Circuits And The Quality Of Life, Vincent W. Childress

Publications

The article presents information on the relationship between the logic circuits and the quality of life. The applications of logic circuits are countless. With the flooding of New Orleans in the wake of Hurricane Katrina, people around the world became all too aware of human dependency on technology to manage the forces of nature and maintain a high quality of life. New Orleans' sewage and water control systems depend on water pumps to move sewage, storm-water runoff, and fresh water around the city. Under normal conditions, when it rains in New Orleans, a city that sits below sea level, massive …

Sensor-Based Computing Techniques For Real-Time Traffic Evacuation Management, Georgiana Hamza-Lup

Electronic Theses and Dissertations

The threat of terrorist incidents is higher than ever before and devastating acts, such as the terrorist attacks on the World Trade Center and the Pentagon, have left many concerns about the possibility of future incidents and their potential impact. Unlike some natural disasters that can be anticipated, terrorist attacks are sudden and unexpected. Even if sometimes we do have partial information about a possible attack, it is generally not known exactly where, when, or how an attack will occur. This lack of information posses great challenges on those responsible for security, specifically, on their ability to respond fast, whenever …

Active Learning To Maximize Area Under The Roc Curve, Matt Culver, Deng Kun, Stephen Scott

School of Computing: Conference and Workshop Papers

In active learning, a machine learning algorithmis given an unlabeled set of examples U, and is allowed to request labels for a relatively small subset of U to use for training. The goal is then to judiciously choose which examples in U to have labeled in order to optimize some performance criterion, e.g. classification accuracy. We study how active learning affects AUC. We examine two existing algorithms from the literature and present our own active learning algorithms designed to maximize the AUC of the hypothesis. One of our algorithms was consistently the top performer, and Closest Sampling from the literature …

Scaling A Dataflow Testing Methodology To The Multiparadigmworld Of Commercial Spreadsheets, Marc Fisher Ii, Gregg Rothermel, Tyler Creelan, Margaret Burnett

School of Computing: Conference and Workshop Papers

Spreadsheets are widely used but often contain faults. Thus, in prior work we presented a data-flow testing methodology for use with spreadsheets, which studies have shown can be used cost-effectively by end-user programmers. To date, however, the methodology has been investigated across a limited set of spreadsheet language features. Commercial spreadsheet environments are multiparadigm languages, utilizing features not accommodated by our prior approaches. In addition, most spreadsheets contain large numbers of replicated formulas that severely limit the efficiency of data-flow testing approaches. We show how to handle these two issues with a new data-flow adequacy criterion and automated detection of …

Predicting Domain Specific Entities With Limited Background Knowledge, Christopher Thomas, Amit P. Sheth

Kno.e.sis Publications

This paper proposes a framework for automatic recognition of domain-specific entities from text, given limited background knowledge, e.g. in form of an ontology. The algorithm exploits several lightweight natural language processing techniques, such as tokenization and stemming, as well as statistical techniques, such as singular value decomposition (SVD) to suggest domain relatedness of unknown entities.