Digital Commons Network^™

Abig4l: A Semantic Reasoning Engine For Verilog Via Abstract Interpretation, Alicia Thoney

Graduate Studies Theses and Dissertations 2026

Modern Electronic Design Automation (EDA) flows treat structural and semantic reasoning as separate concerns. Synthesis structurally optimizes RTL, while dedicated verification teams validate functional behavior through testbenches and formal methods. This organizational divide means designers have no automatic, sound way to understand what their RTL does at the moment they are writing it. This thesis introduces AbIG4L (Abstract Interpretation of Generic 4-valued Logic), a static analysis framework that bridges this gap by delivering sound semantic reasoning automatically, directly within the hardware design loop.

The framework operates on a language-agnostic intermediate representation to compute sound over-approximations of hardware behavior across 0, …

Forest Island Reforestation In The Llanos De Moxos, Bolivia, Ethan Tam

Graduate Studies Theses and Dissertations 2026

Within the Llanos de Moxos of Bolivia thousands of forest islands dot the landscape. These forest islands have been shown to have been integral aspects of the pre-Contact indigenous cultures which existed there for thousands of years. Based on 1967 CORONA imagery and statistical analysis, this work provides insight into how these forest islands are integrated as infrastructure features within their landscape and surrounding network of other archaeological features. This research is carried out through investigations into changes in the size of the forest islands across an interval of 57 years, statistical attempts to categorize the forest island into smaller …

Federated Learning In The Era Of Foundation Models, Guangyu Sun

Graduate Studies Theses and Dissertations 2026

The emergence of large-scale foundation models has reshaped computer vision and multi-modal learning, but their substantial computational and communication demands pose significant challenges for deployment in federated learning (FL) systems. Federated learning enables collaborative model training across decentralized clients without sharing raw data, offering strong privacy guarantees. However, adapting foundation models in FL remains difficult due to communication bottlenecks, heterogeneous data distributions, limited device resources, and scarce labeled data. This dissertation presents a unified line of research that addresses these challenges through four complementary frameworks, progressively advancing the efficiency, personalization, and practicality of foundation model adaptation in federated settings.

First, …

Between The Living And The Dead, Leona Strong

Graduate Studies Theses and Dissertations 2026

Between the Living and the Dead is a collection of short stories and flash fiction that explores loss, generational abuse, abandonment, the sometimes brutal power of familial ties, and love in its many forms—both good and evil. This thesis aims to tease out, in the reader, moments of reflection, compassion and revelation. “Falling,” centers on a mother’s grief after her son dies by suicide and her attempt to move beyond perceived culpability and shame. She does this by jumping from a plane to embody his last moments and make the same decision…to live or to die. “And Baby Makes One,” …

The Reliability, Validity, And Sensitivity Of Physical Working Capacity At The Pain Intensity Threshold, Danielle A. Sterner

Graduate Studies Theses and Dissertations 2026

The purpose of this dissertation was to evaluate the reliability, validity, and responsiveness to training intervention of a pain-anchored capacity threshold, the Physical Working Capacity at the Pain Intensity Threshold (PWC_PIT), as a practical submaximal marker of endurance-related exercise tolerance. Study one examined the test-retest reliability of pain-based, perceptual, and physiological physical working capacity measures in recreationally active men using a standardized multi-bout cycling protocol, with pain intensity responses demonstrating strong reproducibility and low measurement error, supporting the stability of pain-anchored thresholds when standardized procedures are applied. Study two evaluated the validity of PWC_PIT by examining pain …

Chirpi - Implementing And Analyzing The Chirp Communication Algorithm On Esp32 Hardware, Calvin Vanwormer

Graduate Studies Theses and Dissertations 2026

This work presents the implementation and experimental evaluation of the CHIRP communication algorithm on resource-constrained ESP32-S3 microcontrollers, bridging the gap between simulation-based validation and real-world deployment. CHIRP is a lightweight, fully decentralized peer-to-peer protocol designed for IoT networks with dynamic node membership, enabling runtime node join and leave operations without centralized coordination or global reconfiguration. The implementation comprises two main components: C-based node firmware running on FreeRTOS [1, 2], which implements the full CHIRP protocol including peer discovery, round-robin pairing, and firefly-inspired phase synchronization, and a Python-based experiment controller that orchestrates network experiments and collects per-node metrics without influencing protocol …

Using Inferences From Natural Language Narratives To Improve Video Question Answering, Hoang Bao Truong

Graduate Studies Theses and Dissertations 2026

The purpose of this thesis is to examine how structured narrative representation and reasoning strategies jointly affect the performance of Video Question Answering (VideoQA). Although recent advances in large multimodal and language models have improved video description and retrieval, causal and counterfactual reasoning remain challenging. This thesis studies an inference-only pipeline in which videos are converted into natural-language narratives, and those narratives may optionally be transformed into a structured NarrativeML format before multiple-choice questions are answered without task-specific fine-tuning. NarrativeML is a machine-readable narrative representation that explicitly encodes entities, events, and their causal and temporal relations. Three representational contexts are …

Threads Of The Past: Exploration Of Banal Medievalisms In Russia's Invasion Of Ukraine, Evan Garrett Wallace

Graduate Studies Theses and Dissertations 2026

This dissertation examines how medieval historical narratives circulate within contemporary Western digital discourse surrounding Russia’s invasion of Ukraine. Russian political rhetoric has frequently invoked the medieval polity of Kyivan Rus’ to assert civilizational continuity between the medieval past and the modern Russian state. While these claims have been widely discussed in political and media contexts, less attention has been given to how such narratives appear within everyday online discourse. This study investigates how medieval references are mobilized, circulated, and interpreted within social media environments during the early conflict.

The research draws on a dataset of approximately 160,000 tweets collected from …

Unmasking Pentastomes: Generating Genomic Resources For Enigmatic Parasites, Stephanie Lyn Villella

Graduate Studies Theses and Dissertations 2026

The introduction of invasive species can disrupt ecosystems not only through competition and predation but also by introducing novel pathogens to naïve host populations. In the southeastern United States, the invasive Burmese python (Python bivittatus) has been implicated in the introduction of the pentastome parasite Raillietiella orientalis, which has been associated with increased parasite burdens and mortality in native snakes. Despite their ecological significance and ancient evolutionary history, pentastomes remain poorly represented in genomic databases, limiting efforts to understand their evolutionary origins, host–parasite interactions, and mechanisms underlying parasite emergence. This study addresses these gaps by generating the …

Watch Your Step, Mind The Crowd: Socially Compliant Navigation In Unstructured Environments, Jack Vice

Graduate Studies Theses and Dissertations 2026

Autonomous mobile robots increasingly operate in complex real-world environments characterized by uneven terrain, dynamic obstacles, and human presence. This dissertation addresses the fundamental challenge of developing adaptive navigation strategies that enable robots to safely and effectively traverse unstructured outdoor environments including construction sites, agricultural fields, and disaster areas while maintaining social compliance around people. We advance this capability through five complementary contributions that collectively target dynamic, unstructured, human-occupied environments. First, we demonstrate evolutionary optimization of legged mobility for uneven terrain. Second, we propose using a spatiotemporal autoencoder to learn the temporal dynamics of moving people and objects. Third, we introduce …

Experimental Characterization Of Obstacle-Driven Ddt And The Performance Of Relief Dump Tanks In Detonation Systems, Bryan Suarez

Graduate Studies Theses and Dissertations 2026

This study investigates the lifecycle of a detonation event in a modular detonation
tube facility. It focuses on the mechanisms of deflagration-to-detonation transition
(DDT) and the effectiveness of a pressure relief system. With a stoichiometric
hydrogen-oxygen mixture, the research aims to characterize the effect of
interchangeable turbulator obstacles on the DDT process. By varying blockage
ratios and obstacle geometries in the pre-detonation section. This study identifies
how physical characteristics influence transition efficiency. The experimental data
collected includes pressure spikes and wave speed which were then used to
validate against the Chapman-Jouguet (CJ) theory at initial pressures of 350 Torr
and …

The Lifecycle Of The Educator: Bridging Fragmented Pathways Across Writing Center And Composition Pedagogy, Emma S. Weis

Graduate Studies Theses and Dissertations 2026

Graduate students are frequently positioned as instructors of record in foundational writing courses, yet preparation for these roles is often distributed across institutional sites, including writing centers, pedagogy courses, and mentorship opportunities. This thesis examines educator development across successive institutional roles, tracing how instructional responsibility is encountered and negotiated within writing center and composition studies. Through autoethnographic tracing, this research considers how progression is experienced in practice, with attention to the influence of institutional design on the movement between stages.

Paired with this narrative approach, a rhetorical analysis of institutional artifacts draws upon experiences at Stetson University and the University …

Dynamics Of Household Food Insecurity Vulnerability: Examining Health, Functional Limitations, And Income Stability, Renita Washburn

Graduate Studies Theses and Dissertations 2026

Household food insecurity is a multidimensional issue affecting millions of households in the United States. While research has established that low income and poor health or functional limitations can increase the risk of food insecurity, current approaches do not fully capture these dynamic processes to identify long-term vulnerability. Specifically, income-based measures rely on static thresholds that miss instability, potentially underestimating risk. Gaps also remain in understanding persistent food insecurity, including how functional limitations (difficulties with activities like bathing, shopping, or managing finances) are associated with insecurity over time. These functional limitations can impact both economic factors (such as the ability …

Site Use And Demographic Changes In A Northwest Atlantic Sea Turtle Foraging Ground, Ryan C. Welsh

Graduate Studies Theses and Dissertations 2026

and site fidelity, making mortality difficult to distinguish from redistribution. We developed a behaviorally explicit framework to separate true mortality from changes in availability caused by movement and redistribution. We evaluated this problem for juvenile green turtles (Chelonia mydas) and loggerhead turtles (Caretta caretta) captured at the St. Lucie Nuclear Power Plant intake canal on Florida’s Atlantic coast using a multi-decade capture–mark–recapture record spanning 1977 - 2023. Hidden Markov Models classified individuals into latent habitat-use strategies (Nomadic, Resident, and Transient) based on capture timing and body size. Across both species, these strategies captured consistent differences in site fidelity and recapture …

Resources And Coping Strategies In Adverse Work Situations: A Person-Centered Approach, Chad Yagey

Graduate Studies Theses and Dissertations 2026

The resilience process model highlights an approach to how people mobilize their resources to cope and positively adapt in the face of adversity. Leveraging Conservation of Resources (COR) theory and the Work Home Resources Model (WHRM), I aim to uncover the extent to which resilience capacity (resources) and resilience enactment (coping) influence outcomes of resilience, offering one of the first empirical tests of the resilience process model. Specifically, COR theory posits that the more psychological resources someone has, the more successful they are in coping. I challenge this notion by examining whether specific profiles of the combination of resources available …

Ecological And Evolutionary Responses To Environmental Change In Two Large North American Mammals, George Zaragoza

Graduate Studies Theses and Dissertations 2026

Climate change and urbanization are resulting in rapid shifts in ecosystems. The effects of these changes are complex, and understanding how species respond is critical for predicting their impacts on genetic diversity and evolution, as well as changes in habitat suitability. Species can respond to these changes in two major ways: through behavioral or genetic adaptation, or by moving to more suitable habitat as conditions change. Adaptive genetic change, in particular, can support behavioral and physiological responses that enable species to persist in novel or changing environments, and understanding these changes can help predict how species will respond to anthropogenic …

Infrared Systems And Their Application On Target Detection And Geolocation, Li Zhang

Graduate Studies Theses and Dissertations 2026

The infrared spectrum contains various sub-bands (from near infrared (NIR) to long-wave infrared (LWIR), which are specialized at different detection tasks. Objects that are well camouflaged to human vision can be highly noticeable in NIR imagery. For vision navigation, the varying illumination condition and the cluttered urban background poses challenges in the visible band but can easily be resolved by using a thermal imager operating in LWIR. Despite this potential, practical deployment remains limited by the lack of suitable platforms, task-specific datasets, and long-duration field validation. This dissertation addresses these gaps through the design and evaluation of two infrared sensing …

Bowtie Antenna-Coupled Bi₂Te₃–Sb₂Te₃ Thermoelectric Detector For Millimeter-Wave Radiation, Rumana Zahir

Graduate Studies Theses and Dissertations 2026

We explore the development of antenna-coupled thermoelectric detectors for long-wavelength radiation using sputtered bismuth telluride (Bi₂Te₃) and antimony telluride (Sb₂Te₃) thin films. Detection in the infrared, millimeter-wave, and terahertz regimes is critical for sensing, imaging, and energy applications; however, many existing detectors rely on cryogenic operation, exhibit narrow spectral response, or require complex material systems. In this work, we investigate the feasibility of reliable, room-temperature long-wavelength detection using microfabricated thermoelectric thin films integrated with antenna structures. A systematic full-factorial experimental approach was employed to determine how sputtering parameters and post-deposition annealing influence …

Photothermal Excitation And Optical Interferometric Readout Of Mos2 Nanomechanical Resonators, Sadia Afrin

Graduate Studies Theses and Dissertations 2026

Two-dimensional (2D) materials have emerged as promising candidates for nanoelectromechanical systems (NEMS) due to their exceptional mechanical, optical, and electrical properties. Among these materials, molybdenum disulfide (MoS2) has attracted considerable interest for nanomechanical resonator applications because of its low mass density, high mechanical strength, and semiconducting nature. This thesis presents the fabrication, theoretical modeling, and experimental characterization of suspended MoS2 drumhead resonators. The devices were fabricated by mechanically exfoliating MoS2 flakes from bulk MoS2 crystals and transferring selected flakes onto pre-patterned substrates using a dry-transfer process. Mechanical resonance was excited through photothermal actuation using a modulated blue laser, while device …

Cfd Analysis Of A Full Heat Exchanger Between Ammonia And Supercritical Co2 In Aviation Application, Mairah Ahmed

Graduate Studies Theses and Dissertations 2026

The aviation industry’s transition toward lower-carbon propulsion systems has accelerated interest in alternative fuels, including ammonia–hydrogen fuel blends. In this work, a supercritical CO2 Brayton cycle is integrated with the exhaust stream of a turbofan engine to recover waste heat and utilize it for ammonia preheating and cracking. The recovered thermal energy raises the ammonia temperature to the level required for catalytic decomposition, enabling onboard hydrogen production. The proposed architecture combines ammonia cracking with a high-bypass, two-shaft turbofan engine representative of the propulsion system employed on the Boeing 737 MAX 8. This approach addresses the challenges associated with onboard hydrogen …

Pseudo-Boiling Of Supercritical Co2 In A Parallel-Flow Microchannel And A Micro-Jets Impingement Device And Single-Phase And Two-Phase Heat Transfer Of Subcritical Co2 Jets, Pranzal Ahmed

Graduate Studies Theses and Dissertations 2026

Carbon dioxide (CO2) is gaining attention as a low-toxicity, zero-ozone-depletion refrigerant with a global warming potential of 1, making it an attractive alternative to synthetic HFCs/HFOs. Near its critical point, CO2's thermophysical properties change sharply with small shifts in temperature and pressure — a behavior that can be exploited to enhance heat transfer in trans-critical power cycles and electronics cooling. This dissertation experimentally investigates heat transfer during the pseudo-boiling of supercritical CO2 in a parallel-flow microchannel and a micro-jet impingement device, alongside CO2 flow boiling and single-phase water heat transfer in micro-jet impingement. Using microfluidic devices instrumented with embedded resistance …

Learning Weibull Loss Severity Models From Truncated And Censored Data, Majed Alkhasha

Graduate Studies Theses and Dissertations 2026

In modern actuarial science and risk management, due to various loss control mechanisms, observed severity losses are typically left-truncated at the deductible, right-censored at the policy limit, and scaled by a pre-specified co-insurance factor. This results in two types of actuarial payment random variables: payment-per-payment (PPP) and payment-per-loss (PPL). To learn ground-up Weibull loss severity models from PPP and PPL sample data, we implement two estimation techniques: Maximum Likelihood Estimation (MLE) and the dynamic Method of Trimmed Moments (MTM). MLE is employed to obtain efficient estimates of the Weibull shape and scale parameters. However, MLE may assign unnecessarily large point …

Numerical Investigation Of Reacting Flow In Pmma-Fueled Solid Fuel Scramjet Combustors Under Experimental Test Conditions, Hunter Bassett

Graduate Studies Theses and Dissertations 2026

A simplified steady RANS-based numerical study of reacting flow in solid-fuel scramjet combustors is presented to evaluate the ability of commercial CFD frameworks to reproduce key features observed in experimental test sections. The work focuses on solid PMMA fuel in two supersonic combustor configurations: a cavity-assisted flameholding combustor and a variable-angle diverging combustor. The cavity combustor is analyzed as a baseline case and results are compared directly with experimental data. Three combustor geometry states corresponding to ignition, early-burning, and steady-burning conditions are investigated. Meshes are assessed through a systematic grid refinement method to establish grid independence. A novel variable-angle diverging …

Connecting The Existing Fiber Infrastructure To The Future With Antiresonant Hollow Core Fibers, Timothy Bate

Graduate Studies Theses and Dissertations 2026

Optical fiber systems based on solid-core silica waveguides underpin modern telecommunications, high-power laser delivery, precision sensing, and coherent optical systems. However, nonlinear effects, material absorption, and thermal limitations within silica increasingly constrain further scaling in both optical power and transmission performance. Antiresonant hollow-core fibers provide a promising alternative by guiding light predominantly in air, substantially reducing nonlinear interactions, latency, and optical damage while enabling transmission regimes inaccessible to conventional solid-core fibers. Despite rapid advances in antiresonant hollow-core fiber attenuation and power handling, one of the largest remaining barriers to widespread adoption is reliable integration with the existing solid-core fiber ecosystem. …

Sensory And Emotional Impacts On Modern Consumer Experiences, Winter E. Bland

Graduate Studies Theses and Dissertations 2026

This dissertation comprises two essays examining how environmental and psychological stimuli shape consumer experience, attitudes, and cognition. The first essay investigates the joint influence of scent temperature (warm versus cool) and scent arousal (stimulating versus relaxing) on experiential attitudes and cognitive performance in digitally mediated consumption environments. Across multiple lab experiments with biometric validation, findings reveal that these two scent dimensions interact to shape downstream outcomes. Warm, low-arousal scents (e.g., vanilla) enhance consumers' experiential evaluations of digital interactions but do not improve task performance, whereas cool, high-arousal scents (e.g., peppermint) boost cognitive efficiency and accuracy but do not elevate experiential …

An Exploration Of The Professionalization Of Graduate Students Using Rhetorical Theory, Jennifer M. Crowell

Graduate Studies Theses and Dissertations 2026

This qualitative study examines the professionalization of graduate students as a rhetorically mediated and relational process of identity development within an interdisciplinary doctoral program. While existing scholarship emphasizes institutional structures and formal mechanisms of professional preparation, less attention has been given to how graduate students experience professionalization at the individual level. This study addresses that gap by exploring how students interpret expectations, use rhetorical strategies, and construct professional identities across multiple disciplinary contexts.

Grounded in organizational rhetoric and community of practice theory, the study investigates how graduate students in the Texts & Technology Ph.D. Program at the University of Central …

Lost Innocence, Found Martyrdom: Childhood War Exposure, Narratives, And Militancy In Hezbollah, Léa Faure

Graduate Studies Theses and Dissertations 2026

What explains participation in armed insurgent groups? Existing literature has examined psychological, individual, structural, and organizational dynamics of mobilization, but rarely looks at all three in tandem. This can be problematic, since these explanations cannot on their own explain variations in participation. Research on the effects of individual exposure to war-related violence also cannot explain why in conflict-ridden, organizationally dense environments, mobilization is still relatively rare despite widespread violent exposure. This study creates a unified theory of participation around the interaction between childhood exposure to war-related violence and relatable timely group narratives. Focusing on the case of Hezbollah in Lebanon, …

Detecting Error In Ai-Generated Text: The Effects Of Authorship And Word Presentation Speed, Gabriela Flores Cruz

Graduate Studies Theses and Dissertations 2026

The increased us of artificial intelligent (AI) chatbots powered by Generative Pre-trained Transformers has raised concerns about users’ ability to detect errors of AI-generated text. This dissertation examined how readers identify inconsistencies in AI-generated expository passages using the inconsistency detection paradigm from comprehension monitoring research. Across two experiments, it investigated whether perceived authorship and word presentation speed influenced inconsistency detection. Experiment 1 used a 3 (author: human, AI, no author) × 2 (inconsistency type: internal, external) between-subjects design. Perceived authorship did not significantly affect hit rates, sensitivity, or response bias. Exploratory analyses indicated that reading comprehension and working memory predicted …

Integrated Optical Probes For Confocal Scanning Imaging And Adjustable Coherent-Gated Dynamic Sensing, Yonglin Huang

Graduate Studies Theses and Dissertations 2026

Optics and photonics have been one of the most important sciences and technologies that impact modern human life in a big way. For example, fiber-optics for communications and artificial intelligence. Optical probes are critical components for optical imaging and optical sensing technologies that have been actively researched and developed in the past decades. Advanced fiber-optic sensor probes with smaller size, better performance, lower noise, higher photon efficiency, rapid sensing time, and lower cost are needed in many applications, such as nanoscale material science, chemistry, and biomedical fields, etc.  In this project, new fiber-optic sensor probe technologies and integrated micro-optic devices …

The Odyssey Of Emotion Regulation In Extremis: How Challenges Lead To Team States Through Regulation And Psychological Safety In Ice, Andres Kaosaar

Graduate Studies Theses and Dissertations 2026

Isolated, confined, and extreme (ICE) teams experience challenges that require continuous emotional adaptation. Although emotion regulation (ER) has been recognized as critical for functioning in these contexts, little is known about how specific challenges shape regulatory responses, how team climate influences those responses, and how individual regulation accumulates into team-level outcomes. This dissertation develops and tests a multilevel framework linking challenge exposure, perceived psychological safety, individual ER, team emotions, and team viability in space analog environments. Data were collected from 36 crews (N = 184) participating in two-week missions at two space analog stations, yielding 2,577 daily observations and …