Digital Commons Network^™

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 …

Assessing Indoor Heat Vulnerability And Cooling Strategies In Three Mobile Home Communities In Boulder, Colorado, Usa, Mehdi P. Heris, Skye Niles, Alana Wilson, Megan Mccurdy, Amy Lacourse, Nick Lankau

Biology, Chemistry, and Environmental Sciences Faculty Articles and Research

Extreme heat is an increasing public health and environmental threat shaped by both physical and social factors. This study assesses the vulnerability of mobile homes and their residents at three mobile home parks in Boulder, Colorado. We examined indoor temperature, housing conditions, and social and personal risk factors of the households. We monitored indoor and outdoor temperatures using 27 indoor and 5 outdoor temperature data loggers, comparing mobile homes with air conditioning, swamp coolers, and passive cooling designs. This work provides a detailed analysis of indoor temperature patterns and demonstrates how evaluating trends yields insights into the performance and effectiveness …

Structure And Spectroscopy Of Free Base, Copper, And Zinc Tetrapentylporphyrin, Christopher J. Ziegler, Nneka Damola Ajayi, Victor N. Nemkyin, G Richard Geier Iii

University Research

Synthetic porphyrins have been crucial as models for heme units and other biological porphyrins, as well as components of advanced materials and catalysts. Much of the work on synthetic porphyrins has focused on the meso-substituted 5,10,15,20-tetraphenylporphyrin (TPP) or the pyrrole-substituted 2,3,7,8,12,13,17,18-octaethylporphyrin (OEP). In this report, we present a comprehensive spectroscopic, electrochemical, and computational study of free-base, zinc(II), and copper(II) 5,10,15,20-tetrapentylporphyrin (TPeP). TPeP can be prepared via a two-step, one-flask reaction of pyrrole and hexanal mediated by Montmorillonite K10, followed by oxidation with 2,3-dichloro-5,6-dicyano-1,4-benzoquinone (DDQ) in yields of around 40%. Similar to TPP, the TPeP systems have the highest occupied molecular …

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 …

Structure And Spectroscopy Of Free Base, Copper, And Zinc Tetrapentylporphyrin, Christopher J. Ziegler, Nneka Damola Ajayi, Victor N. Nemkyin, G Richard Geier Iii

University Research

Synthetic porphyrins have been crucial as models for heme units and other biological porphyrins, as well as components of advanced materials and catalysts. Much of the work on synthetic porphyrins has focused on the meso-substituted 5,10,15,20-tetraphenylporphyrin (TPP) or the pyrrole-substituted 2,3,7,8,12,13,17,18-octaethylporphyrin (OEP). In this report, we present a comprehensive spectroscopic, electrochemical, and computational study of free-base, zinc(II), and copper(II) 5,10,15,20-tetrapentylporphyrin (TPeP). TPeP can be prepared via a two-step, one-flask reaction of pyrrole and hexanal mediated by Montmorillonite K10, followed by oxidation with 2,3-dichloro-5,6-dicyano-1,4-benzoquinone (DDQ) in yields of around 40%. Similar to TPP, the TPeP systems have the highest occupied molecular …

New Results On Three-Sided Skyline Range Counting And Reporting, Suruchi Kushwaha, Yakov Nekrich

Michigan Tech Publications

In the orthogonal skyline range counting (resp. reporting) problem we store the set of points P in a data structure so that for any query range Q the number of points (resp. the list of all points) on the skyline of Q∩P can be found efficiently. In this paper we study two-dimensional range counting and reporting problems in the case when the query range is bounded on three sides. We describe a linear-space data structure that answers top-open three-sided skyline counting queries in O(log log N) time, where N is the number of points stored in the data structure. We …

Describing Hidden Curriculum In An Undergraduate Computing Context, Joseph R. Teahen, Briana C. Bettin, Leo Ureel

Michigan Tech Publications

Hidden Curriculum (HC) is the set of essential knowledge, skills, and norms students are expected to know, but never explicitly taught. HC is disproportionately experienced across identities and communities. In computing education, most research addresses immediately identifiable HC within the researcher's context. While such work is important, without proper HC descriptive studies, we could miss more subtle HC that affects student success. This work presents results from interviews with undergraduate computing faculty, students, and peer mentors on their HC experiences. The results demonstrate several categories of HC including development tools, professional skills, institutional navigation, social well-being, and physical well-being. These …

Interview With Orca Winner Xiao Cheng Zeng; Unl Chemistry; Computational/Theoretical; Nebraska Ice & Gold Nanocages, Mark Griep, Xiao Cheng Zeng

UNL ORCA Interview Series

Xiao Cheng Zeng became a chemistry professor at the University of Nebraska-Lincoln in 1993, quickly rose through the ranks, and was in the department for 29 years. In 2022, he left to become head of the Department of Materials Science and Engineering at the City University of Hong Kong. Xiao was born in Beijing and earned a bachelor’s in physics at the University of Beijing in 1984. Next, he traveled 6800 miles east to Ohio State University in Columbus where he earned his doctorate in condensed matter physics. He followed that up with two postdoctoral experiences, first at the University …

Quantitatively Hyper-Positive Real Rational Functions Iii, Daniel Alpay, Izchak Lewkowicz

Mathematics, Physics, and Computer Science Faculty Articles and Research

Hyper-Positive Real, matrix-valued, rational functions are associated with absolute stability (the Lurie problem). Here, quantitative subsets of Hyper-positive functions, related through nested inclusions, are introduced. Structurally, this family of functions turns out to be matrix-convex and closed under inversion. A state-space characterization of these functions through a corresponding Kalman-Yakubovich-Popov Lemma, is given. Technically, the classical Linear Matrix Inclusions, associated with passive systems, are here substituted by Quadratic Matrix Inclusions.

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 …

A Protestant Response To The Pope’S Magnifica Humanitas On Ai, Derek Schuurman

University Faculty Publications and Creative Works

Pope Leo XIV released his first papal encyclical, Magnifica Humanitas, on May 25, a roughly 42,000-word document outlining a Catholic response to recent developments in AI. I had been eagerly anticipating this encyclical and spent much of the release day poring over the text. While there have been other Christian efforts to release statements about AI, this is the first comprehensive statement from the Catholic Church. What follows is a summary of the document, followed by my own response.

Chatgpt, Where Should I Go? A Qualitative Exploration Of How Large Language Models Are Experienced As Support For Travel Planning, Mohammad Amin Kuhail, Asbjørn Følstad, Saifeddin Alimamy

All Works

Large language models (LLMs) are increasingly used for travel planning. Yet, little is known about how travellers experience and interact with such language models. This qualitative study explores how users employ LLMs to plan trips, drawing on the hedonic/pragmatic model of user experience to examine functional and affective dimensions. We collected data from 104 participants with prior experience using LLMs for travel advice through open-ended questionnaire responses. Thematic analysis revealed three key insights: (1) users value the pragmatic benefits of LLMs, such as efficiency, clarity, and confidence in decision-making, while also appreciating hedonic qualities, including inspiration, enjoyment, and authenticity; (2) …

Supporting Fair Practices In Scholarly Publishing With The Editorial Reference Handbook, Susanna-Assunta Sansone, Allyson Lister, Rebecca Taylor-Grant, Matthew Cannon

FORCE 2026

Co-produced by academics and publishers (incl. CUP, Cell Press, EMBO Press, Taylor & Francis, GigaScience Press, OUP, PLOS, Springer Nature), the Editorial Reference Handbook (https://publishers.fairassist.org) assists scholarly publishers in supporting the sharing of digital research objects and in operationalising FAIR research practices by addressing gaps in editorial workflows, policy implementation and stakeholder alignment. The Handbook comprises three interrelated components—a checklist, detailed guidance documentation, and a flowchart—intended primarily for in-house editorial staff while also providing value to reviewers, authors, and service providers.

Beside this practical collaboratively developed product, the Handbook is also a socio-technical pilot to improve the culture …

Managing Ai Bot Access To Open Scholarly Infrastructures, Petr Knoth

FORCE 2026

The rapid rise of generative AI has created unprecedented demand for large, high-quality research corpora. Open access repositories and other open scholarly infrastructures have therefore become primary sources for AI bots, because they host research that is not universally reliable, but remains far more evidence-based than most web content. This is both an opportunity and a strain: repositories are now more valuable than ever, but machine traffic brings sustainability, capacity and policy challenges. Repositories may be able to scale, but who should fund that scaling, and under what conditions?

The core dilemma is how to curb abusive high-load bot activity …

[Birds-Of-A-Feather] Understanding And Handling Software Plagiarism In The Age Of Generative Ai, Daniel S. Katz, Scott C. Edmunds

FORCE 2026

Computing and software have supported research since their inception, and continue to play a significant role in knowledge production. However, the means of communicating research methods and results were developed long before computing existed, and the research community lacks best practices for documenting computational research elements transparently, reproducibly, and reusably.
Publishers are now more accepting of the inclusion of software (typically, source code) associated with submitted manuscripts, and many want to support processes to vouch for the integrity of software just as they do for other content, such as ensuring that ethical and legal concerns such as authorship, plagiarism, copyrights …

The $K$-Total Bondage Number Of A Graph, Jean-Pierre Appel, Gabrielle Fischberg, Kyle Kelley, Nathan B. Shank, Eliel Sosis

Theory & Applications of Graphs

Let \(G=(V,E)\) be a connected, finite undirected graph. A set \(S \subseteq V\) is said to be a total dominating set of \(G\) if every vertex in \(V\) is adjacent to some vertex in \(S\). The total domination number, \(\gamma_{t}(G)\), is the minimum cardinality of a total dominating set in \(G\). We define the \(k\)-total bondage of $G$ to be the minimum number of edges to remove from \(G\) so that the resulting graph has a total domination number at least \(k\) more than \(\gamma_{t}(G)\). In this work we establish general properties of \(k\)-total bondage and find exact values for …

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 …

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 …

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 …

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 …

The Architecture Of Chemical Understanding: How Representation Selection, Ordering, And Feature Salience Shape Students' Conceptions In Chemistry, Isaiah Nelsen

USF Tampa Graduate Theses and Dissertations

Chemical representations play a central role in how students learn and reason aboutchemistry. While representations are routinely used in chemistry classrooms, students often struggle to extract relevant information, connect representations to underlying chemical principles, and apply this information to problem-solving. This dissertation investigates the role of representations in supporting students’ conceptual understanding and reasoning across general and organic chemistry through three qualitative studies.

The first study in this work explores how variation in chemical representation influences how students understand foundational chemistry principles. This study sought to characterize how second semester general chemistry students approach dipole–dipole interaction tasks with four distinct …

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 …

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 …

A Global Internal Tide Modeling Framework For Improving Satellite Observations Of Fine-Scale Ocean Circulation, Badarvada Yadidya, Brian K. Arbic, Edward D. Zaron, Jay F. Shriver, Maarten C. Buijsman, Eric P. Chassignet, Loren Carrère, Michel Tchilibou

Faculty Publications

Small-scale oceanic eddies and filaments mediate the vertical exchange of heat and carbon within the global ocean. The Surface Water and Ocean Topography (SWOT) mission resolves these features through wide-swath interferometry, but internal tides often mask these observations. Non–phase-locked internal tides present special difficulty because they vary with the evolving ocean background. We show that this chaotic variability can be predicted. We use a data-assimilative ocean forecast model to resolve the mesoscale environment and separate tidal signals from the broader circulation. The model captures the organized structure of these incoherent waves in the independent SWOT measurements. Correcting for the total …

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 …

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