Artificial Intelligence and Robotics Commons^™

Computational Complexity Of Soundness Verification For Neural Networks, Scott Sirri

McKelvey School of Engineering Graduate Student Theses & Dissertations

Neural networks are an increasingly ubiquitous tool in systems of varying complexity across a range of domains. While these tools can be used to learn and predict complex functions, their opaque nature limits the scope of their acceptable applications. In particular, a lack of performance guarantees means that they are unsuitable for safety-critical applications such as self-driving cars and scheduling systems. Neural networks trained to solve NP-complete problems, in particular, are unlikely to be able to solve the problem exactly. However, a weaker soundness guarantee may be sufficient for some systems, e.g., that positive instances of the problem may be …

Intuiting Interaction: Meta-Reasoning And Meta-Learning As Foundations For Intelligent User Interfaces, Jeffrey Hsu

Theses and Dissertations

This research presents MARCO—a cognitive framework for Intelligent User Interfaces that uses meta-reasoning for context-aware adaptation across diverse tasks. It integrates multiple reasoning modules coordinated by a Meta-Cognitive Unit that selects strategies based on evolving demands. Evaluations show MARCO outperforms baselines in reasoning accuracy and computational efficiency.

Comparative Analysis Of Classical And Machine Learning Pathfinding Approaches, Miguel Gapud

Honors Theses

Pathfinding is an essential task for any autonomous robot. Graph-based classical pathfinding algorithms and machine learning approaches have both been used for this end, but they are often not compared against each other. An implementation of end-to-end (E2E) pathfinding using Proximal Policy Optimization (PPO) and an Alexnet architecture is compared against an implementation of Hybrid A*. A digital twin in Unity3D is used as the testing environment with the Clearpath Dingo as the pathfinding robot. In machine learning, the robot is controlled using PPO through ROS-Noetic with a camera as its sensor. Hybrid A* and its controls are implemented directly …

Advancing Precision And Autonomy In Agriculture And Medical Imaging Through Ai And Computer Visions, Tan-Hanh Pham

Theses and Dissertations

Deep learning has revolutionized numerous fields by enhancing precision, automation, and decision-making capabilities. This dissertation explores its applications in agriculture and medical image processing, introducing novel methodologies to improve accuracy and efficiency in these domains. These fields hold critical societal importance -- agriculture underpins global food security and sustainability, while medical imaging drives advancements in diagnostics and personalized healthcare, both benefiting significantly from data-driven innovations. In agriculture, deep learning is applied to precision spray systems through droplet analysis. Specifically, a generative model is designed to create synthetic droplet images, addressing the challenge of limited training samples, which are expensive …

Graphtreemed: A Hybrid Graph-Tree Rag Architecture For Mission-Critical Medical Applications, Joshit Mohanty, Sandeep Kumar Nayak, Sumit Lahiri

Graduate Student Government Association Research Conference

Studies within engineering management indicate that decision-making is often based on the cognitive processing of grouped and pictographic information clusters entangled with high-level pattern recognition. Similarly, graph-based retrieval-augmented generation (RAG) architectures substantially improve diagnostic accuracy and interpretability, while tree-structured systems reduce critical misses through hierarchical reasoning. However, existing solutions often lack a unified framework that seamlessly integrates these two paradigms to address the multifaceted demands of mission-critical healthcare settings. This proposal introduces GraphTreeMed, a novel hybrid RAG architecture designed to harness the complementary strengths of graph-based and tree-based retrieval mechanisms, thereby advancing the safety and efficacy of clinical decision support …

Leveraging Benford’S Law And Machine Learning For Financial Fraud Detection, Benjamin R. Fu

Cybersecurity Undergraduate Research Showcase

Financial fraud, particularly credit card fraud, continues to pose substantial challenges to financial institutions due to its increasing frequency and impact on consumer trust. While traditional rule-based methods have provided foundational defenses, their limitations in scalability and adaptability have accelerated the adoption of machine learning (ML) techniques. Concurrently, Benford’s Law—a statistical principle often used in forensic accounting—has demonstrated efficacy in detecting anomalies within naturally occurring numerical datasets. This study explores a hybrid fraud detection approach that integrates Benford’s Law with supervised machine learning algorithms, including Logistic Regression, Random Forest, and k-Nearest Neighbors. Using the publicly available European credit card fraud …

Ai Models By Boodlebox: Purpose-Built Intelligence, Kyle Horn

SACAD: Scholarly Activities

Generative AI has transformed the way we interact with technology, enabling dynamic and intelligent conversations through AI-driven bots. This project explores my experience with BoodleBox, a platform that hosts AI chatbots, offering users access to leading AI models such as ChatGPT, Gemini, DALL·E, and DeepSeek. Through the FHSU Generative AI Initiative, I was granted access to experiment with these models and create my own custom AI bot tailored to specific needs. This poster highlights the process of developing a custom bot, including defining instructions, enforcing rules, and sharing the bot for others to use. Additionally, it discusses the background of …

Robust Spacecraft Autonomy For Deep Space Exploration In Special Euclidean Group Se(3), Matthew Wittal

Doctoral Dissertations and Master's Theses

Over the past half-century, humanity has gained extensive experience conducting manned spaceflight near Earth. Arguably, "near Earth" could even include the Moon — the most distant destination humans have reached. However, "near" in this work primarily refers low Earth orbit (LEO). One could argue that we have not truly left Earth since the Apollo, as spacecraft in some LEOs remain subject to atmospheric drag thus emphasizing their continued connection to Earth's immediate environment. Reflecting on this, it becomes clear that humanity has largely remained bound to Earth’s immediate vicinity since the Apollo missions reached the Moon. However, that is set …

Role Of Eye-Tracking Technology And Software Algorithms In Enhancing Adhd Detection And Diagnosis: A Systematic Literature Review, Lauren E. Perkins

Honors College Theses

This systematic literature review explores the role of eye-tracking technology and software algorithms in enhancing the detection and diagnosis of ADHD. ADHD, a neurodevelopmental disorder affecting both children and adults, is traditionally diagnosed through behavioral assessments, which may lack objectivity. Recent studies suggest that eye-tracking, specifically focusing on saccades, fixations, and blink rates, offers the potential for more accurate and objective measures of ADHD. The review examines clinical trials, observational studies, and machine learning research to assess the correlation between ADHD and eye movement patterns. Results indicate that individuals with ADHD exhibit distinct eye movement patterns, which can be quantified …

Investigating Key Structures In Protective Scenes For Llms, Eben M. Weisman

University Honors Theses

This research delves into the realm of "protective scenes" within Large Language Models (LLMs), exploring their impact on bias mitigation, deception, and context preservation. The study investigates the use of roleplay prompting human-like behavior and reasoning in LLMs, focusing on the Character-LLM framework's concept of protective scenes with graduated levels of protection. By combining insights from psychology, cognitive science, and computational analysis, this research aims to develop a framework for understanding how protective scenes influence roleplay performance in LLMs, ultimately contributing to the development of more reliable and ethical AI systems.

Unraveling Genetic Links Between Diabetes And Heart Failure-A Machine Learning Approach, Sunakhi Sahoo, Marzieh Ayati

Research Symposium

Background: Diabetic heart failure (DHF) is defined as a chronic and progressive disease which is associated with both diabetes and heart failure (HF). Even though there have been many developments in the knowledge of these diseases, there is still much to learn about the genetic crossovers between the two. In this study, we identified genes that are associated with diabetic heart failure and heart failure by using gene expression data from patients with DHF, HF, and a control group of patients who died of natural causes. We sought to identify genes that had altered expression levels which could possibly play …

Adversarial Attacks And Defense Methods In Robotic Systems, Thanh D. Le

Shelby Hall Graduate Research Forum Presentations

Presentation slides for a presentation given at the 1st annual Shelby Hall Graduate Research Forum at the University of South Alabama.

Bloom: Behavioral Learning And Outcome Observation In Microbes, Sean Sarwar Haque, Luke Compton Wharton, Ming Lin, Razvan Voicu

Symposium of Student Scholars

Understanding how pathogens respond to physical changes in their environment is crucial for developing effective treatments and preventative measures. Current research often relies on static models or experimental data that either fail to capture the dynamic interactions within cellular environments or are not generalizable to other types of pathogens. This project aims to address this gap by creating a comprehensive cell simulation that models pathogens and their response to chemical, physical, and physiological changes. The proposed solution is a simulation that integrates biological data and computational modeling to replicate the behavior of pathogens in real time as they are affected …

Understanding Misinformation On Social Media Through Truthfulness Stance, Zhengyuan Zhu

Computer Science and Engineering Dissertations - Archive

Misinformation on social media has become a pervasive issue that profoundly influences public opinion and decision-making. As false or misleading claims circulate widely online, there is a critical need for analytical tools to understand how people react to such claims. This dissertation introduces the concept of truthfulness stance as a key lens for social sensing. In essence, truthfulness stance assesses whether a textual utterance believes a factual claim to be true, false, or expresses a neutral stance or no stance toward the claim. Leveraging stance in this manner fills an important gap in misinformation research: it enables us to gauge …

Towards Smart Farming: Image-Based Crop Health Assessment And Disease Diagnosis Using Deep Learning Techniques, Kristina Botova

Master's Theses or Doctor of Nursing Practice

Accurate crop monitoring is essential for optimizing agricultural productivity and ensuring food security. This study presents a comprehensive deep learning framework for image crop type recognition, health status prediction, and disease detection using multiple Convolutional Neural Network (CNN) models. The proposed approach uses open-source datasets consisting of five crop types (apple, corn, grape, potato, tomato), varying health conditions, and common diseases. By deploying specialized CNN architecture focused on each task, the system achieves a high accuracy of 99.25% in classifying crop types, identifying health status, and detecting specific diseases. Compared to a single CNN model, the use of the proposed …

Fares On Fairness: Using A Total Error Framework To Examine The Role Of Measurement And Representation In Training Data On Model Fairness And Bias, Patrick Oliver Schenk, Christoph Kern, Trent D. Buskirk

Information Technology & Decision Sciences Faculty Publications

Data-driven decisions, often based on predictions from machine learning (ML) models are becoming ubiquitous. For these decisions to be just, the underlying ML models must be fair, i.e., work equally well for all parts of the population such as groups defined by gender or age. What are the logical next steps if, however, a trained model is accurate but not fair? How can we guide the whole data pipeline such that we avoid training unfair models based on inadequate data, recognizing possible sources of unfairness early on? How can the concepts of data-based sources of unfairness that exist in the …

Optimizing Decision-Making In A Cerebral Palsy Model Using Reinforcement Learning, Richard Ampah

Pitzer Senior Theses

This study presents an original interdisciplinary investigation into how reinforcement learning (RL) can model motor and cognitive defects and potentially improve motor and cognitive functions in individuals with cerebral palsy (CP), a non-progressive neurological disorder that impairs movement and adaptability. Integrating computational neuroscience and machine learning, the research applies policy gradient methods and Markov Decision Processes (MDPs) to simulate adaptive learning in agents with and without CP-related constraints.

The central aim is to compare the cumulative rewards of optimal policies, derived from value iteration, and human-like learning policies using the REINFORCE algorithm, both with and without the Bellman baseline. The …

A Two-Phase Learning Approach Integrated With Multi-Source Features For Cloud Service Qos Prediction, Fuzan Chen, Jing Yang, Haiyang Feng, Harris Wu, Minqiang Li

Information Technology & Decision Sciences Faculty Publications

Quality of Service (QoS) is a key factor for users when choosing cloud services. However, QoS values are often unavailable due to insufficient user evaluations or provider data. To address this, we propose a new QoS prediction method, Multi-source Feature Two-phase Learning (MFTL). MFTL incorporates multiple sources of features influencing QoS and uses a two-phase learning framework to make effective use of these features. In the first phase, coarse-grained learning is performed using a neighborhood-integrated matrix factorization model, along with a strategy for selecting high-quality neighbors for target users. In the second phase, reinforcement learning through a deep neural network …

Utilizing Artificial Intelligence As A Strategic Risk Management Tool For Public Sector Operations And Auditing Processes, Oğuz Ümit Tamer, Bruce D. Mcdonald Iii, Farouk Hemici, Georgia Kontogeorga

School of Public Service Faculty Publications

Symbolizing a significant turning point in the historical landscape, AI is becoming an effective tool in today's public administration, not only for increasing capacity, quality, and speed in services, but also for strategic risk management. Regulators and algorithmic auditing play a central role in implementing fairness, transparency, and persistent controls against risks in AI systems. Discussing modern applications of AI, such as anomaly-based fraud detection, resource estimation, and continuous auditing, and their respective strengths and weaknesses, this study concludes that AI significantly enhances efficiency and oversight but also poses the risk of enshrining bias, opacity, and accountability gaps. By considering …

Tiered Coalition Formation Game Variants, Stability, And Simulation, Nathan Arnold

Theses and Dissertations--Computer Science

Tiered coalition formation games (TCFGs) have been proposed for modeling the ordering of power in intransitive structures. Furthering our understanding of the usefulness of this concept requires a close examination of this game and its variants, as well as the delineation between stability concepts and methods of finding stable outcomes. Derived from a simulation of the performance of characters in the games Pokémon Red and Blue Versions, we present an approximation of its power structure found via machine learning. We compare our findings to the community consensus ranking presented on a fan-run website, and further comment on the stability of …

Information-Theoretic Methods For Efficient Training And Robust Evaluations In Self-Supervised Learning, Oscar Skean

Theses and Dissertations--Computer Science

Self-supervised learning (SSL) has become a cornerstone of modern machine learning, offering a scalable alternative to costly human annotation by constructing pretext tasks directly from raw data. While SSL has delivered strong results across vision, language, and multimodal domains, two major limitations persist: (1) SSL methods are often significantly slower to train than supervised counterparts, and (2) evaluation protocols remain narrow, with most studies relying on linear probing accuracy on the pretraining dataset. . These challenges are particularly acute for large language models (LLMs), where training costs and interpretability of intermediate representations are critical concerns.

In this work, we propose …

Guiding Evolutionary Algorithms With Large Language Models To Learn Fuzzy Cognitive Maps, Ryan Schuerkamp, Philippe J. Giabbanelli

VMASC Publications

Fuzzy Cognitive Maps (FCMs) are interpretable simulation models that represent causal relationships between concepts as a weighted digraph with labeled nodes. They serve to examine a system’s structure (e.g., what concepts are critical to spreading an intervention’s effects?) and long-term behavior (e.g., if we increase fruit availability, how will its consumption change?). When modelers build FCMs by leveraging participants’ knowledge, the resulting participant-built FCMs can be analyzed and interpreted since participants report perceived causality. However, engaging enough knowledgeable participants to construct an FCM can be challenging. Alternatively, machine learning algorithms derive FCMs from data by selecting relationships to maximize a …

Quantum-Augmented Ai/Ml For O-Ran: Hierarchical Threat Detection For Synergistic Intelligence And Interpretability, Tan Le, Vanessa Le, Sachin Shetty

VMASC Publications

Open Radio Access Networks (O-RAN) enhance modularity and telemetry granularity but also widen the cybersecurity attack surface across disaggregated control, user and management planes. We propose a hierarchical defense framework with three coordinated layers—anomaly detection, intrusion confirmation, and multiattack classification—each aligned with O-RAN’s telemetry stack. Our approach integrates hybrid quantum computing and machine learning, leveraging amplitude- and entanglement-based feature encodings with deep and ensemble classifiers. We conduct extensive benchmarking across synthetic and real-world telemetry, evaluating encoding depth, architectural variants, and diagnostic fidelity. The framework consistently achieves near-perfect accuracy, high recall, and strong class separability. Multi-faceted evaluation across decision boundaries, probabilistic …

Nexus: Network Exploration For Exploiting Unsafe Sequences In Multi-Turn Llm Jailbreaks, Javad Rafiei Asl, Sidhant Narula, Mohammad Ghasemigol, Eduardo Blanco, Daniel Takabi

School of Cybersecurity Faculty Publications

Large Language Models (LLMs) have revolutionized natural language processing, yet remain vulnerable to jailbreak attacks—particularly multi-turn jailbreaks that distribute malicious intent across benign exchanges, thereby bypassing alignment mechanisms. Existing approaches often suffer from limited exploration of the adversarial space, rely on hand-crafted heuristics, or lack systematic query refinement. We propose NEXUS (Network Exploration for eXploiting Unsafe Sequences), a modular framework for constructing, refining, and executing optimized multi-turn attacks. NEXUS comprises: (1) ThoughtNet, which hierarchically expands a harmful intent into a structured semantic network of topics, entities, and query chains; (2) a feedback-driven Simulator that iteratively refines and prunes these chains …

Faithful Narratives From Complex Conceptual Models: Should Modelers Or Large Language Models Simplify Causal Maps, Tyler J. Gandee, Philippe J. Giabbanelli

VMASC Publications

(1) Background: Comprehensive conceptual models can result in complex artifacts, consisting of many concepts that interact through multiple mechanisms. This complexity can be acceptable and even expected when generating rich models, for instance to support ensuing analyses that find central concepts or decompose models into parts that can be managed by different actors. However, complexity can become a barrier when the conceptual model is used directly by individuals. A ‘transparent’ model can support learning among stakeholders (e.g., in group model building) and it can motivate the adoption of specific interventions (i.e., using a model as evidence base). Although advances in …

A Framework For Task Offloading In Heterogeneous Computing Applications Within The Fog Ran Architecture, Samira Taheri, Neda Moghim, Naser Movahhedinia, Sachin Shetty

VMASC Publications

Fog Radio Access Network (Fog RAN) has recently emerged as a promising architecture for supporting low-latency applications by bringing fog nodes and cloud resources closer to end users. However, existing research on computational offloading in Fog RAN lacks a comprehensive framework that addresses three key aspects: where to offload tasks, which processing nodes to utilize, and how to allocate resources for tasks with varying latency requirements. To address this gap, we propose TOFRA (Task Offloading for Fog RAN), a novel latency-aware task offloading framework. TOFRA is a centralized system that determines the optimal offloading strategy, whether to execute tasks locally, …

Physics-Informed Deep Learning With Kalman Filter Mixture For Traffic State Prediction, Niharika Deshpande, Hyoshin (John) Park

Engineering Management & Systems Engineering Faculty Publications

Accurate traffic forecasting is crucial for understanding and managing congestion for efficient transportation planning. However, conventional approaches often neglect epistemic uncertainty, which arises from incomplete knowledge across different spatiotemporal scales. This study addresses this challenge by introducing a novel methodology to establish dynamic spatiotemporal correlations that captures the unobserved heterogeneity in travel time through distinct peaks in probability density functions, guided by physics-based principles. We propose an innovative approach to modifying both prediction and correction steps of the Kalman Filter (KF) algorithm by leveraging established spatiotemporal correlations. Central to our approach is the development of a novel deep learning model …

Quantifying The Transfer Effectiveness Of An Artificial Intelligence-Based Simulator Pre-Training Program For Student Pilots, Ryan Guthridge

Journal of Aviation/Aerospace Education & Research

Since the airline pilot shortage was initially studied in 2016, the pilot hiring model has been significantly impacted, with airlines hiring qualified pilots at unprecedented rates. The COVID-19 pandemic has slowed this hiring rate, however it is expected that airline hiring will soon increase to a rate higher than initially expected (Bureau of Transportation Statistics, 2022). With this dynamic, certified flight instructors are often the most qualified recruits for airlines, due to the number of hours and experience they have gained in the flight training organization. In turn, certified flight instructors are in short supply for flight training organizations worldwide. …

Optiselect And Enshap: Integrating Machine Learning And Game Theory For Ischemic Stroke Prediction, Pritam Chakraborty, Anjan Bandyopadhyay, Sricheta Parul, Sujata Swain, Partha Sarathy Banerjee, Tapas Si, Hong Qin, Saurav Mallik

Computer Science Faculty Publications

Stroke analysis using game theory and machine learning techniques. The study investigates the use of the Shapley value in predictive ischemic brain stroke analysis. Initially, preference algorithms identify the most important features in various machine learning models, including logistic regression, K-nearest neighbor, decision tree, support vector machine (linear kernel), support vector machine ( RBF kernel), neural networks, etc. For each sample, the top 3, 4, and 5 features are evaluated and selected to evaluate their performance. The Shapley value method was used to rank the models using their best four features based on their predictive capabilities. As a result, better-performing …

Differentiating Opioid Use Disorder From Healthy Controls Via Ml Analysis Of Rs-Fmri Networks, Ahmed Temtam, Megan A. Witherow, Liangsuo Ma, M. Shibly Sadique, F. Gerard Moeller, C. Kenneth, Dianne Wright, Khan M. Iftekharuddin

Electrical & Computer Engineering Faculty Publications

Objectives/Goals: This work aims to identify functional brain networks that differentiate opioid use disorder (OUD) subjects from healthy controls (HC) using machine learning (ML) analysis of resting-state fMRI (rs-fMRI). We investigate the default mode network (DMN), salience network (SN), and executive control network (ECN), as well as demographic features. Methods/Study Population: This work uses high-resolution rs-fMRI data from a National Institute on Drug Abuse study (IRB #HM20023630) with 31 OUD and 45 HC subjects. We extract rs-fMRI blood oxygenation level-dependent (BOLD) features from the DMN, SN, and ECN. The Boruta ML algorithm identifies statistically significant features and brain activity mapping …