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 751 - 780 of 69378

Full-Text Articles in Entire DC Network

Somatic Prosthetics For Planetary Resonance, Disha Dharesh Kumar R May 2026

Somatic Prosthetics For Planetary Resonance, Disha Dharesh Kumar R

Masters Theses

This thesis investigates how industrial design can transcend extractive technological paradigms in favor of relational interfaces that foster planetary attunement. Framing the climate crisis as a 'crisis of imagination', the research challenges the Western bifurcation of nature and culture by drawing on Indic cosmologies- which recognize stones, plants, and ecosystems as conscious at different levels and participants in a shared cosmic field. By synthesizing research in Biosemiotics, Quantum Information Pansycishm, and Neuroscience, the project redefines intelligence as a distributed, more-than-human phenomenon.

The research materializes as a speculative design artifact: a device that functions as a somatic prosthetic for planetary resonance. …


Material Costs, Karima Weinman May 2026

Material Costs, Karima Weinman

Masters Theses

This thesis investigates how migration fatality and disappearance data can be reinterpreted through material craft to create a more reflective encounter with information. Working with the Missing Migrants Project's dataset, this project asks how design can communicate dimensions of human loss that conventional data visualization cannot reach.

The work situates contemporary border violence within a longer colonial history, arguing that the logics of surveillance and quantification that structured European imperial expansion persist in the databases that govern mobility in the Mediterranean today.

Terrazzo is a 15th-century Venetian flooring technique built from discarded fragments bound together into a unified surface. This …


Second Annual Advances In Business Education Conference 2026 Proceedings, Kelsey Metz May 2026

Second Annual Advances In Business Education Conference 2026 Proceedings, Kelsey Metz

Advances in Business Education (ABE) Conference Proceedings

Conference Overview: The Second Annual Advances in Business Education (ABE) Conference was held on May 21–22, 2026, at Lincoln Memorial University in Harrogate, Tennessee. Hosted by the LMU School of Business, the ABE Conference exists to promote teaching excellence, scholarly inquiry, and regional engagement through innovation and collaboration in business education.

With a focus on fostering meaningful dialogue among educators, researchers, students, and industry professionals, the conference welcomed more than 70 attendees representing 11 institutions from across the Appalachian region and beyond.

The event was structured around four key tracks:

Pedagogy and Teaching Excellence: Showcasing innovative teaching methods, instructional technologies, …


Robust Two-Stage Mimo-Ofdm Channel Estimation Method Against Sensing Errors, Yi Peng, Jun Wang, Qingqing Yang, Jianming Wang, Hui Li May 2026

Robust Two-Stage Mimo-Ofdm Channel Estimation Method Against Sensing Errors, Yi Peng, Jun Wang, Qingqing Yang, Jianming Wang, Hui Li

Journal of System Simulation

To address the challenges of performance degradation, high pilot overhead, and high computational complexity in traditi onal channel estimation methods for integrated sensing and communication (ISAC) assisted MIMO-OFDM systems when radar sensing information contains errors, this paper proposes a robust two-stage sparse channel estimation framework designed to be tolerant of sensing errors. In the first stage, a residual energy weighted simultaneous orthogonal matching pursuit (REW-SOMP) algorithm is designed. Leveraging locally adaptive dictionary expansion and a residual- weighted path selection mechanism, it accurately captures communication-associated paths even under sensing errors. The second stage introduces an adaptive penalty factor alternating direction method …


Asymmetric Opinion Formation Of Emotional Excitable Agents, Irene Ferri, Emanuele Cozzo, Aleix Nicolás-Olivé, Albert Díaz-Guilera, Luce Prignano May 2026

Asymmetric Opinion Formation Of Emotional Excitable Agents, Irene Ferri, Emanuele Cozzo, Aleix Nicolás-Olivé, Albert Díaz-Guilera, Luce Prignano

Northeast Journal of Complex Systems (NEJCS)

The bounded confidence model represents a widely adopted framework for modeling opinion dynamics wherein actors have a continuous-valued opinion and interact and approach their positions in the opinion space only if their opinions are within a specified confidence threshold. Here, we propose a novel framework where the confidence bound is determined by a decreasing function of their emotional arousal, an additional independent variable distinct from the opinion value. Additionally, our framework accounts for agents' ability to broadcast messages, with interactions influencing the timing of each other's message emissions. Our findings underscore the significant role of synchronization in shaping consensus formation. …


Innovation Strategies For Small And Medium-Sized Construction Companies In Nigeria, Olabode Akinkunmi Akindele May 2026

Innovation Strategies For Small And Medium-Sized Construction Companies In Nigeria, Olabode Akinkunmi Akindele

Walden Dissertations and Doctoral Studies

No abstract provided.


Seizing Strategic High Ground Of Space Computing Power: Global Competition Landscape And China’S Path, Yan Chen, Wenbin Song, Ping Zhang May 2026

Seizing Strategic High Ground Of Space Computing Power: Global Competition Landscape And China’S Path, Yan Chen, Wenbin Song, Ping Zhang

Bulletin of Chinese Academy of Sciences (Chinese Version)

The deep integration of artificial intelligence and commercial aerospace is accelerating the transformation of space computing power from conceptual exploration to engineering verification, becoming a key direction for building an integrated space-air-ground information infrastructure. This study delves into its strategic value, global landscape, industrial chain bottlenecks, and advancement paths. The research reveals that the core value of space computing power does not lie in replacing ground data centers, but rather in focusing on network coverage blind spots, data transmission limitations, and high-timeliness scenarios, providing a new supply model of “in-orbit computing + space-ground collaboration”. Currently, the world has entered a …


Dialogue Between Mind And Algorithm: Deep Symbiosis Of Psychology And Artificial Intelligence, Xiaolan Fu, Zheng Yan May 2026

Dialogue Between Mind And Algorithm: Deep Symbiosis Of Psychology And Artificial Intelligence, Xiaolan Fu, Zheng Yan

Bulletin of Chinese Academy of Sciences (Chinese Version)

As artificial intelligence (AI) evolves from a supportive tool into a collaborative partner, the convergence of psychology and AI is gradually shifting from one-way application toward deep symbiosis. This study discusses the mutual empowerment resulting from their interaction, as well as the challenges they face and potential pathways to breakthroughs. On the one hand, psychology empowers AI by enhancing its human-like intelligence and social adaptability through cognitive modeling and ethical constraints; on the other hand, AI empowers psychology by leveraging multimodal data and algorithmic models to revolutionize psychological assessment and intervention methods. This deep symbiosis requires a clear-eyed acknowledgment of …


A Predictive Correlational Study Of User Acceptance Of Electronic Medical Record Systems In Nursing Higher Educational Institutions, Clara Awosika May 2026

A Predictive Correlational Study Of User Acceptance Of Electronic Medical Record Systems In Nursing Higher Educational Institutions, Clara Awosika

Doctoral Dissertations and Projects

The purpose of this quantitative, predictive correlational study was to examine the extent to which perceived usefulness and perceived ease of use predict behavioral intention and actual usage of electronic medical record systems among nurses who have passed the National Council Licensure Examination for Registered Nurses. Using the Technology Acceptance Model, this study sought to address a gap in the literature regarding the level of user acceptance and utilization of EMR systems among nursing students during their training in higher education institutions. Participants included 85 actively licensed nurses who used EMR systems during their academic preparation. Data were collected using …


Approval Motivations In Sharing Humorous Tiktok's, Mariam Al-Areedy May 2026

Approval Motivations In Sharing Humorous Tiktok's, Mariam Al-Areedy

InnovateHER Meeting 2026

TikTok is a short-form video platform where users create and share content that is often centered around humor, trends, and everyday social experiences. In face-to-face interactions, people typically rely on immediate feedback to navigate conversations, often using approval seeking behaviors to gain positive reactions and rejection-avoidant behaviors to reduce the risk of negative judgement. While these motivations are well-established in in-person settings, less is known about how they function in digital environments like TikTok, where teens privately share humorous content without immediate social cues to guide their interactions. My general hypothesis was that both rejection avoidance and approval-seeking behaviors will …


Node Differentially Private Algorithms For Survivable Networks And Graphs Analysis, Jinghua Sun May 2026

Node Differentially Private Algorithms For Survivable Networks And Graphs Analysis, Jinghua Sun

Computer Science Theses

This thesis studies two graph algorithmic settings where additional structure gives stronger guarantees than worst-case black-box methods. The paper considers higher order edge connectivity under node differential privacy. We study the minimum k-edge-connected spanning subgraph problem (k-ECSS) and the minimum k-edge-connected component problem (k-ECC). These objectives have large global sensitivity under node privacy, since adding or deleting one vertex and its incident edges can significantly change robust connectivity structure. To address this, we use Propose-Test-Release for locally stable k-ECC instances and a Lipschitz extension framework for k-ECSS, based on bounded-degree complement objectives and the Generalized Exponential Mechanism.

The second part …


Robert, Powers; Unl Chemistry; Nmr-Assisted Drug Discovery, Mark Griep, Robert Powers May 2026

Robert, Powers; Unl Chemistry; Nmr-Assisted Drug Discovery, Mark Griep, Robert Powers

Department of Chemistry: Faculty Interviews

Dr. Robert Powers became a chemistry professor at the University of Nebraska-Lincoln in 2003 and is about to retire after 23 years. Prior to UNL, Bob was a drug discovery researcher for 11 years at American Cyanamid, which eventually became Wyeth and is now part of Pfizer. Bob was born in Jersey City, New Jersey. Something in his youth must have sparked an interest in chemistry because he earned a bachelor's in that subject from Rutgers University in New Brunswick. Then he traveled 1200 miles west to Purdue University in Indiana where he earned his doctorate. Next, he did postdoctoral …


Spectral Classification Of Diverse Lithologies Using Multi- And Hyperspectral Satellite Data: A Comparative Study, Önder Gürsoy, Emre Özelkan, Rutkay Atun, Ayşe Betül Çalişkan, Ahmet Efe May 2026

Spectral Classification Of Diverse Lithologies Using Multi- And Hyperspectral Satellite Data: A Comparative Study, Önder Gürsoy, Emre Özelkan, Rutkay Atun, Ayşe Betül Çalişkan, Ahmet Efe

Turkish Journal of Earth Sciences

Accurate lithological mapping requires selecting the appropriate remote sensing data and classification methods. This study evaluates the performance of four satellite datasets—Landsat 8 OLI, Sentinel-2A, ASTER, and Hyperion EO-1—using three spectral classification techniques: Matched Filtering (MF), Spectral Angle Mapper (SAM), and Spectral Information Divergence (SID). The study area is located between the Zara and Koyulhisar districts in eastern Türkiye and comprises diverse lithological units. A total of 49 rock samples collected in the field were used for validation. The results indicate that MF consistently outperformed the other methods, achieving the highest accuracy with Landsat 8 (Kappa = 94.2%). ASTER data …


Hyperspectral Image Classification Using Novel 1-D And 2-D Deep Neural Networks, Özlem Polat, Zümray Dokur, Tamer Ölmez May 2026

Hyperspectral Image Classification Using Novel 1-D And 2-D Deep Neural Networks, Özlem Polat, Zümray Dokur, Tamer Ölmez

Turkish Journal of Earth Sciences

Hyperspectral image (HSI) classification is of critical importance in many fields including agriculture, geology, environmental monitoring, and urban planning. In recent years, many researchers have utilized deep neural networks (DNNs), known for their high performance in the classification of HSIs. When 2-D/3-D convolutional neural networks are used in HSI classification, filters are applied using input patches typically larger than 11 × 11. This allows spectral and spatial features to be evaluated together. However, this combination creates several problems. Because HSIs have low spatial resolution, they often do not contain strong texture details. Furthermore, features with little relevance to classification make …


A Quantum Phase Space Description Of Local Noise In Atomic Ensembles, Andrew Kolmer Forbes May 2026

A Quantum Phase Space Description Of Local Noise In Atomic Ensembles, Andrew Kolmer Forbes

Physics & Astronomy ETDs

Nonclassicality in quantum sensors can improve sensitivity, but often increases susceptibility to noise. Thus, modeling physically relevant noise sources and analyzing their effect on quantum metrology are both of importance to the field of quantum sensing. In this dissertation, I demonstrate that local noise sources, which are present in almost all many-spin systems, can be tractably modeled when assuming permutation symmetry of the noise, and we show that many common local noise sources can be mapped to a Fokker-Planck equation on quantum phase space. We apply this description of noise to study quantum sensing using noisy probe states and establish …


Optical Nuclear Spin Detection In Diamond And Varifocal Metasurface Optics, Maxwell D. Aiello May 2026

Optical Nuclear Spin Detection In Diamond And Varifocal Metasurface Optics, Maxwell D. Aiello

Physics & Astronomy ETDs

This dissertation presents two experimental investigations at the intersection of quantum sensing and precision optical instrumentation. The primary project demonstrates optically detected nuclear magnetic resonance (NMR) of 13C nuclear spins in diamond, using state-selective Landau-Zener transitions under microwave frequency sweeping to bidirectionally transfer spin polarization between nitrogen-vacancy (NV) electron spins and remote 13C nuclear spins. This enables optical polarization and readout of large ensembles of polarized nuclear spins at low magnetic fields and room temperature, with spin dephasing times limited by longitudinal relaxation of nearby NV electron spins. The secondary project reports the design, fabrication, and characterization of …


Marine Geophysical Studies Of Coupled Tectonic And Sedimentary Processes At Active Plate Boundaries, Sarah R. Rysanek May 2026

Marine Geophysical Studies Of Coupled Tectonic And Sedimentary Processes At Active Plate Boundaries, Sarah R. Rysanek

Earth and Planetary Sciences ETDs

Deep-sea and convergent margin sedimentary systems preserve critical records of tectonic and climatic processes that shape Earth’s surface. This dissertation investigates source-to-sink sediment routing and forearc deformation to better constrain the interplay between sedimentary and tectonic processes, through investigations of a deep-sea fan system, and the forearc geomorphology offshore Nicaragua. In the Gulf of Alaska, we integrate ultra-long-offset and regional multi-channel seismic reflection data, multi-resolution bathymetry, and plate reconstructions to remap the Baranof Fan system. Results show that the fan is larger than previously recognized and constructed by two primary depocenters linked to distinct glacial sediment pathways, with accommodation space …


Quantum Control Protocols For Robust Quantum Computing, Leeseok Kim May 2026

Quantum Control Protocols For Robust Quantum Computing, Leeseok Kim

Electrical and Computer Engineering ETDs

The fundamental goal of quantum computing is to precisely control quantum systems to perform meaningful tasks, including implementing high-fidelity quantum gates for reliable quantum computation and accurately simulating complex quantum many- body dynamics. In this dissertation, we develop improved quantum control protocols for three distinct objectives, quantum error suppression, quantum optimal control, and analog quantum algorithms, achieving performance beyond standard approaches. First, we introduce new dynamical decoupling protocols, including both determin- istic and randomized constructions, that can substantially outperform conventional deterministic sequences. We then extend the randomized approach to dynamically corrected gates. Second, we propose a randomized quantum optimal control …


Computing Certificates Of Members In Archimedean Quadratic Modules In A[X] And Certifying The Emptiness In Inconsistent Monogenic Archimedean Quadratic Modules In A[X_1, ..., X_N], Jose A. Castellanos Joo May 2026

Computing Certificates Of Members In Archimedean Quadratic Modules In A[X] And Certifying The Emptiness In Inconsistent Monogenic Archimedean Quadratic Modules In A[X_1, ..., X_N], Jose A. Castellanos Joo

Computer Science ETDs

Polynomials have been found to be a powerful tool over hundreds of years for modeling problems in numerous applications in science, engineering, medicine, and other domains. In the context of formal methods, polynomials arise in modeling in aerospace software and robotics, cyber-physical and hybrid systems, autonomous vehicles and controllers based on neural networks.

A quadratic module is a linear combination of polynomials in a set of generators (including the constant 1) with sum of squares polynomials as multipliers. The membership problem for a finitely generated quadratic module can be decided; however, computing a certificate exhibiting why it is nonnegative under …


Design, Fabrication, And Characterization Of Silicon Nitride Microresonator Optical Frequency Combs, Lala Rukh May 2026

Design, Fabrication, And Characterization Of Silicon Nitride Microresonator Optical Frequency Combs, Lala Rukh

Optical Science and Engineering ETDs

Optical frequency combs consist of equidistant optical frequencies and have numerous applications ranging from optical metrology to medical diagnostics. Initially, frequency combs were based on bulky mode-locked lasers, but advancements in integrated photonics enabled the generation of frequency combs in chip-scale resonators (microcombs) using Kerr nonlinearity. These miniaturized systems present various challenges, including increased propagation losses, enhanced thermal effects, and the extension of microcombs to visible wavelengths. In this dissertation, I will focus on addressing these challenges in silicon nitride (SiN) resonators. First, this thesis focuses on the fabrication of high-Q SiN resonators and the impact of fabrication parameters on …


Mapping Homogeneous Configuration States For Learning Based Motion Planners, Yazied Hasan May 2026

Mapping Homogeneous Configuration States For Learning Based Motion Planners, Yazied Hasan

Computer Science ETDs

Reinforcement learning (RL) excels at solving complex tasks, but training times can become prohibitively large for challenging motion-planning problems. Methods that address this cost often require additional training or tuning, counteracting the goal of reducing training time. A more effective approach is to exploit inherent task equivalences: many elements of the state space, dynamics, or structure are functionally interchangeable, enabling simplification or knowledge reuse. We present learning solutions that leverage these equivalences to enhance the RL process. First, we leverage the symmetry of homogeneous multi-agent teams to simplify the task to a single strategy. Second, we map correspondences between distinct …


From Sparse To Precise: Modeling Beam Profiles Using Wavelet-Based Implicit Neural Network (Winn) For Linear Accelerator Commissioning And Quality Assurance, Maryam Ali Albuainin May 2026

From Sparse To Precise: Modeling Beam Profiles Using Wavelet-Based Implicit Neural Network (Winn) For Linear Accelerator Commissioning And Quality Assurance, Maryam Ali Albuainin

Computer Science ETDs

Commissioning and routine quality assurance (QA) in radiotherapy require extensive measurements using bulky water tank systems, making the process time-consuming and costly. This research proposes an efficient framework for radiotherapy commissioning and QA by generating complete LINAC physics data from sparse measurements and developing a portable solid-water detector with embedded diodes for high-resolution dosimetry.

At the core of the framework is a Wavelet-based Implicit Neural Network (WINN) that reconstructs full measurement datasets from limited inputs while maintaining clinical accuracy. The model achieves gamma passing rates above 95% (1%/1 mm) and mean absolute errors below 0.5%, while reducing parameters by 99.46% …


What Is The Skeleton Of Cognition? A Structural Account Of World Reconstruction Through Processing Axes, Griselda Poe May 2026

What Is The Skeleton Of Cognition? A Structural Account Of World Reconstruction Through Processing Axes, Griselda Poe

Publications and Research

This paper describes how the placement of a single processing axis reorganizes human cognition and generates a reconstructed world.

Most existing psychological and social theories begin from emotion, desire, morality, or social behavior. In doing so, they have discussed what forms on top of the cognitive skeleton without first fixing the skeleton itself. When the skeleton is not fixed, entirely different explanations of the same phenomenon can coexist, and it becomes difficult to identify which constitutes a foundational account.

This paper fixes the skeleton first. That skeleton is the processing axis.

The question is: when a single processing axis organizes …


Classification Of Hif Detection In Nev Profile Using Wavelet Transform And Convolution Neural Network, Abdul Hafiz Kassim, Mohd Abdul Talib Mat Yusoh, Aster Smith Valentinie Wilson Nottelmarc, Ahmad Farid Abidin, Sim Sy Yi, Daw Saleh Sasi Mohammed May 2026

Classification Of Hif Detection In Nev Profile Using Wavelet Transform And Convolution Neural Network, Abdul Hafiz Kassim, Mohd Abdul Talib Mat Yusoh, Aster Smith Valentinie Wilson Nottelmarc, Ahmad Farid Abidin, Sim Sy Yi, Daw Saleh Sasi Mohammed

Turkish Journal of Electrical Engineering and Computer Sciences

High impedance faults (HIFs) present a critical challenge in power systems due to their subtle signal characteristics, which often remain undetected by conventional protection methods. These faults typically do not produce significant phase disturbances, making reliable detection difficult. However, analysis of the neutral-to-earth voltage (NEV) profile under fault conditions provides a promising alternative for fault identification. Existing approaches for detecting and classifying HIFs using NEV signals remain limited and may result in inaccurate maintenance decisions. This paper proposes a fault classification framework for multiple fault types, including HIF, three-phase fault, three-phase fault to ground, double line, double line to ground, …


Complex-Valued Convolutional Neural Network With Time-Frequency Representation For Electrocardiogram-Based Arrhythmia Detection, Kajeeth Kumar Gurusamy, Muthurajkumar Sannasy May 2026

Complex-Valued Convolutional Neural Network With Time-Frequency Representation For Electrocardiogram-Based Arrhythmia Detection, Kajeeth Kumar Gurusamy, Muthurajkumar Sannasy

Turkish Journal of Electrical Engineering and Computer Sciences

This research proposes an end-to-end procedure for arrhythmia detection based on electrocardiogram (ECG) signals using complex-valued convolutional neural network (CVCNN) incorporated with time-frequency representation. The proposed model leverages complex numbers to capture amplitude and phase information that enhances the ability of the model for detecting time-frequency variation in cardiac signals. First, signal preprocessing techniques---including normalization, wavelet denoising, and R-peak detection---are applied. Subsequently, the model extracts complex features from raw ECG data by employing the Hilbert transform to derive the analytic signal and the short-time Fourier transform (STFT) to generate a time–frequency representation. The proposed CVCNN framework effectively learns spatial-temporal features …


Accurate Diagnosis Of Diseases By A Novel Ai Pipeline Based On Feature Extraction, Feature Ranking, And Feature Selection From Medical Images, Tuğba Nur Bozkurt, Mehmet Emi̇n Yüksel May 2026

Accurate Diagnosis Of Diseases By A Novel Ai Pipeline Based On Feature Extraction, Feature Ranking, And Feature Selection From Medical Images, Tuğba Nur Bozkurt, Mehmet Emi̇n Yüksel

Turkish Journal of Electrical Engineering and Computer Sciences

The rapid growth of the global population has led to a substantial increase in the number of patients, while the availability of healthcare professionals has not expanded at a comparable rate. This imbalance highlights the urgent need for efficient and reliable computer-aided decision support systems that can reduce clinical workload while maintaining high diagnostic accuracy. In this study, a novel and systematically integrated artificial intelligence-based pipeline is proposed for medical image classification, combining statistical significance-driven feature ranking with evolutionary feature selection in a unified framework. The proposed pipeline consists of four sequential stages: feature extraction, ranking, selection, and classification. Features …


Adaptive Backstepping Nonsingular Fast Terminal Sliding Mode Control For Robotic Manipulators Based On Disturbance Observer, Xin Zhang, Xu Wang May 2026

Adaptive Backstepping Nonsingular Fast Terminal Sliding Mode Control For Robotic Manipulators Based On Disturbance Observer, Xin Zhang, Xu Wang

Turkish Journal of Electrical Engineering and Computer Sciences

This paper presents an adaptive backstepping nonsingular fast terminal sliding mode controller integrated with a nonlinear disturbance observer to achieve precise trajectory tracking of robotic manipulators subject to model uncertainties and unknown time-varying disturbances. A dead-zone–based adaptive gain mechanism is introduced to dynamically adjust the control gain according to the deviation of the sliding surface, thereby enhancing robustness and reducing chattering. The proposed reaching law ensures fast, nonsingular, and adaptive convergence, suppressing high-frequency oscillations without compromising stability and the nonlinear disturbance observer enables real-time estimation and compensation of modeling errors, friction, and external disturbances for superior rejection. The semiglobal uniform …


Chaotic Artificial Bee Colony-Optimized Stacking Ensemble For Robust Multifault Diagnosis Of Wind Turbines, Veilraj Revathi, Solaimalai Jeyadevi, Madasamy Sudalaimani May 2026

Chaotic Artificial Bee Colony-Optimized Stacking Ensemble For Robust Multifault Diagnosis Of Wind Turbines, Veilraj Revathi, Solaimalai Jeyadevi, Madasamy Sudalaimani

Turkish Journal of Electrical Engineering and Computer Sciences

The complex electromechanical structure of wind turbines, along with harsh operating conditions, poses significant challenges for precise and robust fault diagnosis. To address this challenge, an ensemble multifault diagnostic framework based on an adaptive chaotic artificial bee colony (C-ABC)-optimized support vector machine (SVM) and gradient boosting machine (GBM) is proposed. In the proposed framework, data redundancy and overfitting are reduced through a two-stage hybrid filter-transformer-based feature reduction approach using ReliefF, followed by Principal Component Analysis. The chaos function of the proposed C-ABC maintains an adaptive balance between the exploration and exploitation phases, thereby preventing premature convergence, which is a common …


Saving The Great Basin: Creating Places For The Birds, Bees And Beyond, Carlos Gomez May 2026

Saving The Great Basin: Creating Places For The Birds, Bees And Beyond, Carlos Gomez

Hospitality Design Graduate Student Capstones

This project looks at how vacant and underused parcels along the Truckee River in Reno, Nevada, can be rethought as part of a larger ecological system. Rather than treating these parcels as empty leftover spaces, the project sees them as opportunities to create small habitat patches that can support native species, improve stormwater function, and strengthen the river corridor over time. The work focuses on three sites along the Truckee River: California Avenue, Island Avenue, and Commercial Row. Each site responds to a different condition along the urban transect, from a sloped residential river edge to a tighter urban parcel …


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

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 …