Other Computer Sciences Commons^™

A Symbolic Model Of Proof Acquisition In Act-R, Beckett Morris, Kerstin Haring

DU Undergraduate Research Journal Archive

Learning to construct mathematical proofs—formal arguments demonstrating the truth of a mathematical statement using logical deductions and previously established facts—is one of the most challenging skills in STEM education. This research aims to build the foundations for a symbolic cognitive model, using the ACT-R cognitive architecture and implementing in Python with the pyactr package, to explore how different proof strategies can be thought through with only symbols and rules. The model observes simple proofs, and its abilities are assessed based on its generalization capabilities, efficiency, and error patterns. By developing and analyzing such a model, this research provides new insights …

An Analytical Framework For Quantifying Urban And Community Resilience To Natural Hazards From Cell-Phone Gps-Location And Traffic-Flow Data, Georgios Chatzikyriakidis

Civil and Environmental Engineering Theses and Dissertations

Urban areas are increasingly exposed to natural hazards while accommodating a growing share of the global population, yet a consistent science-based framework for quantifying urban and community resilience remains lacking. This dissertation develops a physics-based analytical framework grounded in statistical mechanics and the quantitative theory of Brownian motion. A city is conceptualized as a complex medium in which citizens move analogously to Brownian particles within a viscoelastic environment, influenced by socioeconomic interactions and infrastructure functionality.

A central premise is that urban resilience, interpreted as engineering resilience (an outcome), can be quantified through a single metric: the mean-square displacement MSD=⟨r²(t)⟩, of …

Iterative Silver-Label Refinement For Temporal Information Extraction In Biomedical Literature, Chan Lee

UNLV Theses, Dissertations, Professional Papers, and Capstones

Temporal information extraction plays a critical role in the biomedical domain, where the ability to identify events and their temporal relationships is central to interpreting research findings. However, annotated corpora for this task remain scarce and costly to produce and the existing models developed for clinical text do not transfer well. This work bridges that gap through iterative silver-label refinement. A temporal model originally trained on news-domain data is adapted to biomedical text through cycles of automatic labeling, targeted correction, and retraining without the need for comprehensive manual annotation.

Key contributions include a practical iterative refinement methodology demonstrating that the …

Phase-Preserving Machine Learning Forecasting Of Nonlinear Predator–Prey Dynamics, Saira Batool, Muhammad Imran, Brett Mckinney

Biology and Medicine Through Mathematics Conference

No abstract provided.

Developing A Comprehensive Resource Guide For Caregivers Within The Area Agency On Aging, Aiden R. Murphy

Public Health Capstone Projects

This project developed a new universal caregiver resource guide for caregivers within the Area Agency on Aging, in order to improve resource navigation and workflow efficiency. Resources were collected, verified, and organized into a new, streamlined guide via the ARIA chatbot, covering multiple needs. Caregiver resources were collected and verified by the capstone student and mentor, Michael Kroeker, and organized into a centralized knowledge base within the ARIA chatbot. A mixed methods evaluation was conducted utilizing a 5-point Likert scale with three quantitative questions and one open-ended qualitative question. The data was given to the SeniorLine staff, who wanted to …

Improving Semantic Precision In Text-To-Image Diffusion Models Via Latent-Space Optimization And Semantically-Parsed Evaluation, Mohammad Rouie Miab

McKelvey School of Engineering Graduate Student Theses & Dissertations

Text-to-image diffusion models can produce visually impressive images from natural-language prompts, but they often fail to satisfy the detailed semantic constraints expressed in compositional prompts. Typical failure modes include omitted objects, merged entities, incorrect quantities, incorrect attribute binding, and leakage of one entity's attributes onto another. This thesis studies the problem of semantic precision in text-to-image generation: how faithfully a generated image satisfies the structured meaning of its prompt.   The thesis makes two linked contributions. First, it presents a training-free inference-time refinement method for diffusion-based image generation. The method operates directly in latent space during denoising and uses noun-phrase-aware cross-attention …

Predicting And Decoding Allosteric Binding Sites Using Protein Language Models And Structure-Based Machine Learning: An Energy Landscape-Guided Explainable Ai Framework, Kamila Riedlová, Vít Skrhák, William G. Gatlin, Max Ludwick, Lucas Turano, Marian Novotný, David Hoksza, Gennady M. Verkhivker

Mathematics, Physics, and Computer Science Faculty Articles and Research

Computational prediction of allosteric binding sites in protein structures remains a persistent challenge, as these regulatory pockets evade detection by both sequence-based and structure-based algorithms. Both computational and physical origins of this predictive asymmetry remain insufficiently understood. In this study, we systematically examine the determinants of binding site predictability using a dual framework that integrates a fine-tuned protein language model and the structure-based method P2Rank as complementary tools probing a diverse data set of 453 human kinases, together with a physics-based interpretability layer derived from energy landscape frustration analysis. Both predictors exhibit a sharp and reproducible dichotomy on protein kinases, …

Designing Enhanced Nonlinearity In Plasmonic Devices With Epsilon-Near-Zero Films, Kevin Tran Le

Electrical Engineering and Computer Science (MS) Theses

The growing demand for energy-efficient optical information processing motivates compact nonlinear photonic devices that can operate at low power. Silicon photonics is a mature platform for linear optical functions, but nonlinear operation remains challenging because of its weak Kerr response, two-photon absorption at telecommunication wavelengths, and limited compatibility with deeply subwavelength plasmonic confinement. This thesis computationally investigates epsilon-near-zero thin films integrated into plasmonic waveguide architectures as a route toward stronger light–matter interaction in compact nonlinear devices.

Two waveguide geometries are examined: a hybrid metal-insulator-metal plasmonic slab waveguide incorporating an ultrathin indium tin oxide epsilon-near-zero layer (5–50 nm), and a dielectric-loaded …

Analyzing The Writing Style Of Generative Ai When Prompted With Writing Samples, Samuel Mcdowell

Senior Honors Theses

Authorship attribution is an important topic in today’s world of Large Language Models (LLMs). It is the technology that helps to verify the author of a written work. This study explores whether LLMs can successfully mimic an individual’s writing style if they are given a text sample. A dataset of human-written texts was collected and used to prompt several LLMs to generate new texts that attempt to replicate the original author’s stylistic characteristics. The generated texts were then tested with modern authorship attribution models to determine whether they would be identified as being written by the original author. The results …

Search For Slow-Moving Magnetic Monopoles With An Improved High-Energy Event Removal Algorithm, Reeshi N. Gihosal

Honors Theses

Fermilab’s NOvA (NuMI Off-axis 𝑣𝑒 Appearance) experiment focuses on understanding the behavior of neutrinos and how they affect the cosmos. A sub-focus of the NOvA experiment is the search for magnetic monopoles. These elusive particles have not yet been observed in nature, leaving their behavior to be mysterious. The Far Detector, located in Ash River, MN, is integral in the search for these particles. This project is on simulated magnetic monopoles with speeds thousandths the speed of light, with focus on the role of slicing algorithms in event reconstruction using the NOvA experiment’s reconstruction algorithm. Using sample data, analysis occurred …

A Case Study On Using Large Language Models To Drive Convergence-Oriented Literature Discovery In Critical Infrastructure Security, Caden J. Williamson

Electrical Engineering and Computer Science Undergraduate Honors Theses

In the world of cybersecurity, the rapid development of artificial intelligence proposes a constant challenge for researchers to defend critical infrastructure. Attacks on critical infrastructure can be catastrophic, and emerging strategies of cyber-adversaries that implement leading AI models can expose vulnerabilities in critical infrastructure much faster than previous tools. To defend against this emerging threat, the Cybersecurity Research Working Group at the University of Arkansas is aiming to develop a cross-domain and cross-discipline center of excellence. To support this effort, the group is writing a literature review on the topics of AI and critical systems security. Literature review is an …

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 …

Enhancing Traffic Safety Through Ai-Driven, Privacy-Preserving, And Secure Impaired Driving Detection Systems, Razan Alsulieman

Dissertations

Drunk driving remains a major threat to road safety worldwide, contributing significantly to traffic injuries and fatalities each year. Traditional detection approaches are largely reactive and vehicle-centric, relying on in-vehicle sensors, breathalyzers, or post-incident enforcement. These methods often depend on driver cooperation, intrusive hardware installations, or limited monitoring environments, restricting their scalability and effectiveness in large transportation systems. At the same time, modern cities increasingly deploy roadside cameras, surveillance networks, and drone- based monitoring systems, creating new opportunities for proactive intoxication detection at the infrastructure level. However, leveraging such external monitoring introduces challenges related to secure data collection, reliable AI-based …

Ai Literacy: An Annotated Oer Bibliography, Houy Yvonne

UNLV Best Teaching Practices Expo

"Scalable, discipline-agnostic AI literacy instruction can be implemented incrementally without requiring full course redesign in higher education, supporting both technical understanding and critical engagement with the social and ethical dimensions of AI: The curated list of open educational resources (OER) on this poster enable a flexible, modular approach to teaching foundational AI literacy. The annotated list includes self-paced, hands-on projects with complementary educator-guided activities and discussion to support conceptual understanding of machine learning, training data, and algorithmic bias, drawing on OER such as Code.org’s AI curriculum, MIT RAISE’s Day of AI, and the multi-lingual Elements of AI course. Many resources …

Deconstructing The Black Box: An Explainability Analysis Of Deep Learning Architectures In Cytopathology, Chase A. Garrett

SACAD: Scholarly Activities

Deep learning shows strong potential in medical-image analysis, yet adoption in cyptopathology

remains limited. Cytopathology could benefit from deep learning applications by improving

diagnostic efficiency and accuracy. However deep learning comes with a notorious “black box”

that keeps the models from being transparent and trustworthy for widespread clinical adoption.

We conducted a comprehensive and comparative analysis of several deep learning architectures

for multi-class classification of acute leukemia types, ALL, AML, and normal healthy cells from

peripheral blood smear images. The models in this research include a Vision Transformer (ViT)

and a diverse selection of Convolutional Neural Network (CNN) models. The …

Escaping Isolation: An Analysis Of Virtual Machine And Container Breakout Vulnerabilities, Felix Iov

Cybersecurity Undergraduate Research Showcase

Cloud computing providers rely on multi-tenant architectures to maximize resource efficiency. This infrastructure depends on virtualization, which provides isolation between clients. This comes primarily in the form of Virtual Machines (VMs) and Containers. However, “breakout attacks” or “escapes” are a critical threat where attackers bypass these isolation layers to gain unauthorized access to the host system and neighboring environments. This paper surveys virtualization escape threats and analyzes three case studies: a runc container escape (Leaky Vessels), a VMware ESXi VM escape (VSOCKPuppet), and an NVIDIA GPU container escape (NVIDIAScape). Each demonstrates different attack surfaces, including file descriptor misuse, kernel driver …

Roomiq, Po Kya, Eh Paw, Nicole Holt, Riley Lindsay

ATU Scholars Symposium

1. RoomIQ is a smart room scheduling system designed to replace the current booking process for Corley Room 230 at Arkansas Tech University (ATU). The existing system presents challenges in efficiency, accessibility, and real-time coordination. Our goal is to deliver a user-friendly, real- time coordinated reservation solution that improves both functionality and overall user experience. The system will operate on an iPad Mini mounted outside the room, allowing users to instantly check availability and reserve the space on-site. This provides a convenient solution for immediate scheduling needs. In addition, a QR code displayed at the entrance will allow users to access …