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

Digital Commons Network™

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

Physical Sciences and Mathematics

Institution
Keyword
Publication Year
Publication
Publication Type
File Type

Articles 871 - 900 of 78533

Full-Text Articles in Entire DC Network

Identifying Textual Predictors Of Early Termination In Clinical Trials In Medicine: An Explainable Machine-Learning Study, Rohan Ramnarain Jun 2026

Identifying Textual Predictors Of Early Termination In Clinical Trials In Medicine: An Explainable Machine-Learning Study, Rohan Ramnarain

Dissertations, Theses, and Capstone Projects

About one in five clinical trials in medicine ends early, wasting valuable resources and reducing the evidence available for developing life-saving medical treatments. This project uses a method called Trial2Vec, which is a self-supervised machine-learning method that converts clinical trial documents into dense numerical representations that capture their key design and clinical characteristics, to turn each proposed clinical trial’s written protocol into a compact numerical profile (a process referred to as embedding). These profiles are then paired with a predictive machine learning models to identify the words and phrases in the trial documents that can signal a higher risk of …


Supramolecular Assembly In Short Peptide Systems For Selective Metabolite Recognition And Drug Nanoencapsulation, Maithreyi Ramakrishnan Jun 2026

Supramolecular Assembly In Short Peptide Systems For Selective Metabolite Recognition And Drug Nanoencapsulation, Maithreyi Ramakrishnan

Dissertations, Theses, and Capstone Projects

Short peptides can form adaptive supramolecular assemblies, and understanding how minimal sequences organize around neurometabolites or hydrophobic cancer drugs enables the rational design of functional materials. This thesis combines molecular dynamics with experimental validation to establish design rules linking peptide sequence to emergent structure and function. Chapter 1 outlines the molecular determinants governing peptide assembly. Chapter 2 reviews computational workflows that reveal sequence-dependent conformations and supramolecular organization. Chapter 3 applies these principles to Dynamic Peptide Libraries which identify tetrapeptides that selectively interact with neurometabolites. Chapter 4 extends the same interaction-driven framework to design tryptophan-rich pentapeptides that co-assemble with kinase inhibitors …


Radiotheranostics For Gynecological Pathologies, Joni Sebastiano Jun 2026

Radiotheranostics For Gynecological Pathologies, Joni Sebastiano

Dissertations, Theses, and Capstone Projects

Molecular imaging, specifically positron emission tomography (PET), is vital for detecting disease and understanding its biological makeup. The exploitation of radiolabeled antibodies for PET imaging has proven to be indispensable to the field of molecular imaging over the last several decades. The development of radioimmunoconjugates for use in immunoPET has not only allowed for the sensitive, specific, and high-resolution detection of disease, but has also enabled a deeper understanding of the disease biology, ultimately guiding more personalized therapeutic strategies. Most typically, this technology is harnessed for the diagnosis and treatment of cancer, however more recently, the field has explored the …


Computational Insights Into Nucleosome Dynamics In Epigenetics Using Molecular Dynamics Simulations, Rutika Patel Jun 2026

Computational Insights Into Nucleosome Dynamics In Epigenetics Using Molecular Dynamics Simulations, Rutika Patel

Dissertations, Theses, and Capstone Projects

Nucleosome core particles (NCP) are the building blocks that form a highly organized and compact chromatin structure. Nucleosomes package DNA in the nucleus of eukaryotic cells. The NCP consists of about 147 base pairs of DNA wrapped around the histone octamer, with 1.65 superhelical turns in a left-handed manner. The histone octamer is composed of two copies of H3, H4, H2A, and H2B. Together with histone H1 and linker DNA, they further assemble into a higher-order chromatin structure. The nucleosome complex is stabilized by electrostatic interactions between positively charged histone residues and the negatively charged DNA backbone. To effectively access …


A Predictive Coding Account Of Spatial Working Memory Following Prophylactic Levetiracetam Administration Prior To Traumatic Brain Injury, Omeima Mutwali Jun 2026

A Predictive Coding Account Of Spatial Working Memory Following Prophylactic Levetiracetam Administration Prior To Traumatic Brain Injury, Omeima Mutwali

Dissertations, Theses, and Capstone Projects

Traumatic brain injury (TBI) symptom prevention and remediation is an important area of research that would benefit vulnerable groups, including active-duty and veteran soldiers. These patients can sustain penetrative forces in fields of combat or in training, which result in focal lesions that trigger inflammatory and degenerative processes in the brain. Both primary and secondary injuries are associated with changes to cognition, behavior and affective state. This disease poses increased risk of epileptogenesis, as well. Given these outcomes, prior research has evaluated levetiracetam (LEV) as a prophylactic treatment for seizures, cognitive deficits and negative emotionality. LEV acts as a presynaptic …


Can Generative Ai Make Farming Decisions? Current Status And Future Pathways: A Case Study In Row Crop Production With Chatgpt, Nipuna Chamara, Yufeng Ge, Joe Luck, Yu Pan, Saleh Taghvaeian, Cory Walters, Christopher Proctor, Daran Rudnick, Daren Redfearn Jun 2026

Can Generative Ai Make Farming Decisions? Current Status And Future Pathways: A Case Study In Row Crop Production With Chatgpt, Nipuna Chamara, Yufeng Ge, Joe Luck, Yu Pan, Saleh Taghvaeian, Cory Walters, Christopher Proctor, Daran Rudnick, Daren Redfearn

Department of Agricultural and Biological Systems Engineering: Faculty Publications

The agricultural decision-making process is experience-based, knowledge-dependent, time-sensitive, complex, and driven by historical data. Planting, fertilization, irrigation, and chemigation are key categories in farm decision-making, and currently there is no one-shot decision-support tool that covers all these activities. Generative Artificial Intelligence (AI) models are more advanced than traditional machine learning and deep learning models. These models have been trained on vast amounts of data from the internet, allowing them to accept unstructured data in various forms and generate human-like text, solutions to problems, and scenario predictions. Given this capability, we became interested in exploring the potential of generative AI in …


Mathematical Models Of Multisensory Detection And Decision-Making, Rebecca M. Brady Jun 2026

Mathematical Models Of Multisensory Detection And Decision-Making, Rebecca M. Brady

Doctoral

The brain seamlessly integrates signals from multiple sensory modalities to interpret the world efficiently. By using information from various senses, the brain can enhance its ability to detect and respond to stimuli more quickly and accurately. However, combining sensory cues from multiple modalities is only sometimes beneficial as it may lead to illusions and reduced behavioural performance. Behavioural and electrophysiological experiments have revealed that detection and decision-making strategies for multisensory cues evolve throughout human development and ageing. Additionally, studies have demonstrated that maladaptive multisensory processing is a key indicator of a proclivity to falls in older adults and individuals with …


Towards Efficient Continual Learning: From Memory Optimization To Foundation Models, Zilin Luo Jun 2026

Towards Efficient Continual Learning: From Memory Optimization To Foundation Models, Zilin Luo

Dissertations and Theses Collection (Open Access)

Continual learning, also termed lifelong learning, enables machine learning models to incrementally acquire new knowledge while mitigating the degradation of previously learned information—a capability essential for adapting to dynamic, real-world data environments. This dissertation investigates the core challenges of continual learning and extends its application to enhancing training efficiency in the era of foundation models. The first part of this dissertation addresses the constraints of few-shot exemplar storage with a novel compression framework. While leveraging class activation maps to downsample non-discriminative pixels, we introduce an adaptive masking model, optimized through bilevel optimization, to store more exemplars efficiently. The second part …


Crab: A Novel Clustering Score Using Clustering With Rivals And Buddies For Unsupervised Learning, Allen Choi Jun 2026

Crab: A Novel Clustering Score Using Clustering With Rivals And Buddies For Unsupervised Learning, Allen Choi

Master's Theses

Unsupervised clustering algorithms today are used across a wide variety of fields such as biology, engineering, and industry in order to classify observations into groups where labels are not provided. This can provide important latent information regarding the observations within groups, as well as insight regarding the groups themselves. In order to judge the optimal number of clusters for an unsupervised clustering algorithm, many methods exist such as the Elbow Method and Silhouette Score; however, these methods come with drawbacks and are not necessarily flexible across many unsupervised methods. We present a novel clustering score framework relying on a resampling-based …


Gobbling Activity And Use Of Structural Habitat At Nest Sites By Wild Turkeys (Meleagris Gallopavo) In Western Nebraska, Robyn M. Dausener Jun 2026

Gobbling Activity And Use Of Structural Habitat At Nest Sites By Wild Turkeys (Meleagris Gallopavo) In Western Nebraska, Robyn M. Dausener

School of Natural Resources: Dissertations, Theses, and Student Research

Wild turkey (Meleagris gallopavo) populations in Nebraska have declined substantially in recent years. Understanding gobbling chronology and its environmental drivers may inform spring hunting season structure and management actions. I used autonomous recording units (ARUs) in two ecologically distinct regions of Nebraska, the northwestern (NW) Pine Ridge landscape, and the southwestern (SW) agricultural landscape, to quantify gobbling activity from 2023-2025. I paired gobbling data with nesting chronology, cumulative daily hunting pressure, weather conditions, and moon phase using Bayesian generalized additive mixed models. Gobbling peaked during mid-to-late April in both regions, preceding peak nest initiation and incubation, with no …


Invasion Patterns And Niche Dynamics Of The Pollinivorous Florida Calligrapher, Toxomerus Floralis (Diptera: Syrphidae) In The Afrotropical Region, Burgert Muller, John Midgley, Georg Goergen, Ali Al Jahdhami, Michelson Azo'o Ela, Terence Bellingan, Simon Cavaillès, Robert Copeland, Marc De Meyer, Martin Hauser, Allen Holmes, Ximo Mengual, Gabriel Nève, Menno Reemer, Jeff Skevington, Gunilla Ståhls, Eugène Sinzinkayo, John Smit, Axel Ssymank, Genevieve Theron, Kurt Jordaens Jun 2026

Invasion Patterns And Niche Dynamics Of The Pollinivorous Florida Calligrapher, Toxomerus Floralis (Diptera: Syrphidae) In The Afrotropical Region, Burgert Muller, John Midgley, Georg Goergen, Ali Al Jahdhami, Michelson Azo'o Ela, Terence Bellingan, Simon Cavaillès, Robert Copeland, Marc De Meyer, Martin Hauser, Allen Holmes, Ximo Mengual, Gabriel Nève, Menno Reemer, Jeff Skevington, Gunilla Ståhls, Eugène Sinzinkayo, John Smit, Axel Ssymank, Genevieve Theron, Kurt Jordaens

All Peer-Reviewed Publications

The rapid spread of Toxomerus floralis (Fabricius, 1798) (Diptera: Syrphidae) within the Afrotropical region is described. We characterise and compare the climatic niches of T. floralis in its native (Southern North America, Central America and South America) and invaded (Afrotropical Region) range to assess the potential for further expansion across Africa and beyond, and included future global climate models and socioeconomic pathways as projections. Occurrence data for native and invaded ranges were obtained from field sampling by authors, major collections of Afrotropical Syrphidae, collections records and occurrence data from the Global Biodiversity Information Facility (GBIF), including iNaturalist data. Single and …


Gc-Ms-Based Comparative Analysis Of Compounds In Host Plants And Insect Gut Extracts, Rita Dill, Kimberly Smith, Shelia Okoth, Xavier Cheseto, Anne Osano Jun 2026

Gc-Ms-Based Comparative Analysis Of Compounds In Host Plants And Insect Gut Extracts, Rita Dill, Kimberly Smith, Shelia Okoth, Xavier Cheseto, Anne Osano

All Peer-Reviewed Publications

Background/Objectives: Herbivorous insects feed on plant tissues to obtain nutrients necessary for growth and development while simultaneously ingesting diverse plant secondary metabolites. Understanding the fate of these compounds during digestion is important for advancing knowledge of insect nutritional physiology and diet-associated biochemical processes. This study aimed to comparatively profile metabolites in host plants and corresponding insect gut extracts to generate insights into compound transfer and compositional changes within these systems. Methods: Gas Chromatography-Mass Spectrometry (GC-MS) metabolomics was combined with Ultraviolet-Visible (UV–Vis) quantification of total phenols and flavonoids to compare host plant tissues and insect gut extracts in three systems: fall …


Climate-Driven Stochastic Modelling Of Crimean-Congo Haemorrhagic Fever Transmission In Uganda, P. G. Kpatchana, J. Aduda, K. M. Agboka Jun 2026

Climate-Driven Stochastic Modelling Of Crimean-Congo Haemorrhagic Fever Transmission In Uganda, P. G. Kpatchana, J. Aduda, K. M. Agboka

All Peer-Reviewed Publications

Crimean-Congo haemorrhagic fever (CCHF) is a climate-sensitive tick-borne zoonosis that remains a significant public health concern in Uganda, where temperature and vapour pressure deficit influence tick ecology and consequently disease transmission. This study aimed to develop and analyse a climate-driven stochastic model for CCHF transmission among ticks, livestock, and humans under environmental variability in Uganda. A compartmental transmission model was formulated and extended into a stochastic differential equation framework by incorporating multiplicative environmental noise. Climate-dependent tick recruitment, development, and mortality were parameterized using district-level temperature and vapour pressure deficit data to capture spatial heterogeneity in transmission risk. Theoretical analyses based …


Benchmarking Gaslighting Negation Attacks Against Multimodal Large Language Models, Bin Zhu, Yinxuan Gui, Huiyan Qi, Jingjing Chen, Chong-Wah Ngo, Ee-Peng Lim Jun 2026

Benchmarking Gaslighting Negation Attacks Against Multimodal Large Language Models, Bin Zhu, Yinxuan Gui, Huiyan Qi, Jingjing Chen, Chong-Wah Ngo, Ee-Peng Lim

Research Collection School Of Computing and Information Systems

Multimodal Large Language Models (MLLMs) have exhibited remarkable advancements in integrating different modalities, excelling in complex understanding and generation tasks. Despite their success, MLLMs remain vulnerable to conversational adversarial inputs. In this paper, we systematically study gaslighting negation attacks—a phenomenon where models, despite initially providing correct answers, are persuaded by user-provided negations to reverse their outputs, often fabricating justifications. We conduct extensive evaluations of state-of-the-art MLLMs across diverse benchmarks and observe substantial performance drops when negation is introduced. Notably, we introduce the first benchmark GaslightingBench, specifically designed to evaluate the vulnerability of MLLMs to negation arguments. GaslightingBench consists of multiple-choice …


Happycal: Designing Text And Image-Based Supports For Savouring Positive Work Experiences, Molly Stewart, Minghao Cai, Anthony Tang, Sam Liu, Chris Mosunic, Sowmya Somanath Jun 2026

Happycal: Designing Text And Image-Based Supports For Savouring Positive Work Experiences, Molly Stewart, Minghao Cai, Anthony Tang, Sam Liu, Chris Mosunic, Sowmya Somanath

Research Collection School Of Computing and Information Systems

Savouring positive work experiences can promote positive affect and well-being at work, yet there is limited guidance on how digital applications can support workers to engage in savouring. We developed HappyCal, a work-focused savouring application offering two forms of savouring support: text-based, a common modality in workplace reflection tools, and images, a largely unexplored approach in work-related savouring. We conducted an exploratory qualitative study where participants (N=36) used HappyCal over five days and engaged in savouring through either a text-only modality (n=17) or text input paired with image output (n=19). We found that (1) participants in both groups reported heightened …


Empirical Comparsion Of Traveling Salesperson Approximation Algorithms, Shayan Daijavad Jun 2026

Empirical Comparsion Of Traveling Salesperson Approximation Algorithms, Shayan Daijavad

Master's Theses

The traveling salesperson problem deals with optimizing the route a traveling sales- person might take to visit a set of places exactly once and return back to their starting point. The problem is NP-hard, and it is hard to approximate in general, but special cases have many approximation algorithms, which come with tradeoffs. In this thesis we compare the runtime, approximation ratio, and overall implementation complexity of two approximation algorithms for the Euclidean version of the problem, a classical 2-approximation algorithm and the multifragment heuristic. We run both algorithms on randomly generated point sets and real world data from TSPLIB. …


Structured Dynamic Factor Analysis Of Environmental Time Series With Application To Morro Bay Estuary, Jose Garcia Jun 2026

Structured Dynamic Factor Analysis Of Environmental Time Series With Application To Morro Bay Estuary, Jose Garcia

Master's Theses

This thesis develops a structured dynamic factor analysis (sDFA) framework for decomposing multivariate environmental time series into latent biological and physical components. The methodology is applied to five years of high-resolution passive monitoring data collected from two sites in Morro Bay, California from 2020 through 2024. Relative contribution indices are developed based on the structured DFA that measure how much each latent process contributes to each observed variable at any given time. Structured DFA models fit to the application data suggest site-specific patterns in how biological and physical processes affect water quality variables. At the bay mouth location, physical processes …


Applications Of Prior And Novel Computational Tools In Mental Health Treatment, And Their Potential To Uncover The Explanatory Gap, Ambika Vyas Jun 2026

Applications Of Prior And Novel Computational Tools In Mental Health Treatment, And Their Potential To Uncover The Explanatory Gap, Ambika Vyas

University Honors Theses

The explanatory gap is a widely discussed concept in scientific and philosophical literature. In neuroscience, the solution to the explanatory gap is highly sought out, but the general consensus is that it is unsolvable. Numerous articles discuss the explanatory gap alongside computational tools and how these tools could aid neuroscientists in uncovering the mental health explanatory gap. However, significant developments in machine learning have been made since 2020, coinciding with the rise in Large Language Models (LLMs). This thesis is a literature review on computational methods, tools, and devices developed and utilized by researchers to improve how mental health disorders …


Developing A High-Resolution Off-Axis Common-Mode Digital Holographic Microscope, Lucy Cook Jun 2026

Developing A High-Resolution Off-Axis Common-Mode Digital Holographic Microscope, Lucy Cook

University Honors Theses

Off-axis digital holographic microscopy (DHM) is a powerful tool for 3D, non-invasive live-cell tracking without moving parts. However, traditional setups face an inherent dilemma: split-path interferometers offer high spatial resolution but poor temporal stability, while more stable common-mode configurations are historically limited to lower numerical aperture (NA) regimes. This thesis bridges that gap by scaling a common-mode DHM architecture into a high-resolution benchtop instrument featuring NA = 0.65 objectives, paired with a high-power 520 nm laser source to combat transmission losses and sustain imaging frame rates across an expanded optical footprint. We map the multi-variable design space required to satisfy …


Shallow-Marine Crinoid Genera May Have Been More Resilient Across Permian Extinction Events In Terms Of Richness Than Deep-Marine Crinoid Genera, Amelia C. Kolstad Jun 2026

Shallow-Marine Crinoid Genera May Have Been More Resilient Across Permian Extinction Events In Terms Of Richness Than Deep-Marine Crinoid Genera, Amelia C. Kolstad

University Honors Theses

Throughout the Phanerozoic, one of the most successful phyla of marine invertebrates has been Echinodermata. Echinodermata was particularly successful throughout the Paleozoic, with class Crinoidea making up a majority of occurrences. The proportion of echinoderm occurrences that are crinoids declined massively at the end of the Permian and continued to decrease into modern day, never fully recovering. One of the factors thought to have been so important for crinoid success in the Paleozoic and their decreasing success throughout geologic time has been their propensity for success in shallow-marine environments, though crinoids also exist within deep-marine environments. This study seeks to …


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

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., …


Perceptual And Geometric Advances In Crowd Simulation, Bilas Talukdar May 2026

Perceptual And Geometric Advances In Crowd Simulation, Bilas Talukdar

Dissertations

Simulating realistic crowd motion remains a fundamental challenge in computer graphics and multi-agent systems, as it requires modeling both physically plausible interactions and perceptually natural behaviors. Existing crowd simulation methods typically employ simplified geometric abstractions, most commonly circular agent representations, and model navigation using either analytical interaction formulations (e.g., force, velocity, or constraint-based methods) or learned policies derived through reinforcement learning. Despite their effectiveness, these approaches often overlook detailed geometric structure and do not explicitly account for perceptual realism. This dissertation addresses these challenges by improving the realism of virtual crowd simulation through two key advancements: perceptual preference learning and …


Principles Of Privacy And Security In Artificial Intelligence And Applications, Khang Tran May 2026

Principles Of Privacy And Security In Artificial Intelligence And Applications, Khang Tran

Dissertations

Modern artificial intelligence (AI) systems have transformed critical domains such as healthcare, software engineering, finance, and the legal system. Despite their broad impact, concerns about trustworthiness, especially regarding privacy and security, remain major obstacles to wider adoption. Addressing these concerns requires both a systematic understanding of the privacy and security risks inherent in AI systems and the development of principled foundations for trustworthy AI that safeguard client privacy and security. This goal is particularly challenging because of the complexity of modern large-scale AI systems, the trade-offs between privacy and model utility, and the need to simultaneously ensure other important properties …


Mechanics And Physical Attributes Of Nature-Based Alterations: Rock Reinforcement And Urban Heat Island Assessment, Mary Chikondi Ngoma May 2026

Mechanics And Physical Attributes Of Nature-Based Alterations: Rock Reinforcement And Urban Heat Island Assessment, Mary Chikondi Ngoma

Dissertations

Ground improvement is critical to geotechnical and geo-engineering systems, where modification of the properties of geomaterials (rocks and soils) is required to maintain stability and prevent failure of infrastructure installed within and around them. This need has become increasingly important with rapid urbanization and population growth, which intensify demands on surface and subsurface systems and further challenge the performance of supporting geomaterials. As a result, there is growing interest in nature-based solutions, particularly biologically mediated processes such as biocementation, which can enhance the physical, hydraulic, and mechanical properties of geomaterials while offering environmentally sustainable alternatives to conventional ground improvement techniques. …


Parameter Density Estimation For Cardiac Electrophysiology Models Using Data Consistent Deep Learning, Michael Luo May 2026

Parameter Density Estimation For Cardiac Electrophysiology Models Using Data Consistent Deep Learning, Michael Luo

Dissertations

Mathematical models of biological rhythms and excitable systems can provide insights into mechanisms underlying cardiac electrical dynamics. However, estimating the parameters of these models from experimental observations is often difficult due to noise, heterogeneity, and unobserved variables. For example, in an electrocardiogram (ECG) recording, information about the electrical properties of different regions of the heart is compressed into a single voltage trace. Additionally, variability within these signals may contain important information about population heterogeneity, regional differences in electrophysiology, and time-dependent modulation.

This dissertation develops, explores, and evaluates methods that perform feature-based distributional inference for complex nonlinear dynamical systems. The objective …


Edge Co-Occurrence Regularization For Node Classification, Kadir Altunel May 2026

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


Polarimetric Terahertz Imaging For The Measurement Of Birefringence In Plastic, Rachel Cohen May 2026

Polarimetric Terahertz Imaging For The Measurement Of Birefringence In Plastic, Rachel Cohen

Theses

Birefringence offers a promising way to observe stress concentration in materials such as glass and plastic, and thereby to identify weaknesses. Polarimetric imaging can be used to measure the birefringence of material, so long as the material is transparent to the light being used for the imaging. In this research, 2D Terahertz imaging was investigated as a means of measuring the birefringence of plastics that are opaque to visible light but transparent to THz radiation, for the eventual purpose of analyzing the residual stress present. In order to do so, two separate terahertz cameras were characterized for potential use in …


Streamlined Biomedical Image Processing Pipelines, Jiehyun Kim May 2026

Streamlined Biomedical Image Processing Pipelines, Jiehyun Kim

Graduate Doctoral Dissertations

This dissertation focuses on advancing carotid artery analysis through a series of visualizations and deep learning tools for calcified plaque assessment and related biomedical imaging tasks. Accurate plaque evaluation is essential, but current workflows depend on slow, clinician-dependent manual review. To address these limitations, this work introduces the CACTAS framework, a set of tools and methods that enable fast and reliable plaque segmentation for clinicians.

The first study, the CACTAS-Tool, provides a web-based labeling tool that enables clinicians to label plaque directly in three dimensions through a streamlined one-click interface. This tool significantly reduces the effort required to generate high-quality …


Computer-Aided Development Of Novel Antioxidants, Rita Bernadett Vlocsko May 2026

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 …


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

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 …