Computer Sciences Commons^™

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 …

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 …

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 …

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.

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 …

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 …

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

Undergraduate Research 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 …

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 …

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, …

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 …

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 …

Pattern Discovery In Dna Using Stochastic Automata, Shweta Shweta

Master's Projects

We consider the problem of identifying similarities between different species of DNA. To do this we infer a stochastic finite automata from a given training data and compare it with a test data. The training and test data consist of DNA sequence of different species. Our method first identifies sentences in DNA. To identify sentences we read DNA sequence one character at a time, 3 characters form a codon and codons form proteins (also known as amino acid chains).Each amino acid in proteins belongs to a group. In total we have 5 groups’ polar, non-polar, acidic, basic and stop codons. …

Salad: A Multimodal Approach For Contextual Video Advertising, Chen Xiang, Tam Nguyen, Mohan Kankanhalli

Computer Science Faculty Publications

The explosive growth of multimedia data on Internet has created huge opportunities for online video advertising. In this paper, we propose a novel advertising technique called SalAd, which utilizes textual information, visual content and the webpage saliency, to automatically associate the most suitable companion ads with online videos. Unlike most existing approaches that only focus on selecting the most relevant ads, SalAd further considers the saliency of selected ads to reduce intentional ignorance. SalAd consists of three basic steps. Given an online video and a set of advertisements, we first roughly identify a set of relevant ads based on the …

An Immersive Telepresence System Using Rgb-D Sensors And Head-Mounted Display, Xinzhong Lu, Ju Shen, Saverio Perugini, Jianjun Yang

Computer Science Faculty Publications

We present a tele-immersive system that enables people to interact with each other in a virtual world using body gestures in addition to verbal communication. Beyond the obvious applications, including general online conversations and gaming, we hypothesize that our proposed system would be particularly beneficial to education by offering rich visual contents and interactivity. One distinct feature is the integration of egocentric pose recognition that allows participants to use their gestures to demonstrate and manipulate virtual objects simultaneously. This functionality enables the instructor to effectively and efficiently explain and illustrate complex concepts or sophisticated problems in an intuitive manner. The …

Neural Decomposition Of Time-Series Data For Effective Generalization, Luke Godfrey

Graduate Theses and Dissertations

We present a neural network technique for the analysis and extrapolation of time-series data called Neural Decomposition (ND). Units with a sinusoidal activation function are used to perform a Fourier-like decomposition of training samples into a sum of sinusoids, augmented by units with nonperiodic activation functions to capture linear trends and other nonperiodic components. We show how careful weight initialization can be combined with regularization to form a simple model that generalizes well. Our method generalizes effectively on the Mackey-Glass series, a dataset of unemployment rates as reported by the U.S. Department of Labor Statistics, a time-series of monthly international …

Mlaas: Machine Learning As A Service, Mauro Ribeiro, Katarina Grolinger, Miriam Am Capretz

Electrical and Computer Engineering Publications

The demand for knowledge extraction has been increasing. With the growing amount of data being generated by global data sources (e.g., social media and mobile apps) and the popularization of context-specific data (e.g., the Internet of Things), companies and researchers need to connect all these data and extract valuable information. Machine learning has been gaining much attention in data mining, leveraging the birth of new solutions. This paper proposes an architecture to create a flexible and scalable machine learning as a service. An open source solution was implemented and presented. As a case study, a forecast of electricity demand was …

Qubit Measurement Error From Coupling With A Detuned Neighbor In Circuit Qed, Mostafa Khezri, Justin Dressel, Alexander N. Korotkov

Mathematics, Physics, and Computer Science Faculty Articles and Research

In modern circuit QED architectures, superconducting transmon qubits are measured via the state-dependent phase and amplitude shift of a microwave field leaking from a coupled resonator. Determining this shift requires integrating the field quadratures for a nonzero duration, which can permit unwanted concurrent evolution. Here we investigate such dynamical degradation of the measurement fidelity caused by a detuned neighboring qubit. We find that in realistic parameter regimes, where the qubit ensemble-dephasing rate is slower than the qubit-qubit detuning, the joint qubit-qubit eigenstates are better discriminated by measurement than the bare states. Furthermore, we show that when the resonator leaks much …

Study Solar Activity In The Backside Of The Sun, Catherine A. Gibbs

Von Braun Symposium Student Posters

No abstract provided.

The Digital Incunabula: Rock • Paper • Pixels, Patrick Aievoli

Zea E-Books Collection

“The Digital Incunabula is Patrick Aievoli’s personal sonnet through media, interaction and communication design. He carefully crafts each evolutionary step into ripples that are supported by his own storied professional and academic experiences. It’s full of facts, terms and historical information which makes it perfect for anyone looking to flat out learn!” ● James Pannafino, Professor, Millersville University & Interaction Design

“This is a serious work that will find a broad community of readers. The depth and breadth of Aievoli’s experience in the publication industry give his voice and ideas credibility in the extreme. This book will inspire deep reflection.” …

Analyzing And Organizing The Sonic Space Of Vocal Imitation, Davide Andrea Mauro Phd, D. Rocchesso

Computer Sciences and Electrical Engineering Faculty Research

The sonic space that can be spanned with the voice is vast and complex and, therefore, it is difficult to organize and explore. In order to devise tools that facilitate sound design by vocal sketching we attempt at organizing a database of short excerpts of vocal imitations. By clustering the sound samples on a space whose dimensionality has been reduced to the two principal components, it is experimentally checked how meaningful the resulting clusters are for humans. Eventually, a representative of each cluster, chosen to be close to its centroid, may serve as a landmark in the exploration of the …

Data Science In Statistics Curricula: Preparing Students To “Think With Data”, J. Hardin, R. Hoerl, Nicholas J. Horton, D. Nolan, B. Baumer, O. Hall-Holt, P. Murrell, R. Peng, P. Roback, D. Temple Lang, M. D. Ward

Statistical and Data Sciences: Faculty Publications

A growing number of students are completing undergraduate degrees in statistics and entering the workforce as data analysts. In these positions, they are expected to understand how to use databases and other data warehouses, scrape data from Internet sources, program solutions to complex problems in multiple languages, and think algorithmically as well as statistically. These data science topics have not traditionally been a major component of undergraduate programs in statistics. Consequently, a curricular shift is needed to address additional learning outcomes. The goal of this article is to motivate the importance of data science proficiency and to provide examples and …

A Computational Translation Of The Phaistos Disk, Peter Revesz

School of Computing: Conference and Workshop Papers

For over a century the text of the Phaistos Disk remained an enigma without a convincing translation. This paper presents a novel semi-automatic translation method that uses for the first time a recently discovered connection between the Phaistos Disk symbols and other ancient scripts, including the Old Hungarian alphabet. The connection between the Phaistos Disk script and the Old Hungarian alphabet suggested the possibility that the Phaistos Disk language may be related to Proto-Finno-Ugric, Proto-Ugric, or Proto-Hungarian. Using words and suffixes from those languages, it is possible to translate the Phaistos Disk text as an ancient sun hymn, possibly connected …

A Computational Model Of The Spread Of Ancient Human Populations Based On Mitochondrial Dna Samples, Peter Revesz

School of Computing: Conference and Workshop Papers

The extraction of mitochondrial DNA (mtDNA) from ancient human population samples provides important data for the reconstruction of population influences, spread and evolution from the Neolithic to the present. This paper presents a mtDNA-based similarity measure between pairs of human populations and a computational model for the evolution of human populations. In a computational experiment, the paper studies the mtDNA information from five Neolithic and Bronze Age populations, namely the Andronovo, the Bell Beaker, the Minoan, the Rössen and the Únětice populations. In the past these populations were identified as separate cultural groups based on geographic location, age and the …

A Computational Study Of The Evolution Of Cretan And Related Scripts, Peter Revesz

School of Computing: Conference and Workshop Papers

Crete was the birthplace of several ancient writings, including the Cretan Hieroglyphs, the Linear A and the Linear B scripts. Out of these three only Linear B is deciphered. The sound values of the Cretan Hieroglyph and the Linear A symbols are unknown and attempts to reconstruct them based on Linear B have not been fruitful. In this paper, we compare the ancient Cretan scripts with four other Mediterranean and Black Sea scripts, namely Phoenician, South Arabic, Greek and Old Hungarian. We provide a computational study of the evolution of the three Cretan and four other scripts. This study encompasses …

Sense Beyond Expressions: Cuteness, Kang Wang, Tam Nguyen, Jiashi Feng, Jose Sepulveda

Computer Science Faculty Publications

With the development of Internet culture, cute has become a popular concept. Many people are curious about what factors making a person look cute. However, there is rare research to answer this interesting question. In this work, we construct a dataset of personal images with comprehensively annotated cuteness scores and facial attributes to investigate this high-level concept in depth. Based on this dataset, through an automatic attributes mining process, we find several critical attributes determining the cuteness of a person.

We also develop a novel Continuous Latent Support Vector Machine (C-LSVM) method to predict the cuteness score of one person …