Physical Sciences and Mathematics Commons^™

The Spatial Distribution Of Elevated Uranium In The Treasure Valley Aquifer System, Southwest Idaho, Lloyd A. Womeldorph

Boise State University Theses and Dissertations

The Treasure Valley Aquifer System (TVAS) in southwestern Idaho contains well-documented uranium concentrations over the U.S. Environmental Protection Agency maximum contaminant level of 30 µg/L. With a population in the Treasure Valley projected to reach 1.6 million by 2065, in-depth horizontal and vertical spatial knowledge of the contaminant is needed. This study evaluates the horizontal and vertical spatial nature of uranium in the TVAS and interprets those observations to provide both a conceptual model of uranium behavior, and recommendations for water resource management. A large water quality dataset was compiled, and supplemented by data collected during a field sampling campaign, …

Informing Field Management Decisions To Enhance Alfalfa Seed Production Using Remote Sensing, Thomas V. Van Der Weide

Boise State University Theses and Dissertations

The development rate of alfalfa seed crop depends on both environmental conditions and management decisions. Crop management decisions, such as determining when to release pollinators to optimize pollination, can be informed by the identification of plant development stages from remote sensing data. I first identify what electromagnetic wavelengths are sensitive to alfalfa plant development stages using hyperspectral data. A Random Forest regression is used to determine the best Vegetation Index (VI) to monitor how much of the plant is covered in flower. The results indicate that Blue, Green, and Near-Infrared are the important electromagnetic wavelengths for the VI. Imagery collected …

Geomorphology And Geochronology Of Sand Ramps Adjoining The Coral Pink Sand Dunes, Kane County, Utah, Kerri E. Spuller

Boise State University Theses and Dissertations

Projected climate change is expected to have widespread impacts on arid regions of the world. Inland, continental dune fields are sensitive to changes in climate and the surrounding environment and are an important source for understanding interactions between Earth’s surface, atmosphere, and biosphere in drylands. Reconstructing past periods of aeolian activity from dune fields can provide insights into how landscapes have responded to previous changes in climate. However, the nature of aeolian systems to recycle older deposits leads to a preservation bias towards only the youngest deposits. Targeting geomorphic settings that are conducive to preserving older records is critical to …

Characterizing Dryland Ecosystems Using Remote Sensing And Dynamic Global Vegetation Modeling, Abdolhamid Dashtiahangar

Boise State University Theses and Dissertations

Drylands include all terrestrial regions where the production of crops, forage, wood and other ecosystem services are limited by water. These ecosystems cover approximately 40% of the earth terrestrial surface and accommodate more than 2 billion people (Millennium Ecosystem Assessment, 2005). Moreover, the interannual variability of the global carbon budget is strongly regulated by vegetation dynamics in drylands. Understanding the dynamics of such ecosystems is significant for assessing the potential for and impacts of natural or anthropogenic disturbances and mitigation planning, and a necessary step toward enhancing the economic and social well-being of dryland communities in a sustainable manner (Global …

Bullynet: Unmasking Cyberbullies On Social Networks, Aparna Sankaran

Boise State University Theses and Dissertations

Social media has changed the way people communicate with each other, and consecutively affected people's ability to empathize in both positive and negative ways. One of the most harmful consequences of social media is the rise of cyberbullying, which tends to be more sinister than traditional bullying given that online records typically live on the internet for quite a long time and are hard to control. In this thesis, we present a three-phase algorithm, called BullyNet, for detecting cyberbullies on Twitter social network. We exploit bullying tendencies by proposing a robust method for constructing a cyberbullying signed network. BullyNet analyzes …

Falcon: Framework For Anomaly Detection In Industrial Control Systems, Subin Sapkota

Boise State University Theses and Dissertations

Industrial Control Systems (ICS) are used to control physical processes in the nation's critical infrastructures. They are composed of subsystems that control physical processes by analyzing the information received from the sensors. Based on the state of the process, the controller issues control commands to the actuators. These systems are utilized in a wide variety of operations such as water treatment plants, power, and manufacturing, etc. While the safety and security of these systems are of high concern, recent reports have shown an increase in targeted attacks that are aimed at manipulating the physical processes to cause catastrophic consequences. This …

Comprehensive Investigation Of Bioactive Steroidal Alkaloids In Veratrum Californicum, Matthew West Turner

Boise State University Theses and Dissertations

Veratrum californicum, commonly referred to as corn lily or Californian false hellebore, grows in high mountain meadows and produces bioactive steroidal alkaloids, including cyclopamine. Cyclopamine is a potent inhibitor of the Hedgehog (Hh) signaling pathway. Our lab has optimized methods to extract cyclopamine and related steroidal alkaloids from V. californicum, and implemented in-house Hh signaling bioactivity evaluation of these steroidal alkaloids using a Shh-Light II cell assay. A survey of extraction methods and solvents resulted in the identification of conditions most favorable for alkaloid extraction yield and antagonist activity in the Shh-Light II cell assay. The highest amount …

Multilingual Information Retrieval: A Representation Building Perspective, Ion Madrazo

Boise State University Theses and Dissertations

Information Retrieval (IR) has changed the way we access digital resources and satisfy our daily information needs. Popular IR tools like Search Engines, Recommendation Systems, and Automatic Question Answering sites, act as a deterrent for information overload while fostering (at least in theory) the democratization of access to resources. Yet, in their majority, IR tools are built with a traditional user in mind. This causes users who deviate from the norm, e.g., users with low educational background, visually-impaired users, or users who speak different languages, to be undeserved and thus struggle to find the information they require. In this manuscript, …

Detection And Countermeasure Of Saturation Attacks In Software-Defined Networks, Samer Yousef Khamaiseh

Boise State University Theses and Dissertations

The decoupling of control and data planes in software-defined networking (SDN) facilitates orchestrating the network traffic. However, SDN suffers from critical security issues, such as DoS saturation attacks on the data plane. These attacks can exhaust the SDN component resources, including the computational resources of the control plane, create a high packet loss rate and a long delay in delivering the OpenFlow messages due to the bandwidth consumption of the OpenFlow connection channel, and exhausting the buffer memory of the data plane.

Currently, most of the existing machine learning detection methods rely on a predefined time-window to start analyzing the …

A Foundational Study Of A New Synthetic Method Of Metal Carbonyl Clusters, Miles Shaun Millard

Boise State University Theses and Dissertations

“Traditional” Metal Carbonyl Clusters (MCCs) contain a framework of multiple metal atoms bound together through formal metal-metal (M-M) bonds. Current methods of synthesis result in different cluster sizes and lack a method to control growth. This project proposes a new method of MCC synthesis to build larger structures utilizing secondary non-covalent interactions to develop “non-traditional” MCCs. The N,N’-diarylurea moiety is a strong hydrogen bond donor/acceptor that can induce self-assembly into larger secondary structures. The union of metal carbonyl and urea chemistry provides a potential method of “non-traditional” MCC synthesis. This proof of concept experiment will elucidate foundational information such …

Insights Into The Evolution Of The Galápagos Archipelago And Its Mantle Source From Monogenetic Near-Island Seamounts, Darin M. Schwartz

Boise State University Theses and Dissertations

Lavas erupted at ocean island volcanoes are classically used as probes of the deep Earth, with ultimate goals of discerning the compositional heterogeneity, structure and dynamics of the Earth’s mantle. However, sampling restricted to volcanic islands and large, submarine volcanic constructs alone likely results in limited spatial resolution of the mantle’s composition and structure, owing to homogenization in sub-island magma reservoirs. Further, islands provide poor temporal resolution given that their multigenetic construction can overprint any time progressive chemical variations and they subside with age making detailed sampling difficult. For my dissertation I investigate whether seamounts surrounding islands in the Galápagos …

Investigating Soluble Organic Compounds In Aqueously Altered Carbonaceous Chondrites By Ultrahigh Resolution Orbitrap Mass Spectrometry, Patrick Kyle Schwartz

Boise State University Theses and Dissertations

Most meteorites are fragments from main-belt asteroids and contain extremely primitive materials that have preserved a compositional record of the early Solar System. After the formation of their parent bodies, carbonaceous chondrites experienced secondary modification from thermal metamorphism and/or aqueous alteration. Secondary processing likely influenced the synthesis and/or final composition of organic compounds in parent bodies; thus, these effects may be elucidated from the study of different meteorites. Although the role of aqueous alteration has been investigated for a few specific classes of compounds (such as amino acids), the effect of aqueous alteration on the full inventory of organic compounds …

Does The Urbanization Of Agricultural Land Lead To More Or Less Evapotranspiration?, Curtis Ryan Crandall

Boise State University Theses and Dissertations

Agricultural areas within the western U.S. are undergoing rapid urbanization due to population growth. Urban expansion often forces the conversion of adjacent agricultural areas altering the landscape vegetation and associated water consumption through evapotranspiration (ET). The associated difference in ET may alter the landscape water demand complicating water resource management. To investigate these differences, we calculated the agricultural and urban seasonal ET rates in a semiarid watershed currently undergoing large population growth and rapid urbanization. We used high resolution satellite imagery with a GIS computer model to generate basin-wide ET estimates over a 204-day irrigation season. Six land type samples …

Synthesizing Field And Experimental Techniques To Investigate The Enigmatic Processes Occurring At The Base Of Pyroclastic Currents, Nicholas M. Pollock

Boise State University Theses and Dissertations

Pyroclastic currents are the deadliest hazard associated with explosive volcanic eruptions. These gravity-driven currents consist of volcanic gases and solid particles that range in size from fine ash to boulders. The dangers associated with pyroclastic currents stem from their unpredictability and ability to travel extremely long distances, sometimes in excess of 100 km. To mitigate the risk to populations and infrastructure, we must understand the processes that control the runout distance of pyroclastic currents. The runout distance depends on the complex interplay of processes related to sediment transport, erosion, and deposition. Historically, studies focused on understanding sediment transport and deposition, …

Development Of A Statistical Shape-Function Model Of The Implanted Knee For Real-Time Prediction Of Joint Mechanics, Kalin Gibbons

Boise State University Theses and Dissertations

Outcomes of total knee arthroplasty (TKA) are dependent on surgical technique, patient variability, and implant design. Non-optimal design or alignment choices may result in undesirable contact mechanics and joint kinematics, including poor joint alignment, instability, and reduced range of motion. Implant design and surgical alignment are modifiable factors with potential to improve patient outcomes, and there is a need for robust implant designs that can accommodate patient variability. Our objective was to develop a statistical shape-function model (SFM) of a posterior stabilized implant knee to instantaneously predict output mechanics in an efficient manner. Finite element methods were combined with Latin …

Estimating Error And Bias Of Offline Recommender System Evaluation Results, Mucun Tian

Boise State University Theses and Dissertations

Recommender systems are software applications deployed on the Internet to help people find useful items (e.g. movies, books, music, products) by providing recommendation lists. Before deploying recommender systems online, researchers and practitioners generally conduct offline evaluations to compare the accuracy of top- recommendation lists among candidate algorithms using users’ history consumption data. These offline evaluations typically use metrics and methodologies borrowed from machine learning and information retrieval and have several well-known biases that affect the validity of their results, including popularity bias and other biases arising from the missing-not-at-random nature of the data used. The existence of these biases is …

Radial Basis Function Finite Difference Approximations Of The Laplace-Beltrami Operator, Sage Byron Shaw

Boise State University Theses and Dissertations

Partial differential equations (PDEs) are used throughout science and engineering for modeling various phenomena. Solutions to PDEs cannot generally be represented analytically, and therefore must be approximated using numerical techniques; this is especially true for geometrically complex domains. Radial basis function generated finite differences (RBF-FD) is a recently developed mesh-free method for numerically solving PDEs that is robust, accurate, computationally efficient, and geometrically flexible. In the past seven years, RBF-FD methods have been developed for solving PDEs on surfaces, which have applications in biology, chemistry, geophysics, and computer graphics. These methods are advantageous, as they are mesh-free, operate on arbitrary …

Suitability Of Finite State Automata To Model String Constraints In Probablistic Symbolic Execution, Andrew Harris

Boise State University Theses and Dissertations

Probabilistic Symbolic Execution (PSE) extends Symbolic Execution (SE), a path-sensitive static program analysis technique, by calculating the probabilities with which program paths are executed. PSE relies on the ability of the underlying symbolic models to accurately represent the execution paths of the program as the collection of input values following these paths. While researchers established PSE for numerical data types, PSE for complex data types such as strings is a novel area of research.

For string data types SE tools commonly utilize finite state automata to represent a symbolic string model. Thus, PSE inherits from SE automata-based symbolic string models …

Investigating The Effects Of Social And Temporal Dynamics In Fitness Games On Children's Physical Activity, Ankita Samariya

Boise State University Theses and Dissertations

Obesity in children has more than doubled in the last four decades. A variety of fitness technologies such as activity trackers, exergames, and mobile applications are available to promote physical activity, but few are designed adequately to meet children's specific needs. In my initial research, I found that children prefer having social interaction, a narrative, and flexibility while interacting with such technologies. Other research has shown that persuasive displays encouraged adults towards physical activity. As a part of this work, a collection of mobile applications, collectively known as KidFit Suite were developed. These applications encourage children to be physically active …

Deviant: A Mutation Testing Tool For Solidity Smart Contracts, Patrick Chapman

Boise State University Theses and Dissertations

Blockchain in recent years has exploded in popularity with Ethereum being one of the leading blockchain platforms. Solidity is a widely used scripting language for creating smart contracts in Ethereum applications. Quality assurance in Solidity contracts is of critical importance because bugs or vulnerabilities can lead to a considerable loss of financial assets. However, it is unclear what level of quality assurance is provided in many of these applications.

Mutation testing is the process of intentionally injecting faults into a target program and then running the provided test suite against the various injected faults. Mutation testing is used to evaluate …

Petrogenesis Of Off-Axis Lavas Erupted Along The 8˚20’ N Seamount Chain, East Pacific Rise, Molly Kassandra Anderson

Boise State University Theses and Dissertations

Lavas erupted at off-axis seamounts provide a window into mantle heterogeneity and melting systematics that are not easily observed on-axis at fast spreading mid-ocean ridges (MORs). This is because axial melts are efficiently mixed and homogenized within shallow axial magma chambers prior to eruption. To understand the deeper magmatic processes contributing to oceanic crustal formation, we examine the compositions of lavas erupted along a chain of off-axis seamounts, adjacent to the East Pacific Rise (EPR). Essential questions include: (1) What is the range of compositional variability erupted off-axis and how does that compare to lavas erupted on-axis? (2) Is there …

Partitioned By Process: Measuring Post-Fire Debris Flow And Rill Erosion With Structure From Motion, Nicholas Ellett

Boise State University Theses and Dissertations

In mountainous regions burned by wildfires, profound changes in soil characteristics and combustion of vegetation increase hillslope and channel erosion during storm events. Reduced infiltration and abundant loose sediment produce large post-fire erosional events which endanger human lives and infrastructure and contribute significantly to long-term erosion rates. While the influence of fire in increasing erosion has long been recognized, quantifying volumes and sources of eroded material from burned landscapes is difficult. Pre-erosion high-resolution topographic data (e.g. lidar) are often not available in burned areas and determining specific contributions from post-fire hillslope and channel erosion is challenging. Multiple erosional processes mobilize …

Remote Sensing Time-Series Analysis, Machine Learning, And K-Means Clustering Improves Dryland Vegetation And Biological Soil Crust Classification, Joshua Enterkine

Boise State University Theses and Dissertations

Dryland and semi-arid vegetation communities, although appearing to the casual observer as relatively simplistic and homogeneous, are in fact the opposite. Upon further inspection, semi-arid vegetation is highly complex and heterogeneous at almost any scale. The same holds true for biological soil crust. Growing concern about global changes in climate, nutrient cycles, and land use have required increasing scrutiny of our understanding of these communities and all of their constituents, as we seek to improve forecasting models and inform land management decisions. This thesis aims to provide insight to the paradigm of how we create and interpret vegetation classifications in …

Formally Verifying Peano Arithmetic, Morgan Sinclaire

Boise State University Theses and Dissertations

This work is concerned with implementing Gentzen’s consistency proof in the Coq theorem prover.

In Chapter 1, we summarize the basic philosophical, historical, and mathematical background behind this theorem. This includes the philosophical motivation for attempting to prove the consistency of Peano arithmetic, which traces itself from the first attempted axiomatizations of mathematics to the maturation of Hilbert’s program. We introduce many of the basic concepts in mathematical logic along the way: first-order logic (FOL), Peano arithmetic (PA), primitive recursive arithmetic (PRA), Gödel's 2nd Incompleteness theorem, and the ordinals below ε₀.

In …

On The Fundamental Group Of Plane Curve Complements, Mitchell Scofield

Boise State University Theses and Dissertations

Given a polynomial f(x,y) monic in y of degree d, we study the complement ℂ²-C, where C is the curve defined by the equation f(x,y)=0. The Zariski-Van Kampen theorem gives a presentation of the fundamental group of the complement ℂ²-C. Let NT be be the set of complex numbers x for which f(x,y) has multiple roots (as a polynomial in y). Let : ℂ − NT → ℂ^d − Δ be the map that …

Dynamic Sampling Versions Of Popular Spc Charts For Big Data Analysis, Samuel Anyaso-Samuel

Boise State University Theses and Dissertations

The statistical process control (SPC) chart is an effective tool for the analysis, interpretation, and visualization of data from sequential processes. Commonly used SPC charts such as the Shewhart, CUSUM and EWMA charts are widely implemented in detecting distributional shifts in various processes. With recent scientific and technological advancements, massive amounts of data continue to be generated by production, medical, agricultural and many other industrial processes. Conventional SPC charts have significant drawbacks in monitoring such processes, specifically when the velocity of the data flow is greater than the run time of the monitoring procedure. In the literature, dynamic sampling control …

Querying Over Encrypted Databases In A Cloud Environment, Jake Douglas

Boise State University Theses and Dissertations

The adoption of cloud computing has created a huge shift in where data is processed and stored. Increasingly, organizations opt to store their data outside of their own network to gain the benefits offered by shared cloud resources. With these benefits also come risks; namely, another organization has access to all of the data. A malicious insider at the cloud services provider could steal any personal information contained on the cloud or could use the data for the cloud service provider's business advantage. By encrypting the data, some of these risks can be mitigated. Unfortunately, encrypting the data also means …

Computable Reducibility Of Equivalence Relations, Marcello Gianni Krakoff

Boise State University Theses and Dissertations

Computable reducibility of equivalence relations is a tool to compare the complexity of equivalence relations on natural numbers. Its use is important to those doing Borel equivalence relation theory, computability theory, and computable structure theory. In this thesis, we compare many naturally occurring equivalence relations with respect to computable reducibility. We will then define a jump operator on equivalence relations and study proprieties of this operation and its iteration. We will then apply this new jump operation by studying its effect on the isomorphism relations of well-founded computable trees.