Visualizing Probabilistic Model Checking: An Interactive Framework For Exploring Ctmc Models,
2026
Utah State University
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 …
Augmented Reality In Fashion Retail: A Walmart Unlimited Study,
2026
University of Arkansas, Fayetteville
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, …
Utilizing Physics Informed Neural Networks For Disrupted Signal Dynamics,
2026
East Tennessee State University
Utilizing Physics Informed Neural Networks For Disrupted Signal Dynamics, Nicholas J. Joyner
Electronic Theses and Dissertations
Physics-informed neural networks (PINNs) have been used in many applications including engineering and physical sciences. PINNs allow the incorporation of a priori understanding of a process’ structure into the modeling. We attempt to leverage the PINN structure toward the evaluation of disruptions to classical dynamical models by combining elements of ordinary differential equations into our loss function with sigmoidal gating to balance the penalties for deviations from the data with those for structural deviations. This enables the identification of the signal structure and the limits of disruption influence. As a use case, we consider stock value from 2019-2021, which expresses …
A New Approach To Generate Combinatorial Patterns In Logical Analysis Of Data And Its Application To Predict College Retention,
2026
Florida Institute of Technology
A New Approach To Generate Combinatorial Patterns In Logical Analysis Of Data And Its Application To Predict College Retention, Salihah Ahmed E. Jaafari
Theses and Dissertations
Student retention and degree completion remain central challenges for higher-education institutions, with significant implications for student success, institutional effectiveness, and public accountability. While advances in predictive analytics have enabled earlier identification of students at risk of withdrawal, many commonly used machine learning approaches suffer from limited interpretability, constraining their practical usefulness for advising, intervention, and policy decision making. This dissertation addresses the problem of predicting student persistence by developing and evaluating optimization based, interpretable classification models within the Logical Analysis of Data (LAD) framework. Building on existing LAD formulations, this research introduces two novel pattern generation models, the Best Term …
High Throughput Phenomics Pipeline For Pulse Crop Nutritional Breeding,
2026
Clemson University
High Throughput Phenomics Pipeline For Pulse Crop Nutritional Breeding, Amod Udayanga Madurapperumage
All Dissertations
Dry pea (Pisum sativum L.), lentil (Lens culinaris Medik.), and chickpea (Cicer arietinum L.) are major pulse crops valued for their high nutritional composition and importance to global food systems. Pulses are rich in carbohydrates, protein, and essential minerals, making them ideal whole foods and critical contributors to food and nutrition security. Due to these advantages, pulse breeding programs are increasingly focusing on enhancing nutritional traits, such as protein quality, amino acid balance, and micronutrient density, through the process of biofortification. However, improvement of agronomic traits remains equally essential. Characteristics such as plant height, standability, stress tolerance, …
Enhancing Traffic Safety Through Ai-Driven, Privacy-Preserving, And Secure Impaired Driving Detection Systems,
2026
University of Southern Mississippi
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 …
From Vibration To Visualization: Building An Real-Time Audio Visualization System For Learning And Exploration Using Pyqt5,
2026
Grand Prairie Fine Arts Academy
From Vibration To Visualization: Building An Real-Time Audio Visualization System For Learning And Exploration Using Pyqt5, Aidan Roach
The Transdisciplinary STEAM+ Journal
This paper presents the design, development, and analysis of my real-time audio visualization system created entirely in Python using PyQt5, called WaveCatcher. The system captures live audio input from a microphone and provides simultaneous visual feedback through multiple signal representations: including a time-domain waveform, a frequency-domain FFT spectrum, a scrolling spectrogram, harmonic peak visualization, dynamic range, amplitude envelope, spectral centroid, and spectral bandwidth. These features offer insight not just into the raw structure of sound, but into how humans perceive its qualities–like timbre! This terminology may seem intimidating—it certainly was when I first began learning it—but I’ll explain all of …
Artificial Intelligence In Medicine: Barriers, Solutions, And Strategies,
2026
Midwestern University College of Medicine
Artificial Intelligence In Medicine: Barriers, Solutions, And Strategies, Anil Harrison, Melissa Stradley Moreno, Caroline E. Williams, Munevver Mine Subasi, Ersoy Subasi
HCA Healthcare Journal of Medicine
The integration of artificial intelligence (AI) and machine learning (ML) into health care holds the potential to revolutionize patient care by enhancing clinical decision-making, improving diagnostic accuracy, and reducing costs. Despite this promise, adoption remains limited due to a range of technical, regulatory, educational, and cultural barriers. This paper examines these challenges and proposes strategies to support safe and effective implementation of AI in clinical practice.
Key barriers include the lack of model interpretability, often referred to as the "black box" problem, which undermines clinician trust and accountability in clinical settings, evolving regulatory frameworks and unresolved questions surrounding liability, and …
A Deep Learning-Based Approach For Bot Detection In Trending Hashtags On X,
2026
Department of Robotics & Artificial Intelligence, University is Shaheed Zulfikar Ali Bhutto Institute of Science and Technology, Islamabad 44090, Pakistan
A Deep Learning-Based Approach For Bot Detection In Trending Hashtags On X, Mehboob Hussain, Muhammad Rizwan Rashid Rana, Muhammad Imran, Muhammad Shoaib, Muhammad Hasaan Mujtaba
Makara Journal of Technology
The widespread presence of bots on social media platforms, such as X (formerly Twitter), poses a significant threat to the integrity of online information by facilitating the dissemination of misinformation and manipulating public discourse. This study proposes a robust deep learning-based framework, DeepBot, to detect bot participation in trending hashtags and discussions on X. The approach uses a dataset sourced from Kaggle, comprising user profile metadata, including follower count, tweet frequency, account verification status, and engagement metrics. The data were subjected to comprehensive preprocessing, including noise removal, part-of-speech (POS) tagging, and word embedding using the pre-trained GloVe model. RoBERTa is …
Repurposing An Old Pc Into A Self-Hosted Cloud And Media Server,
2026
Western Michigan University
Repurposing An Old Pc Into A Self-Hosted Cloud And Media Server, Riley Biggins
Honors Theses
Commercial cloud platforms rely heavily on subscription models, so everyday users fall into a "cloud trap" summarized by perpetual fees, forfeited privacy, and a lack of true asset ownership. At the same time, functioning consumer electronics get discarded as e-waste when they fail to meet the hardware requirements of modern operating systems. This project presents a sustainable and cost-effective alternative to both issues by repurposing a 2017 HP Pavilion laptop into a personal cloud and media server.
Despite severe hardware constraints, my software architecture rivals the utility of paid services. By replacing Windows with a headless installation of Ubuntu Server, …
Using Machine Learning To Optimize The Board Game Can't Stop,
2026
Murray State University
Using Machine Learning To Optimize The Board Game Can't Stop, John C. Carter
Honors College Theses
Can’t Stop is a jeopardy dice game invented by Sid Jackson and first published in 1980. It has players rolling four dice to make pairs that advance markers up a board, with the first player to complete three columns winning the game. One of the most important decisions each turn is deciding whether to stop rolling the dice to keep your progress, or risk failing the next roll and losing your progress. Different strategies have been developed on when is the optimal time to stop, using a variety of statistical and mathematical approaches. However, one approach that has not seen …
The Item Response Warehouse: What It Is, How To Use It, And Targets For Potential Improvements,
2026
Stanford University
The Item Response Warehouse: What It Is, How To Use It, And Targets For Potential Improvements, Savira D. Nadela, Hansol Lee, Nishka Jain, Ayaan Gupta, Xingyi Zhang, Benjamin W. Domingue
Chinese/English Journal of Educational Measurement and Evaluation | 教育测量与评估双语期刊
The Item Response Warehouse (IRW) is a repository of harmonized item response datasets designed to support secondary analysis and methodological research in psychological and educational measurement. This paper serves as a practical guide for researchers interested in using the IRW. We describe the structure of IRW datasets and the quantitative and qualitative metadata available for dataset selection, and we demonstrate how researchers can navigate the IRW website to explore and compare available tables. We further show how the IRW R and Python packages can be used to filter datasets programmatically, download response-level data, and generate standardized citations for reproducible research …
The Digital Neuron: Neural Cellular Automata For Neural–Symbolic Translation,
2026
Southern Methodist University
The Digital Neuron: Neural Cellular Automata For Neural–Symbolic Translation, Nicole Assenza
SMU Data Science Review
A neural cellular automata (NCA) architecture, referred to as Pluto’s NCA, was developed to characterize bilateral communication and semantic reciprocity between symbolic representations and a spatially distributed update field. The architecture employs an encoder–automata–decoder pipeline that maps symbolic inputs into a multichannel state field and reconstructs them through agreement-driven attractor convergence within a stable semantic attractor landscape. System behavior was evaluated under controlled perturbations, including rhythmic desynchronization, graded ablations, correlated and independent noise, and percolation-based structural degradation. Quantities such as Agreement(t), internal coherence Aᵢ(t), the recovery time constant τ, and the critical percolation threshold pc were measured to assess stability, …
The Texture Of A Threat: Adversarial Training, Cnns, And Obfuscated Malware Detection,
2026
Liberty University
The Texture Of A Threat: Adversarial Training, Cnns, And Obfuscated Malware Detection, Kaelyn Haynie
Senior Honors Theses
Accurately detecting malicious programs is an expanding field of research for machine learning (ML), with a novel approach incorporating a bytecode-to-image pipeline that produces images representative of software. These images are provided to convolutional neural networks (CNNs) to be examined for malicious pattern indicators. However, CNNs struggle to generalize these patterns effectively while still being robust against adversarial data, an issue which this research addresses with adversarial training. In this paper, three unique CNN architectures (a DBFS-MC-inspired baseline, MIRACLE, and PSP-CNN) are trained for binary classification with 15,000 benign and malicious software samples encoded into images for Android, Windows, and …
Are Certain Mobile Phones Overpriced?,
2026
Northwestern College - Orange City
Are Certain Mobile Phones Overpriced?, Camron Pickard, Jennifer Schon
Celebration of Research
In this project, I investigated the possibility of projecting phone prices based on people’s opinions of their performance. I predicted that the more expensive phones would have higher rating predictions but have lower predicted prices.
Loan Risk Classification Model,
2026
Northwestern College - Orange City
Loan Risk Classification Model, Giulio Palombo
Celebration of Research
I created a model that classifies the customers as good or bad for possible loaners. The model is XGBoost Classification model. I used as target variable the variable “default”. The target variable indicates whether the customer has previously defaulted on a loan or not. The dataset provides a representation of customer behavior and financial status. On top of that, the dataset contains detailed information about banking transactions.
Developing Strategies For Pce Outreach,
2026
Fort Hays State University
Developing Strategies For Pce Outreach, Mariah Blankenbaker, Gordon Carlson, Daniel Adesoji, Levi Eck
SACAD: Scholarly Activities
In collaboration with Professional and Continuing Education (PCE), we produced projects to automate their internal tasks, as well as to promote their services. By taking advantage of software techniques, we bridged live-action footage with 2D and 3D computer visuals for promotional material. In addition, we researched the capabilities of creating a custom Generative Pre-trained Transformer (GPT) and trained it to analyze and interact with thousands of industry datapoints.
Deconstructing The Black Box: An Explainability Analysis Of Deep Learning Architectures In Cytopathology,
2026
Fort Hays State University
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 …
Dermal: A Multi-Input Deep Learning Model For Improving Access To Dermatological Screening,
2026
Arkansas Tech University
Dermal: A Multi-Input Deep Learning Model For Improving Access To Dermatological Screening, Aubreye Freeman
ATU Scholars Symposium
According to the World Health Organization's press release on December 12, 2024, global healthcare spending is dropping significantly, leaving a large percentage of the world without proper healthcare. In an attempt to alleviate this problem, with respect to the field of dermatology, we created a deep learning model, Dermatology Enhanced by Recognition and Machine Aided Learning (DERMAL), to assist in diagnosing skin conditions. DERMAL was trained on a portion of the Google and Stanford Medicine's SCIN dataset, which has more than 10,000 images of various skin conditions. The 9 most common skin conditions of the dataset were selected as the …
Moneyup: A Predictive Financial Management System For College Students,
2026
Arkansas Tech University
Moneyup: A Predictive Financial Management System For College Students, Isaiah J. Adams, Malaya E. Wilburd, Dan V. Le, Joshua P. Golden
ATU Scholars Symposium
College students often lack accessible tools that combine real-time financial tracking, mobile accessibility, predictive analytics, and secure system design, leaving many without structured insight into their spending behavior. MoneyUP is a full-stack financial management platform developed to address these challenges through a secure, data-driven budgeting system deployed as both a web application and a cross-platform Flutter mobile application. The system integrates the Plaid API in its Sandbox environment to synchronize simulated banking data for secure testing without exposing live financial credentials. Transaction data is processed and stored using Supabase with a relational PostgreSQL database structured to enforce normalization, referential integrity, …
