Digital Commons Network^™

Durable, Distributed Llm Inference On Cots Devices, Brycen E. Dunn

Electronic Theses and Dissertations

The advancement of Large Language Models (LLMs) has fundamentally changed the nature of natural language processing. The substantial memory requirements of frontier models creates a significant barrier to entry, centralizing inference. This thesis presents the design and implementation of a distributed inference framework designed to democratize LLMs by leveraging commodity devices. The framework combines the resources of heterogeneous COTS devices into a unified compute pool, enabling the inference of models exceeding a single device's memory capacity. A novel Task Partitioning Engine (TPE) analyzes model architectures, profiles node capabilities, and supports pipeline and expert parallelism strategies. The primary contribution is a …

Exploration Of Extended Chemical Reaction Networks, Ramiro Santos

Theses and Dissertations

Chemical Reaction Networks (CRNs) is a well-established model for analyzing distributed and concurrent systems. A central problem studied across CRNs is the reachability problem, which asks whether a target configuration can be obtained from a given initial configuration through a sequence of valid transitions. Classical CRNs are highly expressive but not Turing-universal; their reachability problem is Ackermann-complete, indicating extremely high computational complexity that nevertheless falls short of full universality.

In this thesis, we study Extended Models of Chemical Reaction Networks in which the dynamics of the system are modified. We analyze these models through two fundamental questions. First, simulation, we …

Vision-Language Guided Quadruped Navigation With Reinforcement Learning Control, Chen Yuan Wang

Theses and Dissertations

Large Language Models and their multimodal variants, Vision-Language Models (VLMs), can interpret natural language instructions and visual context. Reinforcement Learning (RL) methods such as Proximal Policy Optimization (PPO) have been shown to successfully learn stable quadruped locomotion. This work investigates whether a VLM integrated with an RL controller can control a quadruped robot to perform instruction-following navigation to a predefined target using text instructions, egocentric vision, and proprioceptive state.

Most VLM-based robotics work directly target prediction of robot actions from multimodal inputs. This approach often depends on large amounts of expert demonstration data, generated by controllers such as trained RL …

Using Siamese Neural Networks To Effectively Detect Trojans In Fpgas When Trojans Manipulate Encryption Operations At The Bitstream Level, Kylie Arnett

Graduate Theses and Dissertations (2019 - present)

This research investigates security vulnerabilities in Field-Programmable Gate Arrays (FPGAs) at the bitstream level, focusing on hardware trojans (HTs) that manipulate encryption operations. This study addresses two critical questions: (1) The feasibility of exploiting FPGA bitstreams to selectively bypass encryption operations when a predefined input pattern is observed (all ones), thereby exposing sensitive data, and (2) the efficacy of Siamese Neural Networks (SNNs) in detecting such trojans with high accuracy. FPGAs are vulnerable to malicious modifications during manufacturing or deployment, posing risks to data integrity and system functionality. In this work, a trojan is inserted into a Xilinx series-7 FPGA …

Polyglot File Detection For Forensic Investigations, Chase Stevens

Graduate Theses and Dissertations (2019 - present)

As technology has become far more ubiquitous over the years, so too has the amount of digital evidence that can and needs to be collected and processed. Forensic tools are developed in response to the growing need, but are limited to what they are programmed to do. One such forensic tool is Autopsy, one of the most widely used open-source tools. Autopsy uses known file-type signatures (e.g., headers, trailers) to identify and recover files from forensic images. Polyglot files introduce a unique problem to both these forensic tools and investigators alike. In the context of the research conducted, polyglot files …

Detecting Sophisticated Cyberattacks On Public Water Infrastructure, Ayrton Purdy

Graduate Theses and Dissertations (2019 - present)

In recent years there has been an increasing number of cyberattacks on public water generation and distribution systems. Advanced persistent attackers could usurp sensors and control systems to contaminate public drinking water. In order to conceal their malicious activity, they can manipulate sensor data flows to give the appearance of normal activity. The compromised sensors would report normal chemical levels even though unsafe water is entering the distribution system. In response, this research proposes a multi-sensor, cross-comparison approach to anomaly detection. The proposed approach is designed to detect sophisticated cyberattacks which are not easily detectable using traditional cyber tools. The …

Developing A Framework For Microchip Design Recovery, Eric Diep

Graduate Theses and Dissertations (2019 - present)

Due to the increase in diverse chip production over the past decade, reverse engineering has become a difficult and daunting task. This research develops a methodology for microchip design recovery, seeking to validate and reproduce prior approaches to physical reverse engineering using low-cost tools and techniques. We used mechanical hardware abrasion tools and techniques to delayer and capture silicon integrated chip (IC) layout. We focused on the Mifare Classic EVl microchip, commonly implemented in public transit/transportation cards, to extract information for design recovery. The research explores limitations and advantages of mechanical abrasion and optical microscopy in context to modem chip …

Post-Vote Tampering In Nigerian Elections And The Role Of Blockchain-Enabled Electoral Systems, Ransome Chukwubuikem Enechukwu

Electronic Theses and Dissertations

Post-vote tampering during the collation and transmission of election results remains a persistent challenge in Nigerian elections, enabling manipulation of already-cast votes and weakening public trust in electoral outcomes. Existing technological interventions, including biometric voter accreditation and digital result transmission systems, improve voter authentication but do not adequately secure the post-vote result collation process. This thesis proposes a blockchain-enabled framework designed to protect the integrity of election results during the collation and transmission stages. Using a Design Science Research methodology, the study develops a permissioned blockchain framework based on Hyperledger Fabric that records polling-unit results as immutable ledger entries and …

Datapeer: A Hybrid Interaction Model Web Application Integrating Llms For Human–Llm Collaboration In Data Analysis And Exploration, William I. Bumcum

Honors Theses

DataPeer is a web application that combines open-ended high agency (OHA) and structured low-agency (SLA) interaction paradigms to support human-LLM collaboration in exploratory data analysis. DataPeer integrates a large language model (LLM) with a React frontend and FastAPI backend, allowing both qualitative and quantitative analysis of user-uploaded CSV datasets through a chat-based interface. Users can attach datasets and provide natural language queries, while the LLM provides data analysis to the user. This thesis investigates the integration of LLMs into data analysis workflows and addresses gaps in interaction design and user agency in LLM-driven data tools by offering a responsive interface …

Discovering Strategic Behaviors In The Floor Using Reinforcement Learning, Kevin Parks

All Graduate Reports and Creative Projects, Fall 2023 to Present

This project investigates how a reinforcement learning (RL) agent can develop territorial strategies in a highly stochastic, grid-based approximation of the television game show The Floor. I design a custom Gymnasium-compatible environment that models the show’s core mechanics on a 10×10 board, including probabilistic duels governed by player skill, adjacency-constrained attacks, chain-attack rules, and a Randomizer mechanism for selecting new initiating players. A Maskable Proximal Policy Optimization (Maskable PPO) agent is trained under several reward configurations and evaluated against stochastic non learning opponents as well as random and “always pass” baselines.

Across experiments, the best-performing configuration achieves a win …

Sql Query Optimization - Human Vs. Chatgpt, Hailey Dennis

All Graduate Reports and Creative Projects, Fall 2023 to Present

Large Language Models (LLMs) such as ChatGPT have become ubiquitous tools for working professionals in the software industry. Many engineers are finding new ways to increase productivity by offloading tasks onto LLMs, while others are finding it difficult to trust code produced artificially, even after review. Taking a look at both perspectives, this study aims to compare a human’s ability to optimize SQL queries to that of an LLM and assess the experience using both methods.

Manual query optimization is a tedious task that relies heavily on statistics, heuristics, and good intuition. The SQL developer must search for the optimal …

Prediabetes Prediction Before Disease Onset Using Multimodal Health Data: A Machine Learning Approach, Luisa Veronica Gracia Mazuca

Open Access Theses & Dissertations

Prediabetes is a critical health condition that increases the risk of developing type 2 diabetes. The hemoglobin A1c (HbA1c) test diagnoses patients with prediabetes, but the disease has already caused metabolic alterations. Early detection is essential for timely interventions, and machine learning models offer a promising approach to identify prediabetic individuals through the analysis of biomarkers such as cytokines. We compared four classifiers-logistic regression, decision tree, random forest, and k-nearest neighbors - using cytokines (TNF-α, MCP-1, IL-1β, IL-6, IFN-γ), age, BMI, and waist-to-hip ratio (WHR). Models were evaluated using stratified 5-fold cross-validation and ROC-AUC. K-Nearest Neighbors (k-NN) achieved the highest …

Provenance Analysis Of Advanced Persistent Threats In Operational Technology Environments, Laura Aminta Guevara

Open Access Theses & Dissertations

Live vulnerability testing and penetration assessments of critical infrastructure are costly, complex operationally and, in many cases, unsafe to conduct directly against live systems, whether these are commissioned in-house and through third-party providers. For Operational Technology environments specifically, these constraints are further aggravated by the limited vendor support and inconsistent security patching available that characterize many industrial communication protocols. This significantly restricts the scope and feasibility of conventional penetration testing. At the same time, the increasing overlapping of OT systems with enterprise networks and the internet has expanded the attack surface of ICS infrastructure, making more pressing the need for …

Numerical Methods For Modeling Darcy-Forchheimer Flow In Heterogeneous Porous Media, Nate Mcnair

Open Access Theses & Dissertations

Classic approaches to modeling fluid flow in porous media rely on Darcy's Law, which assumes a linear relationship between volumetric flow rate and the pressure gradient. However, in recent years, applications such as enhanced geothermal systems have highlighted the need to model nonlinear flow behavior, since experimental and observational data show that, once flow velocity exceeds a certain threshold, the relationship between velocity and macroscopic pressure gradient becomes nonlinear. This requires alternative models that more accurately capture the physical behavior of these systems.The Darcy-Forchheimer model provides one such alternative by introducing a nonlinear velocity-pressure relationship. However, this nonlinearity creates additional …

Zero-Knowledge Proofs For Verifiable Machine Unlearning, Bidur Niroula

Open Access Theses & Dissertations

Machine unlearning aims to remove the influence of deleted data from a trained machine learning model. This is important because privacy regulations such as GDPR, CCPA, and PIPEDA give individuals the right to request the deletion of their personal data. Since unlearning can be expensive, a dishonest server may skip it or return an incorrect model and this motivates verifiable machine unlearning. Existing cryptographic approaches prove that the server executed a specific training or unlearning algorithm on the committed dataset, so the proof is tied to the algorithm's trajectory. Empirical verifiers avoid this cost but are known to be circumventable …

Penalty Approach To Constrained Optimization Problems In Water Reservoir And Energy Generation Management, Edwin Horacio Trejo

Open Access Theses & Dissertations

The growing demand for resilient and sustainable energy generation has driven interest in Hybrid Floating Photovoltaic-Hydropower (HFPVH) systems. Operating these systems effectively requires making water release decisions that satisfy physical and regulatory constraints while maximizing energy production. Prior work by Vega (2024) developed a Dynamic Outlier Filter Long Short-Term Memory (DOF-LSTM) architecture for forecasting reservoir release patterns. That predictive work is valid and addresses an important component of the HFPVH decision pipeline. However, the constraint system in that work operates externally to the learning process, and the behavior of penalty-based constraint enforcement had not been studied independently in this context. …

Automated Arctic Coastal Boundary Extraction From Multispectral Satellite Imagery, Harshavardhini Bagavathyraj

Open Access Theses & Dissertations

Arctic coastlines are changing rapidly as permafrost thaw and coastal erosion accelerate under a warming climate, creating a need for accurate and scalable methods to monitor landscape change. Two geomorphically important indicators of this change are the shoreline, which represents the land--water boundary, and the bluff edge, which marks the transition from vegetated tundra to the coastal slope or cliff. However, delineating these features from high-resolution imagery remains challenging because Arctic scenes are spatially extensive and visually complex. In this study, we address these challenges by developing deep learning methods for automated shoreline and bluff-edge extraction from high-resolution satellite imagery …

A Survey On Digital Reading Materials And Personal Study Of Christian Religious Texts, Teancum Price

All Graduate Theses and Dissertations, Fall 2023 to Present

Religion, including reading from religious texts such as scriptures, are a part of the daily lives of many people. Modern technology has influenced the way that this religious reading takes place, but its effects have not yet been studied. Existing research of the effects of technology on reading focus on topics such as reading comprehension, but the study of religious texts is often focused on achieving a religious experience, so the existing research does not capture the whole scope of these changes. In our study, we surveyed two universities (Utah State University and Abilene Christian University) to ask individuals how …

An Alternative Representation For Temporal Json, Bishal Sarkar

All Graduate Theses and Dissertations, Fall 2023 to Present

JavaScript Object Notation (JSON) is a common format for representing and exchanging data on the web. Most systems only keep the current version of a JSON document, even though, in many situations, it is also important to know how that document changed over time. For example, an application might need to answer questions such as “What did this record look like last week?” or “How has this list grown over the past year?” A simple way to keep this history is to store a full copy of the document every time it changes, but this quickly becomes wasteful, most of …

Spike-Sorting Algorithm For Neuropixel Probes, Luis David Davila

Open Access Theses & Dissertations

Modern extracellular neural probes like Neuropixels, allow for high-density extracellular neural probes to record terabytes of electrophysiological brain data. Spike sorting is the process of isolating individual neurons on this data through various clustering and filtering techniques. Modern spike sorting algorithms are held back by their need for human intervention to separate high-quality from low quality clusters, due to the volume of data that can be collected a completely automated approach is required. To address this requirement, we have developed a framework to preprocess, cluster, grade, and separate high/low quality clustering results using custom models trained on the grades. To …

Development Of A High-Throughput Framework For Studying Choice-Movement Dynamics In Freely Moving Rats Across Motivational And Pharmacological States, Atanu Giri

Open Access Theses & Dissertations

This thesis develops and applies high-throughput behavioral assays and analysis pipelines to study how external contingencies and internal state shape rodent decision-making. First, it introduces RECORD (Reward-Cost in Rodent Decision-making), a modular platform that combines 3D-printed arenas, microcontroller-based control, and closed-loop trial structure to deliver graded rewards and costs in a foraging-like environment. RECORD supports scalable data collection across multiple arenas and a software stack for parsing, databasing, and extracting spatiotemporal behavioral features and psychometric choice functions. Using this framework, the thesis quantifies how animals integrate sucrose reward magnitude with aversive light cost, revealing structured individual differences and sex-dependent movement …

Singularity-Enriched Neural Networks For Elliptic Problems In Polygonal Domains, Harshini Reddy Kodiganti

Open Access Theses & Dissertations

This thesis develops and analyzes neural-network-based solvers for the Poisson equation on polygonal domains, where re-entrant corners induce reduced solution regularity and challenge standard numerical methods.

Three neural formulations are investigated: Physics-Informed Neural Networks (PINNs), Physics-Informed Extreme Learning Machines (PIELMs), and Rank-Inspired Neural Networks (RINNs). PINNs rely on gradient-based optimization with automatic differentiation, while PIELMs employ randomly initialized hidden features with least-squares training, achieving significantly lower computational cost. RINNs extend this framework through covariance-driven orthogonalization to improve numerical conditioning and stability.

On convex polygonal domains, all three methods are benchmarked against analytical solutions. Both PIELM and RINN consistently achieve higher …

Three Essays On Workplace Ethics And Ai: Conceptualizing, Scale Development, And Validation Of Self-Value Actualization, And Ai-Enabled High-Performance Work Systems, Mansura Nusrat

Open Access Theses & Dissertations

This dissertation advances understanding of workplace ethics and responsible AI integration across three interconnected essays unified by social cognitive theory. My first essay introduces self-value actualization (SVA), a novel construct defined as the dynamic, integrated psychological process through which individuals continually strive to align and fulfill their core moral values through observable professional behavior. Drawing on social cognitive theory and emotional intelligence theory, I conceptualize SVA as a higher-order self-regulatory orientation comprising three mutually reinforcing processes: value congruence, moral reflection, and adaptive morality. I developed and validated a 9-item SVA scale across four studies using expert panels, exploratory factor analysis, …

Efficient Solvers For Phase Field Models, Raymond Obeng

Open Access Theses & Dissertations

Phase field models provide a versatile framework for describing phase transitions and pattern formation in materials, enabling the study of complex phenomena such as crystallization, grain growth, and defect dynamics. Among these models, the Phase Field Crystal (PFC) equation has gained significant attention due to its ability to capture atomic-scale structures while evolving on diffusive time scales. However, the numerical solution of the PFC equation presents substantial challenges arising from its high-order nature and the large-scale, coupled linear systems generated by discretization.

In particular, standard formulations of the discretized PFC system lead to non-symmetric and often ill-conditioned linear systems, which …

Computational Studies Of Alpha-Lactalbumin Binding To Perfluorodecanoic Acid, Randhal Smith Ramirez Orozco

Open Access Theses & Dissertations

This thesis investigates the structural and thermodynamic interactions between Perfluorodecanoic acid (PFDA) and bovine alpha-lactalbumin (ALAC), a critical milk protein essential for infant nutrition. The primary objectives were to computationally determine the most probable binding sites of PFDA to ALAC and to quantify the strength of these interactions alongside the structural changes they induce. This study addresses a critical gap in understanding how persistent environmental contaminants like PFDA are recruited and transported by nutritional proteins within the milk matrix. The methodology integrated high-throughput molecular docking with long-range, molecular dynamics (MD) simulations to provide a dynamic characterization of the ALAC-PFDA complex. …

Understanding Machine Learning Model Behavior Under Fairness And Privacy Constraints, David Anthony Sanchez

Open Access Theses & Dissertations

Machine learning systems deployed in high-stakes domains are increasingly expected to satisfy demands beyond predictive accuracy-including fairness across demographic groups, protection of sensitive information, and explanations that human stakeholders can inspect and trust. This thesis investigates how those demands can be met through learning frameworks that explicitly govern the relationship between data and models, arguing that trustworthiness is a design problem rather than a post hoc correction. The thesis is organized around three studies, each targeting a distinct point of data-facing control. The first develops CondFairGen, a fairness-aware conditional generator for tabular data that improves subgroup equity by dynamically reweighting …

Bayesian Deep Learning For Photovoltaic Power Forecasting: A Probabilistic Framework For Uncertainty Quantification And Grid Reliability Optimization, Pablo Abraham Bustamante

Open Access Theses & Dissertations

The global energy landscape is undergoing a profound transformation, driven by the urgent need to decarbonize power systems, enhance energy security, and meet growing electricity demands. Solar photovoltaic (PV) power has emerged as a critical component of future energy infrastructure due to its abundance, scalability, and cost-effectiveness. However, PV generation is inherently variable and weather-dependent, introducing significant uncertainty into grid operations and complicating the task of balancing supply and demand. Accurate forecasting of PV power generation-particularly on day-ahead and hour-ahead horizons-has become a strategic necessity for grid stability, economic efficiency, and environmental sustainability. PV output is influenced by numerous factors, …

Timing And Synchronization: Software And Hardware Approaches For Precision Maximizing, Christina Alicia Alejandra Carreon Jimenez

Open Access Theses & Dissertations

This thesis explores the design of synchronization mechanisms that allow multiple FPGA boards to operate as if they were a single coherent timing domain. The solutions span three layers: a software PLL for E1 telecommunication links, a PCIe-based timestamp exchange protocol, and a hardware-level multi-FPGA mesh architecture. Across these layers, the work demonstrates that practical, low-cost synchronization can achieve sub-microsecond accuracy without the burden of specialized hardware such as GPSDOs or White Rabbit infrastructure. Experiments show stable alignment within the nanosecond-microsecond range, validating the feasibility of the proposed methods for SDR and telecom applications.

Toward Causal Generative Modeling: From Representation Learning To Controllable Generation, Aneesh Komanduri

Graduate Theses and Dissertations

The hallmark of human intelligence is causal reasoning, the ability to infer relationships between causes and effects through observation and intervention. While modern deep learning has excelled at identifying statistical patterns, current generative models often struggle to capture the underlying structural causal mechanisms of the data-generating process, leaving them vulnerable to shortcut learning and spurious associations. To achieve true generalizability and interpretability, artificial intelligence must transition from simple association to higher-level causal reasoning to be capable of scheduling and planning in the real world. This dissertation develops fundamental methodologies for causal generative modeling by integrating Pearl’s Structural Causal Model (SCM) …

The Impact Of Quantum Computing On Ransomware, Byron Denham

Graduate Theses and Dissertations

Ransomware is one of the most pervasive and dangerous threats to cybersecurity today. Attacks involving ransomware have been responsible for the disruption of critical services in many fields including healthcare, education, and government. In the current paradigm, crypto ransomware relies on asymmetric cryptography to perform its operations in a way that ensure the victim’s only chance for file recovery is by paying the attacker’s requested ransom payment. However, advancements in quantum computing threaten the asymmetric cryptography that ransomware relies on. It has been shown that, once developed, a sufficiently powerful quantum computer will have the ability to break asymmetric cryptography …