Computer Sciences Commons^™

Sequential Robustness In Adversarial Reinforcement Learning, Roman Lok-Ming Belaire

Dissertations and Theses Collection (Open Access)

My goal is to build autonomous systems that expand the reach of human capability in challenging domains such as undersea and space exploration, disaster response, and large-scale infrastructure. In everyday settings, these systems will increasingly appear in safety-critical applications such as autonomous driving, robotics, and industrial manufacturing. A central requirement for these systems is the ability to operate reliably under uncertainty, particularly when the environment behaves in unanticipated ways.

The robust handling of unforeseen environment dynamics is therefore a technical cornerstone of autonomous decision-making; Adversarial attacks provide a useful and principled lens through which to study this problem. Adversarial \textit{robustness}, …

Perspectives On Interpretability For Neural Text Representations, Jia Peng Lim

Dissertations and Theses Collection (Open Access)

In this dissertation, we investigate interpretability in the three elements of learning neural text representations: inputs, passed into models, to produce probabilistic outputs. We emphasise perspectives as we present alternative novel methods to mine and organise meaning in this work.

Models. We initiate our investigation by examining Neural Topic Models (NTM), proposing an alternate angle of interpreting its word-topic distribution, producing better topic representations for interpretation. Our method maps the problem of finding these better interpretations to classical NP-hard graph problems, enabling examination of topic distributions in a composite manner. Next, we apply our previous findings to extract interpretations from …

Pyspqr: A Python Package For Density Estimation Using Deep Learning, Cameron Eddy, Reetam Majumder

Electrical Engineering and Computer Science Undergraduate Honors Theses

Splines are used for representing complex functions. In statistics, splines can be used for distributional shapes that are difficult to model by traditional parametric approaches. Ramsay (1) uses M-Spline bases to estimate continuous distributions. Semi-Parametric Quantile Regression (SPQR), developed by Xu and Reich (2), models conditional distributions where a neural network is used to estimate the basis function weights that depend on covariates. (3) implements a package for SPQR in R. We build on this by implementing a version of SPQR in Python with PyTorch. By using PyTorch, we can use more sophisticated deep learning architectures than those available in …

F.L.A.I.R. -- A Flow-Level Autoencoder For Intrusion Recognition, Joseph P. Dumond

Electrical Engineering and Computer Science Undergraduate Honors Theses

Industrial Internet of Things (IIoT) networks underpin critical infrastructure worldwide, yet securing them remains an open challenge. Traditional intrusion detection systems require labeled attack data for training, a resource that is rarely available in real industrial deployments. They also fail against novel threats, a model trained on known attacks has no basis for detecting anything outside its training set. This thesis presents a Flow-Level Autoencoder for Intrusion Recognition, or FLAIR, a fully unsupervised deep learning system for network intrusion detection in IIoT environments. FLAIR is built on a Gated Recurrent Unit (GRU) autoencoder trained exclusively on normal network traffic. Rather …

Towards Multi-Hop Retrieval Using Bipartite Question-Oriented Graphs, Micah Mccollum

Electrical Engineering and Computer Science Undergraduate Honors Theses

Accurately answering multi-hop questions requires full retrieval of multiple, interdependent passages and is a long-standing problem in the area of natural language question answering (QA). While retrieval-augmented generation (RAG) helps address single-hop questions, many retrievers presently focus on semantic similarity in a dense vector space, which is insufficient for handling multi-hop questions specifically. To ameliorate this, we propose constructing a bipartite question- oriented graph composed of hypothetically generated questions connected to passages at index time. The construction of the graph is guided by a large language model (LLM) to prioritize the formation of edges that signal whether a question can …

Evaluating The Use Of Extended Reality Technology To Improve Marching Band Conducting Patterns, Nathan R. Fuhrman

Electrical Engineering and Computer Science Undergraduate Honors Theses

Conducting pattern consistency is an essential skill for marching band drum

majors, yet developing this consistency through individual practice remains diffi-

cult without real-time feedback. This thesis investigates if the use of extended

reality technologies can be used to enhance the conducting skills of novice drum

majors. Using the Meta Quest 3’s passthrough capability, the system overlays vi-

sual feedback elements — including a 3D pattern guide, path visualization, tempo

cues, and a real-time score — onto the user’s physical environment. A within-

subjects study with seven participants evaluated eight combinations of three binary

feedback variables: pattern guide visibility, tempo …

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 …

​Autonomous Agentic Orchestration For Physics-Aware Scientific Discovery: An Integrative Multimodal Framework For 2d Material Characterization​, Sankalp Pandey

Electrical Engineering and Computer Science Undergraduate Honors Theses

The advancement of next-generation semiconductor and quantum technologies relies on the scalability of the fabrication of two-dimensional (2D) van der Waals heterostructures. However, this process is severely bottlenecked by characterization workflows. Optical microscopy provides high-throughput imaging of 2D material flakes, but lacks the explicit physical priors required for the discernment of sub-nanometer thickness variations, such as distinguishing monolayers from bilayers. The use of computer vision models to automate the localization and characterization process of the flakes was proposed. As a part of this effort, we develop QuantumFlake, an open-source framework to streamline the integration and deployment of computer vision models …

Software Integration In Personal Healthcare Devices And The Patient User Experience, Yassine Chahid, Patrick Slattery

Publications and Research

This study examines the current landscape and future direction of medical device hardware and software integration, focusing on how each contributes to patient care. It begins by analyzing hardware focused medical devices, such as implantable tools patients may rely on to assist with their condition, alongside diagnostic and monitoring equipment used to treat conditions in a variety of medical areas (e.g. cardiovascular conditions). It then evaluates how software is currently integrated through embedded systems, data processing, and user interfaces that support real time monitoring and clinical decision making, and how this impacts quality of care for the patient whilst minimizing …

A Generative Ai Method For Minority Class Handling In Anomaly Detection With Drift And Explainability Analysis, Kelvin J. Mwiga, Mussa A. Dida, Ahmad Mohsin, Iqbal H. Sarker

Research outputs 2022 to 2026

Artificial Intelligence, particularly machine learning (ML) algorithms, plays a crucial role in detecting cyberattacks, including anomalies and intrusions. However, machine learning models trained on imbalanced cybersecurity datasets often struggle to accurately detect minority data instances and potential threats, thereby weakening overall system security. Despite extensive research, a persistent challenge is the inadequate explanation for model predictions concerning minority data classes. This study aims to address these limitations by developing a generative AI-based approach to manage minority classes in anomaly detection, incorporating concept drift handling and explainability analysis. We introduce an over-sampling technique, CGGReaT, designed to enhance the presence of minority …

A Survey Of Privacy-Preserving Federated Learning For Intrusion Detection Systems, Thomas Bunko, Michael N. Johnstone, Wencheng Yang, Ben A. Scott

Research outputs 2022 to 2026

Intrusion detection systems (IDS) monitor and detect malicious activity and unauthorized access that may compromise systems. Traditional IDS approaches send data to a central server for analysis, raising privacy concerns as data owners lose control over security. Federated Learning (FL) offers a privacy-preserving alternative by allowing local devices to process their data and generate models without sharing raw data. These local models are aggregated centrally to form a comprehensive model with performance comparable to centralized systems. This paper reviews FL-based IDS research, and is the first review paper to focus on privacy-preserving techniques collectively known as privacy-preserving Federated Learning (PPFL) …

Collaborative Practices And Tool Utilization In Software Development Projects: A Student Perspective, Yi Meng Lau, Muhammad Syahmi Bin Abbas, Lingxiao Jiang

Research Collection School Of Computing and Information Systems

Software development is a collaborative activity that depends on effective teamwork, shared understanding, and coordinated use of development practices and tools. While these aspects are well studied in professional environments, they are less frequently examined within software engineering education. This study investigates how students collaborate in group projects, focusing on collaborative practices, tool usage, and their perceptions of software quality. We conducted a quantitative post-project survey with 143 second-year undergraduate students enrolled in a software development course. The results show that students actively share information and often establish team norms to support coordination and collaboration. However, students face challenges in …

Causality-Driven Test Case Minimisation For Cyber-Physical Systems, Michael Foster, Christopher M. Poskitt, Nicholas R. Latimer, Neil Walkinshaw, Richard Somers, Robert M. Hierons

Research Collection School Of Computing and Information Systems

Cyber-physical systems allow digital control systems to interact with the physical world using sensors and actuators. They are increasingly being used to automate critical infrastructure, where software faults can have dire consequences. Due to the complex nature and unpredictability of these systems, their resilience is often tested using a technique called fuzzing, which generates quasi-random sequences of sensor and actuator manipulations with the goal of forcing a system into unsafe states. However, there is currently no way of determining which manipulations of a test case cause a failure without systematically removing each one and re-running the test, which can be …

Func: Reducing The Impact Of Android Framework Evolution On Malware Detection, Hailong Yu, Tiantian Wang, Lwin Khin Shar, Hanmeng Li, David Lo

Research Collection School Of Computing and Information Systems

Android malware detection approaches commonly use APIs and permissions as features for classifying malware. However, since the release of the first Android operating system in 2008, the Android framework has undergone numerous version updates. The evolution of the Android framework over time has led to changes in APIs and permissions, including deprecations and replacements. These changes can result in inaccurate characterization of Android malware, thereby affecting performance of malware detectors. There is a lack of methods to mitigate the impact of Android framework evolution on malware detection. To fill this gap, we conduct a systematic study of the impact of …

Enhancing Control Charting Schemes And Exploring New Assessment Metrics To Advance Quality Control And Cyber-Attack Detection In Manufacturing, Ahmad Al Majali

Dissertations

The increasing integration of digital technologies and industrial control systems in modern manufacturing has introduced new cybersecurity vulnerabilities within cyber–physical production environments. Malicious actors can exploit these vulnerabilities to induce subtle process deviations that degrade product quality while remaining undetected by conventional statistical monitoring tools. Such attacks can be deliberately engineered to manipulate process behavior through transient shifts that vary in magnitude, duration, and frequency. Despite extensive research on transient shifts caused by assignable causes in Statistical Process Control (SPC), limited attention has been given to intelligently designed cyber–physical attacks that exploit the structural characteristics and limitations of control charting …

Weavecc: Symbolically-Guided Joint Exploration Of Inputs And Schedules For Concurrency Bug Detection, William Philip Dinauer

Dartmouth College Master’s Theses

Concurrent programs introduce a class of bugs that depend jointly on both program inputs and thread schedules. Exposing these bugs requires simultaneously reasoning about which code paths are reachable and which thread interleavings are possible. At the same time, many existing tools handle the problem insufficiently. Race detectors observe only the interleavings that the OS happens to produce. Fuzzers explore inputs without controlling schedules. Tools that address both dimensions together exist, but are built on interpretation-based symbolic executors that incur considerable overhead.

We present WeaveCC, a practical concurrency testing tool for C/C++ programs that jointly explores inputs and thread schedules. …

Robustness Of Vision Language Models For Pedestrian Detection Tasks, Ostonya K. Thomas

All Theses

Autonomous vehicle (AV) systems typically employ modular systems in which discrete components handle separate tasks such as perception, computation, and path planning. While flexible, this approach allows errors to propagate and compound across the pipeline, and many AI systems offer little transparency into their internal decision-making. Such limitations are particularly concerning in safety-critical domains where failures can carry lethal consequences. Vision Language Models (VLMs) have emerged as a promising alternative because they support end-to-end implementations that bypass compounding error risks and provide natural language explanations of their outputs. Despite these advantages, prior research has demonstrated that both computer vision systems …

Smart-Charge: Stable Matching Algorithm For Electric Vehicle Charging In Subscription-Based Models, Arindam Khanda, Anurag Satpathy, Sajal K. Das

Computer Science Faculty Research & Creative Works

The transition from internal combustion engine (ICE) to electric vehicles (EVs) introduces several challenges, including limited charging infrastructure, unpredictable charging wait times, and inefficient selection of charging points (CPs). To address these issues, we propose SMART-CHARGE, a framework that efficiently assigns EVs to CPs through an edge-level coordination mechanism within each service region, enforced by roadside units (RSUs). Operating under a novel subscription-based charging model, SMART-CHARGE enforces predefined charging time limits via service-level agreements (SLAs). The EV-CP assignment problem is formulated as a one-to-many matching game that captures EV user preferences. To construct bounded yet efficient EV coalitions at each …

Processing Conditions In Narrative Interpretation: A Structural Account Of Cf/Ef Divergence In "The Clerk's Tale”, Griselda Poe

Publications and Research

This paper applies the framework established in Paper 19, "Cognition Is Not Content: A Structural Account of Processing Conditions," to re-describe Chaucer's "The Clerk's Tale" from The Canterbury Tales.

The same narrative produces two incompatible interpretations: a record of domestic violence, and a story of genuine love. This divergence does not arise from differences in ethical judgment or emotional response. It arises from structural differences in the conditions under which information is reconstructed.

This paper does three things. First, it analyzes the characters Walter and Griselda in terms of CF (Core-foregrounded) and EF (Modulation-foregrounded) processing conditions. Second, it describes …

Improving Fairness On Semantic Segmentation Using Large Language Models, Samuel E. Burggraf

Electrical & Computer Engineering Projects for D. Eng. Degree

As machine learning systems are increasingly integrated into critical decision-making processes, ensuring fairness in their design and implementation has become a significant concern. While fairness research has primarily focused on specific protected attributes, less attention has been given to spatial fairness, which can affect individuals at specific locations. If fairness is not addressed, models may systematically underperform in certain regions or across populations which can lead to unequal access to accurate predictions and potentially biased decision-making. Fairness considerations should extend across all machine learning applications to align with the National Institute of Standards and Technology (NIST) guidelines of fair and …

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 …

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 …

From Mobilenet To Repvit: A Survey Of Edge-Optimized Computer Vision Architectures, Eli A. Bosch

Electrical Engineering and Computer Science Undergraduate Honors Theses

Edge-optimized computer vision is a constantly evolving field where the definition of efficiency has changed repeatedly. This thesis presents a literature survey of four recent Convolutional Neural Network (CNN) families, all analyzed through a consistent framework of accuracy, parameter count, and Multiply-Accumulate Operations (MACs), alongside a survey of five CNN and Vision Transformer (ViT) hybrid models to examine the direction of the field. It was found that accuracy follows a logarithmic curve with respect to parameter count, exhibiting diminishing returns as models scale. This suggests that architectural design contributes more to performance gains than parameter count alone. Theoretical efficiency metrics …

Friend Or Foe? The Benefits And Risks Of Llms In Cybersecurity, Niklas P. Dobler

Honors Theses

The rapid growth of Large Language Models (LLMs) and their continuous increase in capabilities have affected many professions and people. Due to advancements in areas such as coding and data analysis, they are now also being utilized in Cybersecurity. Recent research has examined their use in many different areas such vulnerability detection in code and analyzing network traffic. With this rapid growth, most organizations around the world are eager to advance faster than their competition, with limited considerations for the potential harm and risks these tools could bring. Some research has been conducted on malicious uses, but as the benefits …

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 …

Benchmarking Gaslighting Attacks Against Speech Large Language Models, Jinyang Wu, Bin Zhu, Xiandong Zou, Qiquan Zhang

PhD Student’s Publications Collection

As Speech Large Language Models (Speech LLMs) become increasingly integrated into voice-based applications, ensuring their robustness against manipulative or adversarial input becomes critical. Although prior work has studied adversarial attacks in text-based LLMs and vision-language models, the unique cognitive and perceptual challenges of speech-based interaction remain underexplored. In contrast, speech presents inherent ambiguity, continuity, and perceptual diversity, which make adversarial attacks more difficult to detect. In this paper, we introduce gaslighting attacks, strategically crafted prompts designed to mislead, override, or distort model reasoning as a means to evaluate the vulnerability of Speech LLMs. Specifically, we construct five manipulation strategies: Anger, …

Teacher-Student Diffusion Model For Text-Driven 3d Hand Motion Generation, Ching Lam Cheng, Bin Zhu, Shengfeng He

PhD Student’s Publications Collection

Generating realistic 3D hand motion from natural language is vital for VR, robotics, and human-computer interaction. Existing methods either focus on full-body motion, overlooking detailed hand gestures, or require explicit 3D object meshes, limiting generality. We propose TSHaMo, a model-agnostic teacher-student diffusion framework for text-driven hand motion generation. The student model learns to synthesize motions from text alone, while the teacher leverages auxiliary signals (e.g., MANO parameters) to provide structured guidance during training. A co-training strategy enables the student to benefit from the teacher’s intermediate predictions while remaining text-only at inference. Evaluated using two diffusion backbones on GRAB and H2O, …

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 …

Teaching Machines To Deter: Exploring Strategic Deterrence In Ai Models, Will Taylor

Theses/Capstones/Creative Projects

This capstone project investigates whether deterrence can emerge as a meaningful strategy within a zero-sum stochastic game using multi-agent reinforcement learning (MARL). After outlining core concepts in game theory and deterrence, the study models a simplified deterrence environment in which two minimax-Q agents repeatedly interact under uncertainty and adversarial incentives. The agents learn from rewards shaped by escalation costs, unilateral vulnerability, and the stabilizing benefits of restraint. Results show that both agents consistently converge toward a conservative, status-quo strategy, overwhelmingly selecting the Maintain action while avoiding both escalation and restraint in most scenarios. This behavior reflects the risk-averse logic of …

The Quality Assurance Machine – A Software Quality Assurance Architecture For Ml-Enabled Systems, Shane E. Downing

All-Inclusive List of Electronic Theses and Dissertations

This dissertation evaluates whether a reusable assurance architecture, the Quality Assurance Machine (QAM), can provide effective product and process quality assurance for ML-enabled software platforms. The QAM is a system-level SQA architecture that turns plans and policies into versioned configurations, executes them in controlled environments, and produces preserved run evidence that supports traceability, auditability, and controlled change. The study follows Design Science Research and evaluates the instantiated artifact using eight assurance requirements (AR1–AR8) synthesized from standards-based guidance, including IEEE 730 and ISO/IEC/IEEE 15026. A four-year longitudinal evaluation combines two methods. First, operational evidence from routine regression and release-validation runs, defect …