Other Computer Sciences Commons^™

Transforming Web Tables To A Relational Database, David W. Embley, George Nagy, Sharad C. Seth

School of Computing: Conference and Workshop Papers

HTML tables represent a significant fraction of web data. The often complex headers of such tables are determined accurately using their indexing property. Isolated headers are factored to extract category hierarchies. Web tables are then transformed into a canonical form and imported into a relational database. The proposed processing allows for the formulation of arbitrary SQL queries over the collection of induced relational tables.

Technology Initiative Assessment Through Acceptance And Satisfaction: A Case Study, Virginia Otto

All Graduate Theses, Dissertations, and Other Capstone Projects

This case study examines a University-wide tablet program to assess the primary users’ (students) acceptance and satisfaction of the implemented technology. Technology Acceptance Model (TAM) and user satisfaction research acted as the theoretical foundation that directed how to assess students’ attitudes and beliefs toward this newly adopted technology. Wixom & Todd’s (2005) Integrated Model of User Satisfaction and Technology Acceptance, served as the conceptual model to examine how students’ acceptance and satisfaction of the tablet related. Online surveys were distributed to examine if perceived usefulness and ease of use can predict user satisfaction. Multiple regression tests found that the combination …

Visualizing And Predicting The Effects Of Rheumatoid Arthritis On Hands, Radu P. Mihail

Theses and Dissertations--Computer Science

This dissertation was inspired by difficult decisions patients of chronic diseases have to make about about treatment options in light of uncertainty. We look at rheumatoid arthritis (RA), a chronic, autoimmune disease that primarily affects the synovial joints of the hands and causes pain and deformities. In this work, we focus on several parts of a computer-based decision tool that patients can interact with using gestures, ask questions about the disease, and visualize possible futures. We propose a hand gesture based interaction method that is easily setup in a doctor's office and can be trained using a custom set of …

Performance Modeling And Optimization Techniques For Heterogeneous Computing, Supada Laosooksathit

Doctoral Dissertations

Since Graphics Processing Units (CPUs) have increasingly gained popularity amoung non-graphic and computational applications, known as General-Purpose computation on GPU (GPGPU), CPUs have been deployed in many clusters, including the world's fastest supercomputer. However, to make the most efficiency from a GPU system, one should consider both performance and reliability of the system.

This dissertation makes four major contributions. First, the two-level checkpoint/restart protocol that aims to reduce the checkpoint and recovery costs with a latency hiding strategy in a system between a CPU (Central Processing Unit) and a GPU is proposed. The experimental results and analysis reveals some benefits, …

Mobile Indoor Positioning For Augmented Reality Systems, Robert B. Glass

Theses and Dissertations

This thesis explores the creation and setup of a prototype that allows users of the device to interact within an indoor real world environment and a virtual environment simultaneously using high-tech common technology. The prototype is comprised of a small mobile device such as a cellular mobile phone, Raspberry Pi computer, a battery powered handheld Pico projector, and software developed for the Android OS. The software can easily be ported to other mobile and non-mobile operating systems. The mobile device must contain accelerometer, magnetometer, and gyroscope embedded sensors as well as 802.11 wireless network chip. The prototype software implements an …

A Proof-Theoretic Semantic Analysis Of Dynamic Epistemic Logic, Sabine Frittella, Giuseppe Greco, Alexander Kurz, Alessandra Palmigiano, Vlasta Sikimić

Engineering Faculty Articles and Research

The present paper provides an analysis of the existing proof systems for dynamic epistemic logic from the viewpoint of proof-theoretic semantics. Dynamic epistemic logic is one of the best known members of a family of logical systems which have been successfully applied to diverse scientific disciplines, but the proof theoretic treatment of which presents many difficulties. After an illustration of the proof-theoretic semantic principles most relevant to the treatment of logical connectives, we turn to illustrating the main features of display calculi, a proof-theoretic paradigm which has been successfully employed to give a proof-theoretic semantic account of modal and substructural …

A Comparison Of A Campus Cluster And Open Science Grid Platforms For Protein- Guided Assembly Using Pegasus Workflow Management System, Natasha Pavlovikj, Kevin Begcy, Sairam Behera, Malachy Campbell, Harkamal Walia, Jitender S. Deogun

School of Computing: Conference and Workshop Papers

Scientific workflows are a useful tool for managing large and complex computational tasks. Due to its intensive resource requirements, the scientific workflows are often executed on distributed platforms, including campus clusters, grids and clouds. In this paper we build a scientific workflow for blast2cap3, the protein-guided assembly, using the Pegasus Workflow Management System (Pegasus WMS). The modularity of blast2cap3 allows us to decompose the existing serial approach on multiple tasks, some of which can be run in parallel. Afterwards, this workflow is deployed on two distributed execution platforms: Sandhills, the University of Nebraska Campus Cluster, and the Open Science …

Introduction To Parallel Computation, Clinton Mckay

Graduate Student Theses, Dissertations, & Professional Papers

Introduction to Parallel Computing is a course designed to educate students on how to use the parallel libraries and tools provided by modern operating systems and massively parallel computer graphics hardware.

Using a series of lectures and hands-on exercises. Students will learn about parallel algorithms and concepts that will aid them in analyzing a problem and constructing a parallel solution, if possible, using the tools available to their disposal.

The course consists of lectures, projects, quizzes, and homework. The combination of these components will deliver the necessary domain knowledge to students, test them, and in the process train them to …

Colormoo: An Algorithmic Approach To Generating Color Palettes, Joshua Rael

CMC Senior Theses

Selecting one color can be done with relative ease, but this task becomes more difficult with each subsequent color. Colormoo is an online tool aimed at solving this problem. We implement three algorithms for generating color palettes based off of a starting color. Data is collected for each palette that is generated. Our analysis reveals two of the algorithms are preferred, but under different circumstances. Furthermore, we find that users prefer palettes containing colors that are compatible, but not too similar. With refined heuristics, we believe these techniques can be extended and applied beyond the field of graphic design alone.

A Look Into The Industry Of Video Games Past, Present, And Yet To Come, Chad Hadzinsky

CMC Senior Theses

Since its inception, the video game industry has been both a new medium for art and innovation as well as a major driving force in the advancements of many technologies. The often overlooked video game industry has turned from a hobby to a multi-billion dollar industry in its short, forty year life. People of all ages and genders across the world are playing video games at a higher clip than ever before. With so many new gamers and emerging technologies, it is an exciting time for the industry. The landscape is constantly changing and successful business models of the past …

Neutrosophic Logic Approaches Applied To ”Rabot” Real Time Control, Alexandru Gal, Luige Vladareanu, Florentin Smarandache, Hongnian Yu, Mincong Deng

Branch Mathematics and Statistics Faculty and Staff Publications

In this paper we present a way of deciding which control law should operate at a time for a mobile walking robot. The proposed deciding method is based on the new research field, called Neutrosophic Logic. The results are presented as a simulated system for which the output is related to the inputs according to the Neutrosophic Logic.