Digital Commons Network^™

Wasm-Pbchunk: Incrementally Developing A Racket-To-Wasm Compiler Using Partial Bytecode Compilation, Adam C. Perlin

Master's Theses

Racket is a modern, general-purpose programming language with a language-oriented focus. To date, Racket has found notable uses in research and education, among other applications. To expand the reach of the language, there has been a desire to develop an efficient platform for running Racket in a web-based environment. WebAssembly (Wasm) is a binary executable format for a stack-based virtual machine designed to provide a fast, efficient, and secure execution environment for code on the web. Wasm is primarily intended to be a compiler target for higher-level languages. Providing Wasm support for the Racket project may be a promising way …

Analyzing Tortuosity In Patterns Formed By Colonies Of Embryonic Stem Cells Using Topological Data Analysis, Jackie Driscoll

Master's Theses

Pluripotent stem cells have been observed to segregate into Turing-like patterns during the early stages of Dox-inducible hiPSC differentiation. In this thesis, we de- velop a tool to quantify the tortuosity in the patterns formed by colonies of pluripo- tent stem cells using methods from topological data analysis. We use clustering techniques and the mapper algorithm to create simplicial complexes representing samples of cells and detail a method of evaluating the tortuosity of these complexes. We use the resulting persistence landscapes and their associated norms to evaluate experimental data and simulated data from an agent based model. This thesis finds …

Neural Compression Inference Accelerator: A Cost And Energy-Effective Alternative To Conventional Machine Learning Inference Methods, Matthew Wallace

Master's Theses

Recent developments in machine learning and artificial intelligence have sparked an influx of workloads that require specialized computer hardware for cloud services. The hardware running machine learning models predominantly consists of graphics processing units (GPUs) and tensor processing units (TPUs). However, these com- ponents are expensive for cloud services to purchase, costly for customers to rent, prone to price spikes, and energy-intensive. In this research we show that both cloud services and customers would benefit from utilizing field programmable gate arrays (FPGAs) to alleviate the aforementioned challenges. An FPGA can be configured as a machine learning accelerator, operating similarly to …

California's Native Trees And Their Use In The Urban Environment, Camille Pawlak, Natalie Love, Jennifer Yost, Andrew Fricker, Jacqueline Doremus, Matthew Ritter

Master's Theses

California’s urban forest is composed of both native and non-native species. These trees improve the quality of life of urban residents and mitigate the effects of climate change by buffering local microclimates. A species’ native status is often defined at the scale of the state’s political boundaries, which doesn’t reflect its actual native range. Here we define the list of 95 tree species native to California, create digital range maps for each species, provide native species lists for every city in California, and analyze trends in native tree species in the state’s urban areas. We found that California’s urban areas …

Understanding The Flow Dynamics Of The Pearl River, Ms, Through Hydrodynamic Modeling, Nahruma Mehzabeen Pieu

Master's Theses

The Pearl River brings fresh water and nutrients into Lake Borgne regulating conditions for oyster growth in estuarine waters. However, there are no flow measurement stations installed on East Pearl or West Pearl either at the river outlets or after the upstream bifurcation of the Pearl. This study aims to model the Lower Pearl River to understand the flow dynamics in the major branches, and to determine the final outflow distribution into the Mississippi Sound, aiming to improve river forcing for ocean models studying estuarine dynamics of the Mississippi Sound.

Synthetic meandering bathymetry with updated banks is developed and applied …

A Novel Approach To Extending Music Using Latent Diffusion, Keon Roohparvar, Franz J. Kurfess

Master's Theses

Using deep learning to synthetically generate music is a research domain that has gained more attention from the public in the past few years. A subproblem of music generation is music extension, or the task of taking existing music and extending it. This work proposes the Continuer Pipeline, a novel technique that uses deep learning to take music and extend it in 5 second increments. It does this by treating the musical generation process as an image generation problem; we utilize latent diffusion models (LDMs) to generate spectrograms, which are image representations of music. The Continuer Pipeline is able to …

Experimental Characterization And Computer Vision-Assisted Detection Of Pitting Corrosion On Stainless Steel Structural Members, Riley J. Muehler

Master's Theses

Pitting corrosion is a prevalent form of corrosive damage that can weaken, damage, and initiate failure in corrosion-resistant metallic materials. For instance, 304 stainless steel is commonly utilized in various structures (e.g., miter gates, heat exchangers, and storage tanks), but is prone to failure through pitting corrosion and stress corrosion cracking under mechanical loading, regardless of its high corrosion resistance. In this study, to better understand the pitting corrosion damage development, controlled corrosion experiments were conducted to generate pits on 304 stainless steel specimens with and without mechanical loading. The pit development over time was characterized using a high-resolution laser …

Southern Sea Otter (Enhydra Lutris Nereis) Fur Morphology, Thermal Function, And Buoyancy Across Ontogeny, Kate Riordan

Master's Theses

Sea otters (Enhydra lutris) have the densest fur of any animal, and the hairs function to trap a layer of air that is used for insulation. When a sea otter is born, it has a natal pelage (baby fur), and sea otters eventually molt that fur and replace it with a pelt resembling the adult fur. Sea otter fur is composed of 3 types of hairs: underhairs, intermediate hairs, and guard hairs. Sea otters are more susceptible to the negative effects of oiling from oil spills compared to other marine mammal species because they solely rely on fur …

Distributed Control Of Servicing Satellite Fleet Using Horizon Simulation Framework, Scott Plantenga

Master's Theses

On-orbit satellite servicing is critical to maximizing space utilization and sustainability and is of growing interest for commercial, civil, and defense applications. Reliance on astronauts or anchored robotic arms for the servicing of next-generation large, complex space structures operating beyond Low Earth Orbit is impractical. Substantial literature has investigated the mission design and analysis of robotic servicing missions that utilize a single servicing satellite to approach and service a single target satellite. This motivates the present research to investigate a fleet of servicing satellites performing several operations for a large, central space structure.

This research leverages a distributed control approach, …

Assessing Dynamics And Trends Of Co2 Flux On The Louisiana Shelf, Claire Mcguire

Master's Theses

The Gulf of Mexico on an annual timescale acts as a sink for ­CO₂. Previous studies have investigated regional-scale trends in the Gulf based on model output. In our investigation of the northern Gulf of Mexico, and especially the area surrounding the Louisiana delta, we found different trends compared with previous studies of the open ocean Gulf and broader shelf region. Predictions of global patterns of the ocean CO₂ cycle require regional studies of unique areas like the Louisiana Shelf. The Louisiana Shelf is a shallow system, has input from river systems, experiences seasonal hypoxia, and is …

Estimation Of Quantitative Genetic Parameters Of The Eastern Oyster (Crassostrea Virginica) In The Gulf Of Mexico, Heather King

Master's Theses

The decline of natural oyster reefs in Gulf of Mexico (Gulf) states has stimulated the development of aquaculture to support the industry and restoration programs. Gulf habitats feature diverse salinity environments that may require oysters bred for habitat-specific optimal genetic characteristics. In this work, genetic parameters for performance in habitats with different salinity were estimated. In September 2020, 102 males and 102 females sourced from 17 natural reefs across the northern Gulf were bred according to 2 males x 2 females non-overlapping factorial crossing designs, resulting in 204 full and half sibs. All families were pooled after fertilization according to …

Solving The Cable Equation, A Second-Order Time Dependent Pde For Non-Ideal Cables With Action Potentials In The Mammalian Brain Using Kss Methods, Nirmohi Charbe

Master's Theses

In this thesis we shall perform the comparisons of a Krylov Subspace Spectral method with Forward Euler, Backward Euler and Crank-Nicolson to solve the Cable Equation. The Cable Equation measures action potentials in axons in a mammalian brain treated as an ideal cable in the first part of the study. We shall subject this problem to the further assumption of a non-ideal cable. Assume a non-uniform cross section area along the longitudinal axis. At the present time, the effects of torsion, curvature and material capacitance are ignored. There is particular interest to generalize the application of the PDEs including and …

Solving Supersonic Flows Using The Method Of Integral Relations In Python, Eddie Hsieh

Master's Theses

This thesis presents a modern approach to the Method of Integral Relations implemented in the Python programming language. This work is based on South's reports on solving supersonic conical flows and Belotserkovskii's publications on solving supersonic flows over blunt bodies. The Python SciPy library is extensively used in this thesis. A root finder module is used to perform South's solution process, and the Runge-Kutta ODE solver with dense output is implemented to replicate Belotserkovskii's solution process. The implementation of Python makes the development efficient and serves as an open-source framework for future work to build on. This work focuses on …

Design And Implementation Of A Prototype Pendulum Platform For Aerospace Controls Education, Zachary A. Wright

Master's Theses

This thesis presents a modular, low-cost, prototype inverted pendulum platform for undergraduate Aerospace control theory research and education. The platform's default configuration integrates a propeller and reaction wheel as its actuators, with multiple sensors available to measure the pendulum's states. The platform utilizes open-source software and hardware to power the actuators, and uses MATLAB/Simulink to streamline data collection. System identification techniques are applied to the platform, and the mathematical model of the pendulum is verified. Momentum exchange between the reaction wheel and propeller during closed-loop stabilization of the pendulum is demonstrated.

Composite Solid Rocket Motor Case Optimization With Matlab Genetic Algorithm, Aleksandr Breit

Master's Theses

This study utilizes MATLAB genetic algorithm (GA) to perform optimization on a solid rocket motor (SRM) chamber structure. The (SRM) structure is modelled as a cylindrical composite laminate where unidirectional fiber orientations are the primary design variable in the optimization problem formulation. Additional design variables such as chamber length, diameter, and internal pressure are altered along with the ply angles to minimize the safety margin towards a near-zero value and encourage efficient layup design. Classical lamination theory with Tsai-Wu failure criterion are used to calculate ply-level safety margins. A thickness minimization scheme is employed to reduce the ply count from …

Hydric Physiology Of Lizards, Savannah Weaver

Master's Theses

Chapter 1: Animals can respond to extreme climate by behaviorally avoiding it, or by physiologically coping with it. We understand behavioral thermoregulation and physiological thermal tolerances, but water balance has largely been neglected. Climate change includes both global warming and changes in precipitation regimes, so improving our understanding of organismal water balance is increasingly urgent. We assessed the hydric physiology of endangered Blunt-nosed Leopard Lizards (Gambelia sila) by measuring cutaneous evaporative water loss (CEWL), plasma osmolality, body mass, and body condition throughout their active season. On average, G. sila had low CEWL that is likely desert-adaptive, and high …

Analyzing Robustness Of An Agent Based Model On Action Potentials In Cardiac Tissue, Marion Jon Zollinger Lara

Master's Theses

An agent based model (ABM) is a computational model with ``agents'' that interact with each other in an ``environment.'' This paper analyzes a particular ABM simulating individual ions in cardiac tissue, with the goal of modelling the strength and consistency of the electrical signals needed for a healthy heartbeat. We build several frameworks based on work by M. A. Yereniuk and S. D. Olson to demonstrate robustness of the original model. We conclude a moderate level of robustness using those frameworks, through a combination of proofs and empirical evidence.

Learning The Game: Implementations Of Convolutional Networks In Automated Strategy Identification, Cameron Klig

Master's Theses

Games can be used to represent a wide variety of real world problems, giving rise to many applications of game theory. Various computational methods have been proposed for identifying game strategies, including optimized tree search algorithms, game-specific heuristics, and artificial intelligence. In the last decade, systems like AlphaGo and AlphaZero have significantly exceeded the performance of the best human players in Chess, Go, and other games. The most effective game engines to date employ convolutional neural networks (CNNs) to evaluate game boards, extract features, and predict the optimal next move. These engines are trained on billions of simulated games, wherein …

Balancing Privacy And Accuracy In Iot Using Domain-Specific Features For Time Series Classification, Pranshul Lakhanpal

Master's Theses

ε-Differential Privacy (DP) has been popularly used for anonymizing data to protect sensitive information and for machine learning (ML) tasks. However, there is a trade-off in balancing privacy and achieving ML accuracy since ε-DP reduces the model’s accuracy for classification tasks. Moreover, not many studies have applied DP to time series from sensors and Internet-of-Things (IoT) devices. In this work, we try to achieve the accuracy of ML models trained with ε-DP data to be as close to the ML models trained with non-anonymized data for two different physiological time series. We propose to transform time series into domain-specific 2D …

Mmf-Drl: Multimodal Fusion-Deep Reinforcement Learning Approach With Domain-Specific Features For Classifying Time Series Data, Asmita Sharma

Master's Theses

This research focuses on addressing two pertinent problems in machine learning (ML) which are (a) the supervised classification of time series and (b) the need for large amounts of labeled images for training supervised classifiers. The novel contributions are two-fold. The first problem of time series classification is addressed by proposing to transform time series into domain-specific 2D features such as scalograms and recurrence plot (RP) images. The second problem which is the need for large amounts of labeled image data, is tackled by proposing a new way of using a reinforcement learning (RL) technique as a supervised classifier by …

Implementation Of Topology Optimization Into The Mechanical Design Process, Nolan Clapp

Master's Theses

Topology Optimization is a lightweighting method based on finite element analysis that produces a part with optimum material distribution in the design space. Results from topology optimization often have organic shapes and curves that are difficult if not impossible to machine with traditional subtractive manufacturing methods. This paper analyzes the implementation of the Solidworks® Topology Optimization add-in into the mechanical design process and discusses required postprocessing to ensure manufacturability of the optimized part though a case study on two example parts. Results of traditional optimization, topology optimization and “selective” optimization (optimization using the results from topology optimization to selectively remove …

Effects Of Intertidal Position On The Response To Oxygen And Desiccation Stress In The Common Acorn Barnacle, Balanus Glandula, Megan M. Dotterweich

Master's Theses

Sessile invertebrates in the rocky intertidal experience intermittent periods of air exposure due to tidal flux, presenting risks of temperature extremes, hypoxia, nutrient limitation, and most dangerously, desiccation. Microscale variation in severity and frequency of these risks is widely dependent on vertical position within the intertidal zone. Common acorn barnacles (Balanus glandula) have a wide vertical distribution in the intertidal, creating large differences in microhabitat between the highest and lowest individuals in the population. This study set out to explore whether tidal position dependent differences exist in the response to oxygen and desiccation stress in B. glandula. …

Deep Learning Recommendations For The Acl2 Interactive Theorem Prover, Robert K. Thompson, Robert K. Thompson

Master's Theses

Due to the difficulty of obtaining formal proofs, there is increasing interest in partially or completely automating proof search in interactive theorem provers. Despite being a theorem prover with an active community and plentiful corpus of 170,000+ theorems, no deep learning system currently exists to help automate theorem proving in ACL2. We have developed a machine learning system that generates recommendations to automatically complete proofs. We show that our system benefits from the copy mechanism introduced in the context of program repair. We make our system directly accessible from within ACL2 and use this interface to evaluate our system in …

Groups Of Non Positive Curvature And The Word Problem, Zoe Nepsa

Master's Theses

Given a group $\Gamma$ with presentation $\relgroup{\scr{\scr{A}}}{\scr{R}}$, a natural question, known as the word problem, is how does one decide whether or not two words in the free group, $F(\scr{\scr{A}})$, represent the same element in $\Gamma$. In this thesis, we study certain aspects of geometric group theory, especially ideas published by Gromov in the late 1980's. We show there exists a quasi-isometry between the group equipped with the word metric, and the space it acts on. Then, we develop the notion of a CAT(0) space and study groups which act properly and cocompactly by isometries on these spaces, such groups …

An Empirical Evaluation Of Neural Process Meta-Learners For Financial Forecasting, Kevin G. Patel

Master's Theses

Challenges of financial forecasting, such as a dearth of independent samples and non- stationary underlying process, limit the relevance of conventional machine learning towards financial forecasting. Meta-learning approaches alleviate some of these is- sues by allowing the model to generalize across unrelated or loosely related tasks with few observations per task. The neural process family achieves this by con- ditioning forecasts based on a supplied context set at test time. Despite promise, meta-learning approaches remain underutilized in finance. To our knowledge, ours is the first application of neural processes to realized volatility (RV) forecasting and financial forecasting in general.

We …

​ Soilborne Pathogens Of Strawberry In The Central Coast Region Of California: ​ Survey And Cover Cropping With Wheat For Management Of Macrophomina Phaseolina, Mary Steele

Master's Theses

Surveys of the four major soilborne pathogens of strawberry (Fusarium oxysporum f. sp. fragariae, Macrophomina phaseolina, Phytophthora spp., and Verticillium dahliae) to determine their relative prevalence were conducted in Watsonville-Salinas, CA in 2021 and in Santa Maria, CA in 2022. All four major pathogens were detected at relatively similar prevalence in Watsonville-Salinas, between 22% and 31% of sampled fields. In Santa Maria, M. phaseolina was far more prevalent at 52% of sampled fields, the other three falling between 14% and 17%. Additionally replicated greenhouse and field trials were conducted to evaluate the effects of wheat as …

Marine Protected Areas And Oceanographic Variability: Impacts On Blue Rockfish (Sebastes Mystinus) And The Human Dimensions Of Collaborative Fisheries Research, Erin M. Johnston

Master's Theses

Fishing pressure and environmental variability are two of the most impactful drivers of fish populations worldwide. It is critical to effective management to understand the intersection between the two and how each may affect fish population dynamics, especially for exploited nearshore species like rockfishes (Sebastes spp.). This is especially true as models indicate that global climate change will dramatically increase the frequency and severity of large-scale oceanographic perturbations. We were interested in whether we could detect changes in relative abundance of nearshore rockfishes relative to large-scale oceanographic events using a broad-scale index like the Multivariate Ocean Climate Indicator …

Agricultural Shocks On Household Stability: A Case Study Of Tanzania Maize Farmers, Zimmi Silonda Ndlovu

Master's Theses

As the global populations grow, the need for stronger agricultural resilience in areas with high food insecurity like Sub-Saharan Africa (SSA) is a must. Crop failure due to climate related events has increased substantially over the past decade, raising the risks to vulnerable groups like subsistence farmers. Understanding the effects of climate variability on farmers and their crops is a pivotal step towards increasing resilience and productivity. In this paper I approach this question using a Linear Probability Fixed-effects Model on Tanzanian Panel Survey data with monthly temperature and precipitation for years 2008 to 2013. Results suggest a negative relationship …

No One To Save, And Everything To Learn: Decolonial Possibilities For Global Ngos Facilitating Education In Emergencies, Megan N. Patterson

Master's Theses

The field of Education in Emergencies is an emerging field which aims to offer solutions for the continuation of learning in humanitarian settings, but also navigates dynamics of global development in the pursuit of delivering quality learning and universal learning access. In this study, qualitative content analysis is used to examine the beliefs, values, and motivations of three Education in Emergencies (EiE) programs implemented by NGOs. These were selected to offer insight into programming designed for global, regional, and local implementation, as well as nuanced dynamics of power, agency, and saviorism through seven criteria: (1) Purpose of learning, (2) Instructional …

Charity Begins At Home: Investigating How Culture Shapes In-Group Bias In Altruistic Behavior, Angira Shukla

Master's Theses

The paper builds a structural model of altruistic transfers based on identity matches with another individual and estimates the weights that people place on the characteristic matches. We also take a comparative look at the role of culture in these transfers. The culture here is trying to contrast a traditional society versus a cosmopolitan one. I run an experiment in India to examine these differences. I find that in both the urban and rural samples individuals tend to give more to girls and donate largely on the basis of the need of the receiver. I also find that the rural …