Physical Sciences and Mathematics Commons^™

How Quickly Do Eastern Floodplains Store Carbon? Quantifying Reference Carbon Flux On The Dead Diamond River, Jacob Schnell

Earth Sciences Undergraduate Senior Theses

Terrestrial Earth systems sequester an estimated 30% of annual anthropogenic CO2 emissions. The largest share is stored in global soils which collectively store more than 3 times the amount of carbon as the atmosphere. Floodplains and river systems, while covering only 5–8% of land area, store 20–30% of the global soil organic carbon (SOC), yet, the rate at which floodplains sequester carbon remains highly uncertain. Here I constrain floodplain carbon sequestration rates for a model northeastern river that has not been impacted by development or significant human activity. I calculate carbon stock using total organic carbon and derive carbon flux …

Investigating Broadband Plasma Waves As A Driver Of Radiation Belt Energetic Electron Loss To Earth's Atmosphere, Lauren Zanarini

Physics and Astronomy Undergraduate Senior Theses

Wave-particle interactions play a central role in transferring energy between different particle populations in space plasmas. In the radiation belts, these interactions govern the acceleration, scattering, and loss of energetic particles to Earth’s atmosphere. Understanding the drivers of these energetic particle losses is essential, as these particles can collide with satellites and contribute to ozone depletion as they enter the atmosphere. Developing a clearer picture of these processes will improve our ability to predict radiation belt variability and quantify the impacts, ultimately allowing us to mitigate the adverse effects.

Previous research has identified wave modes important for scattering electrons into …

Pedersen By Proxy: Neutral Wind Drivers Of The Magnetosphere, Shreya Gandhi

Physics and Astronomy Undergraduate Senior Theses

Measurements of Saturn’s radio and magnetic periodicities suggest that atmospheric forcing influences the magnetosphere-coupled current systems on the planet (Gurnett et al., 2007). A proposed mechanism for this phenomenon is that thermospheric heating drives strong neutral winds which drag ionospheric plasma and generate currents that close along magnetic field lines (Smith, 2011). However, the local current-closure physics of these processes is di!cult to isolate in global Saturn models even if they suggest neutral wind forcing is a plausible driver for these changes (Jia et al., 2012). This thesis uses the Earth-based auroral GEMINI (Geospace Environment Model of Ion-Neutral Interactions) model …

Tracing The Seam: Machine Learning Models Of The Open–Closed Boundary From Upstream Solar Wind Drivers, Arnav Singh

Physics and Astronomy Undergraduate Senior Theses

The open–closed magnetic field line boundary (OCB) demarcates closed terrestrial field lines from those threaded into the interplanetary medium, and its latitude encodes the instantaneous balance between dayside and nightside reconnection that governs much of the high-latitude space-weather hazard. No single instrument resolves it globally in real time. In this thesis I close that gap empirically. Pairing nearly three decades (1983–2012) of Defense Meteorological Satellite Program particle-precipitation boundaries with the 5-minute OMNI solar-wind and geomagnetic-index record yields ∼9.1×10⁵ causally matched crossings, partitioned into six hemispheric/MLT sectors after a |MLat| ≥ 40° physics cut.

On this corpus I train three …

The Method Of Periodic Averaging Applied To Reduced Coupled Mode Theory Models For Fiber Laser Amplifiers, Rebecca Nicole Bryant

Dissertations and Theses

Fiber laser amplifier (FLA) models are often implemented without rigorous mathematical justification or thorough numerical validation. Without a proper theoretical basis for assumptions and approximations, or a technical analysis of model performance, there is significant uncertainty about the limitations of any given reduced model and its suitability for an application. This research aims to address the lack of comprehensive assessment of FLA models by directly comparing distinct models and recommending a mathematical alternative to replace heuristic model-reduction techniques. The work in this dissertation is divided into two projects: a comparative study that uses existing FLA models to assess the validity …

Late Pleistocene-Holocene Environmental Change From May Pond Sediment Cores And Upland 10be Ages, Adrianna Drindak

Earth Sciences Undergraduate Senior Theses

The goal of this project is to reconstruct the deglaciation and post-glacial environmental conditions of northern Vermont that occurred during the transition from the Pleistocene to the Holocene, ~15,000 to 11,000 years ago. This transition marks a major climatic shift, from a glacial period to an interglacial period, and regionally involved the retreat of the Laurentide Ice Sheet (LIS). The retreat of the LIS influenced the surficial geology of North America, exposing the Earth’s surface, leaving glacial deposits, and carving out proglacial lakes. The timing of ice retreat in the region provides information about past climate conditions, which may inform …

Constraints On Crystallization Conditions From Pseudosection Thermobarometry Of The New World Mining District Porphyries Near Cooke City, Montana, Jacob Jared Gordon

Earth Sciences Undergraduate Senior Theses

The New World Mining District (NWMD), located two miles northeast of Cooke City, Montana, is host to a series of epithermal sills, dikes, and plutons, the intrusion of which is responsible for significant Au-Ag-Cu mineralization. These intrusive bodies were emplaced in the Eocene, potentially contemporaneously with the Heart Mountain Detachment - Earth’s largest subaerial landslide, and have been proposed as a potential trigger for the event. The pre-emplacement crys- tallization conditions for the porphyritic dikes in the region, however, remain unknown and have previously been limited to surface observations. Constraining the magmatic conditions of the in- trusives in the region …

Assessment Of The Readiness Of Architectural Design Companies To Adopt Eco-Friendly Nanotechnologies In Sustainable Building Design, Ashwaq Essa Al Khalil

Dissertations and Theses

Nanotechnology is emerging as a promising innovation in sustainable architectural design, although its adoption remains slow. Research highlights the advantages of incorporating nanotechnologies in architecture, including improved material performance, enhanced thermal efficiency, reduced energy consumption, improved durability, and progress toward the Sustainable Development Goals (SDGs). These advantages make nanomaterials a promising solution for sustainable building design, particularly in hot-climate regions where energy consumption and carbon emissions associated with conventional building design practices remain major concerns.

Despite this potential, nanotechnology adoption in architecture faces several challenges, including limited real-world applications, slow diffusion in practice, and persistent organizational, economic, and regulatory barriers. …

Data Science In The Utah Draft K-12 Standards Of Mathematics, Kate Webster Green

Theses and Dissertations

In today's data-driven world, the field of data science is becoming increasingly important. Research has shown that more job listings in Utah require applicants to have data science skills than ever before. Due to this growing demand, there is a push to begin data science instruction in grades K-12; however, what data science instruction is in grades K-12 is not yet clearly defined. Previous research has identified the skills and processes that make up data science in grades K-12, and several states and research groups have begun developing and implementing data science standards and learning progressions. This study analyzes the …

Identifying Active Layer Dynamics Across Geomorphic Landforms In Longyeardalen, Central Svalbard, Madeline Kim Koelbel

Earth Sciences Undergraduate Senior Theses

The thermal state of the active layer and analysis of meteorological conditions provides a greater understanding of where active layer detachment slides can occur. This study provides an overview of the active layer ground thermal regime for 2024 and 2025 in Longyeardalen, Svalbard, where the largest settlement in Svalbard, Longyearbyen is located. Ground temperature data was extracted from 8 boreholes in Longyeardalen and meteorological data was extracted from one weather station in central Longyeardalen. Overall, the ALT thickness and the thawing period increased from 2024 to 2025 while the thaw rate remained the same or decreased. The zero-curtain effect was …

Extraction Of Key Themes In Online Health Discourse Using Unsupervised Learning And Large Language Models, Miranda G. Scully

Computer Science Senior Theses

Health online discussion boards are a modern platform that allow patients to interact with each other and the healthcare system as a whole, making them valuable sources of information for clinicians seeking to better anticipate treatment experiences and barriers. This study focuses on one such community, r/suboxone, a subreddit where patients using Suboxone share their experiences and ask questions. Our analysis is motivated by previous work that proposes event-based classification systems for such posts which buckets posts from r/suboxone into one or more of five high-level labels (Access Logistics, Co-Occurring Drug Usage, Medication for Opioid Use Disorder Administration, Psychophysical Effects, …

Rehabvr: A Virtual Reality System For Upper-Body Orthopaedic Physical Therapy Rehabilitation, Winnie Brenda Wanjiru Waiya

Computer Science Senior Theses

Physical therapy is a central component of rehabilitation for musculoskeletal conditions, yet adherence to prescribed treatment remains persistently poor. Jack et al. identified pain, boredom, and insufficient feedback as key barriers to treatment adherence in physiotherapy outpatient settings,¹ and Rucinski et al. confirmed that non-adherence rates in orthopaedic populations remain between 50 and 70%, with patients who disengage facing elevated risk of reoperation, progressive functional decline, and poor clinical outcomes.² According to the World Health Organization, approximately 1.71 billion people globally live with musculoskeletal conditions,³ with shoulder pain specifically carrying a community prevalence ranging from 0.67 to 55.2% worldwide and …

Probabilistic Characterization Of Voltage Glitching Attacks, Anna Filyurina

Computer Science Senior Theses

Glitching, or Fault Injection, is an effective hardware hacking technique used in industry but largely unstudied in academia. Industry-led study of glitching is result-driven and overwhelmingly proprietary, meaning that a scientific approach to glitching is seen infrequently and published even less.

This thesis aims to be part of the effort to bring glitching to the attention of the academic side of the cyber security community. Specifically, this work aims to characterize and explore the probabilistic nature of fault injection that has been previously overlooked. Although from a purely result-driven point of view probabilistic nature of a phenomenon suggests unreliability and …

Flip It And Reverse It: Probing Consistency Of Llm World Knowledge Under Logical Transformations, Rhianna Smith

Computer Science Senior Theses

When assessing the extent to which someone truly understands the topics they discuss, you might ask them a series of questions that examine their knowledge from different angles. As Large Language Models (LLMs) are increasingly integrated into real-world tasks, they are often required to reason through ambiguous and uncertain scenarios that rarely have a single correct answer. In these settings, their usefulness is contingent on more than accuracy alone. Rather, it depends on the strength of the reasoning that underlies their responses. This begs the question: how might we extend these types of tests to LLMs? We formalize this informal …

Fabrication Of Two-Dimensional Optoelectrical Devices, Holly Walworth

Honors Projects

Optoelectrical devices enable the exploration of interesting quantum states observed in two-dimensional (2D) condensed material systems. 2D materials, such as graphene and transition metal dichalcogenides, exhibit unique electronic properties, including the Fractional Quantum Anomalous Hall effect (FQAHE). The realization of the FQAHE offers a pathway toward topological quantum computing via non-Abelian anyons. Still, fabricating high-quality 2D optoelectrical devices remains a significant experimental challenge. Using mechanical exfoliation and stacking techniques within an inert argon environment, we attempted to fabricate optoelectrical devices using twisted molybdenum ditelluride (tMoTe2) and gallium telluride (GaTe). Three devices were successfully assembled; however, structural defects including hexagonal boron …

Investigating How Llm Trading Agents Integrate External Signals, Rohan Ray

Computer Science Senior Theses

Large Language Models are increasingly deployed in systems that assume more information leads to better decisions: RAG pipelines inject retrieved documents, tool-augmented agents call external APIs, and multi-model architectures route signals between specialized components. Whether this holds when both the information and the outcomes are noisy, and decisions compound over time, has received limited empirical attention. This thesis tests that assumption on LLM-based trading agents. Using StockBench (Chen et al., 2025) as our benchmark, we ran 150 backtests across 2 frontier LLMs (Kimi K2 and Qwen3-235B-Instruct), 12 augmentation strategies, and 5 random seeds, over 82 trading days — a period …

The Malaugh Operations And The Quadratic Invariant Gaps Of $\Si_4^C$, Forrest M. Hilton

ETDs from 2020-2029

Connected Julia sets of polynomials generally correspond to laminations, sets of chords of the unit disc that reflect the dynamics of the Julia set. If the circle is measured in revolutions and the polynomials studied are of degree $d$, then the dynamics on the lamination is given by the covering map $\sigma_d(t) := td \pmod 1$ where chords are mapped by their end points. Every lamination has at least one laminational invariant set, which is loosely an invariant complementary component of the lamination. That set has a significant impact on the shape of the Julia set. James Malaugh showed how …

Biologically Informed Negative Samplingfor Antibody Chain Pairing Classification, Ishita Singh

Computer Science Senior Theses

Antibody heavy and light chain (H/L) pairing is fundamental to antigen recognition and stability. While single-cell sequencing preserves native pairing information, widely used bulk repertoire and spatial transcriptomics platforms do not, motivating the need for efficient ML methods to infer H/L pairing. Training a binary classifier for this task faces the methodological challenge of a lack of true biological negatives, since natural selection eliminates B cells with incompatible H/L pairs.

In this thesis, I introduce a biologically informed negative sampling strategy for H/L pairing classification, drawing on known V-gene biases in heavy and light chain pairing. Pseudo-negatives are constructed by …

Mimic: A Multimodal Dataset For Affective Incongruity In Video, Ethan M. Baird

Computer Science Senior Theses

This thesis investigates the computational challenges of constructing a database for affective incongruity, exploring the difficulties in automating the collection of contradictory affective states. Capturing these incongruities is essential for advancing Vision-Language Models (VLMs) and sentiment analysis, which struggle to interpret signals deviating from basic emotional archetypes. Curating non-congruent affect provides the data necessary for models to navigate complex social contexts, which is critical for applications like automated Audio Description (AD) for the visually impaired and nuanced Human-Computer Interaction (HCI). To capture these signals, two distinct methodologies were employed. The first utilized a tripartite decomposition of video data, isolating textual, …

Representing Lean Proofs: Tactics, Trajectories, Search, Elisaveta Samoylov

Computer Science Senior Theses

In neural theorem proving for interactive proof assistants such as Lean, tactic prediction models score proof steps by surface likelihood, missing whether a move actually advances the proof. This thesis proposes representing each step by the symbolic edit it induces on the proof state rather than by its token-level surface form, and shows that this effect-grounded view yields better tactic embeddings, reveals structured geometry in complete proofs, and enables a practical proof search prior.

We introduce Delta Tokens — token-level state edits augmented with structural indicators — and show they outperform surface-only representations on tactic retrieval and operator-analogy benchmarks. Embedding …

Llzk-Symex: Building A Circuit Verification Framework For The Llzk Zero-Knowledge Intermediate Language, Nicolás Iair Schaievitch

Computer Science Senior Theses

The rising adoption of ZK (Zero-Knowledge) technology has led to a plethora of DSLs (Domain Specific Languages) for facilitating the development of ZK circuits. At the same time, there has also been an increase in the number of compilation targets for these languages, with different cryptographic foundations and performance optimizations. LLZK, by Veridise, aims to unify the ecosystem by providing a single IR (Intermediate Representation) for the different frontend DSLs, that would then also allow choosing between different backends. Given the high stakes (particularly financial) that a lot of ZK circuits are under, together with their high level of complexity, …

Capturing Large Language Model Similarity Through Spectral Analysis, Ishan Verma Prasad

Computer Science Senior Theses

With the rapid development of open-sourced models on Huggingface, there is a strong need for a way to systematically determine the similarity between models. More strongly, for intellectual property and organization, we need a way to determine the "lineage" of models. We borrow principles from Heavy-Tailed Self-Regularization and Random Matrix Theory to provide an inference-free method to accomplish this. We cluster a corpus of several model families by their spectral fingerprints and demonstrate that each model family occupies a distinct region in weight space. This confirms prior ideas of training setups leaving artifacts on model weights and allows us to …

Knockout Tournaments: An Investigation Of Stability, Isabelle Han

Computer Science Senior Theses

Knockout (or single game elimination) tournaments are a competition format widely used to determine a single winner from a pool of participants. However, the seeding, or the initial pairings set by the organizers of the tournament, can dramatically change each participant's probability of winning. This paper introduces stability as a property of tournaments. More specifically, a tournament is stable if no pair of players can be found such that they both wish to swap initial positions. This property is adapted from prior work on stable matchings and is therefore a well-defined structural property.

We investigate three theoretical questions on the …

Reliability-Aware Mixture-Of-Agents For Robust Ai-Generated Image Detection, Jake Jump, Yu-Wing Tai

Computer Science Senior Theses

Detecting AI-generated images requires reasoning across multiple levels of evidence, ranging from low-level statistical artifacts to high-level semantic inconsistencies. Existing approaches typically rely on a single class of signals or emphasize complex multi-agent coordination, which limits robustness under distribution shifts and common image degradations. We propose a reliability-aware Mixture-of-Agents (MoA) framework that treats Vision-Language Model (VLM) agents and computational features as complementary experts and aggregates their predictions based on empirically calibrated reliability. Rather than relying on intricate inter-agent reasoning, our approach centers on structured aggregation: high-precision “anchor” agents drive predictions, while weaker but complementary signals are adaptively incorporated to resolve …

Dancing For The People: A Culturally Grounded Learning-To-Rank Framework For Powwow Dance Evaluation, Avery C. Sutherland

Computer Science Senior Theses

Powwow dance is a form of Indigenous expression that combines movement, storytelling, regalia, and community values. Within competition powwows, dancers are evaluated through a highly subjective judging process that often lacks standardized criteria, creating challenges for consistency, transparency, and fairness. This work investigates whether a learning-to-rank framework can model subjective powwow dance preferences while remaining grounded in the cultural context of the practice. To support this research, a new dataset was constructed consisting of 19 Women's Fancy Shawl dancer profiles and 236 pairwise preference labels collected from experienced members of the powwow community. Each dancer profile combines textual descriptions, images, …

Rscore - A Tool For Learning And Quantifying Software Infrastructure Resiliency, Selena Yujia Zhou

Computer Science Senior Theses

As LLMs take over writing code, infrastructure resilience has become the central challenge of software development, especially for gaming applications, where latency, availability, and scale demands are extreme. However, holistic software infrastructure is difficult to understand for casual developers because of the multiple layers of abstraction that make up an application, and the lack of structured information from proprietary companies. This thesis explores the creation of rscore, a tool that quantifies software infrastructure resiliency and subsequently educates developers about the architecture of any existing gaming application. The tool generates two graphical models of a game’s early versus current infrastructure and …

Mathematical Analysis Of Within-Host Models: Viral–Immune Dynamics, Bifurcations, And Disease Severity, Nazia Afrin

Doctoral Dissertations

My research develops and analyzes ODE-based within-host models at multiple scales. Using dynamical systems theory and numerical methods, I study host–pathogen interactions and immune responses, providing insights into disease dynamics and control. The first model describes the complex dynamics of Hepatitis B virus (HBV) infection and addresses the question: what mechanisms determine whether the infection is cleared during the acute phase or progresses to a chronic state? A key feature of this model is the assumption that all classes of liver cells (uninfected, infected, and protected from reinfection) proliferate at different rates. The findings provide insight into two important aspects …

The Impact Of Evolution And Strong Allee Effects On The Dynamics Of A Discrete-Time Predator-Prey System, Neerob Basak

Doctoral Dissertations

This dissertation investigates the dynamics of discrete-time predator-prey systems, focusing on both evolutionary responses and ecological interactions. The first part of this dissertation, in Chapters 2 and 3, explores how evolutionary processes, particularly the development of resistance to toxicants in predators, influence the persistence and stability of predator-prey populations. In this part, we extend the predator-prey model developed in Ackleh et al., 2019 to incorporate the evolution of a predator's resistance to toxicant effects. We consider three cases: (1) lethal effects, where the toxicant directly influences the predator's survival; (2) sublethal effects, where the toxicant impacts the predator's fecundity, and …

A Bifurcation Theorem And Its Application To Discrete-Time Models In Ecology And Epidemiology, Jenita Jahangir

Doctoral Dissertations

Matrix models are useful for modeling populations or diseases that involve discrete developmental stages, multiple stages of infection, and interactions among species. To study the coexistence dynamics in matrix models, we extend a bifurcation theorem for resident-invader host-parasitoid type populations by allowing every block of the projection matrix, depending on the bifurcation parameter and the off-diagonal blocks, to be nonzero. As an application, in the first part of the dissertation, we propose a discrete-time host-parasitoid model with stage structure in both species. For this model, we establish conditions for the existence and global stability of the extinction and parasitoid-free equilibria. …

Fairness-Aware And Efficient Federated Learning Frameworks For Heterogeneous Systems, Simin Javaherian

Doctoral Dissertations

Federated Learning (FL) enables decentralized clients to collaboratively train machine learning models without sharing raw data, making it a promising paradigm for privacy-preserving intelligence across large-scale, heterogeneous systems. However, practical FL environments face significant challenges arising from variations in client resources, participation patterns, client behavior, and data distributions. These challenges often lead to inefficiency, unbalanced contributions, and unfairness, ultimately degrading model performance and discouraging long-term client participation. This dissertation advances the state of FL by developing a unified suite of fairness-aware and efficiency-driven frameworks tailored for heterogeneous environments. We investigate fairness from multiple perspectives, including client selection, contribution weighting, and …