Other Computer Sciences Commons^™

Impacts Of Soil Type And Moisture On The Capacity Of Multi-Carrier Modulation In Internet Of Underground Things, Abdul Salam, Mehmet C. Vuran

School of Computing: Conference and Workshop Papers

Unique interactions between soil and communication components in wireless underground communications necessitate revisiting fundamental communication concepts from a different perspective. In this paper, capacity profile of wireless underground (UG) channel for multi-carrier transmission techniques is analyzed based on empirical antenna return loss and channel frequency response models in different soil types and moisture values. It is shown that data rates in excess of 124 Mbps are possible for distances up to 12 m. For shorter distances and lower soil moisture conditions, data rates of 362 Mbps can be achieved. It is also shown that due to soil moisture variations, UG …

Towards A New Gis Maturity Model: An Organizational Usage Perspective, Omer Abdulaziz Alrwais

CGU Theses & Dissertations

The first condition required for an Information Technology (IT) system to produce value is that it be used by its designated target group of users. Despite the prevalence of “system use” in IS literature, it has been often limited to the individual level. The organizational perspective is rarely considered. This dissertation focuses on system usage in the GIS domain through an organizational lens. GIS is a technology with the potential to transform government by enhancing business processes and providing a platform to manage spatial and non-spatial data, which is expected to result in better decision-making. However, little is known about …

Un Indicator De Incluziune Cu Aplicaţii În Computer Vision, Florentin Smarandache, Ovidiu Ilie Sandru

Branch Mathematics and Statistics Faculty and Staff Publications

În aceasta lucrare vom prezenta un procedeu de algoritmizare a operatiilor necesare deplasarii automate a unui obiect predefinit dintr-o imagine video data intr-o regiune tinta a acelei imagini, menit a facilita realizarea de aplicatii software specializate in rezolvarea acestui gen de probleme.

An Indicator Of Inclusion With Applications To Computer Vision, Florentin Smarandache, Ovidiu Ilie Sandru

Branch Mathematics and Statistics Faculty and Staff Publications

In this paper we present an algorithmic process of necessary operations for the automatic movement of a predefined object from a video image in the target region of that image, intended to facilitate the implementation of specialized software applications in solving this kind of problems.

Do We Choose What We Desire? – Persuading Citizens To Make Consistent And Sustainable Mobility Decisions, Christopher Lisson, Margeret A. Hall

Interdisciplinary Informatics Faculty Proceedings & Presentations

A dilemma in urban mobility with tremendous effects on citizens’ wellbeing is the unconscious antipode between their short- and long-term goals. People do not anticipate all consequences of their modal choices and thus make decisions that might be incoherent with their desires, e.g. taking their own car due to convenience but causing a congested city. Omnipresent Information Systems on smartphones provide the necessary information and coordination capabilities to support people for sustainable and individually coherent mobility decisions on a mass scale. Building upon extant work in travel behavior and social psychology, a framework is proposed to coordinate research efforts in …

Using A Data Warehouse As Part Of A General Business Process Data Analysis System, Amit Maor

CMC Senior Theses

Data analytics queries often involve aggregating over massive amounts of data, in order to detect trends in the data, make predictions about future data, and make business decisions as a result. As such, it is important that a database management system (DBMS) handling data analytics queries perform well when those queries involve massive amounts of data. A data warehouse is a DBMS which is designed specifically to handle data analytics queries.

This thesis describes the data warehouse Amazon Redshift, and how it was used to design a data analysis system for Laserfiche. Laserfiche is a software company that provides each …

Analyzing The Geo-Dependence Of Human Face Appearance And Its Applications, Mohammad T. Islam

Theses and Dissertations--Computer Science

Human faces have been a subject of study in computer science for decades. The rich of set features from human faces have been used in solving various problems in computer vision, including person identification, facial expression analysis, and attribute classification. In this work, I explore the human facial features that depend on the geo-location using a data- driven approach. I analyze millions of public domain images to extract the geo-dependent human facial features and explore their applications. Using various machine learning and statistical techniques, I show that the geo-dependent features of human faces can be used to solve the image …

Spest – A Tool For Specification-Based Testing, Corrigan Redford Johnson

Master's Theses

This thesis presents a tool for SPEcification based teSTing (SPEST). SPEST is designed to use well known practices for automated black-box testing to reduce the burden of testing on developers. The tool uses a simple formal specification language to generate highly-readable unit tests that embody best practices for thorough software testing. Because the specification language used to generate the assertions about the code can be compiled, it can also be used to ensure that documentation describing the code is maintained during development and refactoring.

The utility and effectiveness of SPEST were validated through several exper- iments conducted with students in …

Near Real-Time Early Cancer Detection Using A Graphics Processing Unit, Jason Helms

EWU Masters Thesis Collection

"Automatically detecting early cancer using medical images is challenging, yet very crucial to help save millions of lives in the early stages of cancer. In this work, we improved a method that was originally developed by Yamaguchi et al. from the Saga University in Saga Japan. The original method would first decompose the endoscopic image into four color elements: red, green, blue and luminance (RGBL). Next each component is again decomposed to non-overlapping blocks of smaller images. Each smaller image undergoes two phases of DWT(s) and finally the Fractal Dimension (FD) is calculated per smaller image and abnormal regions are …

How Can We Have A Better Public Transportation System? –An Exploratory Agent Based Model, Boyu Liu

Pomona Senior Theses

Public transportation plays an integral part in a city's development, but transportation professionals disagree about whether it is feasible to increase the capacity of public transportation systems at a reasonable cost; and if it is, how. This study develops an agent based model that aims to answer this question and provide a framework to compare the effects of improvements in different aspects of the public transportation service. The results of this study show that it is possible to increase ridership enough to compensate for the increased operational cost, but only in certain circumstances. Interesting phenomenon that might have showed up …

Learning Hierarchically Decomposable Concepts With Active Over-Labeling, Yuji Mo, Stephen Scott, Doug Downey

School of Computing: Conference and Workshop Papers

Many classification tasks target high-level concepts that can be decomposed into a hierarchy of finer-grained subconcepts. For example, some string entities that are Locations are also Attractions, some Attractions are Museums, etc. Such hierarchies are common in named entity recognition (NER), document classification, and biological sequence analysis. We present a new approach for learning hierarchically decomposable concepts. The approach learns a high-level classifier (e.g., location vs. non-location) by seperately learning multiple finer-grained classifiers (e.g., museum vs. non-museum), and then combining the results. Soliciting labels at a finer level of granularity than that of the target concept is a new approach …

Teaching Presence And Intellectual Climate In A Structured Online Learning Environment, Janice Marie Orcutt

CCAC Theses and Dissertations

Teaching presence and its implications for the intellectual climate of an online classroom cannot be fully understood unless explored from the perspective of the instructors who experience it. Framed in the theoretical perspective of the Community of Inquiry (CoI) model, this collective case study investigated the actions, intentions and perceptions of instructors with the intent of developing an in-depth understanding of the phenomenon of teaching presence as it was established in a structured online learning environment.

The experiences of selected successful instructors in this specific online context were explored to gain insight on how pedagogical choices influenced the establishment of …

Umls::Association - Measuring The Association Between Biomedical Terms, Keith B. Herbert

UROP Posters

UMLS::Association - A Semantic Association Framework for Biomedical Texts

Keith Herbert

Natural Language Processing Lab, Department of Computer Science

Introduction

We present UMLS::Association, a software package to explore the semantic association of biomedical terms with applications for literature-based discovery. Literature-based discovery is an endeavour to ”connect the dots” for scientists between the topics of their research and those of unexpected relevance. However, many approaches rely on the exact wording for the ideas in the research papers being analyzed. The Unified Medical Language System (UMLS) provides a way to map natural language phrases in these papers to sequences of abstract yet …

Deep Level Lexical Features For Cross-Lingual Authorship Attribution, Marisa Llorens, Sarah Jane Delany

Conference papers

Crosslingual document classification aims to classify documents written in different languages that share a common genre, topic or author. Knowledge-based methods and others based on machine translation deliver state-of-the-art classification accuracy, however because of their reliance on external resources, poorly resourced languages present a challenge for these type of methods. In this paper, we propose a novel set of language independent features that capture language use from a document at a deep level, using features that are intrinsic to the document. These features are based on vocabulary richness measurements and are text length independent and self-contained, meaning that no external …

Multi-Type Display Calculus For Dynamic Epistemic Logic, Sabine Frittella, Giuseppe Greco, Alexander Kurz, Alessandra Palmigiano, Vlasta Sikimić

Engineering Faculty Articles and Research

In the present paper, we introduce a multi-type display calculus for dynamic epistemic logic, which we refer to as Dynamic Calculus. The displayapproach is suitable to modularly chart the space of dynamic epistemic logics on weaker-than-classical propositional base. The presence of types endows the language of the Dynamic Calculus with additional expressivity, allows for a smooth proof-theoretic treatment, and paves the way towards a general methodology for the design of proof systems for the generality of dynamic logics, and certainly beyond dynamic epistemic logic. We prove that the Dynamic Calculus adequately captures Baltag-Moss-Solecki’s dynamic epistemic logic, and enjoys Belnap-style cut …

Table Headers: An Entrance To The Data Mine, George Nagy, Sharad C. Seth

School of Computing: Conference and Workshop Papers

Algorithmic methods are demonstrated for information extraction from table header elements, including data categories and data hierarchies. The table headers are found with the Minimum Index Point Search algorithm. The header-path alignment and header completion algorithms yield database-ready table content and configuration statistics on a random sample of 400 diverse tables with ground truth and 1120 tables without ground truth from international statistical data sites.

Geometric Algorithms For Modeling Protein Structures, Dan Zeng

Undergraduate Research Symposium Posters

Understanding the structures of macromolecular assemblies is necessary to describe the mechanics of a wide variety of cellular processes. Such assemblies often consist of hundreds of proteins and nucleic acid, each with a unique shape. Modern imaging techniques, including electron cryo-microscopy, create 3D density maps to portray the shapes of these assemblies. However, computational methods for deriving structural models from these images are not fully developed because structural geometry varies depending on the image resolution. To address this issue, we developed geometric algorithms in Gorgon, a molecular visualization software. First, we created an interface for Pathwalking. This algorithm determines protein …

Users Acceptance Of Health Behavioral Change Support Systems, Mohammad Al-Ramahi, Insu Park, Jun Liu

Research & Publications

Behavioral Change Support Systems (BCSSs) is a socio-technical information systems with psychological and behavioral outcomes aim to change users’ behavior and lifestyle. The promising outcomes of BCSSs make them especially useful in certain areas such as healthcare, where these systems could be leveraged to motivate people toward healthy behavior and then help them to achieve their goals better. However, health BCSSs cannot help facilitate self-monitoring and self-management or even improve patients’ health outcomes when patients do not accept the technology first. In this article, we extend the existing literature of users’ acceptance of health BCSSs by introducing new variables that …

Multi-Type Display Calculus For Propositional Dynamic Logic, Sabine Frittella, Giuseppe Greco, Alexander Kurz, Alessandra Palmigiano

Engineering Faculty Articles and Research

We introduce a multi-type display calculus for Propositional Dynamic Logic (PDL). This calculus is complete w.r.t. PDL, and enjoys Belnap-style cut-elimination and subformula property.

Tool Support For Reasoning In Display Calculi, Samuel Balco, Sabine Frittella, Giuseppe Greco, Alexander Kurz, Alessandra Palmigiano

Engineering Faculty Articles and Research

We present a tool for reasoning in and about propositional sequent calculi. One aim is to support reasoning in calculi that contain a hundred rules or more, so that even relatively small pen and paper derivations become tedious and error prone. As an example, we implement the display calculus D.EAK of dynamic epistemic logic. Second, we provide embeddings of the calculus in the theorem prover Isabelle for formalising proofs about D.EAK. As a case study we show that the solution of the muddy children puzzle is derivable for any number of muddy children. Third, there is a set of meta-tools, …