Digital Commons Network^™

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 …

Visualizing Probabilistic Model Checking: An Interactive Framework For Exploring Ctmc Models, Ishara Mawelle Kankanamge

All Graduate Theses and Dissertations, Fall 2023 to Present

Probabilistic model checking is a critical method for analyzing systems characterized by uncertainty, such as communication protocols, randomized algorithms, and biochemical networks. While formal verification tools provide precise numerical data about these systems, interpreting these results is often limited by large state space, high-dimensional state space and time dependent evolution. Current tools typically output raw numerical data, offering limited support for intuitively understanding the time-dependent behavior of a model. This research presents an interactive visualization framework designed to bridge the gap between complex numerical analysis and human intuition. The framework integrates coordinated visual interfaces, including lower-dimensional state-space projections and synchronized …

Mease: Multi-Agent Episodic Action Sequence Explanation, Phyo Wai Khaing, Minghong Geng, Shubham Pateria, Budhitama Subagdja, Ah-Hwee Tan

Research Collection School Of Computing and Information Systems

Multi-agent reinforcement learning (MARL) achieves remarkable performance in complex coordination tasks, yet interpreting the emergent behaviors of trained agents remains a fundamental challenge. Most current explainability methods focus on individual agent decisions, overlooking the critical interplay of joint strategiesand temporal coordination patterns that define successful multi-agent policies. We present MEASE (Multi-agent Episodic Action Sequence Explanation), a novel explainable MARL (XMARL) framework that explains trained MARL policies as human-interpretable emergent cooperative joint behaviors. MEASE employs a cognition-inspired episodic memory model to learn spatio-temporal multi-agent interaction patterns, coupled with abstraction algorithms that identify significant cooperative agent behaviors. We evaluate MEASE on diverse …

Quantitative Bounds On Resource Usage Of Probabilistic Programs, Krishnendu Chatterjee, Amir Kafshdar Goharshady, Tobias Meggendorfer, Dorde Zikelic

Research Collection School Of Computing and Information Systems

Cost analysis, also known as resource usage analysis, is the task of finding bounds on the total cost of a program and is a well-studied problem in static analysis. In this work, we consider two classical quantitative problems in cost analysis for probabilistic programs. The first problem is to find a bound on the expected total cost of the program. This is a natural measure for the resource usage of the program and can also be directly applied to average-case runtime analysis. The second problem asks for a tail bound, i.e. ‍given a threshold t the goal is to find …

Market Reactions To Deceptive Language In Fake News: Implications From Language Expectancy Theory And Transfer Learning, Ka Chung Ng, Ping Fan Ke, Ping Fan, Mike So, Tam, Kar Yan

Research Collection School Of Computing and Information Systems

The advent of generative artificial intelligence (AI) has heightened the proliferation of fake news. A key challenge is the limited real-world data to investigate the societal impact of fake news produced by generative AI. In this paper, we examine stock market reactions to financial news articles that exhibit stylometric similarity to human-crafted and AI-crafted fake financial news. Grounded in language expectancy theory, we employ a style-based transfer learning model, pre-trained to recognizing deceptive language employed in various types of fake news intricacies. We then apply this model to a comprehensive dataset of financial news, assigning a “veracity style score” to …

Open Source Software Development Tool Installation: Challenges And Strategies For Novice Developers, Larissa Salerno, Christoph Treude, Patanamon Thongtanunam

Research Collection School Of Computing and Information Systems

As the world of technology advances, so do the tools that software developers use to create new programs. In recent years, software development tools have become more popular, allowing developers to work more efficiently and produce higher-quality software. Still, installing such tools can be challenging for novice developers at the early stage of their careers, as they may face issues such as compatibility problems (e.g., with operating systems) and unclear instructions. Therefore, this work aims to investigate the challenges novice developers face when installing software development tools and the strategies they employ to overcome them. To investigate these, we conducted …

Fighting Against Recruitment Scams: Theory-Driven Supervised Learning And Empirical Analysis For Digital Fraudulent Recruitment Posting Behavior, Tom (Tianteng) Wang, David (Jingjun) Xu, Keng Siau, Zhongju (John) Zhang

Research Collection School Of Computing and Information Systems

The number of recruitment postings on digital recruitment hiring platforms has increased since the COVID-19 pandemic. However, the weak surveillance and operations of these platforms, combined with the fact that most job seekers have relatively low vigilance and a strong desire for recruitment offers, enable scammers to easily deceive job seekers for their money and confidential information. In this work, we combine prevailing text mining techniques (i.e., ChatGPT with prompting engineering and supervised machine learning) with interpersonal deception theory (IDT) from social science to design an interpretable IT system to predict fraudulent recruitment postings on digital recruitment-hiring platforms. We compare …

Federated Neuromorphic Intelligence: Advancing Robustness, Efficiency, And Continual Adaptation In Edge Environments, Manh V. Nguyen

Dissertations

This dissertation investigates how spiking neural networks (SNNs) can improve federated edge intelligence by advancing three interconnected goals: communication efficiency, adversarial robustness, and continual adaptation. As edge computing deployments expand across Internet of Things (IoT), sensing, and privacy-sensitive applications, conventional federated learning approaches built around artificial neural networks (ANNs) face growing limitations in power consumption, bandwidth demand, and resilience to real-world uncertainty. SNNs offer an alternative computational paradigm based on event-driven, sparse, and temporally structured processing that is naturally suited to constrained edge environments. However, their behavior in practical federated settings remains insufficiently understood.

To address this gap, this dissertation …

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 …

Augmented Reality In Fashion Retail: A Walmart Unlimited Study, Chloe A. Mcpherson

Apparel Merchandising and Product Development Undergraduate Honors Theses

As technology continues to evolve, augmented reality (AR) has become increasingly common within the retail and fashion industries. This study explored Gen Z consumers’ perceptions of immersive AR shopping experiences through Walmart Unlimited, an interactive digital shopping platform. The purpose of this research was to better understand how younger consumers respond to AR-enhanced shopping environments and whether these technologies influence attitudes toward convenience, engagement, and sustainability in retail.

A quantitative research design was used for this study. Participants completed the Walmart Unlimited shopping experience and then responded to a Qualtrics survey measuring areas such as immersion, satisfaction, ease of use, …

Post-Quantum Cryptography Encryption Implementation For Messaging App, Callum S. Ward

Theses/Capstones/Creative Projects

This paper and complementary capstone project aim to explore the state of post-quantum cryptography today by defining the algorithms with which quantum computers can decipher modern asymmetric cryptographic algorithms in exponentially accelerated time, exploring national standards body NIST’s recommendations to circumvent these weaknesses with post-quantum solutions, and implementing recommended algorithms in my group’s project for the UNO Computer Science Capstone course, LockTalk. After having decided on ML-KEM for quantum-resistant asymmetric key transfer and AES-256 for symmetric message encryption and decryption, I was able to cryptographically encode messages to obscure their plaintext values from communication interceptions without any discernible increase in …

Message Malware: File Vulnerability Scanning In Messaging Apps, Miah Mason

Theses/Capstones/Creative Projects

As messaging platforms become primary communication hubs within highly secure environments, they introduce significant vulnerabilities regarding file sharing with potential malicious content. This research, an honors extension of the Northrop Grumman sponsored Capstone project ‘LockTalk’, evaluates the technical abilities of automated file scanning methods within messaging platforms like Slack, Microsoft Teams, or our own developed platform LockTalk. This paper investigates a variety of scanning methods and their applications, with particular emphasis on comparing the qualities of static scanning, used in signature-based detection, and dynamic scanning with heuristics. Furthermore, this paper investigates the differences and advantages of both End-to-End Encryption (E2EE), …

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 …

Calibrating Human Trust In The Age Of Generative Ai: An Examination Of Ethical And Social Challenges, Abigail M. Mondido

Honors Theses

Generative AI (GenAI), a set of AI technologies with the ability to generate original, human-like outputs, is beginning to transform the way that information is distributed, composed, published, obtained, analyzed, and consumed. GenAI has seen massive adoption by internet users, businesses, and organizations in recent years despite the persistence of major ethical concerns and social implications. In particular, existing research has identified multiple critical trust-related issues associated with AI in general, including widespread mistrust and distrust, overreliance on AI, and a lack of trustworthiness of AI. There remains a need for a broader understanding of these issues as they relate …

Techno-Imagination: Elevating Creativity Through Xr And Ai, Christopher Spitzer

Creativity and Change Leadership Graduate Student Master's Projects

Techno-Imagination: Elevating Creativity Through XR and AI explores the history of creativity and computing technology, supported by research and academic literature, and looks at the possibilities of a convergence between the two. In parallel, a brief biographical story of the author shares how a passion for creativity emerged, along with a growing interest in science and technology—specifically extended reality—which ultimately came together in the creation of this master’s project. The project also highlights how the Creative Problem Solving (CPS) process was used alongside AI bots and twenty research-based creative thinking skills in developing the business model canvas. Finally, the outcome …

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 …

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 …

A Study Of Visualized Diagnostics In Early Stage Digital Twin Implementation Of An Industrial Control System, Michael R. Kinzel

All-Inclusive List of Electronic Theses and Dissertations

Industrial Control Systems (ICS) are used for process control in almost all industries. An ICS combines Operational Technologies (OT) with Information Technologies (IT) to allow human supervision of a process through surveillance of process variables and manipulation of controlling elements such as valves to maintain stable process conditions. ICSs have been in-service for several decades and may remain operational past their technological service life. Organizational personnel interact with the ICS through visual displays that both indicate the process variables and also the controlling elements. The Human Machine Interface (HMI) allows visibility of the process and the ability to manipulate controlling …

Know Thy Enemy: Building A Command-And-Control Solution For Adversarial Emulation, Caleb J. Chen

Senior Honors Theses

Command and Control (C2) is a critical part of any cyberattack. It serves many purposes, including Distributed Denial of Service (DDoS) attacks, data exfiltration, and malware deployment. Consequently, C2 frameworks play an important part in red team engagements and adversary emulation. However, many adversary emulation solutions focus on comprehensive testing through sequential technique execution instead of realistic chained and automated attacks. The proposed solution is Centurion, an open-source C2 framework that integrates MITRE's ATT&CK framework and several cybersecurity tools into modular playbooks for effective threat emulation. This paper provides background by defining key terms and concepts before delving into a …

You Can’T Spell Audit Without Ai: The Current Uses Of Artificial Intelligence In Audit, Jena Perkins

Senior Honors Theses

The accounting profession continuously adapts to the innovations provided by the broader context in which it exists. Artificial intelligence (AI) is a forerunner among tools used to enhance and optimize auditing services within the accounting profession. The realm of AI offers advancements to procedures used within an audit to detect misstatements. Based on the proprietary platforms developed by Big 4 accounting firms, AI is a key component in maintaining an advanced approach towards auditing.

Student Programming Behavior With And Without Phone Notification Suppression, Gavin T. Eddington

All Graduate Theses and Dissertations, Fall 2023 to Present

Many students work on programming assignments while receiving notifications from their phones, such as text messages or social media alerts. These notifications can interrupt focus and make it harder to stay engaged with a task. This study examines whether silencing phone notifications helps students stay more focused while programming. 

We collected data from students in an introductory computer science course while they worked on programming assignments. Students completed some assignments with notifications silenced and others without. We measured their activity using software that records typing behavior and identifies when students take long pauses, which can indicate interruptions or loss of …

Gencode: A Generic Data Augmentation Framework For Boosting Deep Learning-Based Code Understanding, Zeming Dong, Qiang Hu, Xiaofei Xie, Maxime Cordy, Mike Papadakis, Yves Le Traon, Jianjun Zhao

Research Collection School Of Computing and Information Systems

Pre-trained code models lead the era of code intelligence, with multiple models designed with impressive performance. However, one important problem, data augmentation for code data that automatically helps developers prepare training data lacks study in this field. In this paper, we introduce a generic data augmentation framework, GenCode, to enhance the training of code understanding models. Simply speaking, GenCode follows a generation-and-selection paradigm to prepare useful training code data. Specifically, it employs code augmentation techniques to generate new code candidates first and then identifies important ones as the training data by influence scores. To evaluate the effectiveness of GenCode, we …

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 …

Smart Medical Support System And Swin Transformer Framework For Breast Cancer Detection And Segmentation In Mammograms, Ahed Abugabah, Prashant Kumar Shukla, Piyush Kumar Shukla, Abhishek Dwivedi

All Works

Accurate and reliable breast cancer detection from mammographic images remains a critical challenge due to subtle lesion appearance, high intra-class variability, and class imbalance inherent in clinical datasets. To address these issues, this study proposes Swin-BreastNet, an explainable and optimization-driven deep learning framework for binary classification of benign and malignant breast lesions from full-field digital mammograms. The proposed approach leverages the hierarchical Swin Transformer model to effectively capture fine-grained local texture patterns and long-range contextual dependencies through Shifted Window Multi-head Self-Attention (SW-MSA). A key novelty of this work lies in the integration of Harris Hawks Optimization (HHO) for automated hyperparameter …

Public Health Responsible Ai Capability (Ph-Raic) Framework: A Conceptual Model For Integrating Ai Into Public Health Agencies, Arnob Zahid, Ravishankar Sharma, Rezwan Ahmed

All Works

Background: Artificial intelligence (AI) is transitioning from experimental pilots to core public health functions such as disease surveillance, resource planning, and analysis of social and structural determinants of health. Yet, health data collection and stewardship remain fragmented across the globe; some jurisdictions still rely on paper-based systems, while others operate noninteroperable digital systems that can exacerbate inequities. Treating health data as a global good therefore requires governance that enables innovation while protecting rights, safety, and trust. This study aims to develop a conceptual meso-level capability framework that translates responsible AI principles into organizational practices for public health agencies. Methods: We …

A Visit-Count-Based Complete Foraging Strategy For Robot Swarms, Arturo Yahir Gonzalez

Theses and Dissertations

Swarm robotics systems often rely on a balance between exploration and exploitation to perform tasks like Central Place Foraging. While exploitation methods such as pheromone trails and site fidelity are well-studied, the efficiency of the underlying random search exploration remains a challenge, frequently leading to redundant coverage and wasted time as multiple agents repeatedly search the same fruitless areas. This thesis introduces a memory-enhanced exploration strategy designed to improve the efficiency of random search in a swarm of simple robots.

In our proposed algorithm, each robot, constrained with limited memory, periodically logs its recent locations while exploring. This spatial data …

The Application Of Natural Language Processing Towards Auditing Of Unstructured Data: A Design Science Approach, Dennis K. Amoatey

Electronic Theses and Dissertations

Financial auditors must manually review large volumes of unstructured text that may include contracts, internal policies, footnotes, and journal entry descriptions. This time-intensive process introduces risk of human error and inconsistency. Despite advances in automation, no systematic approach exists for applying Natural Language Processing (NLP) to this problem at scale. Using a design science approach, this study develops a framework that demonstrates how NLP techniques can be incorporated across key phases in the audit process, including planning, internal controls evaluation, evidence gathering, and reporting. Initial evaluation through expert feedback had a mix of responses. While some argued difficulty with data …

Digital Grief Technology To Support Bereavement: A Systematic Review Of Potential Benefits And Risks, Xun Ci Soh, Adalia Yin Hui Goh, Paye Shin Koh, Andree Hartanto

Research Collection School of Social Sciences

Grief is a universal and inevitable experience. However, the way we support the bereaved is changing, especially in the digital era. This systematic review examines the potential benefits and risks associated with various digital grief technologies, including online grief support groups, generative AI chatbots, online memorials, online therapy interventions, virtual reality, and digitally reproduced visuals or audio of the deceased. A systematic search was conducted in seven databases, and 30 articles were included in the final review. Findings indicate that digital grief technologies offer several benefits, such as reductions in grief and depressive symptoms, enhanced social support, greater accessibility, and …

Understanding Critical Thinking In Generative Artificial Intelligence Use: Development, Validation, And Correlates Of The Critical Thinking In Ai Use Scale, Gabriel R. Lau, Wei Yan Low, Louis Tay, Ysabel Thereze Ang Guevarra, Dragon Gašević, Andree Hartanto

Research Collection School of Social Sciences

Generative AI tools are increasingly embedded in everyday work and learning, yet their fluency, opacity, and propensity to hallucinate mean that users must critically evaluate AI outputs rather than accept them at face value. The present research conceptualises critical thinking in AI use as a dispositional tendency to verify the source and content of AI-generated information, to understand how models work and where they fail, and to reflect on the broader implications of relying on AI. Across six studies ( N = 1341), we developed and validated the 13-item critical thinking in AI use scale and mapped its nomological network. …