Open Access. Powered by Scholars. Published by Universities.®

Digital Commons Network™

Open Access. Powered by Scholars. Published by Universities.®

Computer Sciences

Institution
Keyword
Publication Year
Publication
Publication Type
File Type

Articles 601 - 630 of 30043

Full-Text Articles in Entire DC Network

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

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) …


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 May 2026

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 May 2026

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 …


Hdra-Fusion: Hybrid Detection With Routed Architecture For Manipulation-Aware Ai Face Forgery Detection, Omar Ebeid May 2026

Hdra-Fusion: Hybrid Detection With Routed Architecture For Manipulation-Aware Ai Face Forgery Detection, Omar Ebeid

Theses and Dissertations

With the rapid advancements in artificial intelligence-based image generation and manipulation tools, it is extremely difficult to detect if an image is genuine or artificially crafted. Despite extensive research in this area, existing image detection systems suffer from three major problems: suboptimal cross-dataset generalization due to shortcut learning of dataset-specific patterns, unreliable probability estimates due to domain shift, particularly in cross-manipulation evaluation settings, and an inability to detect images manipulated by multiple types of manipulations within a single detection framework. To address these limitations, we propose HDRA-Fusion (Hybrid Detection with Routed Architecture), a framework built on the conclusion that different …


Hybrid Machine Learning For Zero-Day Malware Detection: An Adaptive Static-Dynamic Analysis Approach, Garrett Farmer May 2026

Hybrid Machine Learning For Zero-Day Malware Detection: An Adaptive Static-Dynamic Analysis Approach, Garrett Farmer

Theses and Dissertations

In an era of swiftly evolving cyber threats, zero-day malware continues to be one of the most challenging classes of attacks to detect and mitigate. Traditional signature-based methods often fail to detect novel malicious code, leaving institutions vulnerable to unknown exploits. This thesis proposes a machine learning (ML)-based framework that is designed to detect unknown malware variants. By combining both static and dynamic techniques, such as file structure exam ination and sandbox-based runtime analysis, this approach aims to successfully capture malicious characteristics. The proposed custom pipeline addresses the computational overhead that is associ ated with deep inspections, outlining a staged …


Accurate Polyp Segmentation With Visual Mamba, Diego Adame May 2026

Accurate Polyp Segmentation With Visual Mamba, Diego Adame

Theses and Dissertations

Medical image segmentation is a fundamental task in computer-aided diagnosis because it enables precise delineation of anatomical structures and pathological regions from clinical images. While convolutional neural networks and Transformer-based models have achieved strong performance on many medical segmentation benchmarks, CNNs struggle to model long-range dependencies and Transformers often incur high computational complexity for high-resolution medical images. Recently, state space models have emerged as an efficient alternative for dense prediction tasks due to their ability to capture long-range dependencies with linear complexity. However, existing Mamba-based segmentation models still rely on pixel-wise raster scanning that disrupts spatial locality and use simple …


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

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 …


Evaluating Modern Neural Network Architectures For Suicide Prediction, Kyle Brown May 2026

Evaluating Modern Neural Network Architectures For Suicide Prediction, Kyle Brown

Master's Theses

Suicide remains a leading cause of death among adolescents despite more access to healthcare information than ever before. Medical professionals struggle to make accurate diagnoses and catch warning signs with the overwhelming amount of data available. Machine learning algorithms, including neural networks, have previously been employed for this task, yet it remains an understudied domain.

This research aims to evaluate the capabilities of Multi-Layer Perceptron (MLP) and a selection of its successors, ResNet and MLP with a category embedding layer, at the task of predicting suicidal ideation among high-school students. This research finds ResNet to be the most capable at …


Sevoauth: Secure Voiceprint Authentication With Hash-Based Feature Transformation, Rui Zhang, Zheng Yan, Robert H. Deng May 2026

Sevoauth: Secure Voiceprint Authentication With Hash-Based Feature Transformation, Rui Zhang, Zheng Yan, Robert H. Deng

Research Collection School Of Computing and Information Systems

While voiceprint authentication offers convenient user authentication and access control through voice feature recognition, a critical research gap remains: existing voiceprint authentication systems fail to simultaneously achieve sound security against replay, spoofing, and adversarial attacks, preserve voice privacy leakage, and satisfy usability demand. Previous efforts have struggled to balance these issues comprehensively. To bridge this gap, we present SeVoAuth, a cloud-based Voiceprint Authentication as a Service (VAaaS) system designed to provide privacy preservation, robust security, and enhanced usability. SeVoAuth stores a synthesized voiceprint of a user in the cloud during user registration, thereby safeguarding the privacy of the real voiceprint …


Synthesis And Evaluation Of Long-Term History-Aware Medical Dialogue, Hebin Hu, Renke Dai, Ah-Hwee Tan, Yilin Kang May 2026

Synthesis And Evaluation Of Long-Term History-Aware Medical Dialogue, Hebin Hu, Renke Dai, Ah-Hwee Tan, Yilin Kang

Research Collection School Of Computing and Information Systems

An effective healthcare agent must be able to recall and reason over a patient’s longitudinal medical history. However, the absence of datasets with realistic long-term dialogue timelines limits systematic evaluation. Real clinical text is constrained by privacy and ethics, while existing benchmarks focus on isolated interactions, failing to capture cross-session reasoning. We introduce a framework for synthesizing high-quality, long-term medical dialogues with LLMs. Our approach entails a knowledge-guided decomposition into three stages: constructing synthetic patient profiles with diverse disease and complication trajectories, generating multiturn dialogues per encounter, and integrating them into a coherent longitudinal history dataset, MediLongChat. We establish three …


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 May 2026

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 …


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

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

Senior Honors Theses

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


Volume 17, Christian O’Neill, Kyara Greene, Savva Sidorov, Laura Bisaillon, Luke Clemmer, Hannah Gordon, Kitt Benson, Taylor Blount, Rachel Danzitz, Nicholas Duellman, Chase Gionis, Hima Fernando, Seth Franzyshen, Onyx Gonzalez, Bryan Lin, Samantha Start, Ysabel Wells, Maggie Duncan May 2026

Volume 17, Christian O’Neill, Kyara Greene, Savva Sidorov, Laura Bisaillon, Luke Clemmer, Hannah Gordon, Kitt Benson, Taylor Blount, Rachel Danzitz, Nicholas Duellman, Chase Gionis, Hima Fernando, Seth Franzyshen, Onyx Gonzalez, Bryan Lin, Samantha Start, Ysabel Wells, Maggie Duncan

Incite: The Journal of Undergraduate Scholarship

Introduction Dr. Amorette Barber, Director, Office of Student Research

From the Editor Dr. Hannah Dudley-Shotwell

Cover Artist’s Statement Maggie Duncan

On Mentoring Dr. Yulia Uryadova

Ukrainian Resistance in the Face of Russification: Nestor Makhno and Anarchism

by Christian O’Neill

Life Vest by Kyara Greene

Isolation and 16S rRNA Identification of Bacteria from Fire Department Connection Pipe by Savva Sidorov

The Effectiveness of Planned Exercise in Reducing ADHD Symptoms in Children by Laura Bisaillon & Luke Clemmer

Linguistic Analysis on Confidence and Communication Strategies with Disparities Between Sign Fluency and Hearing Impairment by Hannah Gordon

Freedmen in Indian Territory by Kitt …


Analyzing The Evolution Of Science: Topological Cycles And Community Detection In Knowledge Networks, Frances C. Mcconnell May 2026

Analyzing The Evolution Of Science: Topological Cycles And Community Detection In Knowledge Networks, Frances C. Mcconnell

Mathematics, Statistics, and Computer Science Honors Projects

How scientific knowledge grows and organizes itself is a central question in the study of science. This thesis uses tools from topology and network science to detect and characterize knowledge gaps—places in a field’s literature where related concepts do not co-occur. We develop a metric to quantify the degree of interdisciplinarity of each gap, using the community structure of the underlying network as a proxy for subfields. Across a wide range of fields, gaps reliably span multiple subfields and evolve in recognizable temporal patterns, highlighting new insights into how scientific fields are structured and their stage of development.


Securing Cloud-Native Systems: From Vulnerability Analysis To External And Insider Threat Detection, Jiongchi Yu May 2026

Securing Cloud-Native Systems: From Vulnerability Analysis To External And Insider Threat Detection, Jiongchi Yu

Dissertations and Theses Collection (Open Access)

Cloud-native systems have become the backbone of modern software infrastructure. However, their dynamic resource orchestration and complex configurability introduce a large attack surface and intricate security challenges. Adversaries can externally exploit vulnerabilities in cloud components or perform insider movement within cloud environments to launch attacks. As these systems increasingly support critical services, security breaches can lead to severe operational and economic consequences.

Despite extensive efforts in vulnerability detection and attack monitoring, existing approaches struggle to remain effective in cloud-native environments characterized by rapid evolution and inherent heterogeneity. In particular, they exhibit three fundamental limitations: (1) Insufficient understanding of defect patterns …


Ai Institute Summer Camp Webinar Summary, Dora Nguyen May 2026

Ai Institute Summer Camp Webinar Summary, Dora Nguyen

Paul English Applied Artificial Intelligence (AI) Institute Publications

This report summarizes the AI Institute Summer Camp informational webinar hosted by the Paul English Applied Artificial Intelligence Institute (PEAAII) at the University of Massachusetts Boston. The webinar introduced the structure, curriculum, learning objectives, and student outcomes associated with the 2026 AI Institute Summer Camp. In addition to summarizing the webinar content, this report analyzes participant questions, engagement trends, and areas of audience interest. Findings indicate strong interest in coding accessibility, mentorship opportunities, student outcomes, research experiences, and program flexibility. The report also identifies opportunities for improving future webinar delivery, including expanded eligibility guidance, pre-camp learning resources, enhanced presentation of …


Polyglot File Detection For Forensic Investigations, Chase Stevens May 2026

Polyglot File Detection For Forensic Investigations, Chase Stevens

Graduate Theses and Dissertations (2019 - present)

As technology has become far more ubiquitous over the years, so too has the amount of digital evidence that can and needs to be collected and processed. Forensic tools are developed in response to the growing need, but are limited to what they are programmed to do. One such forensic tool is Autopsy, one of the most widely used open-source tools. Autopsy uses known file-type signatures (e.g., headers, trailers) to identify and recover files from forensic images. Polyglot files introduce a unique problem to both these forensic tools and investigators alike. In the context of the research conducted, polyglot files …


Detecting Sophisticated Cyberattacks On Public Water Infrastructure, Ayrton Purdy May 2026

Detecting Sophisticated Cyberattacks On Public Water Infrastructure, Ayrton Purdy

Graduate Theses and Dissertations (2019 - present)

In recent years there has been an increasing number of cyberattacks on public water generation and distribution systems. Advanced persistent attackers could usurp sensors and control systems to contaminate public drinking water. In order to conceal their malicious activity, they can manipulate sensor data flows to give the appearance of normal activity. The compromised sensors would report normal chemical levels even though unsafe water is entering the distribution system. In response, this research proposes a multi-sensor, cross-comparison approach to anomaly detection. The proposed approach is designed to detect sophisticated cyberattacks which are not easily detectable using traditional cyber tools. The …


Developing A Framework For Microchip Design Recovery, Eric Diep May 2026

Developing A Framework For Microchip Design Recovery, Eric Diep

Graduate Theses and Dissertations (2019 - present)

Due to the increase in diverse chip production over the past decade, reverse engineering has become a difficult and daunting task. This research develops a methodology for microchip design recovery, seeking to validate and reproduce prior approaches to physical reverse engineering using low-cost tools and techniques. We used mechanical hardware abrasion tools and techniques to delayer and capture silicon integrated chip (IC) layout. We focused on the Mifare Classic EVl microchip, commonly implemented in public transit/transportation cards, to extract information for design recovery. The research explores limitations and advantages of mechanical abrasion and optical microscopy in context to modem chip …


Post-Vote Tampering In Nigerian Elections And The Role Of Blockchain-Enabled Electoral Systems, Ransome Chukwubuikem Enechukwu May 2026

Post-Vote Tampering In Nigerian Elections And The Role Of Blockchain-Enabled Electoral Systems, Ransome Chukwubuikem Enechukwu

Electronic Theses and Dissertations

Post-vote tampering during the collation and transmission of election results remains a persistent challenge in Nigerian elections, enabling manipulation of already-cast votes and weakening public trust in electoral outcomes. Existing technological interventions, including biometric voter accreditation and digital result transmission systems, improve voter authentication but do not adequately secure the post-vote result collation process. This thesis proposes a blockchain-enabled framework designed to protect the integrity of election results during the collation and transmission stages. Using a Design Science Research methodology, the study develops a permissioned blockchain framework based on Hyperledger Fabric that records polling-unit results as immutable ledger entries and …


Discovering Strategic Behaviors In The Floor Using Reinforcement Learning, Kevin Parks May 2026

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 …


Sql Query Optimization - Human Vs. Chatgpt, Hailey Dennis May 2026

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 …


Prediabetes Prediction Before Disease Onset Using Multimodal Health Data: A Machine Learning Approach, Luisa Veronica Gracia Mazuca May 2026

Prediabetes Prediction Before Disease Onset Using Multimodal Health Data: A Machine Learning Approach, Luisa Veronica Gracia Mazuca

Open Access Theses & Dissertations

Prediabetes is a critical health condition that increases the risk of developing type 2 diabetes. The hemoglobin A1c (HbA1c) test diagnoses patients with prediabetes, but the disease has already caused metabolic alterations. Early detection is essential for timely interventions, and machine learning models offer a promising approach to identify prediabetic individuals through the analysis of biomarkers such as cytokines. We compared four classifiers-logistic regression, decision tree, random forest, and k-nearest neighbors - using cytokines (TNF-α, MCP-1, IL-1β, IL-6, IFN-γ), age, BMI, and waist-to-hip ratio (WHR). Models were evaluated using stratified 5-fold cross-validation and ROC-AUC. K-Nearest Neighbors (k-NN) achieved the highest …


Provenance Analysis Of Advanced Persistent Threats In Operational Technology Environments, Laura Aminta Guevara May 2026

Provenance Analysis Of Advanced Persistent Threats In Operational Technology Environments, Laura Aminta Guevara

Open Access Theses & Dissertations

Live vulnerability testing and penetration assessments of critical infrastructure are costly, complex operationally and, in many cases, unsafe to conduct directly against live systems, whether these are commissioned in-house and through third-party providers. For Operational Technology environments specifically, these constraints are further aggravated by the limited vendor support and inconsistent security patching available that characterize many industrial communication protocols. This significantly restricts the scope and feasibility of conventional penetration testing. At the same time, the increasing overlapping of OT systems with enterprise networks and the internet has expanded the attack surface of ICS infrastructure, making more pressing the need for …


Zero-Knowledge Proofs For Verifiable Machine Unlearning, Bidur Niroula May 2026

Zero-Knowledge Proofs For Verifiable Machine Unlearning, Bidur Niroula

Open Access Theses & Dissertations

Machine unlearning aims to remove the influence of deleted data from a trained machine learning model. This is important because privacy regulations such as GDPR, CCPA, and PIPEDA give individuals the right to request the deletion of their personal data. Since unlearning can be expensive, a dishonest server may skip it or return an incorrect model and this motivates verifiable machine unlearning. Existing cryptographic approaches prove that the server executed a specific training or unlearning algorithm on the committed dataset, so the proof is tied to the algorithm's trajectory. Empirical verifiers avoid this cost but are known to be circumventable …


Penalty Approach To Constrained Optimization Problems In Water Reservoir And Energy Generation Management, Edwin Horacio Trejo May 2026

Penalty Approach To Constrained Optimization Problems In Water Reservoir And Energy Generation Management, Edwin Horacio Trejo

Open Access Theses & Dissertations

The growing demand for resilient and sustainable energy generation has driven interest in Hybrid Floating Photovoltaic-Hydropower (HFPVH) systems. Operating these systems effectively requires making water release decisions that satisfy physical and regulatory constraints while maximizing energy production. Prior work by Vega (2024) developed a Dynamic Outlier Filter Long Short-Term Memory (DOF-LSTM) architecture for forecasting reservoir release patterns. That predictive work is valid and addresses an important component of the HFPVH decision pipeline. However, the constraint system in that work operates externally to the learning process, and the behavior of penalty-based constraint enforcement had not been studied independently in this context. …


Adversarial Heterogeneous Agent Learning For Robotic Systems: A Framework For Coordinated Competitive Behaviors, Christopher T. Allred May 2026

Adversarial Heterogeneous Agent Learning For Robotic Systems: A Framework For Coordinated Competitive Behaviors, Christopher T. Allred

All Graduate Theses and Dissertations, Fall 2023 to Present

Autonomous robot teams must move reliably, explain their actions, and work together—even in changing or adversarial settings. We present a structured, three-stage pathway that builds coordinated team behavior from strong single-robot skills. First, we develop robust legged-robot locomotion and interpretability using only internal actuator signals. From these proprioceptive cues, robots learn to classify terrain and predict short-term power use, enabling energy-aware movement without external sensors. We further analyze learned behaviors with motif discovery to reveal recurring sensor–action patterns, which clarify how agility emerges and guide reward design. Second, we compose these skills into heterogeneous teamwork using centralized training with decentralized …


Counterfactual Explanations For Time Series Through Local Pattern Mining And Generative Models, Omar Bahri May 2026

Counterfactual Explanations For Time Series Through Local Pattern Mining And Generative Models, Omar Bahri

All Graduate Theses and Dissertations, Fall 2023 to Present

Machine learning systems increasingly make decisions that affect people’s lives, from medical diagnoses to loan approvals. When these systems analyze time series data—sequences of measurements collected over time, such as heart rhythms or sensor readings—users need to understand why a particular prediction was made. Counterfactual explanations address this need by answering “what-if” questions: what would need to change in the input for the system to make a different prediction? 

This dissertation develops methods for generating counterfactual explanations specifically designed for time series data. Time series often contain distinctive local patterns—short subsequences that distinguish one class from another. For example, a …


Advancing Context-Aware Detection Of Socially Harmful Discourse Using Transformer-Based Models, Santosh Chapagain May 2026

Advancing Context-Aware Detection Of Socially Harmful Discourse Using Transformer-Based Models, Santosh Chapagain

All Graduate Theses and Dissertations, Fall 2023 to Present

Social media platforms are a central part of modern communication, shaping how people share ideas, build communities, and discuss social issues. While these spaces can support connection and self expression, they also enable the spread of harmful language such as hate speech. At the same time, social media is an important place where members of marginalized communities, including sexual and gender minorities, express stress, discrimination, and emotional challenges in ways that are often indirect and context dependent.

This research examines whether modern artificial intelligence systems can better identify harmful language and expressions of minority stress in online posts. The study …


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

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 …