Physical Sciences and Mathematics Commons^™

Sparse Format Conversion And Code Synthesis, Tobi Goodness Popoola

Boise State University Theses and Dissertations

Sparse computations are important in scientific computing. Many scientific applications compute on sparse data. Data is said to be sparse if it has a relatively small number of non-zeros. Sparse formats use auxiliary arrays to store non-zeros, as a result, the contents of auxiliary arrays are not known until run-time. The Inspector/Executor (I/E) paradigm uses run-time information for compiler optimizations. An inspector computes information at run-time to drive transformations. The executor---a compile-time transformation of the original code--- uses information computed by the inspector. The sparse polyhedral framework (SPF) encompasses a series of tools to support I/E run-time transformations. This work …

Severity Measures For Assessing Error In Automatic Speech Recognition, Ryan Whetten

Boise State University Theses and Dissertations

A common metric for evaluating Automatic Speech Recognition (ASR) is Word Error Rate (WER) which solely takes into account discrepancies at the word-level. Although WER is useful, it is not guaranteed to correlate well with intelligibility or performance on downstream tasks that make use of ASR. Meaningful assess- ment of ASR mistakes becomes even more important in high-stake scenarios such as health-care. I propose 2 general measures to evaluate the quality or severity of mistakes made by ASR systems, one based on sentiment analysis and another based on text embeddings. Both have the potential to overcome the limitations of WER. …

Exploring The Capability Of A Self-Supervised Conditional Image Generator For Image-To-Image Translation Without Labeled Data: A Case Study In Mobile User Interface Design, Hailee Kiesecker

Boise State University Theses and Dissertations

This research investigates the effectiveness of a conditional image generator trained on a restricted number of unlabeled images for image-to-image translation in computer vision. While previous research has focused on using labeled data for image labeling in conditional image generation, this study proposes an original framework that utilizes self-supervised classification on generated images. The proposed approach, which combines Conditional GAN and Semantic Clustering, showed promising results. However, this study has several limitations, including a limited dataset and the need for significant computational power to generate a single UI design. Further research is needed to optimize the performance of the proposed …

High-Performance Domain-Specific Library For Hydrologic Data Processing, Kalyan Bhetwal

Boise State University Theses and Dissertations

Hydrologists must process many gigabytes of data for hydrologic simulations, which takes time and resources degrading performance. The performance issues are caused mainly by domain scientists’ preference for using Python, which trades performance for productivity. In my thesis, I demonstrate that using the static compilation technique to compile Python to generate C code along with several optimizations reduces time and resources for hydrologic data processing. I developed a Domain Specific Library (DSL) which is a subset of Python and compiles to Sparse Polyhedral Framework - Intermediate Representation (SPF-IR), which allows opportunities for optimizations like read reduction fusion which are not …

Deep Learning Of Microstructures, Amir Abbas Kazemzadeh Farizhandi

Boise State University Theses and Dissertations

The internal structure of materials also called the microstructure plays a critical role in the properties and performance of materials. The chemical element composition is one of the most critical factors in changing the structure of materials. However, the chemical composition alone is not the determining factor, and a change in the production process can also significantly alter the materials' structure. Therefore, many efforts have been made to discover and improve production methods to optimize the functional properties of materials. The most critical challenge in finding materials with enhanced properties is to understand and define the salient features of the …

Meshfree Methods For Pdes On Surfaces, Andrew Michael Jones

Boise State University Theses and Dissertations

This dissertation focuses on meshfree methods for solving surface partial differential equations (PDEs). These PDEs arise in many areas of science and engineering where they are used to model phenomena ranging from atmospheric dynamics on earth to chemical signaling on cell membranes. Meshfree methods have been shown to be effective for solving surface PDEs and are attractive alternatives to mesh-based methods such as finite differences/elements since they do not require a mesh and can be used for surfaces represented only by a point cloud. The dissertation is subdivided into two papers and software.

In the first paper, we examine the …

Improved Computational Prediction Of Function And Structural Representation Of Self-Cleaving Ribozymes With Enhanced Parameter Selection And Library Design, James D. Beck

Boise State University Theses and Dissertations

Biomolecules could be engineered to solve many societal challenges, including disease diagnosis and treatment, environmental sustainability, and food security. However, our limited understanding of how mutational variants alter molecular structures and functional performance has constrained the potential of important technological advances, such as high-throughput sequencing and gene editing. Ribonuleic Acid (RNA) sequences are thought to play a central role within many of these challenges. Their continual discovery throughout all domains of life is evidence of their significant biological importance (Weinreb et al., 2016). The self-cleaving ribozyme is a class of noncoding Ribonuleic Acid (ncRNA) that has been useful for …

Automated Detection Of Sockpuppet Accounts In Wikipedia, Mostofa Najmus Sakib

Boise State University Theses and Dissertations

Wikipedia is a free Internet-based encyclopedia that is built and maintained via the open-source collaboration of a community of volunteers. Wikipedia’s purpose is to benefit readers by acting as a widely accessible and free encyclopedia, a comprehensive written synopsis that contains information on all discovered branches of knowledge. The website has millions of pages that are maintained by thousands of volunteer editors. Unfortunately, given its open-editing format, Wikipedia is highly vulnerable to malicious activity, including vandalism, spam, undisclosed paid editing, etc.

Malicious users often use sockpuppet accounts to circumvent a block or a ban imposed by Wikipedia administrators on the …

Towards Making Transformer-Based Language Models Learn How Children Learn, Yousra Mahdy

Boise State University Theses and Dissertations

Transformer-based Language Models (LMs), learn contextual meanings for words using a huge amount of unlabeled text data. These models show outstanding performance on various Natural Language Processing (NLP) tasks. However, what the LMs learn is far from what the meaning is for humans, partly due to the fact that humans can differentiate between concrete and abstract words, but language models make no distinction. Concrete words are words that have a physical representation in the world such as “chair”, while abstract words are ideas such as “democracy”. The process of learning word meanings starts from early childhood when children acquire their …

Improving Children's Authentication Practices With Respect To Graphical Authentication Mechanism, Dhanush Kumar Ratakonda

Boise State University Theses and Dissertations

A variety of authentication mechanisms are used for online applications to protect user’s data. Prior literature identifies that adults and children often utilize weak authentication practices and our own initial research corroborates that children often create weak usernames and passwords. One reason children adopt weak authentication practices is due to difficulties in remembering their usernames and passwords. Existing literature suggests that people are better at remembering graphical information than text and words. In this dissertation, my research goal is to improve the usability and security of children’s authentication mechanisms. My research includes designing, developing, and evaluating a new graphical …

Structure Aware Smart Encoding And Decoding Of Information In Dna, Shoshanna Llewellyn

Boise State University Theses and Dissertations

Our increasingly information driven world is growing the demand for new storage technologies. Current estimates place the total storage demands exceeding the supply of usable silicon by 2040 [1]. DNA is an attractive technology due to its incredible density, almost negligible energy requirements, and data retention measured in centuries [1]. DNA does, however, come with new challenges. It is an organic compound with complex internal interactions which complicate the design and synthesis of DNA sequences for the purpose of data storage. In this work we demonstrate a new encoding-decoding process that accounts for some of the challenges in encoding and …

Computational Approaches To Understanding Subduction Zone Geodynamics, Surface Heat Flow, And The Metamorphic Rock Record, Buchanan C. Kerswell

Boise State University Theses and Dissertations

Pressure-temperature (PT) estimates from exhumed high-pressure (HP) metamorphic rocks and global surface heat flow observations evidently encode information about subduction zone thermal structure and the nature of mechanical and chemical processing of subducted materials along the interface between converging plates. Previous work demonstrates the possibility of decoding such geodynamic information by comparing numerical geodynamic models with empirical observations of surface heat flow and the metamorphic rock record. However, ambiguous interpretations can arise from this line of inquiry with respect to thermal gradients, plate coupling, and detachment and recovery of subducted materials. This dissertation applies a variety of computational techniques to …

Security Analysis Of Lightweight Cryptographic Primitives, William Unger

Boise State University Theses and Dissertations

Symmetric key cryptographic primitives are essential to encrypt data and protect communication between parties. Due to resource constraints, some modern devices are not capable of executing traditional cryptographic algorithms. This fact necessitates new lightweight cryptographic algorithms. Current research into lightweight cryptology is vast, in part due to the National Institute of Standards and Technology's (NIST) lightweight cryptographic standardization process.

There is not much research into the vulnerability to a power analysis attack created by the choice of parameters of lightweight symmetric ciphers. This dissertation develops and demonstrates white box and black box cryptanalysis models for power analysis attacks on lightweight …

Mechanochemical Synthesis Of Functional Layered Materials, Samuel Vladimir Pedersen

Boise State University Theses and Dissertations

As society continues to create new digital content, the telecommunications industry is seeking new technologies to enable higher bandwidth and lower costs to keep pace with the growing demand. Two-dimensional black phosphorus is proposed as a replacement for III-V compound semiconductors as the optically active material in next-generation silicon photonics as it can enable device scaling with lower power consumption. Therefore, the primary motivation of this dissertation was to investigate BP synthesis and chemical doping using an industrially scalable process, high energy ball milling. Initially, the work focused on understanding the ball mill conversion kinetics of red to black phosphorus, …

Characterization And Mitigation Of False Information On The Web, Anu Shrestha

Boise State University Theses and Dissertations

Social media and Web sources have made information available, accessible, and shareable any time and anywhere nearly without friction. This information can be truthful, falsified, or can only be the opinion of the writer as users in such platforms are both information creators and consumers. In any case, it has the power to affect the decision of an individual, the beliefs of the society, activities, and the economy of the whole country. Thus, it is imperative to identify false information and mitigate the effects of false information that are ubiquitous across the Web and social media. Therefore, the main goal …

Sinusoidal Projection For 360° Image Compression And Triangular Discrete Cosine Transform Impact In The Jpeg Pipeline, Iker Vazquez Lopez

Boise State University Theses and Dissertations

The equirectangular projection is commonly used to store and transmit 360' images. However, using the equirectangular projection to store and transmit 360° images is not efficient due to its natural topographic redundancy. To generate the 360° image, captured pixels that form a spherical point cloud in the 3D space are projected onto a 2D plane using the equirectangular projection; generating redundant pixels in the process. These extra pixels in the image add extra memory requirements that have low impact in the final image quality. This dissertation presents results of research into the compression of 360° spherical imagery. It examines and …

Fair And Efficient Consensus Protocols For Secure Blockchain Applications, Golam Dastoger Bashar

Boise State University Theses and Dissertations

In blockchain technology, consensus protocols serve as mechanisms to reach agreements among a distributed network of nodes. In this work, we propose three novel protocols for permissioned, healthcare, and supply chain blockchain.

(1) Proof of Queue (PoQ), for private blockchains, combines the lottery strategy of PoET with a specialized round-robin algorithm where each node has an equal chance to become a leader with equal access. PoQ is relatively scalable without any collision. Like PoET, PoQ uses Intel SGX, a Trusted Execution Environment, to generate a secure random waiting time to choose a leader and fairly distribute the leadership role to …

Training Wheels For Web Search: Multi-Perspective Learning To Rank To Support Children's Information Seeking In The Classroom, Garrett Allen

Boise State University Theses and Dissertations

Bicycle design has not changed for a long time, as they are well-crafted for those that possess the skills to ride, i.e., adults. Those learning to ride, however, often need additional support in the form of training wheels. Searching for information on the Web is much like riding a bicycle, where modern search engines (the bicycle) are optimized for general use and adult users, but lack the functionality to support non-traditional audiences and environments. In this thesis, we introduce a set of training wheels in the form of a learning to rank model as augmentation for standard search engines to …

Why Don't You Act Your Age?: Recognizing The Stereotypical 8-12 Year Old Searcher By Their Search Behavior, Michael Green

Boise State University Theses and Dissertations

Online search engines for children are known to filter retrieved resources based on page complexity, and offer specialized functionality meant to address gaps in search literacy according to a user's age or grade. However, not every searcher grouped by these identifiers displays the same level of text comprehension, or requires the same aid with search. Furthermore, these search engines typically rely on direct feedback to ascertain these identifiers. This reliance on self identification may cause users to accidentally misrepresent themselves. We therefore seek to recognize users from skill based signals rather than utilizing age or grade identifiers, as skill dictates …

Generating Test Inputs From String Constraints With An Automata-Based Solver, Marlin Roberts

Boise State University Theses and Dissertations

Software testing is an integral part of the software development process. To test certain parts of software, developers need to identify inputs that reach those parts. Data and control dependencies make this a non-trivial task, and as the complexity of software increases it becomes more difficult to manually derive such inputs. Due to complex data manipulations, this process is even more challenging for programs with string inputs, such as security applications. Thus, automated reachability test input generation for string data types is an important research area.

Symbolic Execution is a path-sensitive static program analysis technique that can automatically generate conditions …

Industrial Control System Data Resiliency, Daniel A. Bovard

Boise State University Theses and Dissertations

This thesis identifies and fortifies against a critical vulnerability in industrial control system (ICS) security. A properly designed ICS security framework consists of a multi-layered approach starting with heavy fortifications in information technology and ending with control information of operational technology. Currently, ICS security frameworks lack visibility and place blind trust in devices at the lowest level of the control hierarchy. Attaining control data visibility at the lowest level of the control hierarchy is critical to increasing the resiliency of an ICS security posture. This thesis demonstrates how this data can be captured at the lowest level of the control …

A Case Study In Representing Scientific Applications (Geoac) Using The Sparse Polyhedral Framework, Ravi Shankar

Boise State University Theses and Dissertations

Tsunami detection and forecasting is a difficult problem that scientists are trying to tackle. Early path estimation and accurate prediction of the arrival time and size of a tsunami can save lives and help with impact assessment. Tsunami inducing earthquakes cause ground and sea-surface displacements that push up on the atmosphere. This atmospheric disturbance propagates upwards as an acoustic wave and eventually hits the ionosphere. IonoSeis is a software simulation package that leverages satellite-based ionospheric remote-sensing techniques to determine the epicenter of these earthquakes.

The execution time of the ray-tracing component of IonoSeis prevents its use as a real-time modeling …

Modeling Real And Fake News Sharing In Social Networks, Abishai Joy

Boise State University Theses and Dissertations

Online media is changing the traditional news industry and diminishing the role of journalists, newspapers, and even news channels. This in turn is enhancing the ability of fake news to influence public opinion on important topics. The threat of fake news is quite imminent, as it allows malicious users to share their agenda with a larger audience. Major social media platforms like Twitter, Facebook, etc., are making it easy to spread fake news due to the minimal moderation/ fact-checking on these platforms.

This work aims at predicting fake and real news sharing in social media. Specifically, we employ a multi-level …

Into The Unknown: Exploration Of Search Engines' Responses To Users With Depression And Anxiety, Ashlee Milton

Boise State University Theses and Dissertations

Mental health disorders (MHD) are a rising, yet stigmatized, topic. With statistics reporting that one in five adults in the United States will be afflicted by a MHD in their lifetime, researchers have begun exploring the behavioral nuances that emerge from interactions of these individuals with persuasive technologies, mainly social media. Yet, there is a gap in the analysis pertaining to a persuasive technology that is part of their everyday lives: search engines (SE). Each day, users with MHD embark on information seeking journeys using SE. Every step of the search process for better or worse has the potential to …

Modeling And Analyzing Users' Privacy Disclosure Behavior To Generate Personalized Privacy Policies, A.K.M. Nuhil Mehdy

Boise State University Theses and Dissertations

Privacy and its importance to society have been studied for centuries. While our understanding and continued theory building to hypothesize how users make privacy disclosure decisions has increased over time, the struggle to find a one-size solution that satisfies the requirements of each individual remains unsolved. Depending on culture, gender, age, and other situational factors, the concept of privacy and users' expectations of how their privacy should be protected varies from person to person. The goal of this dissertation is to design and develop tools and algorithms to support personal privacy management for end-users. The foundation of this research is …

Actors For The Internet Of Things, Arjun Shukla

Boise State University Theses and Dissertations

The actor model is a model for concurrent computation, centered around message passing between entities in a system. It is well suited for distributed programming, due to its semantics including very little guarantees or assumptions of reliability. Actor model implementations have grown more widespread in many languages.

The library Akka (written in Scala) is one of the most popular actor libraries. However, Akka is missing some key features. Our goal is to create our own actor library called Aurum, which not only has these features but exhibits higher performance. The new features include easy ways to forge references, configure and …

Ensuring Consistency And Efficiency Of The Incremental Unit Network In A Distributed Architecture, Mir Tahsin Imtiaz

Boise State University Theses and Dissertations

An incremental system takes advantage of upcoming data as early as possible. In other words, an incremental system processes received data incrementally. Incremental systems can be useful over non-incremental systems to build spoken dialog systems when we are looking for faster and more human-like behavior. For example, human-to-human conversations are incremental, as a listener does not wait for a speaker to finish speaking to begin understanding. Inspired by the fact that Robot-Ready Spoken Dialog Systems must be incremental and need to work distributedly, and IU framework "breaks" in a distributed architecture, I attempted to use the IU network to fulfill …

Unsupervised Structural Graph Node Representation Learning, Mikel Joaristi

Boise State University Theses and Dissertations

Unsupervised Graph Representation Learning methods learn a numerical representation of the nodes in a graph. The generated representations encode meaningful information about the nodes' properties, making them a powerful tool for tasks in many areas of study, such as social sciences, biology or communication networks. These methods are particularly interesting because they facilitate the direct use of standard Machine Learning models on graphs. Graph representation learning methods can be divided into two main categories depending on the information they encode, methods preserving the nodes connectivity information, and methods preserving nodes' structural information. Connectivity-based methods focus on encoding relationships between nodes, …

Detecting Undisclosed Paid Editing In Wikipedia, Nikesh Joshi

Boise State University Theses and Dissertations

Wikipedia is a free and open-collaboration based online encyclopedia. The website has millions of pages that are maintained by thousands of volunteer editors. It is part of Wikipedia’s fundamental principles that pages are written with a neutral point of view and are maintained by volunteer editors for free with well-defined guidelines in order to avoid or disclose any conflict of interest. However, there have been several known incidents where editors intentionally violate such guidelines in order to get paid (or even extort money) for maintaining promotional spam articles without disclosing such information.

This thesis addresses for the first time the …

Improving Spellchecking For Children: Correction And Design, Brody Downs

Boise State University Theses and Dissertations

Children commonly use software applications such as search engines and word processors in the classroom environment. However, a major barrier to using these programs successfully is the ability of children to type and spell effectively. While many programs make use of spellcheckers to provide spelling corrections to their users, they are designed for more traditional users (i.e., adults) and have proven inadequate for children. The aims of this work is twofold: first, to address the types of spelling errors children make by researching, developing, and evaluating algorithms to generate and rank candidate spelling suggestions; and second, to evaluate the impact …