Computer Sciences Commons^™

Accuracy Evaluation Of The Canadian Openstreetmap Road Networks, Hongyu Zhang, Jacek Malczewski

Geography & Environment Publications

Volunteered geographic information (VGI) has been applied in many fields such as participatory planning, humanitarian relief and crisis management. One of the reasons for popularity of VGI is its cost-effectiveness. However, the coverage and accuracy of VGI cannot be guaranteed. The issue of geospatial data quality in the OpenStreetMap (OSM) project has become a trending research topic because of the large size of the dataset and the multiple channels of data access. This paper provides details on a national study of the Canadian OSM street network data for the assessment ofcompleteness, positional accuracy, attribute accuracy, semantic accuracy and lineage. The …

The Document Similarity Network: A Novel Technique For Visualizing Relationships In Text Corpora, Dylan Baker

HMC Senior Theses

With the abundance of written information available online, it is useful to be able to automatically synthesize and extract meaningful information from text corpora. We present a unique method for visualizing relationships between documents in a text corpus. By using Latent Dirichlet Allocation to extract topics from the corpus, we create a graph whose nodes represent individual documents and whose edge weights indicate the distance between topic distributions in documents. These edge lengths are then scaled using multidimensional scaling techniques, such that more similar documents are clustered together. Applying this method to several datasets, we demonstrate that these graphs are …

A Novel Approach For Library Materials Acquisition Using Discrete Particle Swarm Optimization, Daniel A. Sabol

Publications and Research

The academic library materials acquisition problem is a challenge for librarian, since library cannot get enough funding from universities and the price of materials inflates greatly. In this paper, we analyze an integer mathematical model by considering the selection of acquired materials to maximize the average preference value as well as the budget execution rate under practical restrictions. The objective is to improve the Discrete Particle Swarm Optimization (DPSO) algorithm by adding a Simulate Annealing algorithm to reduce premature convergence. Furthermore, the algorithm is implemented in multiple threaded environment. The experimental results show the efficiency of this approach.

Mirage: A Novel Multiple Protein Sequence Alignment Tool, Alex Nord

Graduate Student Theses, Dissertations, & Professional Papers

A fundamental problem in computational biology is the organization of many related sequences into a multiple sequence alignment (MSA) [2]. MSAs have a range of research applications, such as inferring phylogeny [22] and identifying regions of conserved sequence that indicate functional similarity [18]. In the case of protein isoforms, MSAs are valuable tools for transitively annotating post-translational modifications (PTMs) by enabling information transfer between known PTM sites and the sites that they align to [11].

For protein MSA tools, one challenging biological phenomenon is alternative splicing, wherein identical genomic sequence will differentially select from a subset of available coding regions …

Correcting Pedestrian Dead Reckoning With Monte Carlo Localization Boxed For Indoor Navigation, Akira T. Murphy

Honors Theses

Localization of phones is a ubiquitous part of the modern mobile electronics landscape. However, there are many situations where the current method of networked localization fails. A Pedestrian Dead Reckoning System where the location of the user is calculated by counting the steps and direction of the user was implemented as an iOS app with python for data analysis. A novel algorithm for wireless sensor localization using Ad-Hoc Bluetooth networks was proposed. A small experiment was performed proving that the system is nearly equal to state of the art algorithms.

An Alternative Approach To Training Sequence-To-Sequence Model For Machine Translation, Vivek Sah

Honors Theses

Machine translation is a widely researched topic in the field of Natural Language Processing and most recently, neural network models have been shown to be very effective at this task. The model, called sequence-to-sequence model, learns to map an input sequence in one language to a vector of fixed dimensionality and then map that vector to an output sequence in another language without any human intervention provided that there is enough training data. Focusing on English-French translation, in this paper, I present a way to simplify the learning process by replacing English input sentences by word-by-word translation of those sentences. …

Features Of Agent-Based Models, Reiko Heckel, Alexander Kurz, Edmund Chattoe-Brown

Engineering Faculty Articles and Research

The design of agent-based models (ABMs) is often ad-hoc when it comes to defining their scope. In order for the inclusion of features such as network structure, location, or dynamic change to be justified, their role in a model should be systematically analysed. We propose a mechanism to compare and assess the impact of such features. In particular we are using techniques from software engineering and semantics to support the development and assessment of ABMs, such as graph transformations as semantic representations for agent-based models, feature diagrams to identify ingredients under consideration, and extension relations between graph transformation systems to …

Cse: U: Mixed-Initiative Personal Assistant Agents, Joshua W. Buck, Saverio Perugini, Tam Nguyen

Computer Science Faculty Publications

Specification and implementation of flexible human-computer dialogs is challenging because of the complexity involved in rendering the dialog responsive to a vast number of varied paths through which users might desire to complete the dialog. To address this problem, we developed a toolkit for modeling and implementing task-based, mixed-initiative dialogs based on metaphors from lambda calculus. Our toolkit can automatically operationalize a dialog that involves multiple prompts and/or sub-dialogs, given a high-level dialog specification of it. The use of natural language with the resulting dialogs makes the flexibility in communicating user utterances commensurate with that in dialog completion paths—an aspect …

Data Mining By Grid Computing In The Search For Extrasolar Planets, Oisin Creaner [Thesis]

Doctoral

A system is presented here to provide improved precision in ensemble differential photometry. This is achieved by using the power of grid computing to analyse astronomical catalogues. This produces new catalogues of optimised pointings for each star, which maximise the number and quality of reference stars available. Astronomical phenomena such as exoplanet transits and small-scale structure within quasars may be observed by means of millimagnitude photometric variability on the timescale of minutes to hours. Because of atmospheric distortion, ground-based observations of these phenomena require the use of differential photometry whereby the target is compared with one or more reference stars. …

Nonlinear Dielectric Behavior Of Field-Induced Antiferroelectric/Paraelectric-To-Ferroelectric Phase Transition For High Energy Density Capacitor Application, Mingyang Li

Dissertations, Master's Theses and Master's Reports

Electric field-induced antiferroelectric(AFE)/paraelectric(PE)-to-ferroelectric(FE) phase transitions are investigated for the associated nonlinear dielectric behavior, which could offer high dielectric capacity. The phenomenon in monolithic materials has been computed for Kittel antiferroelectric and BaTiO₃ model systems using the Landau-Ginzburg-Devonshire theory. The general switching curves give values of the polarization as a function of external electric field. A similar computation is performed for particle-filled polymer-matrix composites where an internal depolarization field is considered. The polarization-electric field response changes with different depolarization factors, which demonstrate the shape and alignment of the dielectric particles embedded in polymer-matrix are key factors for the composite to …

Building A Foundation For Digital Animation, Paulynne Castillo

Angelo King Institute for Economic and Business Studies (AKI)

An analysis of the Philippine digital animation sub-sector reveals that the key areas on which resources should be focused to move up the industry’s value chain are: 1) recruiting, developing, and retaining talent; 2) financing the cultivation of original content; and 3) expanding and improving the country’s information communication technology (ICT) infrastructure.

Special Issue: Neutrosophic Theories Applied In Engineering, Florentin Smarandache, Jun Ye

Branch Mathematics and Statistics Faculty and Staff Publications

Neutrosophic sets and logic are generalizations of fuzzy and intuitionistic fuzzy sets and logic. Neutrosophic sets and logic are gaining significant attention in solving many real life decision making problems that involve uncertainty, impreciseness, vagueness, incompleteness, inconsistent, and indeterminacy. They have been applied in computational intelligence, multiple criteria decision making, image processing, medical diagnoses, etc. This Special Issue presents original research papers that report on state-of-the-art and recent advancements in neutrosophic sets and logic in soft computing, artificial intelligence, big and small data mining, decision making problems, and practical achievements.

Efficient Implementation Of Reductions On Gpu Architectures, Stephen W. Timcheck

Williams Honors College, Honors Research Projects

With serial, or sequential, computational operations' growth rate slowing over the past few years, parallel computing has become paramount to achieve speedup. In particular, GPUs (Graphics Processing Units) can be used to program parallel applications using a SIMD (Single Instruction Multiple Data) architecture. We studied SIMD applications constructed using the NVIDIA CUDA language and MERCATOR (Mapping EnumeRATOR for CUDA), a framework developed for streaming dataflow applications on the GPU. A type of operation commonly performed by streaming applications is reduction, a function that performs some associative operation on multiple data points such as summing a list of numbers (additive operator, …

Wireless Underground Channel Diversity Reception With Multiple Antennas For Internet Of Underground Things, Abdul Salam, Mehmet C. Vuran

School of Computing: Conference and Workshop Papers

Internet of underground things (IOUT) is an emerging paradigm which consists of sensors and communication devices, partly or completely buried underground for real-time soil sensing and monitoring. In this paper, the performance of different modulation schemes in IOUT communications is studied through simulations and experiments. The spatial modularity of direct, lateral, and reflected components of the UG channel is exploited by using multiple antennas. First, it has been shown that bit error rates of $10^{-3}$ can be achieved with normalized delay spreads ($\tau_d$) lower than $0.05$. Evaluations are conducted through the first software-defined radio-based field experiments for UG channel. Moreover, …

Towards Internet Of Underground Things In Smart Lighting: A Statistical Model Of Wireless Underground Channel, Abdul Salam, Mehmet C. Vuran, Suat Irmak

School of Computing: Conference and Workshop Papers

The Internet of Underground Things (IOUT) has many applications in the area of smart lighting. IOUT enables communications in smart lighting through underground (UG) and aboveground (AG) communication channels. In IOUT communications, an in-depth analysis of the wireless underground channel is important to design smart lighting solutions. In this paper, based on the empirical and the statistical analysis, a statistical channel model for the UG channel has been developed. The parameters for the statistical tapped-delay-line model are extracted from the measured power delay profiles (PDP). The PDP of the UG channel is represented by the exponential decay of the lateral, …

Smart Underground Antenna Arrays: A Soil Moisture Adaptive Beamforming Approach, Abdul Salam, Mehmet C. Vuran

School of Computing: Conference and Workshop Papers

Current wireless underground (UG) communication techniques are limited by their achievable distance. In this paper, a novel framework for underground beamforming using adaptive antenna arrays is presented to extend communication distances for practical applications. Based on the analysis of propagation in wireless underground channel, a theoretical model is developed which uses soil moisture information to improve wireless underground communications performance. Array element in soil is analyzed empirically and impacts of soil type and soil moisture on return loss (RL) and resonant frequency are investigated. Accordingly, beam patterns are analyzed to communicate with underground and above ground devices. Depending on the …

Biosimp: Using Software Testing Techniques For Sampling And Inference In Biological Organisms, Mikaela Cashman, Jennie L. Catlett, Myra B. Cohen, Nicole R. Buan, Zahmeeth Sakkaff, Massimiliano Pierobon, Christine A. Kelley

School of Computing: Conference and Workshop Papers

Years of research in software engineering have given us novel ways to reason about, test, and predict the behavior of complex software systems that contain hundreds of thousands of lines of code. Many of these techniques have been inspired by nature such as genetic algorithms, swarm intelligence, and ant colony optimization. In this paper we reverse the direction and present BioSIMP, a process that models and predicts the behavior of biological organisms to aid in the emerging field of systems biology. It utilizes techniques from testing and modeling of highly-configurable software systems. Using both experimental and simulation data we show …

An Introduction To The Theory And Applications Of Bayesian Networks, Anant Jaitha

CMC Senior Theses

Bayesian networks are a means to study data. A Bayesian network gives structure to data by creating a graphical system to model the data. It then develops probability distributions over these variables. It explores variables in the problem space and examines the probability distributions related to those variables. It conducts statistical inference over those probability distributions to draw meaning from them. They are good means to explore a large set of data efficiently to make inferences. There are a number of real world applications that already exist and are being actively researched. This paper discusses the theory and applications of …

Network Analytics For The Mirna Regulome And Mirna-Disease Interactions, Joseph Jayakar Nalluri

Theses and Dissertations

miRNAs are non-coding RNAs of approx. 22 nucleotides in length that inhibit gene expression at the post-transcriptional level. By virtue of this gene regulation mechanism, miRNAs play a critical role in several biological processes and patho-physiological conditions, including cancers. miRNA behavior is a result of a multi-level complex interaction network involving miRNA-mRNA, TF-miRNA-gene, and miRNA-chemical interactions; hence the precise patterns through which a miRNA regulates a certain disease(s) are still elusive. Herein, I have developed an integrative genomics methods/pipeline to (i) build a miRNA regulomics and data analytics repository, (ii) create/model these interactions into networks and use optimization techniques, motif …

Foreword: Special Issue On Coalgebraic Logic, Alexander Kurz

Engineering Faculty Articles and Research

The second Dagstuhl seminar on coalgebraic logics took place from October 7-12, 2012, in the Leibniz Forschungszentrum Schloss Dagstuhl, following a successful earlier one in December 2009. From the 44 researchers who attended and the 30 talks presented, this collection highlights some of the progress that has been made in the field. We are grateful to Giuseppe Longo and his interest in a special issue in Mathematical Structures in Computer Science.

Quasivarieties And Varieties Of Ordered Algebras: Regularity And Exactness, Alexander Kurz

Engineering Faculty Articles and Research

We characterise quasivarieties and varieties of ordered algebras categorically in terms of regularity, exactness and the existence of a suitable generator. The notions of regularity and exactness need to be understood in the sense of category theory enriched over posets.

We also prove that finitary varieties of ordered algebras are cocompletions of their theories under sifted colimits (again, in the enriched sense).

The Positivication Of Coalgebraic Logics, Fredrik Dahlqvist, Alexander Kurz

Engineering Faculty Articles and Research

We present positive coalgebraic logic in full generality, and show how to obtain a positive coalgebraic logic from a boolean one. On the model side this involves canonically computing a endofunctor T': Pos->Pos from an endofunctor T: Set->Set, in a procedure previously defined by the second author et alii called posetification. On the syntax side, it involves canonically computing a syntax-building functor L': DL->DL from a syntax-building functor L: BA->BA, in a dual procedure which we call positivication. These operations are interesting in their own right and we explicitly compute posetifications and positivications in the case …

Examining And Exposing The Darknet, Ton H. Don

College of Graduate Studies: Theses & Dissertations

This thesis consists of two studies; the first study is “Diving into the Darknet” and the second is “Exposing the Darknet on Mobile Devices”. The Darknet is a network of hidden sites and services which are built based on anonymity. In “Diving into the Darknet”, we applied different data science methods to establish the relationships between the data in the data set. This data set has information related to seller, drug types, and transactions. Additionally, we used Tableau to visualize the data set. For the second study, we took a digital forensics perspective of the Darknet. Orfox and Orbot, a …

Cirt News - January 2017, Center For Instruction & Research Technology (Cirt)

CIRT News

This issue contains the following articles:

Faculty Spotlight: Using 3D Printing to Create Custom Lab Tools

Director's Message: Key Issues in Teaching and Learning

Upcoming Events

Digital Thinking: Copyright Resources for Faculty

Best Practices Online: Implementing E-Journals into Your Course

Canvas News

New in CIRT: Fresh Faces & New Equipment

Big Data Visualization Platform For Mixed Reality, Aliakbar Panahi

Theses and Dissertations

The visualization of data helps to provide faster and deeper insight into the data. In this work, a system for visualizing and analyzing big data in an interactive mixed reality environment is proposed. Such a system can be used for representing different types of data such as temporal, geospatial, network graph, and high dimensional. Also, an implementation of this system for four different data types are created. The data types include network data, volumetric data, high dimensional, and spectral data for different mixed reality devices such as Microsoft HoloLens, Oculus Rift, Samsung Gear VR, and Android ARCore were created. It …

Musical Exercise For People With Visual Impairments, Ridwan Ahmed Khan

Dissertations, Master's Theses and Master's Reports

However, it is hard specifically for people with visual impairments to do exercise without proper guidance. They have accessibility issues and thus, without others ’ help, they cannot be sure if they are doing exercise in a consistent form. To address this problem, I have developed a Musical Exercise platform for people with visual impairments . With the help of audio feedback of Musical Exercise, people with visual impairments can perform exercises in a good form consistently. To assess usability of the system and compare different audio profiles of the system, I designed six different con ditions, including blindfolded or …

Analysis Porter's Five Forces Model On Airbnb, Osiany Nurlansa, Handaru Jati

Elinvo (Electronics, Informatics, and Vocational Education)

This paper discusses about Airbnb. Airbnb is a company website that allows ordinary people to rent their residence as tourist accommodation. Anyone can rent rooms to suit their budget. The company established in 2008, and eight years later by a very rapid growth, the company reaches a turnover of millions of rooms per year. Airbnb analyzed using Porter's Five Forces Model. According to Porter, the competitive nature of the industry could be seen as a combination of top five strengths, namely Rivalry Among Existing Competitors, Threat of New Entrants, Threat of substitude Products or Services, Bargaining Power of Suppliers, Bargaining …

Analisis Competitive Forces And Competitive Strategy Pada Sistem Informasi "Zalora.Co.Id", Fitria Ekarini

Elinvo (Electronics, Informatics, and Vocational Education)

Analisis Sistem Informasi Zalora.co.id ini bertujuan untuk mengetahui seberapa kuatnya strategi persaingan yang disiapkan oleh Zalora.co.id untuk menghadapi kuatnya persaingan bisnis dengan perusahaan yang bergerak di bidang yang sama. Sehingga dapat dilihat kelebihan dan kekurangan dari Sistem Informasi ini. Analisis Sistem Informasi ini menggunakan model analisis competitive forces and Competitive Strategy. Dan untuk mengatasi lima kekuatan kompetitif tersebut, perusahaan dapat menerapkan competitive strategies. Pada Zalora yang merupakan situs web belanja kebutuhan fashion yang menawarkan produk-produk dari berbagai brand termuka, baik lokal maupun internasional ini dapat dikatakan sebagai online shop yang siap untuk bersaing dengan para kompetitor di bidang yang sama. …

Analisis Competitive Force Dan Competitive Strategy Sistem Informasi Kuliner Di Indonesia (Studi Kasus : Kulina.Id), Damar Purba Pamungkas

Elinvo (Electronics, Informatics, and Vocational Education)

Abstrak - Tujuan dari penulisan paper ini untuk menganalisis Competitive Force yang di hadapi oleh Kulina dan Competitive Strategy apakah yang dilakukan Kulina dalam mengatasi adanya competitive forces dalam menjalankan bisnisnya. Penulisan paper ini dilakukan untuk menganalisis Sistem Informasi Kulina dengan menggunakan Model Porter. Michael A. Porter menjelaskan lima kekuatan (five forces module) sebagai alat untuk menganalisis lingkungan persaingan industri. Keadaan persaingan perusahaan dalam suatu industri tergantung pada lima kekuatan persaingan dasar yaitu : Rivalry of Competitors, Threat of New Entrants, Threat of substitutes, Bargaining Power of Customers, dan Bargaining Power of Suppliers. Michael A. Porter …

Pengolahan Citra Untuk Identifikasi Telur Berdasarkan Ukuran, Syahrul Awalludin Sidiq

Elinvo (Electronics, Informatics, and Vocational Education)

Salah satu Home Industri penyortir telur di Yogyakarta, adalah Tempel Ambarukmo. Penyortiran awalnya dilakukan secara manual tetapi membutuhkan waktu yang lama. Pengunaan mesin grading untuk mengatasi masalah tersebut, namun harga relatif mahal. Oleh karena itu, perlu adanya sistem otomatis untuk penyortiran telur sehingga menghemat waktu, tenaga, dan biaya. Penelitian ini bertujuan untuk mengembangkan suatu sistem yang mampu mendeteksi dan memisah telur berdasarkan ukuran menggunakan citra digital dengan media interface GUI (Graphical User Interface) yang memanfaatkan software matlab. Telur dikategorikan menjadi 5 kategori (Sangat Kecil, Kecil, Sedang, Besar, Sangat Besar). Dalam proyek akhir ini dirancang dengan menggunakan metode waterfall. Pengolahan citra …