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, …

Measurement And Control Of The Oxidation-Reduction Potential And Its Chemical And Sensory Consequences In Wines, William Jordan Wright

Master's Theses

The oxidation-reduction potential (ORP) is a measurement thought to reflect the overall ability of a solution to oxidize or reduce substances within that solution. In wine, there is no absolute agreement as to which substances control or dominate the ORP; however, oxygen, ethanol, iron-tartrate and copper-tartrate complexes, and glutathione are suspected to play key roles, while sulfur dioxide and phenolics may act as buffers. Anecdotally, some varieties of Vitis vinifera are prone to oxidation while others are prone to reduction, though the chemical basis of this remains unclear. The following works aim to further elucidate the influence of specific chemical …

Associations Between Nutrition-Related Chronic Disease And Food Insecurity: Data From The California State University, Elizabeth Ochoa

Master's Theses

Food insecurity is a growing public health concern consistently associated with elevated rates of nutrition-related chronic disease (NRCD) across the general population. Despite young adulthood being a critical window for dietary pattern formation, this relationship remains minimally explored among college students. This thesis examined associations between food insecurity and NRCD diagnosis, including hypertension, diabetes, hyperlipidemia, and cardiovascular disease, among undergraduate students across the California State University (CSU) system. Cross-sectional data were drawn from the Spring 2021 CSU National College Health Assessment, administered across all 23 campuses. After exclusions, the analytical sample comprised 13,762 students. Bivariate analyses assessed relationships between key …

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 …

A Ship Between Worlds: Illicit Trade, Empire, And Enslavement In The Voyage Of The Nuestra Senora De Las Nieves, 1819-1820, Carly Eastham

Master's Theses

This study examines the illicit Spanish transatlantic slave trade to Cuba during the post-abolition era through a microhistorical analysis of the 1819 voyage of the schooner Nuestra Señora de las Nieves. Despite international efforts to suppress the trade following abolition treaties, this voyage illustrates how Spanish traders adapted their practices to continue trafficking enslaved Africans, fueling Cuba’s booming sugar economy amid shifting geopolitical and economic pressures. Drawing on primary documents seized by the British navy and analyzed alongside relevant secondary scholarship, this research situates the Cuban trade within the broader Atlantic world’s complex cultural, legal, and economic transformations.

The case …

Opioid Use Knowledge And Attitudes Among U.S. Adults, Jadyn E. Knox

Master's Theses

The opioid epidemic remains a public health crisis, with overdose rates continuing to rise. Associations between individuals opioid use and knowledge of and attitudes toward opioid substances and overdoses have been investigated to inform educational interventions. However, many studies utilize college student or adolescent samples, and findings remain inconclusive. An assessment of opioid knowledge and attitudes across broader adult populations is lacking. Concurrently, replication literature in the social sciences is limited, therefore, the present study replicated and expanded upon Williams et al. (2013) and Vyas et al. (2023) studies. Reliability and validity of the Opioid Knowledge scale, Opioid Overdose Knowledge …

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 …

Defining Limited English Proficiency: Implications For Assessment And Special Education Placement Decisions, Christine Vernon

Master's Theses

Problem

The problem addressed was the lack of a clear, consistent definition of Limited English Proficiency, despite its influence on funding, programming, assessment, and student placement. The purpose of the study was to clarify how LEP is constructed and used in educational literature and to explore its impact on assessment practices. This study examines the definition of Limited English Proficiency and its implications for educational assessment and special education placement decisions.

Methodology

An integrative literature review, guided by meta-narrative methodology and structural coding, was conducted using 119 peer-reviewed sources from APA PsycInfo, ERIC, and JSTOR (2001–2023).

Findings

Findings revealed that …

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 …

Developing A Vietnamese Text Summarization Large Language Model On Limited Hardware, Tin Pho

Master's Theses

Text summarization models have achieved significant growth during the last few years because of major Large Language Model (LLM) technological advancements. The application of LLMs are widely used in news distribution (TL;DR news), translation tools (DeepL Translate), or virtual assistants (ChatGPT, DeepSeek, Claude, etc.). However, the progress has not yet reached all languages equally. The Vietnamese language is used by more than 90 million people, but the language is not as highly developed for LLM as it has many homophones, five different tones that affect meaning of words, and irregular grammar compared to other languages (e.g. English, Spanish, etc.). Also, …

Estimating Prey Capture Attempts And Activity Costs In Foraging Emperor Penguins (Aptenodytes Forsteri) Using Integrated Biologging Data, Taylor Rose Azizeh

Master's Theses

To forage efficiently in patchy and unpredictable prey landscapes, marine predators must optimize energy intake while minimizing costs. Central place foragers like emperor penguins face greater energetic constraints during demanding periods of high investment like chick-rearing. I used high-resolution tri-axial acceleration, depth, and GPS data from 25 birds from two feeding seasons (2019 and 2022) to quantify prey capture attempts and a proxy for energy expenditure (overall dynamic body acceleration; ODBA) across dive types (epipelagic, mesopelagic, benthic), phases (descent, bottom, ascent), and over time at-sea. While prey capture attempts per minute did not differ when looking across dive types alone, …

Automatic Guitar Transcription Of Polyphonic Music, Ritwik Patil

Master's Theses

Transcribing guitar music automatically is a complex task due to polyphonic overlap, tuning variations, and diverse playing techniques. Current transcription systems focus on identifying note pitches and timing while ignoring performance techniques that describe how the notes are played, treating guitar recordings as generic polyphonic audio and producing MIDI-like outputs that lose important information about articulation and style. To address these challenges, we propose an end-to-end transformer model for automatic guitar transcription. The system uses a T5-based encoder-decoder architecture that processes the Constant-Q Transform (CQT) of stereo audio input. The stereo representation helps separate individual guitar parts within a mix …

Mobile Markets And Farmers’ Markets: Evaluating Food Accessibility For Underserved Communities In The Bay Area, Rajeshwari Rajesh

Master's Theses

Studies indicate including farmers’ markets, mobile markets, and other local food systems improve fresh food access for low-income communities, especially when paired with food assistance programs that offer financial incentives. This study aims to evaluate mobile markets and farmers’ markets in the Bay Area using the five dimensions of food access: accessibility, availability, acceptability, affordability, and accommodation. The study is based on primary data collected from 173 in-person surveys at six mobile and eight farmers’ markets in the Santa Clara and Contra Costa counties. Key survey participants were market shoppers participating in food assistance programs. A mixed research methodology included …

Latent Action Trajectory Optimization, Rahul Milind Kandekar

Master's Theses

Learning from demonstrations offers a path to bypass the sample inefficiency of reinforcement learning, but obtaining action-labeled expert demonstrations remains expensive and often impractical. Learning from Observations (LFO) addresses this by learning policies from observation-only demonstrations. Recent LFO work relies heavily on behavior cloning: VPT and LAPO use observation-only data combined with limited action labels to train BC policies, while AIME offers an alternative policy inference approach but requires the majority of its training data to have action labels. Through systematic experiments in the Lunar Lander environment, we investigate whether latent action methods can function when state and action dimensionalities …

Game Genre, Gender, And Sense Of Community In Online Gaming, Patrick Brown

Master's Theses

Sense of community has been shown to improve quality of life in numerous ways. Previous research suggests sense of community can be felt even within groups that never meet in person. The current study explored the relation between game genre, gender status, and sense of community in online gaming groups. Additionally, discrimination was included as an additional outcome due to its close link with sense of community. A total of 189 college students (Mage = 20 years old) of diverse gender and ethnicity completed an online survey consisting of the Sense of Community Scale, Everyday Discrimination Scale, demographic questions, and …

Workplace Incivility And Well-Being: A Moderated Mediation Analysis Of Loneliness And Supervisor Support, Marie Rylance

Master's Theses

By building on previous research and addressing calls to examine the growing epidemic of loneliness, this study investigated how workplace incivility affects employee well-being and workplace outcomes, with attention to the roles of loneliness and supervisor support. Guided by the Conservation of Resources theory, workplace incivility was conceptualized as a resource-draining process that fosters stress states such as loneliness. A key contribution of this study was examining the process through which incivility impacts employees, by testing loneliness as a mediating mechanism and supervisor support as a potential moderator. Using data from 178 participants, regression and mediation analyses were conducted, as …

The Effects Of Educational Materials On Knowledge And Attitudes Toward Psilocybin, Lindsey Elise Wade

Master's Theses

Depression is one of the most prevalent and burdensome mental health conditions worldwide, affecting millions and contributing to over 700,000 deaths by suicide annually. Nearly half of patients with major depressive disorder fail to respond adequately to standard antidepressant treatments such as selective serotonin reuptake inhibitors (SSRIs). Psilocybin-assisted therapy (PAT) has emerged as a promising alternative for treatment-resistant depression (TRD), yet public understanding of this therapy remains limited. The present study examined whether a brief psychoeducational intervention could affect knowledge and attitudes toward PAT among members of the general public in the United States. Participants were randomly assigned to read …

Parameter-Efficient Multimodal Adaptation: Ocr-Integrated Lora For Textvqa And Captioning, Karthik Ganesh Malini

Master's Theses

Vision-Language Models (VLMs) have emerged as transformative technologies for multimodal AI, yet they face significant hurdles in processing text-rich images required for enterprise applications like document understanding, medical imaging, and industrial inspection. Current VLMs struggle with accurate text extraction and reasoning, often exhibiting high hallucination rates and poor Optical Character Recognition (OCR) token utilization. To address these limitations, this research presents a comprehensive framework for optimizing parameter-efficient Low-Rank Adaptation (LoRA) fine-tuning strategies on state-of-the-art architectures, including LLaVA-1.5 and BLIVA-FlanT5. Our methodology integrates enhanced OCR token utilization, faithful caption generation, and specific hallucination mitigation techniques. We employ a multi-dimensional evaluation protocol …

Subculture And Identity As An Escape From The Societal Norms Of Power Imbalance And Authoritative Abuse, Sarah Goldberg

Master's Theses

By definition, a “bolthole” is an animal’s escape or burrow; or, a person’s escape or place of refuge. It also connotes construction, building, even sculpture - relating proletarian materials to themes of working-class labor and the need for escape. Through sculpture, installation, drawing, and oil painting, Bolthole as a body of work examines power imbalance as a societal norm, and identity and subculture as a rejection of the influence of capitalist institutions. Animal symbolism is used in combination with figurative work and portraiture, directly comparing power imbalances between humans to those in nature; such as predator and prey, parent and …

Bicultural Identity, Work-Life Balance And Mental Health Outcomes In Swana Students, Julie M. Salama

Master's Theses

Southwest Asian and North African (SWANA) college students navigate academic demands alongside immigration-salient stressors that may shape their mental health and academic performance. This study examined generational status (Gen 1 vs. Gen 2+), identity conflict, ethnic identity, and work–life balance (WLB) in overall GPA and major GPA, and mental health outcomes of depression (PHQ-9), and anxiety (GAD-7) among SWANA students (N = 35). Two one-way MANOVAs found no generational differences for academics (overall/major GPA) or mental health (PHQ-9/GAD-7). Identity conflict was unrelated to GPA or symptoms but was positively associated with ethnic identity, while WLB was negatively correlated with depression …

A Functional Mri Meta-Analysis Encoding In Alzheimer’S Disease, Joanne Ha

Master's Theses

Alzheimer’s disease (AD) is the most common form of dementia and is characterized by episodic memory impairment. Numerous functional magnetic resonance imaging (fMRI) studies have examined brain activity differences between individuals with AD and age-matched controls during memory encoding. However, small sample sizes and methodological variability across studies have limited the ability to draw meaningful conclusions regarding brain activity underlying encoding impairments. We conducted a meta-analysis to identify consistent patterns of hyperactivity and hypoactivity in AD during episodic memory encoding. Using PubMed to identify studies that met our inclusion criteria, 1,002 studies were screened; ultimately, seven studies were included in …

I Can’T Believe It’S Not Social: Investigating The Relationship Between Loneliness, Parasocial Relationships, And Potential Moderators, Hannah I. Suozzi

Master's Theses

Increased loneliness trends coincide with increased media use. Media is turned to as a source of comfort and distraction from the real world. There is cause to believe that people also use media as a way to form parasocial relationships (PSRs), one-sided relationships audiences form with media figures (i.e., celebrities, influencers, and fictional characters). The connection between loneliness and PSR is thought to be moderated by social vulnerability, particularly the need to belong (NTB) and ethnicity. The medium from which PSRs originate lacks empirical study. To address the limitations, this study analyzed data collected from San Jose State University students …

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, …

A Methodology To Reconstruct The Extent And Dynamics Of Historic Wildfires (1850-1950) In The Santa Cruz Mountains Of California, David Vásquez Ospina

Master's Theses

This thesis reconstructs the extent and dynamics of historic wildfires in the Santa Cruz Mountains of California between 1850 and 1950 using qualitative archival evidence from historical newspapers, maps, and related documents. A systematically coded database of 225 reports, consolidated into 155 unique wildfire events, was developed to analyze temporal and spatial patterns, ignition sources, vegetation types, suppression strategies, and impacts on communities and infrastructure. Historical rainfall records from the Boulder Creek station were integrated using water-year totals, three-year rolling averages, and standardized precipitation indices to examine how multi-year dryness relates to fire occurrence and size. Linear regressions show only …

Building A Data-Driven Security Ai Framework Using Machine Learning Models, Christopher Chan Vi

Master's Theses

This research project explores a modern approach to Intrusion Detection System (IDS) anomaly detection by leveraging Artificial Intelligence (AI), Machine Learning (ML), Large Language Models (LLM), and Explainable AI (XAI). The purpose is to assess the effectiveness of these technologies in enhancing the understanding of intrusion events. This research study addresses the challenges of threshold determination and the interpretability of anomaly detection results. The proposed solution involves an LLM-based framework with XAI capabilities, integrated with a Retrieval Augmented Generation (RAG) architecture, to provide clear explanations for detected anomalies, utilizing both custom and pre-trained datasets. The study navigated inherent challenges, including …

A Psychometric Evaluation Of The Pbss-20 Among Sexual And Non-Sexual Minority College Students, Alex Melville

Master's Theses

This study evaluated the psychometric properties of the Protective-Behavioral Strategies Scale-20 in a large national sample of college students containing sexual minority and non-sexual minority students. Specifically, confirmatory factor analysis was used to evaluate the model fit with this sample, invariance testing was used to compare the model among sexual and non-sexual minority students, and construct validity was evaluated. Participants included college students (N = 1,730; M_age = 19.41) from 12 universities across the United States, who were predominantly White non-Hispanic (63.6%), identified as female (70%), and as completely heterosexual (67.6%). Participants completed demographic information and measures of …

Fully Integrated Slippage Detection System For Lower Limb Amputees, Christopher E. Miglio

Master's Theses

Lower limb amputees face significant challenges in maintaining a proper prosthetic fit, as improper fit can lead to slippage at the limb-socket interface, resulting in discomfort, pressure sores, and long-term musculoskeletal complications. To address this issue, a fully integrated slippage detection system was developed to monitor an amputee’s daily activities and slippage occurrences to understand their prosthetic fit over time. The system consists of a prosthetic sock embedded with Interlink 406 flexible piezoresistive force-sensing resistors (FSRs). The sock, worn directly on the residual limb, continuously measures pressure at the limb-socket interface. Sensor data from six FSRs is sampled at approximately …

A Novel Microfluidic Device For Preclinical Testing Of Chemotherapeutics, Kaija Saleh Ogan

Master's Theses

This work demonstrates the feasibility of a novel microfluidic tumor model that reproduces physiologically relevant nutrient gradients and endothelium–tumor interactions, validating its potential as a preclinical test platform. Finite element simulations of glutamine diffusion and fluid dynamics aligned with experimental tracer studies, and co-cultures supported directed endothelial migration toward tumor spheroids, confirming the device’s ability to mimic in vivo–like behavior.

Current preclinical models often fail to capture the complexity of the tumor microenvironment (TME), limiting their predictive value for therapeutic testing. Nutrient availability and angiogenic signaling are critical drivers of tumor progression, yet they are poorly represented in traditional …

Muscle Impulse Transducer: Research, Pre-Pilot Experiments, And The Design Of A Pilot Study For Quadriplegic Spinal Cord Injured Subjects For The Development Of A Novel Device, Marta Oreglia

Master's Theses

Paralysis due to spinal cord injury is a challenging condition that affects millions of people around the world. The Muscle Impulse Transducer (MIT) is a novel, wearable device that can be used to improve grip strength in the hand by using functional muscle impulses as a trigger for stimulus delivery to weakened or paralyzed nerves, to induce contraction of a paralyzed or paretic muscle. The MIT is still in development, with proof of concept [1], and functional prototypes [2] achieved. In this thesis, research was conducted on the best methods for functional electrical stimulation, EMG data collection, and nerve stimulus …

Self-Efficacy In Juvenile Probation Officers: An Examination Of Training, Eva K. Ott Hill

Master's Theses

The role of juvenile probation officers (JPO) has significantly changed in the past two decades. Rather than a focus on compliance, juvenile probation officers are tasked with using evidence-based practices focused on rehabilitation. Training is a key tool as it equips juvenile probation officers with the skills they need to implement new evidence-based practices and programs. Juvenile probation officers’ confidence in their ability to complete their changing job tasks should increase when they receive training. The current study examines how training impacts perceived self-efficacy among juvenile probation officers in Connecticut. The study seeks to understand what aspects of training impact …