Digital Commons Network^™

On-Line Multimedia Management System, Yibin Jiang

Theses Digitization Project

Online Multimedia Management System (OMMS) is a project to provide users to store and share their mutimedia files. The users and administrator can modify and update the multimedia files and database information from a normal web browser. The administrator and users with access have different levels of permission.

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

Computer Science Technical Reports

No abstract provided.

Tr-2007004: Additive Preconditioning, Eigenspaces, And The Inverse Iteration, Victor Y. Pan, Xiaodong Yan

Computer Science Technical Reports

No abstract provided.

Tr-2007005: Interpreting Knowledge Into Belief In The Presence Of Negative Introspection, Evan Goris

Computer Science Technical Reports

No abstract provided.

Tr-2007006: Realizing Substitution Instances Of Modal Theorems, Melvin Fitting

Computer Science Technical Reports

No abstract provided.

Tr-2007008: The Satisfiability Problem—From The Theory Of Np-Completeness To State-Of-The-Art Sat Solvers, Rave Harpaz

Computer Science Technical Reports

No abstract provided.

Tr-2007015: Justification Logics And Conservative Extensions, Melvin Fitting

Computer Science Technical Reports

No abstract provided.

Tr-2007017: Linear Logic With Explicit Resources, Hirohiko Kushida

Computer Science Technical Reports

No abstract provided.

Tr-2007019: Justification Logic, Sergei Artemov

Computer Science Technical Reports

No abstract provided.

Tr-2007021: Row-Column Pivoting In Gaussian Elimination, Victor Y. Pan, Guoliang Qian, Ai-Long Zheng, Severin Ngnosse

Computer Science Technical Reports

No abstract provided.

Tr-2007022: The Schur Aggregation For Linear Systems And Determinants, V. Y. Pan, B. Murphy, G. Qian, R. E. Rosholt

Computer Science Technical Reports

No abstract provided.

Tr-2007023: The Schur Aggregation For Linear Systems And Determinants, V. Y. Pan, B. Murphy, G. Qian, R. E. Rosholt

Computer Science Technical Reports

No abstract provided.

Tr-2007024: A Register-Free Abstract Prolog Machine With Jumbo Instructions, Neng-Fa Zhou

Computer Science Technical Reports

No abstract provided.

Tr-2007025: Public Communication In Justification Logic, Bryan Renne

Computer Science Technical Reports

No abstract provided.

Toward A Design Space For Categorized Overviews Of Search Results, Jonathan M. Smith, Bill Kules

Library Faculty Publications & Presentations

There is a burgeoning movement to create user interfaces that combine searching and browsing in order to facilitate knowledge discovery. Categorized overviews are promising techniques to improve the browsing capabilities and subject access of search results. Research is needed to examine the design space in order to promote the usability and understanding of such interfaces.

This paper proposes a set of 14 dimensions grouped into three areas of the design space for categorized overviews. These dimensions emerged from a review of recent literature about exploratory search interface design and categorized overviews, an analysis of five examples that are seeking to …

Tr-2007003: Additive Preconditioning For Matrix Computations, Victor Y. Pan, Dmitriy Ivolgin, Brian Murphy, Rhys Eric Rosholt, Yuqing Tang, Xiaodong Yan

Computer Science Technical Reports

No abstract provided.

Tr-2007012: The Relative Expressivity Of Public And Private Communication In Bms Logic, Bryan Renne

Computer Science Technical Reports

No abstract provided.

Tr-2007013: Error-Free Computations Via Floating-Point Operations: The Code, V. Y. Pan, B. Murphy, G. Qian, R. E. Rosholt

Computer Science Technical Reports

No abstract provided.

Tr-2007016: Symmetric Logic Of Proofs, Sergei Artemov

Computer Science Technical Reports

No abstract provided.

Tr-2007018: Peak Shaving Through Resource Buffering, Amotz Bar-Noy, Matthew P. Johnson, Ou Liu

Computer Science Technical Reports

No abstract provided.

Contracts Database: Part Of The Solution, Michael J. Caprioli

Regis University Student Publications (comprehensive collection)

This document reviews the results of the implementation and aftermath of the Contracts Database, a 3 tier system using Java technology. Executive management at Intercontinental Research Foundation (IRF) decided to create a line of web applications for the research analysts to use as tools and create some consistency in the business process. The Contracts Database would be the first product in this initiative. This application would serve as an online database to be incorporated into the research analyst's daily routine. This document demonstrates the successful development of a web application and the potential pitfalls of trying to change business methodology.

Network Access Control: Disruptive Technology?, Craig Fisher

Regis University Student Publications (comprehensive collection)

Network Access Control (NAC) implements policy-based access control to the trusted network. It regulates entry to the network by the use of health verifiers and policy control points to mitigate the introduction of malicious software. However the current versions of NAC may not be the universal remedy to endpoint security that many vendors tout. Many organizations that are evaluating the technology, but that have not yet deployed a solution, believe that NAC presents an opportunity for severe disruption of their networks. A cursory examination of the technologies used and how they are deployed in the network appears to support this …

A Unified Approach To Retrieving Web Documents And Semantic Web Data, Trivikram Immaneni, Krishnaprasad Thirunarayan

Kno.e.sis Publications

The Semantic Web seems to be evolving into a property-linked web of RDF data, conceptually divorced from (but physically housed in) the hyperlinked web of HTML documents. We discuss the Unified Web model that integrates the two webs and formalizes the structure and the semantics of interconnections between them. We also discuss the Hybrid Query Language which combines the Data and Information Retrieval techniques to provide a convenient and uniform way to retrieve data and documents from the Unified Web. We present the retrieval system SITAR and some preliminary results.

Creating A Software Assembly Line, Gary Allan Howard

Regis University Student Publications (comprehensive collection)

This thesis describes a technical solution that improved the software development efforts needed to verify and validate a medical device, herein referred to as the “medical device.” The medical device had many software and hardware configurations that had to be developed, integrated, managed, and tested. There were a number of problems with the manual processes that were being used to verify and validate the product, so this project developed a system called the “Software Assembly Line” to continuously build software and automatically test it on multiple hardware configurations. As a result, software quality and predictability were improved, and the number …

Participation In The Environmental Information Exchange Network Using The National Emission Inventory Dataflow, Kent M. Thomas

Regis University Student Publications (comprehensive collection)

The US Environmental Protection Agency (EPA) and state environmental agencies have implemented a large nationwide system termed the Environmental Information Exchange Network, intended to consolidate and standardize the mechanism in which environmental data is exchanged between states, EPA, and other environmental organizations. The Exchange Network infrastructure is based on XML, Web services, and the Internet. The State of Alaska Department of Environmental Conservation (DEC) has an interest in participating in the Exchange Network. This project involves creation of software to extract, transform, validate, and submit DEC's air emissions data to EPA through the Exchange Network. Development of this software also …

Learning Geometry-Free Face Re-Lighting, Thomas Brendan Moore

Electronic Theses and Dissertations

The accurate modeling of the variability of illumination in a class of images is a fundamental problem that occurs in many areas of computer vision and graphics. For instance, in computer vision there is the problem of facial recognition. Simply, one would hope to be able to identify a known face under any illumination. On the other hand, in graphics one could imagine a system that, given an image, the illumination model could be identified and then used to create new images. In this thesis we describe a method for learning the illumination model for a class of images. Once …

A Classifier To Evaluate Language Specificity In Medical Documents, Trudi Miller '08, Gondy A. Leroy, Samir Chatterjee, Jie Fan, Brian Thoms '09

CGU Faculty Publications and Research

Consumer health information written by health care professionals is often inaccessible to the consumers it is written for. Traditional readability formulas examine syntactic features like sentence length and number of syllables, ignoring the target audience's grasp of the words themselves. The use of specialized vocabulary disrupts the understanding of patients with low reading skills, causing a decrease in comprehension. A naive Bayes classifier for three levels of increasing medical terminology specificity (consumer/patient, novice health learner, medical professional) was created with a lexicon generated from a representative medical corpus. Ninety-six percent accuracy in classification was attained. The classifier was then applied …

University Of Rhode Island Neasc Self-Study 2007. Standard Seven: Library And Other Information Resources

Collection Development Reports and Documents

Self-Study report by the University of Rhode Island, prepared in fall 2006 for the 2006/07 accreditation visit of the New England Association of Schools and Colleges (NEASC). Included here is Standard Seven: Library and Other Information Resources.

This standard was prepared by Standard Seven Committee Chair Karen M. Ramsay, Associate Professor and Chair of the Department of Technical Services in the University Libraries. Also on the Standard Seven Committee were: Lisa DiPippo, Associate Professor, Department of Computer Science & Statistics; Karol Leuzarder, Senior Tech Programmer, TOPS; Mary MacDonald, Associate Professor, University Libraries; David Eifler, Graduate Student; Jim Loy, Professor, Anthropology; …

A New Member Of The Family? The Continuum Of Being, Artificial Intelligence, And The Image Of God, Noreen L. Herzfeld

Theology Faculty Publications

Are the scientific and religious definitions of life irreconcilable or do they overlap in significant areas? What is life? Religion seems to imply that there is a qualitative distinction between human beings and the rest of creation; however, there is a strong tradition in Christianity and in Eastern thought that suggests that the natural world also has a relationship with God. Human dominion over other parts of creation exists, but does not obviate this connection, nor give humans a circle unto themselves. The concept of humans being created in the image of God can be used to explain why we …

Borg: Block-Reorganization And Self-Optimization In Storage Systems, Medha Bhadkamkar, Jorge Guerra, Luis Useche, Sam Burnett, Jason Liptak, Raju Rangaswami, Vagelis Hristidis

Electrical Engineering and Computer Science - All Scholarship

This paper presents the design, implementation, and evaluation of BORG, a self-optimizing storage system that performs automatic block reorganization based on the observed I/O workload. BORG is motivated by three characteristics of I/O workloads: non-uniform access frequency distribution, temporal locality, and partial determinism in non-sequential accesses. To achieve its objective, BORG manages a small, dedicated partition on the disk drive, with the goal of servicing a majority of the I/O requests from within this partition with significantly reduced seek and rotational delays. BORG is transparent to the rest of the storage stack, including applications, file system(s), and I/O schedulers, thereby …