Digital Commons Network^™

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 …

Advancing Cybersecurity Practice: Explainable Machine Learning For Network Intrusion Detection, Adam Grabowski, Shengjie Xu

Journal of Cybersecurity Education, Research and Practice

This research investigates explainable artificial intelligence (XAI) integration within machine learning (ML)-based intrusion detection systems (IDS), focusing on distinguishing malicious from benign network activities. We employed Random Forest and XGBoost models evaluated on widely recognized datasets, including NSL-KDD and UNSW-NB15, using both binary and multi-class classification tasks. The objective was to enhance cybersecurity operations through improved model transparency and interpretability. By integrating SHAP (SHapley Additive exPlanations) and LIME (Local Interpretable Model-Agnostic Explanations), the study offers comprehensive global and local insights into model decision-making processes. Results demonstrate SHAP's effectiveness in providing a broad, dataset-wide understanding of feature interactions and importance, while …

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 …

Cybercamp: An Experience Report On The Transformations Of An Intensive Cybersecurity Summer Camp For High School Students, Jose R. Ortiz Ubarri, Kariluz Dávila Diaz Ph.D., Rafael A. Arce Nazario

Journal of Cybersecurity Education, Research and Practice

The Cybercamp is a Cybersecurity summer camp for high school students that has been held for the last nine years at a Hispanic Serving Institution. Since its inception in 2016 the Cybercamp has undergone several transformations in response to budget reductions and the COVID pandemic, to finally become its current version: a rich, hands-on learning experience that we believe is easily replicable even in resource-challenged environments.

In this paper, we document the transformations of the Cybercamp and discuss the developed curriculum and materials in hopes that others will reuse, adapt, and improve upon them. In the Cybercamp, we apply active …

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

Gaming: An Untapped Resource For Women In Computer Science Careers?, Claudia Quynh Luu

UNLV Theses, Dissertations, Professional Papers, and Capstones

This research focused on women who identify as gamers (i.e., an individual who regularly plays video games) with the goal of better understanding how being a gamer might help or hinder women’s interest in computer science careers. In particular, I examined the connection between interest in computer science careers, gaming, sexual harassment experiences, coping strategies, and allyship for women in gaming using a mixed-methods approach. The sample (N = 166) included women identifying as previous or current gamers. Participants were recruited from a psychology participant pool and gaming communities on Discord. We conducted a series of analyses to examine whether …

Quantifying Biocrust Evaporation In Arid Lands By Combining Thermal Imaging And Lysimeter Measurements, Rebekah C. Magness

UNLV Theses, Dissertations, Professional Papers, and Capstones

Biological soil crusts (biocrusts) are miniature ecosystems of living organisms incorporated within the soil matrix and established in the topmost millimeters of the soil surface. Biocrust plays a critical role in the hydrologic processes in arid lands, yet the extent to which it increases or decreases evaporation remains unclear. To gain a better understanding of the impact of biocrust on evaporation compared to bare soil, I studied a cyanobacteria-dominated biocrust patch surrounded by bare soil atop a lysimeter in the Mojave Desert near Las Vegas, Nevada. Using high-resolution thermal imaging, and the known latent heat flux from the lysimeter, I …

Preparing Aspiring School Administrators For Data-Informed Decision-Making, Brandi March

UNLV Theses, Dissertations, Professional Papers, and Capstones

School leaders significantly impact student outcomes based on their ability to influence school culture, climate, and student engagement. They are essential for driving school achievement and instructional improvement. As educational policies increasingly emphasize data usage, leaders must utilize various data sources in a problem-solving process known as datainformed decision-making (DIDM) to effectively guide their school improvement plans. Using DIDM effectively can enhance instruction and student achievement when school administrators and teachers have access to quality training that builds a strong foundation in data literacy skills. It is critical for administrators to provide high-quality professional development for teachers on DIDM to …

A Mixed Methods Study Of Teacher Job Satisfaction And Principal Support In Private Jewish Day Schools Through The Lens Of Self-Determination Theory, Abigail E. Moyal

UNLV Theses, Dissertations, Professional Papers, and Capstones

This mixed methods study investigated how principal support influences teacher job satisfaction in private Jewish day schools through the lens of Self-Determination Theory (SDT). SDT asserts that motivation and well-being depend on the fulfillment of three basic psychological needs: autonomy, competence, and relatedness. Using an explanatory sequential design, quantitative data were first collected from 68 teachers across five Jewish day schools in the Southwestern United States using the Teaching and Learning Survey (TALIS) Teacher Job Satisfaction Scale (TJSS) and the Principal Support Scale (PSS). Results showed moderate to high satisfaction levels and a strong positive correlation between principal support and …

Characterization Of The Electronic Structure Of Metal–Organic Framework Mil-125 And Its Derivatives Using Soft X-Ray Spectroscopies, Jennifer Alexia Napoles

UNLV Theses, Dissertations, Professional Papers, and Capstones

Metal–organic frameworks (MOFs) are highly porous, three-dimensional networks composed of coordinated metal clusters and organic ligand subunits. While tens of thousands of MOFs have been synthesized, the Ti(IV)-based MOF MIL-125 has garnered scientific interest due to the observed changes to its optical and photocatalytic properties upon chemical modification. For example, upon UV irradiation in the presence of an alcohol, MIL-125 undergoes a photochromic color change to a photodoped state that has been associated with the storage of charge in the form of Ti(III) sites. Another example is exemplified by the amine group functionalization of the 1,4-benzenedicarboxylate (BDC) linker of MIL-125 …