Digital Commons Network^™

Puf-Based Digital Money With Propagation-Of-Provenance And Offline Transfers Between Two Parties, Benjamin Bean, Cyrus Minwalla, Eirini Eleni Tsiropoulou, Jim Plusquellic

Electrical and Computer Engineering ETDs

Building on prior concepts of electronic money (eCash), we introduce a digital currency where a physical unclonable function (PUF) engenders devices with the twin properties of being verifiably enrolled as a member of a legitimate set of eCash devices and possessing of a hardware-based root-of-trust. A hardware-obfuscated secure enclave (HOSE) is proposed as a means of enabling a PUF-based propagation-of-provenance (POP) mechanism, which allows eCash tokens (eCt) to be securely signed and validated by recipients without incurring any third party dependencies at transfer time. The POP scheme establishes a chain of custody starting with token creation, extending through multiple bilateral …

Testing For Dice Control At Craps, Stewart N. Ethier

UNLV Gaming Research & Review Journal

Dice control involves “setting” the dice and then throwing them carefully, in the hope of influencing the outcomes and gaining an advantage at craps. How does one test for this ability? To specify the alternative hypothesis, we need a statistical model of dice control. Two have been suggested in the gambling literature, namely the Smith–Scott model and the Wong–Shackleford model. Both models are parameterized by θ ∈ [0, 1], which measures the shooter’s level of control. We propose and compare four test statistics: (a) the sample proportion of 7s; (b) the sample proportion of pass-line wins; (c) the sample mean …

Modeling Network Growth Via Generalized Isospectral Reductions, David Thomas Litster

Theses and Dissertations

Many real-world networks also exhibit a variety of symmetries. In this thesis we study equitable partitions and isospectral reductions, both of which are generalizations of symmetries. We formalize the relationship between these two types of generalized symmetry through the study of invariant subspaces. We then use recent results about the presence of equitable partitions in real-world networks to develop a network growth model that introduces similar structures, thereby introducing symmetries similar to those in real world networks.

Intrinsic Stability Of Controlled Systems Via Gershgorin-Type Estimates, David Friedbaum

Theses and Dissertations

Time delays are an inherent feature of real-world dynamical systems, arising whenever information, matter, or energy requires non-negligible time to propagate. Even small delays can destabilize systems that are otherwise well behaved, yet most standard control designs--such as PID or LQR--do not explicitly account for them and may fail when delays are present. This thesis investigates the stability of controlled dynamical systems subject to arbitrary time delays and develops new tools to determine when such systems remain stable. Our approach builds on the notion of intrinsic stability, a strong form of global stability introduced by Webb and Bunimovich, which guaranties …

Game-Theoretically Optimal Strategies In Baseball, William Michael Melville

Theses and Dissertations

Baseball players and their managers make numerous decisions that can have a significant effect on the result of the game. The effectiveness of their decision-making strategies depend on the strategies played by their opponents. For example, throwing a first-pitch fastball down the middle is a good strategy against a hitter who always takes the first pitch, but it is a risky strategy against a hitter who likes to swing at the first pitch and who is good at hitting fastballs. Additionally, any payoff a player receives from playing a strategy comes at the expense of their opponent. A batter cannot …

Play-Based Assessment Of The Cardinal Principle, Allyssa Sonnefeld Leavitt

Theses and Dissertations

Gelman and Gallistel (1986) determined five counting principles that are essential for successful counting, including the cardinal principle where children understand that the last number counted represents the quantity of a set of objects. The traditional How many? task and the Give-n task are the most common tasks that have been used to assess whether children understand the cardinal principle. However, many researchers claim that these tasks either overestimate or underestimate children's understanding of the cardinal principle. Some researchers (Baroody & Pellegrino, 2023) suggest that embedding the traditional How many? task in a game may improve its validity. In this …

Full Issue - The Crown, Vol. 2, The Crown

The Crown: Syracuse Honors Research Journal

No abstract provided.

The Mechanics And Consequences Of The Löwenheim-Skolem And Compactness Theorems, Adam Murphy

Honors Program Theses and Projects

The compactness theorem for first-order logic says that for a set of first-order sen-tences to be satisfiable, it’s enough for every finite subset to be satisfiable. We’ll see how the compactness theorem arises from two methods of model construction: first by ultraproducts, and second by Henkin’s method of constructing models from constant symbols. We’ll explore several representative applications of compactness, such as how it can be used to demonstrate that a property is not expressible, establishing limitations on first-order expressibility. The Löwenheim-Skolem theorem says that if an infinite set Γ of first-order sentences has an infinite model, then for all …

Future-Ready Physicians: Exploring Medical Students’ Readiness, Attitudes, And Perceptions Of Healthcare Artificial Intelligence In Saudi Arabia, Hassan Abdulaziz Moria, Amirah Alatawi, Sharifah Alzahrani, Hyder Mirghani, Hisham Al Shadfan

Makara Journal of Health Research

Background: While the integration of artificial intelligence (AI) in healthcare has advanced globally, there is limited research on the preparedness of medical students in the Tabuk region of Saudi Arabia, particularly regarding their specific educational needs and cultural context. This study assessed medical students’ knowledge, attitudes, readiness, and confidence toward AI integration at the University of Tabuk, providing the first comprehensive analysis of AI readiness in this underrepresented northern region of Saudi Arabia.

Methods: A cross-sectional study was conducted among 261 medical students and interns across all academic years (1–6) at the Faculty of Medicine, University of Tabuk, …

Analyzing Intellectual Alternatives To Student Academic Output ``A Specialized Study Of Academic Design Ideas And Alternatives'', Riyam Rajab Fanjan, Armin Sarkis Khosrof

Journal of King Abdulaziz University: Engineering Sciences

The design idea is the foundation on which the architectural design process. It is the basis for creating a distinguished architectural product that reflects the designer's thoughts, orientations, and way of thinking, whether within the black box or the glass box. Generating and selecting alternatives is one of the most important stages, followed by translating the alternative formally and functionally according to the design methodology followed by the designer and according to the design specifications represented by the type of project and its contextual constraints. In the context of architectural work, the research focuses on defining the design idea, the …

Perceptions Of Inclusion In Disability Communication With Plithogenic Fuzzy Soft Sets, Sonia Guerra Iglesias, Andrea Eugenia Pacheco Lemus, Vallardo Villegas-Ricauter, Lorena Del Carmen Bodero Arizaga, Luis Enrique Silva Adriano

Neutrosophic Sets and Systems

This article explores how scientific communication with disability can foster social inclusion through an awareness of the challenge of conveying ambiguous perceptions across fields. This is a timely topic because inclusive communication facilitates equity and subsequent participation in academic and socio-cultural settings by persons with disabilities; however, the existing body of literature does not take an approach that represents an intrinsic indeterminacy of human perceptions. Absent this intrinsic human quality, research results oversimplify abilities and failures to include persons with disabilities. My approach fulfills this gap by using plitogenic fuzzy soft sets, which is a more generalized mathematical construct to …

Study Of Victimization And Perception Of Insecurity In Ecuador: Application Of Hybrid Models With Logistic Regression, Machine Learning, And Neutrosophy, Lorenzo Cevallos-Torres, Mauro M. F. Mediano

Neutrosophic Sets and Systems

Given the victim's rising profile in contemporary victimology and criminology, this study examines victimization and the impact of perceived insecurity, paying particular attention to the situation in Ecuador, where reports of crime and violence in urban areas are on the rise. The overarching goal is to create a reliable model for victimization risk assessment that may also serve as an analytical tool for public policymaking and preventative efforts. One step is to build a classic logistic regression model that takes into account variables like age, sex, education level, occupational category, and level of physical activity. The goal is to understand …

Multi-Criteria Decision-Making For Bid Evaluation And Selection In Water Resource Management Projects, Abdulaziz Alkabaa, Salah Omar Ammari, Abdul Z. Hameed

Journal of King Abdulaziz University: Engineering Sciences

We propose an enhanced multi-criteria decision-making (MCDM) framework using the Analytic Hierarchy Process (AHP) tailored for bid evaluation in water resource management projects. This approach addresses the persistent challenges of transparency, inconsistency, and technical-financial weighting observed in competitive bidding systems. By incorporating structured criteria across qualitative and quantitative dimensions, our model offers a more systematic, equitable, and operationally robust alternative to traditional evaluation practices. Case study applications demonstrate the framework's ability to yield clear differentiation among bids, improve decision traceability, and support procurement efficiency. These findings offer practical implications for policymakers and project stakeholders seeking to modernize bidding practices within …

Design And Optimization Of A Geothermal Thermoelectric Generator System (Gteg) In Saudi Arabia, Hassan Fagehi

Journal of King Abdulaziz University: Engineering Sciences

The demand for renewable energy is growing rapidly, driven by climate change and the need for sustainable solutions. This study focuses on designing and optimizing a geothermal thermoelectric generator (GTEG) system in Saudi Arabia, leveraging the country's geothermal potential. The optimization process investigated key parameters such as substrate materials, thermoelectric leg length, and dimensionless thermal and electrical conductance. The results reveal that using AlN as a substrate material, combined with a reduced leg length of 0.1 mm, significantly enhances power output, achieving 8.5 W per module. Dimensionless analysis further identified optimal dimensionless thermal conductance (N_k = 0.291) and dimensionless …

Windkessel Parameter Estimation For Cardiovascular Feature Identification In Photoplethysmography Data, Calvin Boyce

Undergraduate Honors Theses

Features of cardiovascular health such as blood pressure, cardiac output, arterial compliance, and blood viscosity are important in evaluating heart health and disease risk, but are currently largely measured invasively and therefore only in critical settings. Here we explore the potential for Windkessel models to extract cardiovascular features from photoplethysmography (PPG) data in an attempt to evaluate heart health non-invasively. We show the capacity of a constrained Newton's method optimization scheme to estimate parameters and explore the tractability of the resulting parameters. While Newton's method is able to produce parameters that closely approximate PPG data, we found that using a …

From Drawing To Architecture: Michelangelo’S (Anti)Architectural Methodology, Yida Li

The Crown: Syracuse Honors Research Journal

This paper investigates Michelangelo Buonarroti’s unique approach to architecture through the lens of his drawing practice, arguing that his architectural methodology evolved as an extension—and at times a deliberate rejection—of Renaissance architectural conventions. Beginning from his assertion that “architecture is not my profession,” the study situates Michelangelo’s creative identity within his grounding in disegno, the Renaissance concept that framed drawing as an intellectual act of conception rather than mere representation. Through comparative analysis with Leonardo da Vinci, the research traces how Michelangelo adapted the iterative, investigative qualities of draw-ing into a sculptural and spatial process that defied the rational, arithmetic-based …

Ubqln2 Puncta Formation Dependency On Expression, Domain Structure, And Heat Stress, Mallory Brown

The Crown: Syracuse Honors Research Journal

Ubiquilin 2 (UBQLN2) is a protein that recognizes ubiquitinated substrates and transports them to degradation machinery such as the proteasome. This pathway is crucial for protein quality control and disruptions in it may lead to neurodegenerative diseases such as Amyotrophic Lateral Sclerosis (ALS). UBQLN2 can coalesce to form puncta within the cell. Puncta are still liquid droplets but are separate from the dilute surrounding. It has been shown in vitro that certain domains of the UBQLN2 protein are crucial for its ability to form droplets. However, the influence of these droptlets within cellular UBQLN2 is less understood. The following research …

Rab32c Mediates Osmoregulation And Calcium Homeoastasis In Dictyostelium Discoideum, Ashley Esparza

Theses and Dissertations

Vesicular trafficking is a fundamental process essential to cell viability and dictates roles in both cellular and tissue function in multicellular organisms. To further understand various vesicular trafficking processes, our lab focuses on the moderators of these processes, Rab GTPases, using the model organism Dictyostelium discoideum. This dissertation focuses explicitly on the uncharacterized protein Rab32C, a homolog of human Rab32. While several Rab family members have been well defined, the functionality of Rab32C remains poorly understood. This project investigated both the subcellular localization and functional role of Rab32C with biochemical, imaging, and molecular assays. Results from this study provide evidence …

Compositional Verification In Tla+, John Nguyen

The Crown: Syracuse Honors Research Journal

Formal verification is a subfield of computer science concerned with verifying the correctness of systems using mathematical techniques. It is easy to see from a cursory view that a pro-gram or protocol “does something,” but it is more difficult to see if it “does what you want it to do.” Formal verification allows developers to create a specification of a system that can be automatically verified as satisfying desired properties – formulating “what you want it to do” and proving it. One effective approach of formal verification is inductive invariant inference. An inductive invariant for a property P in a …

Gpu-Accelerated Effective Hamiltonian Calculator, Abhishek Chakraborty, Taylor L. Patti, Brucek Khailany, Andrew N. Jordan, Anima Anandkumar

Mathematics, Physics, and Computer Science Faculty Articles and Research

Effective Hamiltonian calculations for large quantum systems can be both analytically intractable and numerically expensive using standard techniques. In this manuscript, we present numerical techniques inspired by Nonperturbative Analytical Diagonalization (NPAD) and the Magnus expansion for the efficient calculation of effective Hamiltonians. While these tools are appropriate for a wide array of applications, we here demonstrate their utility for models that can be realized in circuit-QED settings. Our numerical techniques are available as an opensource Python package, qCHeff, which is available on GitHub (https://github.com/ NVlabs/qCHeff) and PyPI (https://pypi.org/ project/qcheff/). We use the CuPy library for GPU-acceleration …

There Is No Obstruction To A Euclidean Proof For The Fourth Postulate, José Gil-Férez, Piotr Błaszczyk, M. Andrew Moshier, Alberto Naibo, Jean-Michel Salanskis

Mathematics, Physics, and Computer Science Faculty Articles and Research

In Gil-Férez et al. (2025), we presented a proof of Postulate 4 using purely Euclidean techniques, against which Blåsjö (2025) raised several objections. In this note, we offer linguistic, textual, historical, and mathematical evidence that demonstrate that all these objections are baseless.

Artificial Intelligence For Smes In The Dominican Republic: A Strategic Neutrosophic Pest-Swot Analysis To Navigate Uncertainty, Karina Pérez Teruel

Neutrosophic Sets and Systems

This study examines the adoption of Artificial Intelligence (AI) in Dominican Republic SMEs through a PESTLE-neutrosophic analysis. PESTLE stands for Political, Economic, Social, Technological, Legal and Environmental factors. Neutrosophic is the Philosophy of Indeterminacy. Therefore, we focus on the factors relative to AI adoption in the Dominican Republic—specifiers to the benefits and drawbacks, as well as, the unknowns of operating with AI—with the intention of illuminating attention. The findings support a phased approach for SMEs to view indeterminacy as an opportunity for competitive advantage through improved operational efficiencies, enhanced customer experience, and more informed decision-making. Ultimately, the results position AI …

Shallow Groundwater Extraction Strategies In The Las Vegas Valley, Nevada, Teryl Stacey

UNLV Theses, Dissertations, Professional Papers, and Capstones

The Las Vegas Valley faces severe water scarcity due to Nevada’s limited Colorado River allocation and an arid climate. Population growth and prolonged drought have intensified these constraints, necessitating alternative resource strategies. This project evaluated a strategy to make use of brackish, shallow groundwater (from the top 30 feet below ground surface) located in the central and east-central parts of the valley. Its objective was to extract lower quality shallow groundwater for use as an alternative to fresh water currently being used for some applications that require little to no treatment. Dust suppression is among the most promising of such …

Mapping Climatic And Environmental Determinants Of Parasitic Helminth Prevalence In Southeast Asia, Angelica Avisado

UNLV Theses, Dissertations, Professional Papers, and Capstones

Climate change is reshaping environmental conditions across Southeast Asia (SEA) through rising temperatures, altered precipitation patterns, and increased droughts. These changes alter transmission dynamics of neglected tropical diseases (NTDs) by shifting spatial distribution, increasing larval development rates, faster pathogen growth development, and increasing transmission rates. NTDs are a group of preventable and treatable infections that disproportionately affect more than 1 billion people globally, specifically in tropical and subtropical regions. A subgroup of NTDs, parasitic helminth infections (PHIs) - particularly schistosomiasis, soil-transmitted helminths, and lymphatic filariasis remains a public health concern in the Southeast Asian region. PHIs and their ecological responses …

Automated Spectrum Analysis And Radionuclide Identification For Robot-Based Gamma Probes, Kennedy Ochieng Mengoh Alila

UNLV Theses, Dissertations, Professional Papers, and Capstones

Gamma spectroscopy is a technique used for the detection and identification of nuclear materials. Gamma-ray emission by radio nuclides is detected using scintillation detectors or semiconductor detectors such as NaI and CZT. Robot-based gamma probes enable radiation measurements in large areas and hard-to-reach cluttered hazardous environments, which significantly reduces radiation risks to personnel. The robotic probes require automated on-board gamma spectrum analysis and capabilities with platforms (unmanned aerial vehicles and unmanned ground vehicle systems) which use Robot Operating System (ROS). The aim of this thesis was to develop a method of an automated spectral analysis and isotope identification for robot-based …

Examining The Complementary Nature Of Working Memory And Dual Coding Theory, Elizabeth Hofschulte Collins

UNLV Theses, Dissertations, Professional Papers, and Capstones

The working memory system is responsible for maintaining, manipulating, and transferring information into long-term memory, yet it operates under strict capacity limitations. Dual coding theory proposes that information can be encoded both verbally and visually, allowing learners to distribute cognitive load across complementary representational systems. Leveraging dual coding may therefore enhance recall, particularly for noun-based stimuli, though there is little to no research exploring this possibility. In the present study, 529 adults completed a forward digit span task and pre-test and post-test free recall tasks involving concrete, abstract, and mixed nouns. Participants were assigned to one of four instruction groups …

Applying Instrumental Neutron Activation Analysis (Inaa) To Characterize Trace Elements In Water Samples Around Lake Mead, Danesha Hunter

UNLV Theses, Dissertations, Professional Papers, and Capstones

Lake Mead, the largest reservoir in the United States is located on the boarder of Nevada and Arizona. Despite reaching historically low water levels, it continues to supply water and energy to millions of Americans in the southwest. It is well known that the United States suffers from negative implications from nationwide drought. The ongoing megadrought affecting the Colorado River Basin and its tributaries undergoes the urgent need to assess the future water quality of Lake Mead as it continues to shrink. With water levels depleting at an alarming rate, water quality is significantly impacted, indicating that heavy metal accumulation …

Post-Probationary Principals’ Perceptions Of Professional Development, Matthew Jackson

UNLV Theses, Dissertations, Professional Papers, and Capstones

This qualitative phenomenological study explored post-probationary principals’ perceptions of professional development, examining the relevance, adequacy, and impact of support provided after 4 years of their leadership. Although research and policy have emphasized the development of new principals, professional learning opportunities for those beyond probationary status remain inconsistent, generic, and misaligned with individual and contextual needs. Guided by adult learning theory, this study sought to understand how post-probationary principals evaluate current professional development, describe their desired opportunities, and determine their ongoing needs. Data were collected through semi-structured interviews with principals from multiple districts and analyzed using coding, memo writing, and mind …

Computational Study Of Cavitation In An Inducer Pump, Jaylen Leonard

UNLV Theses, Dissertations, Professional Papers, and Capstones

Cavitation is ubiquitous in liquid-handling turbomachines. Cavitation bubbles form when the local pressure drops below a fluid’s vapor pressure, and their subsequent collapse causes implosions that generate shockwaves and microjets. These effects lead to fluid instability and structural damage to the blades and casing in turbomachines. This thesis investigates this cavitation phenomenon in turbomachines using Computational Fluid Dynamics (CFD). The cavitation model built in ANSYS Fluent® is first validated in a venturi tube model and then applied to an inducer pump. The geometry of the pump is derived from the Space Shuttle Main Engine (SSME) Low Pressure Oxidizer Pump (LPOP) …

Geometric And Proximity Based Substrate Targeting By Cullin-Ring Ligases, Jerry Li

UNLV Theses, Dissertations, Professional Papers, and Capstones

Homeostasis, the process of maintaining stable biochemical and biophysical conditions, is a fundamental facet of cellular viability. Biochemical homeostasis is critical to support the biological functions that sustain living organisms. Protein ubiquitylation is one of the primary cellular pathways that regulate protein homeostasis and turnover. Ubiquitylation is initiated through the conjugation of a small globular protein known as ubiquitin, onto a given substrate. There exists a myriad of cellular fates that ubiquitylated proteins may undergo, but the most widely studied pathway is protein degradation, whereby a ubiquitylated protein substrate is shunted to a large macromolecular protease known as the proteasome, …