Digital Commons Network^™

Demystifying Hardware Formal Verification For Undergraduate Education: A Risc-V Processor Case Study With Coursework Implementation, Riley A. Peters

Master's Theses

Hardware verification engineers apply formal methods to prove that a digital device always behaves according to its specification. This differs from traditional functional verification, in which engineers establish correctness by repeatedly sending test inputs to the device and comparing the outputs against a reference model. With the growing complexity of integrated circuits, the demand for digital verification engineers with formal methods experience has continued to increase. However, California Polytechnic State University: San Luis Obispo's current curriculum lacks dedicated material to prepare students for these roles.

This thesis seeks to address the lack of formal methods material through two efforts. First, …

Covering Spaces, Mapping Class Groups And Heegaard Splittings, Tri Tran

Master's Theses

One studies the symmetries of an algebraic object by looking at its automorphism group. For example, the automorphism group of a regular n-gon is generated by rotations and reflections, and the automorphism group of {1,...,n} is generated by transpositions. We study the group of symmetries of a closed, oriented 2- and 3-dimensional manifold M, called the mapping class group of M. In the 2-dimensional case, it is known explicitly what the generators of the mapping class group are. We present a proof of this fact following Farb and Margalit's exposition. The question about the mapping …

Designing For Trust In Chat-Based Question Answering Systems: An Exchange-Based Retrieval Approach, Nathan Mccutchen

Master's Theses

Community chat platforms such as Discord and Slack support spontaneous, collaborative communication but make it difficult to retrieve previously discussed information. As conversations accumulate, valuable exchanges become buried, leading to repeated questions and sustained burden on experienced community members.

This work contributes a set of design requirements for question-answering systems operating over unstructured chat data, a Discord bot prototype implementing those requirements named Echo, and an empirical evaluation of how such a system affects user trust. Rather than encoding discrete question-answer pairs or generating synthetic responses with a language model, Echo indexes conversation topics for semantic retrieval and presents results …

Environmental Impact Of Preventative Fire-Retardant Applications On Soil Water Chemistry, Patrick C. Michelsen

Master's Theses

Between 1992 and 2012, 84% of all documented wildfires were started by humans. These fires often start around high-risk locations such as power lines and roadsides where fuel loads are near these potential human-caused ignition sources. Point source ignition sites that are surrounded by shrubs or grasslands are especially important because fires that occur within these biomes are responsible for far more destruction of property than forest fires. One strategy that is effective at mitigating the spread of fires from ignition sites that are within grassland or shrub biomes are preventative fire-retardant products (PFRPs). These PFRPs differ from traditional fire-retardant …

Empirical Comparisons Of Partial Dimension Reduction Algorithms In High-Dimensional Regression, Nathan Greenfield

Master's Theses

In high-dimensional regression problems, dimension reduction methods are often used to address the challenges of multicollinearity and estimation instability. Partial dimension reduction extends these ideas by applying dimension reduction to a subset of the predictors, while the remaining predictors are modeled without compression. This approach is particularly useful when it is important to retain variability and interpretability in certain predictors.

This thesis investigates the empirical performance of partial dimension reduction algorithms and introduces a novel algorithm, Iterative Partial Residual (IPR). Two algorithms are considered: a baseline algorithm, Marginal Residual (MR), and the proposed IPR method. Their predictive performance is evaluated …

A Literature Review On Ethics In Medical Diagnostic Ai & Analysis Therein, Connor J. Turetzky

Master's Theses

Artificial Intelligence presents a very promising future in medicine. Being able to diagnose and recommend treatments quickly is vital in ensuring positive patient outcomes. However, the new technology is not without risk. In this narrative literature review, the risks of AI in terms of bias, ethics, and environmental impact will be explored through existing research. This paper will focus on research published between 2019 and 2026, highlighting the major ethical and systematic problems currently facing diagnostic AI. Historical bias in medical data has led to AI that share those biases, and humans inherit that bias creating a potential negative feedback …

Exploring Math Word Problem Generation With Llms, Trung Hieu Vuong

Master's Theses

Math Word Problem (MWP) is an important building block for learning math. This type of problem is particularly useful for younger audiences because solving it involves two simultaneous skill sets: reading comprehension and mathematical reasoning. With publicly available large language models (LLMs), generating additional MWPs is readily achievable. While researchers have started using LLMs as MWP facilitators, there still exists a gap in studies about the diversity of MWPs generated by unmodified, publicly accessible LLMs. For that reason, our study focused on two goals: (1) to evaluate the diversity of MWPs generated by publicly available LLMs when provided with examples …

Stream Behavior Characterization Of Marin County Coastal Watersheds And Their Influence On Salmonid Habitat, Ellie L. Murdoch

Master's Theses

Coastal watersheds in California are increasingly affected by climatic variability, threatening stream behavior, ecological function, and salmonid habitat suitability. This study evaluated streamflow behavior of seven watersheds in Marin County, California, with detailed analysis of Corte Madera, Olema, and Redwood watersheds, which are not influenced by reservoir releases. Using USGS stream gauge records, PRISM climate data, SSURGO soils, and geologic and vegetation information, streamflow metrics critical to salmonid life cycles were quantified for water years 2014 to 2023. Watersheds with greater storage capacity, such as Redwood, exhibited muted hydrologic responses, including delayed flow activation, lower peak flows, slower recession rates, …

Using Noninvasive Calibrated Cuff Plethysmography To Observe The Effects Of Lifestyle Habits On Arterial Compliance, Joshua M. Whitaker

Master's Theses

Cardiovascular disease remains as a leading cause of death for both sexes and across all racial backgrounds. Continuing to research causes, early predictors, and preventative actions are paramount to ensuring that cardiovascular disease starts to decrease in its activity. Endothelial dysfunction is the earliest known predictor of cardiovascular disease, therefore investigating early detection methods of endothelial dysfunction can improve health outcomes. This study revolves around a non-invasive calibrated cuff device that uses the principles of segmental plethysmography and oscilliometry to measure arterial compliance of baseline and induced hyperemic conditions in human subjects to determine how well arteries vasodilate in response …

Exploring Synthetic Data Generation For Machine Learning And Statistical Analysis, Aditi S. Gajjar

Master's Theses

In the data-driven machine learning and statistical analysis world, real-world data availability is often constrained by privacy concerns, access restrictions, or resource limitations. To address these challenges, synthetic data provides a groundbreaking solution, enabling academics and data scientists to generate artificial datasets that mimic real-world data for model development and testing in a controlled, privacy-preserving environment. The syntheticDatasets package represents an R-based counterpart to Python's widely-used Scikit-learn dataset generators, adapted to meet the needs of statisticians, educators, and data scientists primarily working in the R programming ecosystem.

This thesis explores the design and implementation of the syntheticDatasets package, focusing on …

Performance Enhancement For Rufa: Rapid Urban Forest Assessment, Nicholas Tan

Master's Theses

Urban forests are crucial to the livability and resilience of cities, offering critical ecosystem benefits such as air quality enhancement, temperature regulation, and biodiversity. Managing said urban forests is essential to ensure their sustainability and adaptability to rapidly changing environmental and climate conditions. The Rapid Urban Forest Assessment (RUFA) tool was developed to address the need for a standardized approach to evaluating and comparing urban and community forestry programs. By analyzing and aggregating tree-specific data across California, such as canopy cover, tree counts, and diversity scores, RUFA assigns a comprehensive urban forestry score for each city. This score allows for …

Flower Color Variation And Its Maintenance: Experimental Ecology Of Serpentine-Adapted Leptosiphon Parviflorus Benth. (Polemoniaceae), Magdalene S. Lo

Master's Theses

Environmental heterogeneity can impose fluctuating selection pressures on species across space and time. If variations of a trait provide fitness benefits in certain environmental conditions but not others, these fitness tradeoffs under fluctuating selection could be a means of maintaining intraspecific variation. A common type of intraspecific variation is the production of anthocyanins, pigments responsible for red, pink, and blue colors in plants and that can also provide protection from abiotic stressors, such as water limitation and heavy metals. Leptosiphon parviflorus Benth. (Polemoniaceae, variable linanthus) is an annual wildflower whose individuals produce either pink or white flowers, and both flower …

An Analysis Of Neuroidal Memory Formation Within D. Melanogaster, Jerry Chang

Master's Theses

The Neuroidal model poses a neurobiologically plausible theory for modeling the brain. This symbolic network has been shown to capture realistic memorization behaviors using the JOIN algorithm. The model has also been recently improved by incorporating Watts-Strogatz small-worlds within its base structure. From the efforts of neuroscience researchers, we have access to the Drosophila melanogaster (D. melanogaster) fruit fly’s connectome, which has been found to also contain small-worlds in this thesis. By synthesizing the Ocellar Ganglion (OCG) region of Drosophila, we compare a digitized version of a real-world brain with an instance of the Neuroidal model. In this thesis, we …

Reverse Design Of Solid Rocket Grain Geometry, Yechan Kang

Master's Theses

The reverse design of solid rocket motors remains a challenging process due to the nonlinear relationship between the grain geometry and the internal ballistics. The reverse design process involves obtaining an optimal grain geometry given a target performance curve set by mission requirements, which is the inverse problem of the forward design. The purpose of this study is to assess the validity and implementation of neural network and simulated annealing algorithms to perform the reverse design process. A modified phase field model of the eikonal equation is derived to simulate the evolution of combustion surfaces over time, enabling burn back …

Where Is Dance In Education? Perspectives On The State Of Dance In Independent Schools Across The Midwest And How One School Community Fits Into The Larger Picture, Megan O'Toole

Master's Theses

The goal of this study was to examine the current state of dance education in independent K-12 schools in the Midwest region of the United States. The researcher developed four essential questions to guide the study:

Q1 Which schools had dance programming, and which schools did not have dance programming?

Q2 For the schools that had dance programming, what did the dance programs look like?

Q3 What factors influenced a school’s decision to include dance programming?

Q4 What factors influenced a school's decision to exclude dance programming?

A regional study was conducted to understand the trends associated with current dance …

The Impact Of Using The Visual, Auditory/Aural, Reading/Writing, And Kinesthetic (Vark) Model In Ballet Class: A Multifaceted Approach To Teaching Ballet Technique To Children Ages Nine To Twelve Years Old, Angelle Cain Wise

Master's Theses

The purpose of this study was to generate data that would measure the impact of the application of the Visual, Auditory/Aural, Reading/Writing, and Kinesthetic (VARK) Model learning styles on student comprehension and execution of movement in ballet class. The researcher sought to answer these questions:

Q1 Does teaching students’ using their preferred learning style help them understand the movement thoroughly?

Q2 Does teaching students’ using their preferred learning style help them execute the movement more precisely?

There was a total of twelve participants ages nine to twelve years old and two observers, whom were colleagues of the researcher. A set …

Dancing With Logic: The Impact Of Integrating Dance In Teaching Introductory Computer Science Concepts On Student Understanding And Engagement, April Monk

Master's Theses

The purpose of this study was to investigate the effectiveness of dance-integrated pedagogical methods in enhancing the learning experiences of students in an introductory computer science course. In particular, the research aimed to measure the impact of creative movement on student comprehension, engagement, and perceptions of computer science. To guide this investigation, the study explored three research questions: Does integrating dance into lessons impact students’ comprehension of fundamental computer science concepts? How does dance integration affect student perceptions of both dance and computer science? And what elements of dance contribute to differences in comprehension between dance-integrated and traditional lessons? A …

N-Aryl Phenoxazines As Polymer Supported Photocatalysts, Mary Kathryn Hall

Master's Theses

In photosynthesis, the energy of sunlight is perfectly harnessed to facilitate the production of small molecules that are essential for plant life on earth. Inspired by this model of energy efficiency and simplicity, this work seeks to mimic that ability to use the energy in visible light to perform new and more efficient chemistries. Just like in photosynthesis, photocatalysts can act as chromophores absorbing light to excite electrons opening new pathways for previously untapped reactivity. Recent research has provided a wide range of small molecule reactions that are made possible or easier by the use of a photocatalyst. However, these …

The Finite Fourier Transform: Realizing The Irreducible Complex Representations Of The Special Linear Group Over A Finite Field, Kelly Jane Lyle

Master's Theses

Classically, one of the central methods of understanding an abstract group has been through its representations in other structures, such as permutations of sets or linear transformations of vector spaces. As a detailed illustration of this method, we will focus on the matrix group SL(2,q), which consists of all invertible 2x2 matrices with entries in a finite field with q elements. We will outline the explicit construction of every (irreducible) complex representation of this group. Along the way we will also touch on foundational concepts in representation theory, such as characters and induced representations.

Deterministic Methods To Improve The Field-Of-View For Direction Finding Using Sparse Digital Arrays, Nolan J. Egging

Master's Theses

Direction finding algorithms are used with digital phased arrays to determine the incoming angle of arrival (AoA) of an incident signal. These algorithms, and direction finding as a whole, have a wide range of civilian and military applications from radar, electronic reconnaissance, mobile communication, et cetera. However, for situations where the spacing between antenna elements needs to be large, gating lobes appear in the radiation pattern of analog arrays. This work demonstrates that for digital beamforming algorithms, the field of view (FoV) of a uniform linear digital array matches the grating lobe free range of a similarly spaced analog array. …

Development And Test Of An Automatic Mass Balancing System For Cal Poly's Spacecraft Attitude Dynamics Simulator, Cameron B. Zorio

Master's Theses

The Cal Poly Spacecraft Attitude Dynamics Simulator (SADS) is an ongoing project to develop an air-bearing platform capable of recreating on-orbit rotational dynamics with near frictionless and torque-free rotations. However, any offset between the platform's center of rotation and its center of mass will introduce a torque due to gravity.

This thesis presents the design, implementation, and experimental evaluation of a low-cost, automatic mass balancing system for the SADS to address this challenge. A new modular sliding mass system was developed that overcomes issues faced in previous iterations of the SADS, providing real-time positional control of the masses and a …

Marsanywhere: Dataset And Cross-View Diffusion Model For Satellite-To-Ground View Synthesis With Mars Data, Benjamin T. Hinchliff

Master's Theses

Satellite-to-ground view synthesis aims to create a realistic ground view image from a corresponding satellite view image. This is a well-studied problem for street level imagery, with good results being achieved by using modern image synthesis techniques such as diffusion models. However, despite the public availability of satellite and ground level imagery on Mars, these techniques have yet to be applied to the domain due to difficulties in collating and processing the data into a usable form. We address this deficiency by creating a dataset consisting of ground view panorama imagery from the Perseverance rover, along with associated satellite view …

Signature-Based Attribution Of Images Generated By Stable Diffusion, Bella White

Master's Theses

Generative AI is powerful yet controversial technology capable of spreading misinformation, non-consensual imagery, and offensive materials when not properly safeguarded against such abuse. Synthetic image alteration and generation have always been abused, from photo editing software to Generative Adversarial Nets, and now Diffusion Models. The Internet Watch Foundation and the National Center for Missing and Endangered Children have reported a consistent increase in reported AI generated child sexual assault materials (CSAM) and sextortion scams since the introduction of DMs. New digital forensics tools must evolve to adapt to the ever-changing landscape of AIG CSAM abuse. This work provides a comprehensive …

Why The Long Face? The Distribution And Niche Of The Imperiled Narrow-Faced Kangaroo Rat (Dipodomys Venustus), Garrett L. Gimbel

Master's Theses

Distribution models provide a practical use case of connecting ecological niche theory with species’ occurrence and assemblages. By explicitly linking Hutchinson’s “niche space” with geographic space researchers can gain valuable information on a species’ niche characteristics and interactions, thereby informing conservation and management practices. The narrow-faced kangaroo rat (Dipodomys venustus) is a highly understudied kangaroo rat species endemic to the central coast of California and is an ideal species to explore niche theory in distribution modeling. Three subspecies are currently recognized: The Santa Cruz kangaroo rat (D. v. venustus), the elephant-eared kangaroo rat (D. v. …

Using Hydraulic And Hydrologic Modeling To Determine Scour At Toro Creek Under Climate Change Conditions, Gabriel E. Alaniz

Master's Theses

ABSTRACT

This study evaluates bridge scour at the Toro Creek crossing of Highway 1 in Morro Bay, California, under present conditions and future climate conditions with more frequent extreme rainfall events. California infrastructure is becoming increasingly vulnerable to extreme storm events and increased intense precipitation events brought by climate change. This analysis focuses on the calculation of scour for both the northbound and southbound spans. Highway 1 plays a vital role in California’s coastal transportation infrastructure by carrying more than 20,000 vehicles daily (Caltrans, 2017). In this thesis, a hydrological model (HEC-HMS) is used to simulate runoff under present-day and …

Enhancing Ad/Adrd Management Through Ihelpcare: A Compliant And Culturally Sensitive Ai-Driven Digital Healthcare Platform, Trisha Bhowmick

Master's Theses

The digital healthcare field is expanding fast, and now it requires platforms that use advanced technology and maintain robust data security and compliance practices. In the present paper, we present the main structure, key methods, and compliance strategies of the digital healthcare system iHelpCare, which, while fully meeting the HIPAA/GDPR requirements, provides health services more accessible, efficient, and inclusive. The proposed platform is powered by AI for personalized care solutions, with the main emphasis on preventive health management and providing tools for people with disabilities.

iHelpCare achieves real-time patient monitoring while securing medical data management and easy communication between patients, …

Isolation Of The 2019 Bonnet Carré Spillway Effects On The Habitat Suitability Of Brown Shrimp (Farfantepenaeus Aztecus) And Blue Crab (Callinectes Sapidus) Using A Modeling Approach, Mallory Dyson

Master's Theses

In 2019, an unprecedented flood year, the Bonnet Carré Spillway (BCS) was opened on two separate occasions (February 27^th to April 11^th, and May 10^th through July 27^th) diverting a volume 6 times the volume of Lake Pontchartrain into the surrounding coastal waters of Louisiana, Mississippi, and Alabama. The goal of this research was to determine the spatio-temporal influence of these freshwater releases on two economically and ecologically important species (Farfantepenaeus aztecus and Callinectes sapidus) with variable responses to salinity and temperature depending on the age class. The Habitat Suitability Index (HSI) …

On Sobolev Spaces And The Existence Of Weak Solutions To Boundary Value Problems, Skye X. Paul

Master's Theses

Many boundary value problems that arise in mathematical models have close connections to second order elliptic partial differential equations. This thesis introduces the idea of weak derivatives and Sobolev Spaces to generalize possible solutions. Using functional analysis centered around the Lax-Milgram theorem, we show the existence of these generalized solutions to boundary value problems including Laplace's Equation, 2nd order linear ODEs, and ultimately a general second order elliptic PDE. The work cumulates with recovering a number of central theorems of functional analysis in the context of Sobolev Spaces, creating a new perspective on the solvability of these boundary value problems.

Forecasting Floral Demand To Reduce Operational Cost And Optimize Production, Mackenzi Saleh Mehlberg-Smith

Master's Theses

The floral industry faces rising operational costs, increasingly strict environmental regulations, and high market volatility, all of which threaten the sustainability of flower production. Accurate demand forecasting and production planning are therefore critical to minimize waste and reduce costs while maintaining competitiveness.

This thesis develops mathematical models for optimization, forecasting, and production planning in the floral industry, extending recent work on production planning and trapezoidal demand modeling. We integrate time-series forecasting methods with optimization techniques from production planning and operations research to model both short-term demand fluctuations and medium-term capacity constraints. The mathematical framework links linear and nonlinear optimization, time-series …

Accelerating Relationship Discovery In Chronic Lower Back Pain Through Knowledge Graph And Ontology Enhanced Large Language Models, Damon Lin

Master's Theses

Chronic lower back pain (cLBP) is a widespread public health burden linked to anxiety, depression, and opioid addiction. Interventions aimed at treating cLBP have shown minimal improvements in pain outcomes, leading researchers to reexamine our understanding of cLBP through constructing a causal model. However, constructing causal models through Randomized Controlled Trials are often unfeasible, and relying on domain expertise requires extensive and time-consuming research, posing a serious bottleneck for designing effective treatments. To accelerate this process, we apply Knowledge Graphs, Ontologies, and Large Language Models (LLMs) to aid researchers in determining possible causal relationships. First, we demonstrate how LLMs can …