Digital Commons Network^™

Static Data-Race Detection For Gpu Programs: Behavioral Types With Partial Completeness Guarantees, Zhen Rong Liew

Graduate Doctoral Dissertations

GPUs are essential to modern computing but notoriously difficult to program correctly. Static analysis tools can verify data-race freedom, but their over-approximations produce spurious reports of data races that do not occur, limiting their practical usefulness. This dissertation establishes when Memory Access Protocols (MAPs), a compositional abstraction modeling memory access behavior between synchronization barriers, can be simultaneously sound and complete. We first prove that MAP-based analysis is sound and complete for well-typed Jaminan programs---those without data-dependent array indexing. This result establishes the theoretical boundary: completeness is achievable when data-dependent control flow and indexing are absent. Jaminan extends MAPs with symbolic …

The Marginalizing Effect Of Special Education: Investigating The Overrepresentation Of Black Males Identified With Emotional Impairment In A Separate School In An Urban Setting, Cindie Neilson

Graduate Doctoral Dissertations

The American public education system relies heavily on normed and standardized mechanisms to define competence, behavior, and academic success. By design, such systems cannot accommodate the full range of human variation and instead reproduce expectations rooted in dominant culture norms. When embedded within a racially stratified educational system, Special Education, while intended to provide access and opportunity for students with disabilities, can function as a mechanism through which inequality is reproduced. This qualitative study examined the persistent overrepresentation of Black males identified with Emotional Impairment in highly restrictive separate day school settings. The research was conducted in a public separate …

Small Molecule Antioxidants As Potential Therapeutics For Preeclampsia, Maxim Mastyugin

Graduate Doctoral Dissertations

The major goal of this work was to develop a therapeutic intervention against preeclampsia (PE). Preeclampsia affects up to 5-7% of all pregnancies and has no causative treatments. It is associated with oxidative stress caused by a prolonged ischemic state and increase in reactive oxygen species (ROS) in the placenta. The cardinal symptoms include high blood pressure, kidney dysfunction, and in severe cases, eclampsia. With no treatment for the underlying causes available, we offer small molecule antioxidants which may scavenge ROS in the placenta arising from the initiating event of PE, the oxidative stress. By reducing placental ROS, these antioxidants …

Computer-Aided Development Of Novel Antioxidants, Rita Bernadett Vlocsko

Graduate Doctoral Dissertations

Physiological redox homeostasis is a fine balance between prooxidants and antioxidants that are integrated elements of several reduction-oxidation mechanisms at molecular, organellar, cellular and tissue levels. When this equilibrium is disrupted and prooxidants become dominant, the body relies on endogenous and exogenous antioxidants to counterbalance the dysregulation and ultimately prevent the progression of oxidative stress. Reactive species (reactive oxygen species, reactive nitrogen species, or reactive sulfur species) are significant contributors to prooxidant activity. Over the years, substantial knowledge has been accumulated regarding their origin and roles in disease development, leading to the discovery and development of antioxidants that effectively target …

Pipelines And Power: Governance, Conflict, And Hybrid Political Orders In Nigeria's Niger Delta, Nkasiobu Wodu

Graduate Doctoral Dissertations

Abstract

Many conflict-affected states in the Global South can be described as Hybrid Political Orders—governance arrangements where informal authority and formal state institutions coexist, overlap, and contest for power. In Nigeria's Niger Delta, this phenomenon is clearly evident. In this context, the exercise of governmental authority extends beyond the Weberian State. Local and non-state actors such as ethnic-based organizations, former combatants, and traditional authorities routinely perform government-like functions within their spheres of influence.

This study analyzes how extractive corporations, informal authorities, and the Nigerian state co-produce governance and shape patterns of conflict and cooperation in the Niger Delta. Its central …

Whose Knowledge Is Sustained?: Dominican Students’ Cultural And Linguistic Experiences Navigating White, Female, And Monolingual Pedagogical Spaces, Carminia Lissette Castillo

Graduate Doctoral Dissertations

This qualitative study examined how Dominican newcomer youth experience schooling in U.S. secondary schools, with emphasis on language, curriculum, identity, belonging, and students’ visions for more humanizing educational environments. Grounded in student testimonios, the study explored how school structures, pedagogical practices, and teacher–student relationships shape students’ academic engagement, emotional well-being, and sense of recognition as they navigate migration, language transition, and racialized identity formation. Informed by raciolinguistic, culturally sustaining, and critical interpretive frameworks, this study centered Dominican students’ voices as sources of knowledge about schooling, exclusion, and possibility. The findings comprise three central themes. First, students described raciolinguistic schooling …

Arts On The Point: Boston's First Public Sculpture Park, Isabella Slonka

Honors College Theses

Led by the conviction that “a public campus needs public art,” Professor Paul Tucker founded UMass Boston’s Arts on the Point (AoP) sculpture park in 1997. Large-scale works by world-class contemporary artists including Sol LeWitt, Dennis Oppenheim, Luis Jiménez, Sheila Pepe, and Mark di Suvero were made accessible to students, served as teaching aids and attracted those outside of UMB to Columbia Point. AoP’s use of long term loans made the landscape itself a rotating gallery.

Consideration of the “personality” of the campus was essential in the selection of works. Site visits with artists were conducted to ensure that their …

Intergenerational Climate Stories Of South Carolina, Christine Sorrell Dinkins, Laura Barbas Rhoden, Samuel Stuckey, Hayden Jones

Community Based Research

Intergenerational Climate Stories

In this volume, you will hear from South Carolina residents age 45+ who generously agreed to speak with student researchers at Wofford College. In these intergenerational conversations, participants shared how they have experienced and perceived climate change over the course of their lives. Some stories have been anonymized through the use of pseudonyms, while others include participants’ names with permission. In some cases, researcher comments and questions are included for context. The stories have been lightly edited for clarity and concision while preserving the participants’ voices.

All conversations were facilitated in Summer 2023 by Wofford students Hayden …

Developing The Evidence And Associated Service Models To Support Older People Living With Frailty To Manage Their Pain And To Reduce Its Impact On Their Lives: A Mixed Method, Co-Design Study (The Poppy Study).: The Poppy Study, Lesley Brown, Deborah Antcliff, Andrew Clegg, Anne Grice, Pat Schofield, Asim Suleman, Amanda Williams, Nikki Harrison, Nicky Kime, Alan Wright, Natalie Lam, Dan Howdon, Davide Tebaldi, Rahena Mossabir, Sarah Hallas, Thomas F Crocker, Anne Forster

School of Nursing and Midwifery

Background: Frailty increases vulnerability to adverse events (falls, illness) resulting in poorer health outcomes in later life. Persistent pain is common and impactful in older adults with frailty. Pain impact is potentially modifiable, and addressing it is important for supporting this population. The Pain in Older People with Frailty study aimed to generate evidence and develop service models to improve pain management for older adults with frailty and inform service provision for this underserved population. Objective(s): Phase 1: Map research evidence and synthesise findings from randomised controlled trials of multi-component pain management programmes and psychological therapies for community-dwelling older adults. …

Developing The Evidence And Associated Service Models To Improve Pain Management In Older People Living With Frailty: A Synopsis Of The Poppy Mixed Method, Co-Design Study: Poppy, Patricia Schofield

School of Nursing and Midwifery

Background: Frailty increases vulnerability to adverse events (falls, illness) resulting in poorer health outcomes in later life. Persistent pain is common and impactful in older adults with frailty. Pain impact is potentially modifiable, and addressing it is important for supporting this population. The Pain in Older People with Frailty study aimed to generate evidence and develop service models to improve pain management for older adults with frailty and inform service provision for this underserved population. Objective(s): Phase 1: Map research evidence and synthesise findings from randomised controlled trials of multi-component pain management programmes and psychological therapies for community-dwelling older adults. …

Culturally Competent Nurse-Led Education To Reduce Delayed Diagnosis And Increase Awareness Of Polycystic Ovary Syndrome In Reproductive-Aged South Asian Women, Madeeha Syeda

Honors College Theses

Polycystic ovary syndrome (PCOS) is a common condition that affects hormones in women, especially in their 20s and 30s. Symptoms of PCOS include irregular periods, abnormal hair growth, acne, obesity, hyperpigmentation of the skin, cysts, skin tags, thinning hair, and infertility (Newin, 2023). While the exact cause of PCOS is unknown, it is linked to insulin resistance, higher levels of androgens, and low-grade inflammation (Newin, 2023). In regards to complications, PCOS can increase risk for gestational diabetes, preeclampsia, preterm term, and C-section deliveries. In terms of treatment, there is no cure but early diagnosis is key to reducing symptoms (Newin, …

Intervention Levers For Stunting Reduction In Indonesia: Evidence From The 2023 Indonesian Health Survey Data, Iwan Ariawan, Hafizah Jusril, Zahra Izza Afifa, Azka Fitri, Elmarizha Sekar Utami, Mikail Hasan, Dwi Puspasari

Kesmas

Stunting remains the largest public health challenge among macro-nutrition problems in Indonesia, affecting almost a quarter of children under five in 2023. The prevalence is considered high according to the World Health Organization standard. This study analyzed 15 aggregated provincial variables from the 2023 Indonesian Health Survey using Structural Equation Modeling (SEM), focusing on determinants of stunting among children under two to identify primary intervention levers. Findings indicated that intervention urgency should focus on the first 1,000 days, particularly the steep increase in stunting prevalence observed in the 12–24-month age range. While the highest prevalence is in Eastern provinces (e.g., …

Electrospun Nanofiber Scaffolds For In Vitro 3d Tissue Engineering, Victoria E. Santillan, Samerender Nagam Hanumantharao, Stephanie Bule, Ronish M. Shrestha, Carter Rodzik, Alan Mendoza Estrada, Stephen L. Farias, Marina Tanasova, Smitha Rao

Michigan Tech Publications

Tissue engineering is widely used in research for investigating cellular proliferation, behavior, and responses to various stimuli. However, the predictive value of preclinical studies using cell culture plates is limited by the inability to recapitulate the complexity of the physiological microenvironment. Synthetic three-dimensional (3D) scaffolds can be engineered to mimic the complex morphology of the extracellular matrix of native tissues and can serve as physiologically relevant platforms for preclinical studies. In this study, 3D electrospun scaffolds were characterized to aid in breast cancer research. Unlike previous studies that focused primarily on scaffold fabrication or cell viability, this work systematically evaluates …

Re: Conditional Approval Letter For The Butte Priority Soils Operable Unit (Bpsou) 2026 Revised Draft Final Backfill And Cover Soil Quality Assurance Project Plan (Qapp) (Dated May 13, 2026), Molly Roby

Silver Bow Creek/Butte Area Superfund Site

No abstract provided.

Supporting Three-Sector Relationships For Enhancing Agility And Market (Stream): A Comparative Study Of Small And Medium Enterprises (Smes) In China And Indonesia, Marizal Fanani, Muhammad Akmal Daffari, Ikhtiar Anugrah Hidayat, Adinda Qornelica

BISNIS & BIROKRASI: Jurnal Ilmu Administrasi dan Organisasi

In a rapidly evolving borderless economy, the success of Chinese Small and Medium Enterprises (SMEs) in penetrating global markets demonstrates the critical role of structured collaboration among government, industry, and academia. This study examines how intersectoral collaboration, analyzed through the Triple Helix Framework, impacts the innovation agility and market readiness of SMEs in China and Indonesia. This research adopts a qualitative comparative policy analysis, drawing on relevant journals, policy documents, and SME reports to explore how interactions between these sectors influence SME growth and innovation. The findings show that China’s SME is supported by: (1) strong institutional coordination, (2) well-developed …

Investigation Of Environmental Influences On Multiple Sclerosis: A Study For Egypt’S Health, Noha Ezzaldin Alziny Ali

Theses and Dissertations

Background: Multiple sclerosis (MS) is a complex, chronic neuroinflammatory disease influenced by both genetic and environmental factors. While global research has identified potential environmental influences, most evidence comes from Western populations, creating a significant knowledge gap for regions like Egypt, which has witnessed a dramatic rise in MS prevalence over recent decades. This study hypothesized that Egyptian MS patients exhibit a distinct biological signature in their blood, characterized by an imbalance in essential and toxic trace elements (the metallome) and alterations in stress-response biomarkers associated with neuroaxonal injury and cellular stress. Objective: This study aimed to comprehensively profile and compare …

Machine Learning-Driven Prediction And Mechanistic Insight Into Co2 Adsorption On Biomass-Derived Activated Carbons Using Explainable Ai (Xai), Dalia A. Ali Dr.

Chemical Engineering

To improve CO2 uptake in Biomass-Derived Activated Carbon (BDAC), this study develops a multiscale hybrid digital twin framework. By integrating microscopic descriptors from Density Functional Theory and Molecular Dynamics (DFT/MD) with experimental data from 63 chemically diverse biomass precursors, a Gaussian Process Regression (GPR) model was developed using the Materń 5/2 Automatic Relevance Determination (ARD) kernel. The framework achieved high internal training accuracy (R2 = 0.968) and Root Mean Square Error (RMSE = 0.2552), while providing a realistic generalization baseline across heterogeneous precursors with a 5-fold Cross Validated (CV) R2 of 0.1567 and CV RMSE of 0.283. Explainable Artificial Intelligence …

Enhancing Physiological Complexity Through Mindfulness: A Wearable-Based Intervention For First Responders And Their Partners, Thurmon Lockhart, Rahul Soangra, Christopher W. Frames, Sun-Kyung Lee, Amberlee Martin, Susanne Lee, Abigail H. Gewirtz

Physical Therapy Faculty Articles and Research

Background/Objectives: First responders frequently encounter high-stress environments that challenge physiological resilience and autonomic regulation. Heart rate variability (HRV) complexity is a critical marker of adaptive capacity and stress regulation. This study assessed the impact of a wearable-based mindfulness intervention on HRV complexity among first responders using a smartwatch. Methods: A total of 87 first responders participated in a one-month wearable-based intervention. Participants wore Garmin Vivosmart 5 devices to continuously collect PPG data (photoplethysmogram), focusing on beat-to-beat intervals (BBIs). The intervention involved daily Ecological Momentary Assessments (EMAs) and individual randomization to either a mindfulness message, a prompt to access an audio …

Drilling Fluid Enhancement Via Addition Of Sustainably Synthesized Nanoparticles, Hasan A. Abbood, Sarmad Al-Anssari

Research outputs 2022 to 2026

The addition of nanoparticles to the drilling fluids for geological projects is a promising application for enhancing the stability, rheological properties, and overall performance of the mud. This study aims to thoroughly analyze and compare the effects of silica and alumina nanoparticles on the properties and effectiveness of polymer drilling mud. Silica and alpha-alumina nanoparticles were synthesized using the sol-gel process and characterized through several techniques, including X-ray diffraction, Fourier-transform infrared spectroscopy, field-emission scanning electron microscopy, and atomic force microscopy. The effects of silica and alumina nanoparticles on various properties of drilling mud were then measured using a permeable plugging …

Edge Co-Occurrence Regularization For Node Classification, Kadir Altunel

Theses

We propose a simple yet effective regularization technique for node classification on graphs that leverages edge-based label co-occurrence patterns. We first train an MLP on node features to produce class probability distributions, then compute a fixed penalty matrix from edge-based co-occurrence statistics of these predictions. This penalty matrix, which captures unlikely class combinations on connected nodes, is then used to regularize GNN training without further updates. We evaluate this approach across multiple homophilic datasets (Cora, CiteSeer, PubMed, ogbn-arxiv) and heterophilic benchmarks (Chameleon, Squirrel, Actor, Roman-Empire) using three GNN architectures: GCN, GraphSAGE, and H2GCN. Results show consistent improvements on homophilic graphs, …

Deep Learning Approaches For Ctenophore Identification And Tracking, Anagha Bharadwaj

Theses

Ctenophores are translucent marine organisms with nearly invisible tentacles and pose significant challenges due to their transparent morphology and ambiguous structural features. This research addresses the classification and tracking of these organisms and evaluates the performance of current computer vision models under sparse-data environments.

A dataset from the NJIT Life History Lab consisting of microscopic laboratory videos and photographs of different growth stages is used to train and assess a number of convolutional neural network designs, including VGG16, ResNet, BioCLIP2, YOLO, and DeepLabCut. Additionally, a web-based interface is developed to evaluate expert-labeled ground truth with the model's performance.

The findings …

Sound Detection Of Memory Leaks In Llvm Ir Programs Using Accumulation Analysis, Robert Blacha

Theses

Resource leaks occur when a limited resource such as memory is allocated by a program and needlessly held past the point of use. Leaks can lead to a degradation of services which can be specifically triggered with malicious behavior, for example abusing a memory leak in a program to cause a server to slow down and crash for a denial-of-service attack.

Prior work has demonstrated that accumulation analysis provides a sound detection of resource leaks with a working implementation for programs written in Java. While useful, current implementations are limited to programs written in Java, which has a garbage collector, …

Adaptive Multimodal Smart Home Control On A Raspberry Pi 5 Using Hand Gestures, Voice Cues, And User Feedback, Vaibhav Bora

Theses

A real time multimodal smart home control system deployed on a Raspberry Pi 5 is presented. The system combines hand gestures, short voice cues, and proximity aware interaction to execute household commands such as light brightness control, fan speed adjustment, and stop or kill switch actions. Lightweight gesture and keyword spotting voice classifiers were trained offline and exported to TensorFlow Lite for efficient on device inference. For more natural spoken phrases, the system additionally integrates a locally deployed pretrained offline ASR component rather than a speech recognizer trained from scratch. Using a USB camera and microphone, the system operates fully …

Evaluation Of Medical Instrument Reliability For The Heath And Maddox Components Of The Accommodative-Vergence System, Jacob Chabuel

Theses

Binocular vision relies on the coordination of near response triad composed in part by the vergence and accommodative systems. Binocular dysfunctions linked to these systems impact the quality of life of those affected by complicating day-to-day tasks and leading to further health concerns. Clinical evaluations that diagnose dysfunctions and tailor therapies rely on subjective methods, creating a need for a reliable, quantitative, measurement tool. This is achieved using a haploscope, a tool that quantitatively measures and observes binocular vision to identify deficiencies within the eye. Modernization of a haploscope system, measurement of the Heath and Maddox components of the visual …

Autonomous Exploration Of An Environment With Static Obstacles Using A Ppo Agent, Brandon Knight

Theses

Research in autonomous exploration has created many effective algorithms that have been tested and proven to work in many different virtual and physical environments. Many optimizations have also been developed to reduce computational effort and increase exploration speed.

However, despite optimizations, these algorithms can still require considerable computational effort and time to explore even small environments. To obtain further improvements in computation and exploration speed, a reinforcement learning agent using actor-critic style proximal policy optimization (PPO) is trained to explore various environments efficiently, then compared to an algorithm using contemporary exploration methods.

Testing is performed in virtual environments with ideal …

Pypitfall: Dependency Chaos And Supply Chain Vulnerabilities In Python, Jacob Mahon

Theses

Python software development heavily relies on third-party packages. Direct and transitive dependencies create a labyrinth of software supply chains. While it is convenient to reuse code, vulnerabilities within these dependency chains can propagate through dependencies, potentially affecting downstream packages and applications. PyPI, the official Python package repository, hosts many packages and lacks a comprehensive analysis of the prevalence of vulnerable dependencies. PyPitfall, a quantitative analysis of vulnerable dependencies across the PyPI ecosystem, is introduced. The dependency metadata of 378,573 PyPI packages is analyzed. 4,655 packages that explicitly require a known vulnerable package version and 141,044 packages that permit a vulnerable …

Retinomorphic Mid-Wave Infrared In-Sensor Processing Engine: Device-To-Architecture Co-Design, Hemalatha Nagaraju

Theses

Conventional frame-based CMOS image sensors acquire full-frame pixel data at discrete time intervals, resulting in substantial spatial redundancy and loss of temporal information between frames. The repeated conversion and transfer of redundant pixel data increases bandwidth and power consumption in machine vision systems. Retinomorphic sensing architectures address these limitations by enabling programmable, analog-domain processing directly at the sensor interface. A compact behavioral model of the PbSe device is developed in HSPICE based on calibrated TCAD simulation data to capture gate-controlled photocurrent modulation under varying illumination and gate bias conditions. Error analysis is performed to quantify the deviation between TCAD-generated photocurrent …

Robustness Of Ai-Driven Histopathology Under Real-World Adversarial Examples, Ruchik N. Yajnik

Theses

This robustness of histopathology classification models under adversarial and real-world perturbations resembling clinical artifacts is being investigated.

Using whole-slide images from the CAMELYON17 cohort, four representative architectures—ResNet-18, ResNet-50, HIPT-2MLP, and ViT-B/16 —are benchmarked across controlled pixel-level distortions and artifact-like transformations. Adversarial methods include iterative Fast Gradient Sign, Projected Gradient Descent, Salt-and-Pepper noise, and the Adversarial Watermark—Stain Shift (AWSS). Three defense strategies—Randomized Smoothing, Adversarial Training, and an Artifact Detector—are evaluated for their ability to preserve diagnostic accuracy and model reliability. Structured perturbations consistently degrade performance, with transformer-based models showing the greatest sensitivity. The benchmark developed here offers a reproducible framework for …

Ai-Based Simulated Patient Encounters For Clinical Reasoning: A Needs Assessment, Alex Sorrick, David Liebovitz, Sarah Vick, Andrew S. Parsons, Brian W. Locke, Jonathan Herskovitz, Cory Rohlfsen

Graduate Medical Education Research Journal

Background. Artificial Intelligence (AI) offers an opportunity to enhance formative assessment of clinical reasoning skills. Traditionally, these skills have been assessed through workplace-based assessment or simulated patient encounters, both of which are limited by variability in case exposure, faculty resources, scheduling logistics, and cost. AI-based simulated patient encounters provide a scalable solution for convenient, low-stakes practice. At the University of Nebraska Medical Center (UNMC), we piloted an AI-based simulated patient case and conducted a needs assessment to explore current practices and user experiences.

Methods. From June to August 2025, participants trialed an AI-based simulated patient case and received feedback on …

A Literature Review Of Burnout And Associated Tools In Residency Programs, Foluso Obisanya, Fatima Mncube-Barnes, Kudiratu A. Proctor, Charles A. Mcdaniel, Donna M. Alexander, Tyrece D. Hunter

Graduate Medical Education Research Journal

Background. Burnout poses considerable challenges in workplaces, particularly for resident physicians. This intricate phenomenon stems from a myriad of factors that include, but are not limited to, staff shortages, excessive workloads, specific job responsibilities, work environments, and individual psychological factors. The Accreditation Council for Graduate Medical Education encourages institutions to incorporate wellness as a fundamental component of residency training programs.

Methods. The aim of this review was to investigate burnout among resident physicians via a comprehensive literature review to elucidate this significant issue and identify potential preventative intervention strategies. We analyzed the issue of burnout across various residency specialties, providing …