Computer Sciences Commons^™

Sentinel: Evaluating Occlusion-Centered Next-Best-View Selection Using Rgb-Derived Pseudo-Geometry, Paul Nassar

Master's Theses

Three-dimensional cameras provide direct geometric measurements, but their cost, weight, power requirements, and calibration constraints can limit their use in various lightweight or large-scale sensing systems. A potential alternative is to use conventional two-dimensional RGB cameras together with geometric reconstruction models that infer a partial three-dimensional representation from images. This thesis evaluates that possibility for next-best-view (NBV) selection through Sentinel, an occlusion-centered system for static, object-centric scenes with known camera poses and intrinsics. Sentinel converts source RGB observations into pseudo-geometry using monocular depth or point-map predictions, combines those predictions with camera-ray evidence, identifies occluded unknown regions, and selects a candidate …

Predicting Student Belonging In Computing Education: A Multimodal Machine Learning Approach Using Eeg And Survey Data, Hannah Moshtaghi

Master's Theses

Measuring students’ sense of belonging, characterized by feelings of acceptance, inclusion, and encouragement from teachers, remains a significant challenge in computing education. Prior research has associated this multidimensional construct with positive academic outcomes and has identified instructors’ growth- and fixed-mindset messaging as a potential influence. However, belonging is a complex and deeply personal experience that is difficult to capture through direct observation alone. Current measurement methods rely on self-report surveys, which may not capture every aspect of an experience that can also involve emotional and cognitive responses.

This thesis investigates whether combining EEG data recorded during a belonging questionnaire with …

Breadquest: Enhancing Roguelike Accessibility Through Procedural Generation And Thematic Design, Hahns Pena

Computer Science and Software Engineering

BreadQuest is a top-down roguelike dungeon crawler with a whimsical dessert theme that aims to make the genre more accessible while preserving strategic depth and replayability. Players explore procedurally generated dungeons, fight pastry-themed enemies, and collect bakery-inspired items that support a flavor-elemental combat system, with each run offering unique layouts, encounters, and rewards. Built in Unity with a modular, data-driven architecture, the game uses procedural generation techniques like Binary Space Partitioning, Voronoi diagrams, and Perlin noise to create varied and replayable levels. The project emphasizes approachable gameplay, cultural dessert inspiration, and replayability, with success evaluated through playtesting and player feedback.

What Makes A Modern Attention Implementation?, Brian H. Slonim

Master's Theses

Since the seminal assertion by Vaswani et al. in 2017 that “Attention Is All You Need,” transformer models have risen to ubiquity due to their ability to learn extremely complex patterns from sequence data, culminating in the unprecedented generative capabilities of large language models. These models’ strength lies in their scale: hundreds of millions (e.g., BERT-LARGE) to billions or trillions of learned parameters. Running inference with these models, let alone training them, would be intractable without significant innovations in the hardware and software that support them. This need has driven an enormous demand for GPU compute and associated software ecosystems, …

Political Inconsistency Detection Across Legislative Speech And Public Communications, Scott M. Pramuk

Master's Theses

Political actors communicate about legislation across multiple contexts, including committee hearings, recorded votes, and public-facing press releases. Differences between these forms of communication can provide useful signals for journalists and researchers seeking to understand how legislators present policy positions to different audiences.

This thesis extends the Digital Democracy Project, a legislative transparency initiative that provides access to California state legislative hearing transcripts, voting records, and related legislative data. Specifically, this work incorporates publicly accessible, legislator-authored news releases into the Digital Democracy Database and develops a pipeline for analyzing legislative communication across multiple sources. The system collects news releases from California …

An Evaluation Of Road Network Structure As A Predictor Of Traffic Volume, Colin M. Mcdonald

Master's Theses

This thesis evaluates the relationships between various graph theory metrics and taxi traffic volume for the cities of San Francisco, California and Porto, Portugal. We also evaluate a modified betweenness centrality metric which incorporates the count of distinct origin-destination pairs from the taxi data as the weight function. This thesis extends a paper by Pengyao Ye, Bo Wu, and Wenbo Fan by reducing circularity through a temporal train-test split and by comparing both line-graph and primal-graph formulations of betweenness centrality.

We found that past traffic volume is almost perfectly correlated with future traffic volume and that the modified betweenness centrality …

Multimodal Machine Learning For Soil Burn Severity Mapping Across California Wildfires, Sanjana Checker

Master's Theses

Accurate mapping of soil burn severity (SBS) is critical for post-fire watershed management, erosion risk assessment, and ecological recovery planning, yet traditional field-based approaches remain costly, time-intensive, and spatially limited. This thesis presents a machine learning pipeline for wall-to-wall SBS classification across California wildfires using multi-sensor satellite imagery, terrain derivatives, and bioclimatic covariates. Field-collected SBS observations (n = 2,180) from 52 wildfires occur- ring between 2013 and 2025, sourced from the U.S. Forest Service and CAL FIRE, were used to train and evaluate multiple classification architectures within a Google Earth Engine and Google Cloud-based prediction framework. After upsampling the unburned …

Muon Lifetime: Theory, Experiment, And Simulation, Soren Agustin Munoz

Physics

This senior project investigates the muon lifetime through three complementary approaches: theoretical calculation, laboratory measurement, and computational simulation. The theoretical component develops the necessary background from relativistic field theory to the effective weak interaction, culminating in the leading-order Fermi-theory prediction of τ ≈ 2.2 μs, which explains why the muon lifetime lies on the microsecond scale.

The experimental component measures the lifetime of stopped cosmic-ray muons using a plastic scintillator, photomultiplier tube, and analog timing electronics. A binned Poisson likelihood fit to the primary 15-day acquisition run τ = 2.17^+0.03_-0.09 μs, consistent with the accepted value within the …

Ai Interview Helper: A Tool For Assisting Search And Rescue Long-Profile Interviews, Dylan P. Starink

Master's Theses

In Search and Rescue (SAR) operations, time pressure and limited interviewer experience can lead to missed opportunities when interviewing a missing person’s friends and family. This thesis presents a real-time, end-to-end system that provides context-aware follow-up question suggestions as interviews unfold. Leveraging large language models (LLMs) and agentic design patterns, the system is intended to support interviewers by helping them identify relevant follow-up questions and pursue potentially overlooked lines of inquiry.

The system was evaluated through three mock interviews with two SAR interviewer participants across two events. Given the limited sample size, the results provide early insights into the feasibility …

Empirical Comparsion Of Traveling Salesperson Approximation Algorithms, Shayan Daijavad

Master's Theses

The traveling salesperson problem deals with optimizing the route a traveling sales- person might take to visit a set of places exactly once and return back to their starting point. The problem is NP-hard, and it is hard to approximate in general, but special cases have many approximation algorithms, which come with tradeoffs. In this thesis we compare the runtime, approximation ratio, and overall implementation complexity of two approximation algorithms for the Euclidean version of the problem, a classical 2-approximation algorithm and the multifragment heuristic. We run both algorithms on randomly generated point sets and real world data from TSPLIB. …

Trace: Temporal Rhetorical Analysis And Consistency Evaluation For Legislative Speech, David Hernandez

Master's Theses

Legislators frequently discuss the same policy issues across multiple hearings and legislative sessions, sometimes maintaining consistent positions and other times modifying or reframing their stance over time. Understanding how these positions evolve is important for analyzing political discourse and democratic accountability, yet identifying such shifts at scale remains difficult.

We introduce TRACE (Temporal Rhetorical Analysis and Consistency Evaluation), a system built on the Digital Democracy Database (DDDB) for detecting rhetorical inconsistency in California legislative hearing testimony. TRACE organizes utterances into speaker-anchored timelines indexed by bill and session, then applies hybrid semantic retrieval — combining dense BGE embeddings with BM25 lexical …

Crab: A Novel Clustering Score Using Clustering With Rivals And Buddies For Unsupervised Learning, Allen Choi

Master's Theses

Unsupervised clustering algorithms today are used across a wide variety of fields such as biology, engineering, and industry in order to classify observations into groups where labels are not provided. This can provide important latent information regarding the observations within groups, as well as insight regarding the groups themselves. In order to judge the optimal number of clusters for an unsupervised clustering algorithm, many methods exist such as the Elbow Method and Silhouette Score; however, these methods come with drawbacks and are not necessarily flexible across many unsupervised methods. We present a novel clustering score framework relying on a resampling-based …

Integer Quantization And Embedded Deployment Of Cnn Star Trackers For Cubesats, Meora R. Giusiano

Master's Theses

A star tracker determines spacecraft orientation by photographing the star field, detecting stars in the image, matching them against a catalog, and computing the rotation between observed and cataloged directions. Convolutional neural networks (CNNs) have been proposed as replacements for the detection and centroiding stage, offering improved sub-pixel accuracy and recovering faint stars that classical thresholds lose to stray light and sensor noise. The improvement comes at higher computational cost; the PolySat systemboard targeted in this work lacks the floating-point hardware these networks assume.

This thesis closes the gap between floating-point desktop evaluation and embedded integer deployment. Nine encoder-decoder CNN …

High-Resolution Queries, Low-Resolution Context: Scaling Vision Transformers With Asymmetric Spatial Reduction, James M. Dwyer

Master's Theses

Vision Transformers (ViTs) have demonstrated great performance on image classifica tion benchmarks, however, the quadratic complexity of the self-attention mechanism with respect to sequence length limits their scalability to higher resolution inputs. The attention score matrix grows as O(N2) in both compute and memory, where N is the number of patch tokens, making ViTs computationally expensive and memory intensive for applications that require real-time inference or operate under resource constraints.

This thesis investigates whether the key and value sequences of the self-attention mechanism can be compressed using the local spatial structure of the image — while keeping queries at full …

Scorespeak: An Agentic System For Natural Language Control Of Musical Scores, Nathan S. Lim

Master's Theses

With the recent popularization of large language models (LLMs), natural language has become one of the most accessible and powerful ways for people to interact with creative tools. Although they have become common in mainstream domains like image and audio editing, there is currently no robust AI-based system that can reliably turn free-form language into edits for symbolic musical scores. This gap represents a missed opportunity to improve human workflows for creating and editing sheet music, but it is also a fundamental limitation for other agentic music systems; without a robust mechanism for translating free-form language into structured scores, AI …

Using Ensemble Disagreement To Stabilize Conformal Prediction Under Distribution Shift, Patrick D. Murphy

Master's Theses

Semantic segmentation of eelgrass from drone imagery is crucial for coastal habitat monitoring, restoration, and management, as these habitats continue to see rapid changes due to climate change and human influence. However, the reliability of generalizing a deployed classification model relies on both high-accuracy segmentation as well as robust uncertainty quantification that holds up when conditions change over years or locations. Conformal prediction (CP) is a method that converts a classifier's output into prediction sets with a guaranteed average coverage level for in-distribution data. However, the “vanilla” conformal score can often under-cover in hard or out-of-distribution (OOD) regions under drift. …

The Application, Construction, And Validation Of Hidden Markov Model Profiles For Carbonic Anhydrase Enzymes, Samuel F. Kaplan

Master's Theses

Carbonic anhydrases (CAs) catalyze the reversible hydration of CO2 and have evolved independently at least eight times, resulting in structurally distinct enzyme families (α, β, γ, δ, ζ, η, θ, ι). Traditional sequence alignment methods struggle to classify these convergently evolved proteins because their sequential similarity does not reliably indicate functional or evolutionary relationships. Many CA sequences in public databases are annotated generically without family assignments, and prior computational approaches have focused predominantly on the three well characterized families (α, β, γ), leaving the five recently discovered classes without robust classification tools. Family level assignment is often a prerequisite for …

Neurosymbolic Counterpoint Generation, Paul D. Jarski

Master's Theses

Recent advancements in generative artificial intelligence have revolutionized music generation, yet research has predominantly focused on raw audio synthesis over music in symbolic form, i.e. a score. This thesis presents the first neurosymbolic model designed to generate imitative Renaissance counterpoint in symbolic (MIDI) format. By leveraging an autoregressive Transformer architecture, this research explores the capacity of deep learning models to manage independent voices and strict stylistic constraints.

We compare multiple data representation strategies with distinct tokenization methods. The proposed model incorporates a symbolic component that enforces fundamental contrapuntal rules. Additionally, this thesis contributes a preprocessed dataset of Renaissance polyphony, in …

Video Generation Techniques For Novel View Synthesis With Flow-Matching Transformers, Xiuyuan Qiu

Master's Theses

Novel view synthesis (NVS) aims to generate images of a scene from unseen camera viewpoints. Recent work, such as Stable Virtual Camera, shows that large-scale image diffusion models like Stable Diffusion can be adapted for pose-conditioned view synthesis by incorporating video-generation techniques with camera conditioning. In this thesis, we introduce MVFlow, a new NVS model that extends this approach to a different image generation architecture: a flow-matching diffusion transformer, specifically FLUX.1, which has demonstrated strong performance in image synthesis. We evaluate MVFlow under varying input view counts and pose distance settings. Our results show that this architectural transfer is feasible; …

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 …

A Scalable Iteration Of The Horizon Simulation Framework Using Multithreading Techniques, Jason E. Beals

Master's Theses

The Horizon Simulation Framework (HSF) occupies a unique space in the modern aerospace modeling landscape, enabling flexible, modular modeling of mission-level agent behavior through an object-oriented, hierarchical design. HSF's hallmark breadth-first search scheduling algorithm explores a "multiverse" of possible mission execution pathways, enabling exhaustive evaluation of schedule combinations against user-defined heuristics.

As aerospace systems become increasingly complex, HSF faces critical challenges in establishing verifiable, deterministic behavior. The framework's core scheduling algorithm had not undergone systematic validation, leaving questions about temporal consistency, state management correctness, and reproducibility across different program executions. Furthermore, the exponential growth of schedule combinations creates computational bottlenecks …

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

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 …

Declined Charge: An Attempt At The Horror Game Genre, Fernando Sepulveda Guizar

Computer Science and Software Engineering

Books and movies are a great medium for people to experience new worlds and experiences through a usually passive method. This can be great for stories with a set story and have all the pieces fall into place as the author intended. Video games on the other hand can give players a more active role in the worlds and stories that they experience. Players have direct control over the player character, and their actions have consequences that may or may not persist throughout the entire game, which is not usually the case with movies or books. This is why horror …

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 …

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 …

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 …

A Comparative Evaluation Of Feedback Strategies For Enhancing Student Software Test Suite Writing Outcomes, Ashton Alonge

Master's Theses

Background and Context

Software testing is a fundamental component of computer science education, forming the basis for students’ ability to ensure program correctness and reliability. Despite its importance, many students struggle to design test cases that effectively expose faults and achieve meaningful test coverage. Traditional instructional approaches often emphasize code coverage metrics such as line or branch coverage, but these metrics may not adequately capture the quality of student tests. Mutation analysis, which measures how well tests detect small, artificial faults (mutants) introduced into the program, offers a potentially richer measure of test effectiveness. However, little is known about how …

Generalized Detection Of Animal Behavior Using Accelerometers, Alexander J. Arrieta

Master's Theses

Animal mounted sensors are becoming increasingly used to passively monitor both domestic and wild animals. Advances in lightweight accelerometer and GPS technology have allowed many animals to be fitted with high accuracy sensors for extended periods of time. This leads to new opportunities to study animal behavior without direct observation. However, interpreting the raw data is difficult due to the high volume and missing context of the information. Machine learning techniques excel at extracting information from raw data streams and are excellent candidates for processing the sensor data. However, due to large variance in how different animals execute the same …

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 …