Physical Sciences and Mathematics Commons^™

Ab-Initio Investigation Of 2d Materials For Voc-Based Cancer Biomarker Detection And Hydrogen Storage Application, Ibrahim J.M. Alghoul

Thesis/ Dissertation Defenses

This dissertation is motivated by two driving forces:
(i) the need for biosensors for early cancer diagnosis, and
(ii) the need for hydrogen storage materials to support a future energy hydrogen-based economy.
Throughout this thesis, both challenges were addressed using computational methods based upon density functional theory (DFT), as implemented in the Vienna Ab-initio Simulation Package (VASP), ab-initio molecular dynamics (AIMD), and thermodynamic analysis.

On the side of cancer biomarker detection, exhaled breath containing volatile organic compounds (VOCs) have been shown to offer the analysis of a promising non-invasive diagnostic strategy. This thesis explored the functionalization of two distinct 2D …

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

Diamond Open Access Journals In India: Status, Sustainability And Challenges, Mallikarjun Dora, Kanagasabai K, Raj Kishor Kampa

FORCE 2026

Open-access publishing has transformed scholarly communication in recent decades. The share of OA articles between 2014 and 2024 increased by 26%, from a modest 14% in 2014 to 40% in 2024. OA journals have evolved over time and exist in various models based on funding mechanisms, including the Gold, Green, Hybrid, and Diamond models. While OA publishing emerged in response to scientific inequality, middle- and low-income countries face the barrier of high Article Processing Charges (APC), which hinder them from publishing in those journals (Alperin, 2022). The Article Processing Charges are part of the Gold and Hybrid OA models, where …

Can Ai Help In Systematic Reviews? A Comparative Study Of Manual, Ai-Assisted, And Ai-Dominant Workflows For Librarians And Researchers, Aster Zhao

FORCE 2026

Systematic reviews are essential to evidence-based research but are often time-consuming and labor-intensive, for researchers to conduct, and for librarians to participate in, or teach. The rapid advances in Generative AI and AI-powered research tools, have created a growing interest in whether these technologies can assist—or even automate—parts of the systematic review process. However, questions remain about their effectiveness, reproducibility, and potential bias. This study explores the role of GenAI tools in the early stages of a systematic review: from literature discovery and screening, up to the identification of included studies.

We propose a comparative case study of one systematic …

Genai In Qualitative Data Analysis: Framework-Guided Prompt Engineering In Library Research Practice, Debby R. Wegener

FORCE 2026

As Generative AI (GenAI) tools become increasingly integrated across the research lifecycle, researchers need practical, reproducible methods for the responsible use of these technologies. This presentation will demonstrate a systematic approach to using GenAI for qualitative data analysis through a case study of thematic coding in a library website usability study at the Singapore Institute of Technology.

Drawing on prompt engineering frameworks like CLEAR, this session will illustrate how structured prompts can maintain academic rigour and enhance the reliability of GenAI-assisted analysis. The presentation will walk through the complete workflow, that is, from initial data preparation and tool selection to …

Using Ai-Assisted Programming To Develop Research Services Tools For Research Impact, Open Access Publishing & More, Gary Lee

FORCE 2026

Academic libraries play a vital role in scholarly communication, As research practices become more data‑driven and interdisciplinary, librarians can help scholars by creating and sharing flexible, customizable tools that align with local workflows and user needs.

AI Assisted programming (sometimes called “vibe coding”) offers a new way for librarians without extensive programming knowledge to develop such tools . This allows previously non-expert librarians to go from conceptual goals to working applications by rapid prototyping, experimentation, and roll-out, resulting in service innovation and improvement.

This presentation illustrates how librarians at HKUST have explored vibe coding with tools like GROK, POE, and …

[2026 Honorable Mention] Chumash Heritage National Marine Sanctuary, Daylyn R. Reese

Ethnic Studies Research Paper Award

This research offers unique insights into the creation and development of the Chumash Heritage National Marine Sanctuary (N.M.S.) with a focus on indigenous populations’ roles (primarily Chumash and Costanoan). In this episode, I analyze what makes this NMS different from every NMS precluding it, how it recognizes a new goal in conservation (thrivability), and the areas in which improvements still must be made to authentically include and honor indigenous voices.

Obstructions To Some Injective Oriented Colourings, Russell J. Campbell, Nancy E. Clarke, Gary Macgillivray

Theory & Applications of Graphs

Each of several possible definitions of local injectivity for a homomorphism of an oriented graph $G$ to an oriented graph $H$ leads to an injective oriented colouring problem. For each case in which such a problem is solvable in polynomial time, we identify a set $\mathcal{F}$ of oriented graphs such that an oriented graph $G$ has an injective oriented colouring with the given number of colours if and only if there is no $F \in \mathcal{F}$ for which there is a locally-injective homomorphism of $F$ to $G$.

The Connected Vertex Cover In Graphs, Kamran Mirasheh, Elham Mirashe, Ebrahim Vatandoost

Theory & Applications of Graphs

This paper presents tight bounds and characterizations for the vertex cover number and the connected vertex cover number of graphs. In particular, we identify all graphs for which βc(G) = |V (G)| − 1, proving that these are exactly the cycles and complete graphs. The analysis employs tools such as the degree matrix and the Rayleigh quotient to derive new and sharp upper bounds.

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 …

Hyper Face-Magic Graphs, Ross Belgram, Donald Mcginn

Theory & Applications of Graphs

For a planar graph G of order n, let F(G) be the set of all faces of G embedded into R 2 , including the exterior face. A bijective vertex labeling f : V (G) → {1, 2, ..., n} induces a face labeling f ∗ : F(G) → N defined by setting f ∗ (F) equal to the sum of all labels of the boundary vertices of F. The graph G is said to be hyper face-magic if there exists a vertex labeling whose induced face labeling is constant. In this paper, we state properties of hyper face-magic graphs …

Rfc - Request For Information - Waste Rock Dump Stormwater Runoff Collection System Substitution, Molly Roby

Silver Bow Creek/Butte Area Superfund Site

No abstract provided.

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 …

Comparison Of Fish Biomass And Fish Carbon Content Associated With Reef Sites At The Rio Grande Valley Artificial Reef In The Gulf Of Mexico, Allison K. White, Md Saydur Rahman, Richard J. Kline

School of Earth, Environmental, & Marine Sciences Faculty Publications

As global fisheries stocks have decreased due to overfishing and climate change, artificial reefs have gained significant attention. In addition to providing or restoring habitat, artificial reefs may serve as carbon capture sinks and potential climate mitigation strategies. The Rio Grande Valley (RGV) Reef is an artificial reef located in the northwestern Gulf of Mexico off the coast of Texas. The RGV Reef area spans 1,650 acres and is comprised of hundreds of groupings of recycled and pre-formed materials ranging from low relief (1–2 ft) to high relief (8–30 ft) reef structures. This reef provides a variety of novel habitat …

2026 June 04- Tennessee Weekly Drought Summary, East Tennessee State University

Tennessee Climate Office Weekly Drought Summaries

No abstract provided.

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 …

Recognizing And Rewarding Peer Review: Rethinking Research Assessment For Openness, Fairness, And Global Equity, Tung Tung Chan, Bernd Pulverer, Johan Rooryck

FORCE 2026

The Coalition for Advancing Research Assessment (CoARA) Working Group on Recognizing and Rewarding Peer Review has developed a comprehensive framework for reforming how scholarly review is valued within research careers. Our recommendations address a fundamental question: how can peer review, a critical yet often invisible scholarly contribution, be made visible, credited, and meaningfully integrated into research assessment?

Developed through a collaborative effort across 16 European organisations, the Working Group’s outputs offer targeted recommendations for four key stakeholder groups: research performing organizations, research funding bodies, publishers and editors, and individual researchers. These recommendations are structured across five key dimensions:
(1) Openness: …

Open Research Information - How To Support Publishers To Make Metadata Openly Availble, Bianca Kramer

FORCE 2026

Research information, or scholarly metadata, is important for decision making around strategic priorities, distribution of resources, and evaluation of researchers and institutions. It is also used to assess the effect of policies, and to find and assess research results. Open research information (free to access and free to (re)use) is increasingly valued for fair assessment and equitable decision making, and is also important in digital sovereignty.


The Barcelona Declaration on Open Research Information calls on organizations performing, funding and evaluating research to make openness of research information the default, work with services and systems that support and enable open research …

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 …

Winddensity-Mbir: Model-Based Iterative Reconstruction For Wind Tunnel 3d Density Estimation, Karl J. Weisenburger, Gregery T. Buzzard, Charles A. Bouman, Matthew R. Kemnetz

Faculty Publications

Experimentalists often use wind tunnels to study aerodynamic turbulence, but most wind tunnel imaging techniques are limited in their ability to take non-invasive three-dimensional (3D) density measurements of turbulence. Wavefront tomography is a technique that uses multiple wavefront measurements from various viewing angles to non-invasively measure the 3D density field of a turbulent medium. Existing methods make strong assumptions, such as a spline basis representation, to address the ill-conditioned nature of this problem. We formulate this problem as a Bayesian, sparse-view tomographic reconstruction problem and develop a model-based iterative reconstruction algorithm for measuring the volumetric 3D density field inside a …

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 …

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 …