Digital Commons Network^™

From Natural Language To Cryptographic Protocol Specifications: Evaluating Llms For Cpsa Generation, Martin Duclos

Theses and Dissertations

Formal verification can prove the security properties of cryptographic protocols, but translating natural language specifications into formal models requires specialized expertise, limiting the broader adoption of formal verification methods. This dissertation investigates whether large language models (LLMs) can lower this barrier by automatically generating Cryptographic Protocol Shapes Analyzer (CPSA) models from natural language protocol specifications. We evaluate three complementary strategies for improving LLM-based CPSA code generation through systematic experimentation across 104 protocols and 15 language models. First, we analyze prompt engineering and find that moderate structured guidance yields the most accurate outputs, while excessive prompt complexity degrades performance. Second, we …

Validation And Implementation Of Automated Planning Optimization In Utah Valley Hospital, Oluwatobi Adeniji

UNLV Theses, Dissertations, Professional Papers, and Capstones

The increasing complexity of modern radiotherapy demands planning workflows that are efficient, standardized, and dosimetrically robust across diverse disease sites. Knowledge-based planning (KBP) systems such as RapidPlan offer a data-driven approach to automate and improve treatment planning by learning geometric–dosimetric relationships from high-quality clinical plans. In this work, I am evaluating the performance, generalizability, and clinical applicability of vendor-provided RapidPlan models across seven anatomical sites: intracranial SRS, prostate SBRT, right and left lung SBRT, liver SBRT, head and neck, and glioblastoma. Subsequently, a complementary institution-specific SRS model tailored to single-isocenter multitarget workflows was created. Seventy retrospectively selected patients were replanned …

Transboundary Groundwater Flow Between Niger And Nigeria In The Iullemeden Aquifer System, Gare Ambrose-Igho

UNLV Theses, Dissertations, Professional Papers, and Capstones

Groundwater is important in regions where water resources are not abundantly distributed such as arid and semi-arid regions. In many countries in Africa, groundwater serves as the most reliable source of water supply and supports over 50% of the African population. Groundwater is stored in underground water-bearing permeable rocks, rock fractures, or unconsolidated materials known as aquifers. Groundwater can be transboundary, meaning it crosses international political boundaries between two or more sovereign states. Transboundary aquifers are prone to overexploitation that depletes the groundwater resource and can cause a lowering of the water table and possible ground subsidence. Overexploitation in transboundary …

Unknowing Sacrifices: Public Health And Radiation Illness In New Mexico And Nevada, 1940s-1960s, Beatriz Avila-Marquez

UNLV Theses, Dissertations, Professional Papers, and Capstones

The detonation of the first atomic bomb in the early morning of July 16, 1945, in New Mexico welcomed the atomic age that forever changed the world. After that day, thousands of lives were lost due to nuclear weapons, and hundreds of thousands more continued to suffer from the effects of atomic testing. The Atomic Energy Commission, fueled by the arms race of the Cold War, chose Nevada to continue the United States’ nuclear weapons testing. Knowledge of the dangers of radiation exposure, the effects of radiation, and techniques to prevent exposure are now available in part due to the …

Exploring Ai-Driven Scaffolding For Critical Questioning In Argument Evaluation, Ebenezer A. Belete

UNLV Theses, Dissertations, Professional Papers, and Capstones

The fast-paced changes caused by generative AI (GenAI) innovations call for exploring the potential benefits of GenAI in empowering 21st-century pedagogical strategies. Previous studies in the field of argumentation have shown how students can benefit from using critical questions. However, scaffolding argument evaluation through custom GenAI using critical questions has not been systematically investigated. This study involved two components: (1) designing and determining the usability of a GPT-powered conversational assistant (CQMAA Conversational Assistant) and (2) testing its impact on participants' efficacy for argument evaluation and their acceptance of GenAI as a learning tool through a pretest–posttest experiment. A convergent mixed-methods …

“A Land No One Would Want”: Environmental Activism And The Rejection Of ‘Wasteland’ Narratives In Southern Nevada, Steven Butler

UNLV Theses, Dissertations, Professional Papers, and Capstones

This paper traces events within the history of environmental activism in Southern Nevada. The first chapter discusses the proposed high level nuclear waste repository at Yucca Mountain. The second chapter examines the closure of the Reid Gardner Generating Station in Moapa, Nevada. The third chapter details the Southern Nevada Water Authority’s Groundwater Development Project. Each of the three chapters is linked by common themes within the history of Southern Nevada environmental activism, including dedicated coalition-building and the refusal of “wastelanding” of the region.

Relativistic Transients From Compact Objects: Radiation Processes And Geometric Effects, Connery Chen

UNLV Theses, Dissertations, Professional Papers, and Capstones

Relativistic transients from compact objects probe the most extreme regimes of physics, where strong gravity, ultra-relativistic outflows, and high-energy radiation operate simultaneously; understanding the underlying radiation mechanisms and extrinsic geometric and relativistic effects is essential for interpreting observations and constraining source properties. I develop theoretical and computational frameworks to quantify how geometry and relativistic motion shape observed emission from fast radio bursts, gamma-ray bursts, and neutron star mergers. I analyze fast radio bursts from the Galactic magnetar SGR J1935+2154 and show that emission geometry strongly governs burst energetics and detection probability, and influences the link between radio and X-ray emission. …

The Yorp Effect In Reboundx, Kaelyn Clement

UNLV Theses, Dissertations, Professional Papers, and Capstones

The Yarkovsky-O’Keefe-Radzievskii-Paddack (YORP) effect is a radiation-induced torque that can affect the spin and rotational obliquity of small bodies. It has been observed to alter the rotation rate of asteroids in the Solar System (Lowry et al. 2007; Taylor et al. 2007). Under extreme circumstances, YORP can cause a body to fragment, inducing a cascade of fissions. This effect may be important in driving the pollution of white dwarf atmospheres in conjunction with other radiative forces. I developed a YORP calculator for REBOUNDX (Tamayo et al. 2020), an extensional library to the N-body integrator REBOUND (Rein & Liu 2012). I …

Interpretable Deep Learning Models For Trustworthy Prediction Of Enzyme Functions, Louis Dumontet

UNLV Theses, Dissertations, Professional Papers, and Capstones

Trustworthy prediction of enzyme function from protein sequences remains a central challenge in computational biology, particularly when annotated data are limited, imbalanced, or incomplete. This dissertation develops interpretable deep learning methods for enzyme discovery and enzyme function prediction from amino acid sequences. First, it introduces PEPIC, an interpretable convolutional neural network for substrate-level prediction of hydrolytic plastic-degrading enzymes. Using curated and expanded sequence datasets, PEPIC improved predictive performance over benchmark methods, identified sequence regions aligned with catalytic and substrate-binding residues, and supported the discovery and experimental validation of a previously uncharacterized PET-degrading enzyme. Second, this dissertation investigates the integration of …

Establishing A Comprehensive Framework For Sfrt Lattice Treatments: Optimization, Planning, And Clinical Evaluation, Gregory M. Gill

UNLV Theses, Dissertations, Professional Papers, and Capstones

Spatially fractionated radiation therapy (SFRT) using lattice radiotherapy (LRT) has emerged as a promising treatment technique for bulky, nonresectable tumors by delivering spatially heterogeneous dose distributions consisting of high-dose vertices embedded within lower-dose regions. Although early clinical experiences have demonstrated potential therapeutic benefit, widespread clinical implementation of LRT remains limited due to the absence of standardized treatment planning workflows, consistent optimization strategies, and clearly defined evaluation metrics for heterogeneous dose distributions. The objective of this study is to develop and evaluate a structured framework to support efficient, reproducible, and safe clinical implementation of LRT.

To address these challenges, a comprehensive …

A Modified Maximum Likelihood Estimation Algorithm For Modeling Threshold Exceedances With The Generalized Pareto Distribution, Jeffrey Harkness

UNLV Theses, Dissertations, Professional Papers, and Capstones

A modified maximum likelihood estimation (MLE) algorithm is proposed for modeling threshold exceedances with the generalized Pareto distribution (GPD). The algorithm addresses multiple issues with an approach originally published in the Journal Computational Statistics and Data Analysis (Castillo and Serra, 2015). The modified algorithm is intended to be comparatively simple to understand and implement, accurate in the handling of boundary conditions, relatively fast and reliable for most data sets, and relatively easy to transfer between computer languages by leveraging existing optimization routines.

A reproducibility study of work in recent literature published in the journal Extremes (Belzile, et al., 2023) is …

Exact Solution Of Steady Seepage In An Asymmetrical Domain Underneath A Cofferdam, Tan Nguyen

UNLV Theses, Dissertations, Professional Papers, and Capstones

For decades, the evaluation of steady state seepage beneath asymmetrical cofferdams has relied on numerical methods, such as Finite Element Methods (FEM), Finite Difference Method (FDM), Finite Volume Method (FVM), Mesh Reduction Method (MRM), Meshless Method (MM), Boundary Element Method (BEM), or geometric idealizations, most notably Griffiths' vertical Method of Fragments assumption. While exact closed form solutions via Schwarz-Christoffel (SC) conformal mapping have been well established for symmetrical geometries (Banerjee and Muleshkov), the generalized asymmetrical case has historically remained an intractable mathematical frontier. The primary barrier to an exact analytical solution has been the "crowding problem," a numerical phenomenon where …

Methylation-Dependent Regulatory Pathway That Governs The Stability Of The Sox Family Proteins And Related Developmental Regulators, Keshari Gayathri Rajawasam

UNLV Theses, Dissertations, Professional Papers, and Capstones

The SRY (Sex-determining Region Y) protein is a transcription factor encoded on the Y chromosome and is the key regulator responsible for initiating male sex determination in mammals. During early embryonic development, SRY activates the genetic program that leads to testis formation by promoting the expression of downstream genes involved in male gonadal differentiation. Mutations or dysregulation of SRY can lead to disorders of sex development such as male-to-female sex conversion and hermaphroditism, highlighting its critical role in sex determination.

SRY belongs to the SOX (SRY-related HMG-box) family of transcription factors, which includes the proteins SOX1, SOX2 and SOX3. These …

Fast Radio Bursts And Long Period Radio Transients: Radiation Mechanisms And Propagation Effects, Yuanhong Qu

UNLV Theses, Dissertations, Professional Papers, and Capstones

Fast Radio Bursts (FRBs) are bright radio bursts with the highest brightness temperatures in the radio sky. In this thesis, we investigate the trigger mechanisms, radiation mechanisms, and propagation effects of FRBs. Two general classes of coherent radiation mechanisms are considered in two categories: pulsar-like models invoking emission originating within the magnetar magnetosphere, and GRB-like models, which attribute the emission to relativistic magnetized shocks occurring far away from the central engine. We use the general observed properties (polarization features and spectra bandwidths) of repeating FRBs to constrain the physical conditions needed for these two mechanisms. We propose that crust quakes …

Visual Interpretability Of Multimodal Tissue Perfusion Classification Using Grad-Cam And Saliency Maps, Metehan Zorluoglu

UNLV Theses, Dissertations, Professional Papers, and Capstones

Accurate identification of the tissue perfusion phase from hand images can aid doctors in decision-making with non-invasive techniques. The present study proposes a multimodal deep learning model for classifying the tissue perfusion phase using infrared, thermal, and visible spectrum images of the human hand. The proposed model consists of various preprocessing techniques such as manipulation, homography alignments, and masking. The significant contribution of this thesis is the interpretability analysis of deep learning models, achieved through the analysis of saliency maps and the Gradient-weighted Class Activation Mapping (Grad-CAM) methods. The purpose of this method is to find out how the convolutional …

Digital Literacy And Language Proficiency As Factors Of Accessible Digital Training In The Hospitality Industry: Employee Perspectives Of Training And Working In A Diverse Industry, Gillian Bowden

UNLV Theses, Dissertations, Professional Papers, and Capstones

This explanatory sequential mixed methods study explored how digital literacy and language proficiency impact employees’ access to and engagement with digital training, as well as how these experiences influence their perceptions of training and the organization. In the quantitative phase, survey data were collected from hourly employees at a large foodservice corporation (n=67). Four constructs were assessed: digital literacy, language proficiency, accessibility, and engagement. Results indicated strong, statistically significant relationships with higher levels of digital literacy and language proficiency associated with greater accessibility and increased engagement with digital training materials. The large effect sizes suggest these competencies play a meaningful …

Iterative Silver-Label Refinement For Temporal Information Extraction In Biomedical Literature, Chan Lee

UNLV Theses, Dissertations, Professional Papers, and Capstones

Temporal information extraction plays a critical role in the biomedical domain, where the ability to identify events and their temporal relationships is central to interpreting research findings. However, annotated corpora for this task remain scarce and costly to produce and the existing models developed for clinical text do not transfer well. This work bridges that gap through iterative silver-label refinement. A temporal model originally trained on news-domain data is adapted to biomedical text through cycles of automatic labeling, targeted correction, and retraining without the need for comprehensive manual annotation.

Key contributions include a practical iterative refinement methodology demonstrating that the …

From Flight To Hatching: Adult Sexual Dimorphism, Life History, And Egg-Stage Ecology Of Pseudocotalpa Giulianii, Mandylene Mountain

UNLV Theses, Dissertations, Professional Papers, and Capstones

The Nevada endemic dune beetle Pseudocotalpa giulianii is currently known only from two dune systems in Amargosa Valley, Nevada, yet much of its life cycle occurs below the sand surface and remains poorly documented. This thesis addresses key gaps in adult-stage biology and egg-stage development that are relevant to understanding reproduction, vulnerability, and habitat requirements in this dunerestricted species.

To characterize adult sexual dimorphism and life history, I quantified morphological differences between males and females and measured sex-specific adult survival under laboratory conditions relative to the aboveground flight season. Males and females overlapped broadly in external body size, but tarsal …

Effect Of The Sava Syndemic On Hiv Viral Suppression Among People Living With Hiv In The United States: A Scoping Review And Meta-Analysis, Jacquelyn Rodriguez

UNLV Theses, Dissertations, Professional Papers, and Capstones

The SAVA syndemic highlights the interconnected and mutually reinforcing nature of substance use, violence victimization, and HIV/AIDS. The synergistic interaction of these conditions creates structural and behavioral barriers that disrupt the HIV care continuum and contribute to significant health inequities. Achieving a suppressed viral load is a critical clinical outcome for people living with HIV, while viral non-suppression can be an indicator of poor health, elevated transmission risk, and disease progression. Still, the association between SAVA factors and viral suppression/non-suppression outcomes within U.S. populations remains inconsistently characterized due to heterogeneous methodologies and variable inclusion of high-risk groups. This mixed-methods study …

At The Crossroads Of Traditional And Nuclear Forensics: Decontaminating Radiologically Contaminated Dna Evidence Using Magnetic Beads, Rin Nyx Ruby

UNLV Theses, Dissertations, Professional Papers, and Capstones

Known for its impressive discriminatory power, deoxyribonucleic acid (DNA) fingerprinting stands as the “gold standard” of forensic investigation. However, complications arise when such evidence is contaminated with radioactive material. Though biological samples exposed to ionizing radiation can still yield comprehensive DNA profiles, most forensic laboratories lack the facilities which meet the safety and security requirements necessary for handling radioactive material. While nuclear facilities can decontaminate samples prior to forensic analysis, conventional methods for radiological decontamination – such as mechanical cleaning and chemical washes – may degrade the quality of the forensic evidence. The purpose of this study is to evaluate …

2d And 3d Insights Into The Formation And Emplacement Of Martian Meteorites, Sierra Rhaye Ramsey

UNLV Theses, Dissertations, Professional Papers, and Capstones

Martian meteorites are the only samples currently available from Mars, making their study critical for understanding martian igneous processes. Despite extensive study over the last five decades, the formation (e.g., mantle sources, crystallization pressures), emplacement (e.g., intrusive versus extrusive), and shock histories of these rocks remain uncertain due to their innate lack of geologic context and limited petrologic tools calibrated for martian conditions. This dissertation analyzes a large suite of 22 igneous martian meteorites using complementary 2D and 3D analytical methods to better constrain the magmatic, emplacement, and shock processes responsible for their formation and ejection from Mars.

Chapters 2 …

Beyond English: Auditing And Mitigating Cross-Lingual Data Contamination In Multimodal Large Language Models, Pavan Dharma Adapa

Theses and Dissertations

This thesis extends data contamination auditing for multimodal large language models to multilingual settings. Using LLaVA 1.5 and a high-fidelity French parallel dataset derived from ScienceQA, the study evaluates how performance changes when identical image-question pairs are translated from English to French. The resultsshow a substantial cross-lingual performance decline and frequent flips from correct English predictions to incorrect French predictions, indicating that benchmark performance can depend heavily on memorized English-specific patterns rather than stable multimodal reasoning. To address this weakness, the thesis introduces an inference-time mitigation strategy based on perturbation ensembling and cross-lingual consistency aggregation. The proposed method reduces instance-level …

Regional Variability In Tornado Tracks: A Gis-Based Study Of Surface Roughness And Land Cover Differences Between The Lower Midwest And Southeast United States, Joshua Morgan Dison

Theses and Dissertations

Throughout the years, much research has been dedicated to the physical processes leading to tornadogenesis and tornado decay. Much of this research is centered around the inner workings of the supercell itself. Recent studies are now showing that tornadogenesis and decay processes may be generated by interactions with the Earth’s surface. This study examines longtrack tornadoes from 2001-2016 in the southeast and lower Midwest regions of the United States. Utilizing the National Land Cover Database (NLCD) and American Meteorological Society / Environmental Protection Agency / Regulatory Model (AERsurface) surface roughness values, efforts are made to see if statistical significance is …

Adaptive Channel Switching For Contention Resolution, Shafqat Hasan

Theses and Dissertations

Contention resolution is a fundamental problem in distributed computing, where multiple devices compete to transmit over a shared channel without centralized coordination. Classical models typically assume a single always-available channel and focus on minimizing makespan. However, modern wireless systems increasingly operate under spectrum-sharing frameworks in which access to high-capacity spectrum is opportunistic and may be interrupted by higher-priority users. These settings introduce new challenges, including asymmetric channel speeds, adversarially scheduled evictions, and non-trivial switching costs. In this thesis, we study contention resolution in a dual-channel model consisting of a slow, always-available channel and a faster channel subject to adversarially scheduled …

Evaluation And Mitigation Of Bias And Toxicity In Open-Source Large Language Models Using Crows-Pairs And Bold, Sai Harika Gade

Theses and Dissertations

This thesis evaluates bias and harmful language generation in five open-source language models and tests practical mitigation methods that do not require retraining. Two masked models are assessed with a sentence-pair benchmark for stereotype preference, and three generative models are assessed with a prompt-based benchmark for harmful continuations across demographic domains. The study uses a unified experimental workflow to compare model behavior, summarize differences across bias categories, and measure changes after intervention. Results show that the masked models favor stereotypical content above a random baseline, while the generative models usually produce low average toxicity but still show uneven risk across …

Low-Dimensional Metal Halides For Light-Emitting Diodes (Leds): Photophysical Aspects And Device Engineering, Udara Madushanka Kuruppu Kuruppu Achchige Don

Theses and Dissertations

In recent years, low-dimensional metal halides have garnered significant interest due to their exceptional optical properties. This dissertation focuses on the structural, optical, and photophysical properties of both lead-based and lead-free low-dimensional metal halides and investigates their applications in light-emitting diodes. In Chapter II, the nature of Mn2+ doping in two-dimensional (2D) lead halide perovskites is discussed. 2D perovskites show strong excitonic and dielectric confinement due to their quantum well structures. Introducing optically active Mn²⁺ dopant ions into these 2D perovskites further enhances their optical properties and promotes energy transfer from the host to the Mn²⁺ dopants, resulting in dual …

Parhsom: A Novel Parallel Hierarchical Self-Organizing Map Implementation, Rebekah E. Lane

Theses and Dissertations

The digital age has completely transformed the way that information is processed and stored, which makes cybersecurity a crucial field of research. Cybersecurity contains many different domains, but this work focuses on Intrusion Detection Systems (IDSs). Within the literature, Hierarchical Self-Organizing Maps (HSOMs) have been used to create trustworthy, explainable, and AI-based IDSs. However, HSOMs are trained sequentially, which means that training HSOMs on large datasets is slow. This work presents a novel parallel HSOM architecture, called parHSOM. The purpose of this research is to investigate the effect that parallel computation has on the HSOM training time. parHSOM is tested …

Accelerating Defensive Cyber Operations Via Unsupervised Log Clustering And Automated Regex Template Synthesis, Charles Matthew Jones

Theses and Dissertations

Modern Security Operations Centers (SOCs) ingest millions of log entries per day, but manual parsing does not scale to the volume, heterogeneity, and rapid evolution of log formats. This dissertation investigates whether unsupervised clustering can automate the generation of candidate field-extraction templates while remaining deployable in production and feasible under realistic runtime and memory constraints. The central research question asks whether a machine-learning-assisted pipeline that proposes extraction templates for security engineer review—relative to reproducible human-authored baselines such as hand-written regular expressions—can measurably improve rule-set deployability and corpus-scale extraction quality. Improvement is quantified using four applicability metrics: Coverage Rate (CR), Exclusive …

Assessment Of Local Ecological Knowledge, Oyster Predation, And Habitat Function To Improve Management Of Nearshore Habitats, Cynthia Evelyn Marie Lupton

Theses and Dissertations

Coastal ecosystems along the northern Gulf of Mexico are ecologically and economically vital yet increasingly threatened by environmental change, habitat degradation, and knowledge gaps that complicate restoration and management efforts. This dissertation integrates social and ecological approaches to improve understanding of predator dynamics, stakeholder perceptions, and habitat function related to nearshore habitats. Thereby, providing information that can inform adaptive management and restoration in the region through addressing three overarching objectives: 1) evaluate stakeholder perceptions of oyster (Crassostrea virginica) predation and management practices; 2) quantify environmental and habitat factors influencing oyster drill (Stramonita haemastoma complex) abundance; and, 3) assess the influence …

Using Seafloor Geomorphology, Classification Schema, And Spatial Analysis To Predict Geologic Structures, With Applications For Mars, Emma Morgan

Theses and Dissertations

This study evaluated whether seafloor geomorphology can be used to predict subsurface fault locations along the Cascadia continental margin and explored whether such relationships can be transferred to Mars. Geomorphological classification schemas such as geomorphons, bathymetric position index (BPI), slope, rugosity, aspect, and curvature were derived from seafloor bathymetry data and used as predictor variables in maximum entropy (MaxEnt) models developed separately for Pre-Pleistocene, Pleistocene, Quaternary, and active fault datasets. Model performance ranged from AUC = 0.62 to 0.67, showing moderate predictive skill, with younger fault systems exhibiting stronger geomorphic associations. A secondary analysis showed a weaker but detectable relationship …