Digital Commons Network^™

Toward Completeness Theorem For Guarded Kleene Algebra With Tests, Hung Pham

Honors Theses

Code refactoring is a fundamental practice in software engineering, in which a program is restructured without changing the actions it performs and the results it produces. To carry out refactoring with confidence, one requires a formal method for verifying that two programs are equivalent. Guarded Kleene Algebra with Tests (GKAT) provides such a framework, an algebraic system designed to reason about a natural class of programs, namely those in which every branch and loop is governed by a Boolean condition, such as if–else and while statements. Central to GKAT is a finite set of algebraic axioms for deriving program equivalences. …

Aura: An Ai-Powered Multimodal Prototype For Adaptive Apraxia Of Speech Therapy And Communication Support, Omotayo Omoyemi, Rachel K. Johnson

Speech-Language Pathology Faculty Publications

Apraxia of Speech (AOS) is a motor speech disorder that significantly limits communication and requires intensive, long-term therapy. Access to consistent treatment is often constrained by shortages of speech-language pathologists, high costs, and limited opportunities for continuous monitoring outside clinical settings. Recent advances in Artificial Intelligence (AI) provide new opportunities to support scalable and personalized speech therapy.

This paper presents AURA (Adaptive Understanding and Relearning Assistant for Apraxia), a multimodal AI framework designed to support speech therapy, progress monitoring, and communication for individuals with AOS. The system integrates speech analysis, machine learning–based error detection, reinforcement learning for adaptive therapy, and …

Temperature-Dependent Optical Properties Characterization Of Thermophotovoltaic Selective Emitter (4h– Sic, Aln Ceramic, And Aln/Al2o3), Po-Chao Huang

Honors Theses

Thermophotovoltaic (TPV) systems convert thermal radiation into electricity, and their efficiency depends strongly on the temperature-dependent optical response of the emitter materials. To support the design of high-temperature selective emitters, we characterized the thermo-optical properties of aluminum nitride ceramic (AlN), silicon carbide (4H– SiC), and aluminum oxide on aluminum nitride (AlN/Al2O3) thin film/substrate pairs, as a promising example of a bilayer emitter. Spectroscopic ellipsometry measurements from 240 nm to 2500 nm were performed while heating samples from room temperature to 600 °C. Using general oscillators modeling, we established accurate temperature dependent optical models consistent with literature values. Increasing temperature revealed …

Leveraging Machine Learning Techniques To Identify Catastrophic Outliers In Photometric Redshift Estimates, Jason Yoo

Honors Theses

Leveraging the unprecedented data volumes from modern astronomical surveys, this work addresses the critical challenge of identifying catastrophic outliers (COs) in photometric redshift (photo-z) estimates. Reliable redshift estimation is essential for precision cosmology, yet COs (galaxies with severely erroneous photo-z) can introduce significant systematic bias. We develop and evaluate two machine learning approaches for robust CO identification: a multilayer perceptron (MLP) utilizing photo-z point estimates and probability distributions, and a convolutional neural network (CNN) leveraging raw 5-band photometric images. Using datasets emulating LSST conditions, we demonstrate that the MLP model achieves high accuracy and stability across redshift bins, correctly identifying …

Setting The Recycling Narrative: A Thematic Analysis Of Recycling Webpages In The United States, Haley Nolde

Dissertations and Theses

Recycling is widely promoted in the United States as a central strategy for waste diversion and sustainable materials management, yet recycling outcomes remain inconsistent and public understanding is often fragmented. While substantial research examines recycling behavior, infrastructure, material science, and markets, less attention has been paid to how recycling itself is framed and communicated to the public. This thesis addresses that gap by examining narratives produced by recycling thought leader organizations (TLOs) in the United States. Using thematic analysis, this study analyzes publicly available recycling webpages from 99 TLOs, including state government agencies, state-level non-governmental organizations (NGOs), national and regional …

Deep Learning-Based Quantification Of Tall Fescue Abundance In Pastures, Rose E. Binkley, Samuel R. Revolinski, Echo Elizabeth Gotsick, Ray Smith, Zeya Wang, Katsutoshi Mizuta

Plant and Soil Sciences Faculty Publications

Accurate and rapid measurement of tall fescue abundance is essential for efficient forage management and mitigating livestock exposure to potential endophyte-related toxicity. Traditional visual estimation methods are labor-intensive and are subject to change depending on the observer doing the calculations, which limits their scalability and consistency. This study explores the application of deep learning techniques to automate and improve the classification of tall fescue abundance across pasture systems in Kentucky. Ground-truth abundance classes were evaluated using one of the traditional methods with occupancy grid and compared against estimates derived from red-green-blue images. Two convolutional neural network architectures, YouOnlyLookOnce (YOLO) and …

A Deep Neural Approach To Network-Based Obfuscated Malware, Meera Parmar, Sunil Gautam

ASEAN Journal on Science and Technology for Development

The rising prevalence of obfuscated malware poses a critical threat to network security, undermining traditional detection methods and jeopardizing data integrity and system reliability in an increasingly connected world. This growing danger highlights the urgent need for advanced solutions to protect against evolving cyber risks. This research intro-duces a novel framework to enhance malware detection, employing a hybrid architecture that integrates spatial and temporal analysis with attention mechanisms. The approach leverages a large dataset subsample, focusing on key feature selection and augmentation to improve robustness against evasion techniques. This innovative framework offers a significant advancement in identifying malicious network traffic, …

An Examination Of Ethics When Using Chatgpt, Blake V. Ailes

CCAC Theses and Dissertations

With the general population’s recent and dramatic increase in the frequency of ChatGPT and other similar Artificial Intelligence Generated Content (AIGC) usage throughout various industries, gray areas are becoming more prominent regarding whether ChatGPT is considered to be ethical or unethical in certain situations. Examples of unethical use of ChatGPT include plagiarism, the use of inaccurate information in drawing conclusions, and the creation of malicious code that negatively impacts various companies. Not all of these ethical concerns are necessarily the fault of the user or the AIGC. To date, peer-reviewed research on the ethical usage of ChatGPT is limited, primarily …

Examining The Association Between Ddt Exposure And Parkinson’S Disease, Hodges Mccathern

Undergraduate Honors Theses

Dichlorodiphenyltrichloroethane, commonly known as DDT, was an organochlorine pesticide widely used in the mid-20th century. It is highly stable and resistant to degradation, leading to its long-term presence in the environment. This chemical bioaccumulates in ecosystems and in human tissue, particularly adipose tissue, raising concerns about chronic exposure. Emerging research links DDT exposure to adverse neurological outcomes, including increased risk for neurodegenerative disorders such as Parkinson’s Disease. Mechanistically, DDT and its metabolites may disrupt dopaminergic neurons, induce oxidative stress, and interfere with mitochondrial function, contributing to neurotoxicity. Understanding the environmental fate of DDT and its bioaccumulative properties is essential for …

When Words Flow Like Water: How The Enbridge Line 3 Pipeline Environmental Impact Statement Failed To Prevent Hydrogeologic Harm In Minnesota, Carly Gutzmann

Journal of Earth and Life Science

For the aquifers of Minnesota, the environmental impact statement (EIS) was a promise of protection that never left the page. An environmental impact statement is meant to be an aid in the decision making process in order to ensure that projects consider potential environmental harms that may occur. However, they are often used instead as another regulatory box to check, rather than as active considerations when planning. As such, a project plan can be flawed from the start—if project developers only consider environmental impacts after they have already put considerable time, effort, and funding into their project as-is, they may …

Probing Feni Alloys With Atomic Precision, Scipio Han, Kaushik Rajkumar Jayaprabha, Xin Qi

Wetterhahn Science Symposium Posters

We compared EAM and MEAM atomic potentials for modeling FeNi (tetrataenite), a rare 50/50 alloy found in meteorites. Picking 4 potentials, we calculated minimum lattice constants and order-disorder transition temperatures. MEAM potentials accurately predicted the experimental transition temperature, confirming that MEAM better captures FeNi's directional bonding.

Applications Of Doppler Broadening Spectroscopy For The Characterization Of The Surface And Near Surface Of Two-Dimensional Heterostructures, Hany M. Mahdy

Physics Dissertations

This dissertation describes experiments and the analysis of Doppler broadening spectroscopy applied to metal surfaces (Cu, Ag, Au), graphene/Cu heterostructures, and SiGe heterostructures, with particular emphasis on the development of new approaches for extracting quantitative information from annihilation spectra.

The first part establishes the capability of Doppler broadening spectroscopy, particularly coincidence Doppler broadening (CDB), as a surface-sensitive technique. Measurements on clean and adsorbate-covered Cu, Ag, and Au surfaces demonstrate that Doppler-broadened annihilation spectra retain element-specific signatures from the topmost atomic layer. New analysis methods based on ratio-curve modeling enable identification and quantification of sub-monolayer adsorbates, including sulfur, oxygen, selenium, and …

Timing, Orbital Pacing, And Provenance Of Late Paleogene Loess In The Western United States, Xiangwei Guo

Earth & Environmental Sciences Dissertations - Archive

This project examines the timing of loess emergence, the nature of the fluvial–eolian transition, orbital forcing on dust accumulation, and sediment recycling in the late Paleogene White River Formation (Group) of Wyoming and Nebraska, western United States. By integrating traditional sedimentology with machine learning–enhanced grain-size analysis, this research shows that loess accumulation at Flagstaff Rim in central Wyoming began during active fluvial deposition at approximately 35.8 Ma, indicating a gradual transition from fluvial to eolian conditions. Machine learning complements field sedimentology and granulometric interpretation while enabling the development of new, testable hypotheses. Extending this framework eastward to Toadstool Geologic Park …

Occurrence Of Microplastics In The Urban Air And Water Systems And Associated Exposure Risks, Jenny K. Nguyen

Earth & Environmental Sciences Theses - Archive

Microplastics (MP) pollution is an emerging health concern that affects humans and the environment. Urban areas are high exposure zones due to consistent anthropogenic and industrial activity. With air and water as important MP transport and exposure pathways, monitoring and estimating their human exposures are necessary. Air samples were collected from Dallas-Fort Worth (DFW) and Houston in Texas and Cusco, Peru and water samples were from Tarrant County (DFW), Texas. The samples were analyzed using the pyrolysis-gas chromatography/mass spectrometry (Pyr-GC/MS) and the EDI (estimated daily intake) of inhalation and ingestion (normal and high exposures) were calculated. PS, PP, PE, PVC, …

Digital Redlining In The Smart City: Artificial Intelligence, Housing Law, And Structural Urban Inequality, Spurthi Nrusimhadevara

Undergraduate Scholarship and Creative Works

Artificial intelligence is increasingly used in urban housing systems, where it shapes decisions about tenant screening, rent pricing, lending, zoning, and neighborhood investment. Although these tools are often promoted as efficient and impartial, they frequently rely on historical data that reflect racial, economic, and spatial inequality. As a result, AI systems can reproduce discriminatory outcomes even when protected characteristics are not directly used. This paper examines digital redlining in the smart city and argues that algorithmic housing tools mirror long standing structural inequities that raise significant concerns under fair housing and civil rights law. It evaluates how automated screening, predictive …

The Soft Target Curriculum: Using Nigeria's 2026 Cascading Breaches To Teach Foundational Cybersecurity Failures, Chinedum Amaechi, Doris Asogwa, Samuel Alade

Journal of Cybersecurity Education, Research and Practice

SourceURL:file:///home/amaechi/Documents/ *Journal of Cybersecurity Education, Research and Practice (JCERP)*. **Title:** The Soft Target Curriculum: Using Nigeria's 2026 Cascading Breaches to Teach Foundational Cybersecurity Failures.docx

Background: Between March and April 2026, a single threat actor allegedly compromised four Nigerian institutions across banking, payment infrastructure, government registry, and power distribution sectors. The breaches exposed millions of records and disrupted critical services, yet all four exploited elementary vulnerabilities taught in introductory cybersecurity courses. Objective: This pedagogical case study analyzes the four breaches as a unified phenomenon of "normalized negligence" and provides ready-to-use teaching materials for cybersecurity educators. Methods: Using open-source intelligence analysis of …

Considerations For Assigned Water After Expiration Of The 2007 Guidelines, Kathryn Sorensen, Sarah Porter, Anne Castle, John Fleck, Eric Kuhn, Jack Schmidt, Katherine Tara

The Traveling Wilburys of the Colorado River

As Colorado River supplies and demands reach razor-thin margins, new tools to provide adaptive capacity will play a critical role in sustaining communities across the West. We must reduce our consumption of water, while finding ways to cushion the impact. One of the most innovative tools for doing this, developed over the last two decades, is “Assigned Water” - giving users the ability to store conserved water earmarked for their own future use. Originally developed as “Intentionally Created Surplus” in the 2007 Colorado River Interim Guidelines, Assigned Water has been revised and expanded through U.S. Mexico Treaty Minutes and as …

From Sediment To Mangrove: Tissue-Specific Metal Accumulation In Red Mangroves Of Southeastern Florida, Sophie Welch

Honors Theses

Coastal wetlands near industrialized waterways face increasingly heavy‐metal contamination, posing risks to benthic communities and food webs. Mangroves can influence metal cycling through sediment trapping, root‐zone sequestration, and internal physiological regulation, yet their effectiveness in urbanized systems remains debated. This study quantified concentrations of 17 heavy metals in sediments and mangrove tissues from four sites near Port Everglades, Florida, examined tissue‐specific partitioning, spatial and temporal contamination patterns, and examined the mangroves’ role in mediating metal loads. Ecological risk metrics identified STB as a contaminant hotspot with exceedances of TEL values across multiple elements (Ni, Pb, and Zn) as well as …

A Dual-Emission Polymer-Dots/Gold-Nanoclusters Nanohybrid For Ratiometric Fluorescence Detection Of Hg²⁺, Sha Wu

Dissertations and Theses

Heavy metals, such as Hg, Cd, Pb, and Cr, become a serious environmental problem because they are highly toxic, bioaccumulation, and long-term persistence, required a high sensitivity and selectivity detection method. Although laboratory testing instruments, such as inductively coupled plasma mass spectrometry, offer high sensitivity, their practical application is limited because they rely on large-scale equipment and complex sample pre-treatment processes. Single-emission fluorescence probes are simpler but can be affected by variations in probe concentration, excitation intensity, and measurement conditions. In this study, a dual-emission nanohybrid that consists of poly(9,9-di-n-hexylfluorenyl-2,7-diyl) (PDHF) and bovine serum albumin (BSA), termed as PDHF-Pdots/BSA-AuNCs nanohybrid, …

Deep Learning For Eeg-Based Emotion Recognition With Temporal And Spectral Interpretability, Shruti Rameshbhai Shingala

Selected Full-Text Master Theses 2021-

Electroencephalography (EEG)-based emotion recognition has emerged as a critical component of affective computing and clinical neuroscience. Existing approaches to this problem primarily reduce the multi-dimensional EEG time series to a single averaged feature vector, thereby discarding the temporal structure of the emotional response. The present work addresses three identified gaps in the literature: the absence of temporal interpretability, the uniform use of frequency bands, and the use of single-scale temporal feature extraction. A deep learning architecture, MST-Mamba-Asym, is proposed, comprising four components: Asymmetry Attention, which encodes hemispheric asymmetry by computing signed left–right channel differences, FreqBandAttention, which learns differential weights across …

Large Language Model Communication And Data Transfer Across A Simulated Telephone Line, Jared Reyes

Dissertations and Theses

This thesis presents a proof-of-concept communication system in which two local large language model endpoints communicate across a simulated analog telephone line using legacy USB modems. The project combines modem voice mode, modem data mode, local speech processing, and structured machine messaging into a single staged session. During the voice phase, one endpoint places a call, the other answers, speech generated by a locally hosted LLaMA-family model is synthesized with Piper, transmitted through the modem voice path, captured on the remote side, and transcribed with Faster-Whisper to drive the next response. After the voice exchange, the system transitions to a …

Prime Numbers And Rsa Encryption In Cryptology, Burak Safaker

A with Honors Projects

This project centers on developing an encryption and decryption system using the RSA (Rivest-Shamir-Adleman) cryptographic algorithm, which is based on the mathematical properties of prime numbers.

Coupling Liquid Chromatography To Orbitrap Isotope Ratio Mass Spectrometry: Overcoming Isotope Effects Of Chromatography And Amount-Dependency By Peak Homogenization, Aoife Canavan, Leonhard Prechtl, Habib Al-Ghoul, Nils Kuhlbusch, Andrea M. Erhardt, Martin Elsner

Earth and Environmental Sciences Faculty Publications

Electrospray ionization Orbitrap mass spectrometry (ESI-Orbitrap-MS) has recently proven to be a powerful tool for compound- and position-specific stable isotope analysis, targeting isotopologues of multiple elements (H, C, N, O, S) in polar analytes. However, studies have so far mainly focused on pure analyte solutions via direct infusion. Here, we present the online coupling of liquid chromatography (LC) to ESI-Orbitrap-MS for stable isotope analysis of sulfamethoxazole (SMX), a synthetic antimicrobial, used as a model compound. Our study explored the fidelity of isotope values with two strategies for capturing and broadening chromatographic peaks after LC. When capturing the target analyte in …

Geoscience Mathematics Self-Efficacy Scale (Geomses) For Majors-Level Undergraduates: Psychometric Data, Michael Coe, Rory Mcfadden, Beth Pratt-Sitaula, Eric Baer

Science Education Resource Center (SERC)

Self-efficacy is often investigated as a key attitudinal component of academic persistence and performance, and self-efficacy surveys can serve in research models as efficient and non-threatening assessment tools to augment or substitute for achievement or performance measures. The Geoscience Mathematics Self-Efficacy Scale (GeoMSES) builds on prior work in measurement of self-efficacy for mathematics by focusing specifically on students’ capacity to apply mathematical skills to typical problems encountered in majors-level undergraduate geoscience courses or in professional geoscience settings. The scale was developed as part of program evaluation research for a set of learning modules designed to augment existing geoscience curricula. In …

Toward Conditions For Consensus Of Noisy Bounded-Confidence Models, Madeline Reeve

HMC Senior Theses

Models of opinion dynamics aim to describe the spread of opinions over time in a social network. However, many canonical models are deterministic and thus may fail to capture uncertainty present in social interactions. This work investigates the effect of adding noise into bounded-confidence models, a class of opinion dynamics models where agents are more likely to be influenced by opinions close to their own. In particular, we propose a noisy modification of the Deffuant–Weisbuch bounded-confidence model. We prove that in this model all agents eventually adopt the same opinion—that is, our model converges to consensus. In doing so, we …

Artificial Intelligence Methods For Circadian Rhythm Recovery And Disease Identification From High-Dimensional Omics Data, Aram Ansary Ogholbake

Theses and Dissertations--Computer Science

High-throughput transcriptomic and proteomic technologies have enabled opportunities for studying biological processes and disease mechanisms. However, extracting meaningful biological information from these high-dimensional datasets remains challenging due to limited sample sizes, biological heterogeneity, measurement noise, and the absence of biological annotations. In particular, many molecular datasets lack temporal information required for circadian analysis, making the study of circadian rhythms difficult. Moreover, disease diagnosis and biomarker discovery from transcriptomic data often rely on complex machine learning models whose predictions are difficult to interpret and may not generalize well across independent datasets and experimental platforms. These limitations motivate the development of artificial …

Ai For Life Sciences: From Geometric Protein Modeling To Multimodal Drug Design, Feng Jiang

Computer Science and Engineering Dissertations

Predicting biomolecular interactions, from immune recognition to drug–target binding, is a central problem in the life sciences and computational drug discovery. Deep learning has advanced this area, yet three challenges persist: the topology of large, highly imbalanced interaction networks; structural noise in computationally predicted protein models; and the integration of multimodal information such as functional text and taxonomic annotations. This dissertation develops a coherent set of models spanning immune complex prediction and small-molecule drug design: graph learning that addresses network topology and severe class imbalance; a noise-tolerant method that fuses predicted structures with evolutionary sequence features; and multimodal representation learning …

From Wikipedia Tables To Public Data Visualizations, Tanvir Prince

Open Educational Resources

This open educational resource presents a practical mathematics lesson in which students turn numerical data from Wikipedia into a clear data visualization. Students select a Wikipedia page with a data table but little or no visual representation. They examine the original source, date, units, definitions, and possible data limits. They then organize the data in Microsoft Excel or another spreadsheet, choose an appropriate chart, and explain what the visualization helps readers understand. A complete worked example uses the 2017 population growth rates of South American countries.

The resource package includes an instructor lesson plan, a student project guide, a Wikimedia …

Operational Hallucination And Safety Drift In Ai Agents, Shasha Yu, Fiona Carroll, Barry L. Bentley

School of Professional Studies

Large language models (LLMs) serving as planners in tool-using autonomous agents introduce dynamic reliability risks in multi-turn execution. While single-turn safety mechanisms are relatively mature, extended interactions reveal structural vulnerabilities where initial alignment degrades over time. This paper empirically characterizes two observed failure modes across multiple state-of-the-art LLMs: Safety Drift, the gradual erosion of declared safety intent leading to constraint-violating actions (e.g., textual refusal followed by reconnaissance and unsafe execution), and Operational Hallucination, persistent repetitive tool calls indicative of flawed state perception (e.g., livelocks even in legitimate tasks). Through controlled multi-turn evaluation on high-stakes ethical dilemmas, malicious requests, and benign …

When Saying "No" Is Not Enough: Cognitive-Action Decoupling And The Illusion Of Safety In Llm Agents, Shasha Yu, Fiona Carroll, Barry L. Bentley

School of Professional Studies

Current safety evaluations of large language models (LLMs) predominantly rely on textual compliance, implicitly assuming that refusal-style responses correspond to safe behavior. This assumption becomes fragile when LLMs are embedded in agentic systems with the ability to execute state-changing actions. In this paper, we present an empirical critique of text-centric safety evaluation through an action-aware study of LLM agents under controlled conditions. Across multiple state-of-the-art models, we observe a recurring cognitive–action decoupling: agents generate policy-aligned refusal language while still producing unsafe tool-mediated action proposals. This produces an illusion of safety, where conversational audits indicate compliance even as operational risk persists. …