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 1711 - 1740 of 42644

Full-Text Articles in Entire DC Network

Detection And Mitigation Of Out-Of-Band Channel Wormhole Attack In Wireless Network Using Propagation Delay, Harry May May 2025

Detection And Mitigation Of Out-Of-Band Channel Wormhole Attack In Wireless Network Using Propagation Delay, Harry May

Doctoral Dissertations

Wireless networks, susceptible to a range of attacks due to their simplicity and ease of evasion, face a significant threat from control data attacks, notably the elusive wormhole attack. Detecting and mitigating such attacks poses challenges, particularly in the absence of a digital signature. This dissertation introduces an innovative approach that utilizes the propagation delay associated with malicious nodes’ timing characteristics for detection, employing the Ad-hoc On-Demand Distance Vector (AODV) algorithm as its foundation. The inherent propagation delay in the AODV protocol is calculated for each node link along the entire communication path, offering a distinctive timing method that provides …


Design And Optimization Of Low-Loss, High-Gain Metamaterial-Based Log-Periodic Dipole Array Antenna For Full Ka-Band Coverage, Mohamed El Moniar, Ahmed Abd El Hady, Yasser Ismail, Nihal Areed May 2025

Design And Optimization Of Low-Loss, High-Gain Metamaterial-Based Log-Periodic Dipole Array Antenna For Full Ka-Band Coverage, Mohamed El Moniar, Ahmed Abd El Hady, Yasser Ismail, Nihal Areed

Turkish Journal of Electrical Engineering and Computer Sciences

This work describes a microstrip log-periodic dipole array (MLPDA) antenna that uses metamaterials and operates across the whole Ka-band. The suggested MLPDA antenna layout provides a wide bandwidth with fewer dipole elements than traditional MLPDA antennas while maintaining the same resonance frequencies. To reduce size while covering a wide operational spectrum, the antenna design includes bending dipoles as radiating elements, as well as an incomplete ground plane. Furthermore, the proposed MLPDA antenna’s energy loss has been reduced while boosting its signal strength (gain) by inserting a metamaterial-based structure in front of it at a certain distance and on the same …


Helmholtz Cage: Software Development And Implementation For Cubesat Testing, Gustavo A. Cotom Lopez May 2025

Helmholtz Cage: Software Development And Implementation For Cubesat Testing, Gustavo A. Cotom Lopez

University Honors Theses

This paper details the successful development and deployment of a Helmholtz cage system, designed to produce precisely controlled magnetic fields for testing and calibration purposes. The core focus was on creating a robust, modular software architecture enabling independent current modulation on each axis, comprehensive serial communication between multiple microcontrollers, and real-time data acquisition from the MR3 magnetometer. All software components, including the serial communication drivers, control algorithms, command line interface, and calibration routines, were developed from the ground up. The system was fully operational upon completion: all hardware components functioned as intended, serial communication with each subsystem was reliable, and …


Protein Stability Retention Under Harsh Conditions, Kaylen Su May 2025

Protein Stability Retention Under Harsh Conditions, Kaylen Su

Student Theses and Dissertations

Plastic waste is a growing environmental concern due to its resistance to natural degradation, leading to long-term accumulation in landfills and oceans. One potential solution is enzymatic degradation, where specific enzymes break down plastic into smaller, biodegradable components. However, enzymes often lose their effectiveness under the extreme conditions plastics experience during manufacturing, such as high temperatures, mechanical stress, and dehydration. This study explores whether small molecules, known as ligands, can help stabilize enzymes and improve their ability to break down plastics.

Using molecular dynamics simulations, we tested four ligands—poly(ethylene glycol) (PEG), 6-hydroxyhexanoic acid (HHA), benzalkonium chloride (BC), and 6-aminohexanoic acid …


Utilization Of Flow Cytometry, Metabolomic Analyses And A Feline Infectious Peritonitis Case Study To Evaluate The Physiological Impact Of Polyprenyl Immunostimulant, Irene Lee, Amar Desai, Akshay Patil, Yan Xu, Kelley Pozza-Adams, Anthony J. Berdis May 2025

Utilization Of Flow Cytometry, Metabolomic Analyses And A Feline Infectious Peritonitis Case Study To Evaluate The Physiological Impact Of Polyprenyl Immunostimulant, Irene Lee, Amar Desai, Akshay Patil, Yan Xu, Kelley Pozza-Adams, Anthony J. Berdis

Chemistry Faculty Publications

Measles, hepatitis C, and COVID-19 are significant human diseases caused by RNA viruses. While vaccines exist to prevent infections, there are a small number of currently available therapeutic agents that can effectively treat these diseases after infection occurs. This study explores a new therapeutic strategy using a small molecule designated polyprenyl immunostimulant (PI) to increase innate immune responses and combat viral infections. Using a multi-disciplinary approach, this study quantifies the effects of PI in mice and THP-1 cells using flow cytometry to identify immune phenotypic markers and mass spectroscopy to monitor the metabolomic profiles of immune cells perturbed by PI …


Investigating Potential Sugar-Related Uncertainties In A Proxy For Ancient Co2, Liam Cooper May 2025

Investigating Potential Sugar-Related Uncertainties In A Proxy For Ancient Co2, Liam Cooper

Student Theses and Dissertations

The εp proxy for ancient pCO2 can potentially estimate ancient pCO2 as from the evolution of rubisco-based photosynthesis, using the difference in stable carbon isotope ratios (δ13C) between fixed and inorganic carbon, assuming this difference is proportional to pCO2. This study aims to address uncertainty with the use of photosynthetic microbes in proxies for ancient pCO2. While previous studies address uncertainties related to the δ13C of initial fixed photosynthate (e.g., growth rate), we aim to address the effects of downstream carbon allocation. Specifically, if a significant fraction of fixed …


Histone Methyltransferase Ash1l Primes Metastases And Metabolic Reprogramming Of Macrophages In The Bone Niche, Chenling Meng, Kevin Lin, Wei Shi, Hongqi Teng, Xinhai Wan, Anna Debruine, Yin Wang, Xin Liang, Javier Leo, Feiyu Chen, Qianlin Gu, Jie Zhang, Vivien Van, Kiersten L Maldonado, Boyi Gan, Li Ma, Yue Lu, Di Zhao May 2025

Histone Methyltransferase Ash1l Primes Metastases And Metabolic Reprogramming Of Macrophages In The Bone Niche, Chenling Meng, Kevin Lin, Wei Shi, Hongqi Teng, Xinhai Wan, Anna Debruine, Yin Wang, Xin Liang, Javier Leo, Feiyu Chen, Qianlin Gu, Jie Zhang, Vivien Van, Kiersten L Maldonado, Boyi Gan, Li Ma, Yue Lu, Di Zhao

Faculty, Staff and Student Publications

Bone metastasis is a major cause of cancer death; however, the epigenetic determinants driving this process remain elusive. Here, we report that histone methyltransferase ASH1L is genetically amplified and is required for bone metastasis in men with prostate cancer. ASH1L rewires histone methylations and cooperates with HIF-1α to induce pro-metastatic transcriptome in invading cancer cells, resulting in monocyte differentiation into lipid-associated macrophage (LA-TAM) and enhancing their pro-tumoral phenotype in the metastatic bone niche. We identified IGF-2 as a direct target of ASH1L/HIF-1α and mediates LA-TAMs' differentiation and phenotypic changes by reprogramming oxidative phosphorylation. Pharmacologic inhibition of the ASH1L-HIF-1α-macrophages axis elicits …


Programming A More Efficient Onboarding Process For New Employees, Long H. Pham May 2025

Programming A More Efficient Onboarding Process For New Employees, Long H. Pham

Undergraduate Honors Theses

The current onboarding process for new hires in the University of San Diego’s Shiley-Marcos School of Engineering is inefficient. There is no central location where new hires and administrators can track onboarding progress. Both parties have to manage multiple email chains and write their own reminders to keep track of everything. This leads to delays, missing deadlines, and confusion for both parties. A web-based onboarding application has been developed recently to address these issues and streamline the onboarding process for new hires. However, this application contains several accessibility issues and does not follow all of the standards for effective employee …


Sequence Conservation Of Suppressor Of Ikk Epsilon Phosphorylation Sites, Kaydence M. Isaacs May 2025

Sequence Conservation Of Suppressor Of Ikk Epsilon Phosphorylation Sites, Kaydence M. Isaacs

Undergraduate Honors Theses

Suppressor of IKK epsilon (SIKE) is a protein that is implicated in immune response signaling pathways. SIKE interaction networks suggest roles in cell motility and macromolecular complexes mediating kinase/phosphatase activity. In this project, we aim to better understand the function of SIKE by analyzing amino acid sequences across different species. In human SIKE, viral infection leads to phosphorylation of SIKE at defined serine residues. Comparing SIKE sequences, and specifically these phosphorylation sites, allows us to discover its ancestral connections to innate immune function. This has particular applications in bridging the evolutionary gap between fungi and metazoa SIKE sequences. Multiple sequence …


Decarbonized Shipping: Is It The Best Sustainable Shipping Solution?, Olivia Akers May 2025

Decarbonized Shipping: Is It The Best Sustainable Shipping Solution?, Olivia Akers

Sustainable Supply Chain Management

In the era of globalization and the fourth industrial revolution, the maritime shipping industry has grown exponentially in the twenty-first century. In fact, 90% of today’s goods travel across the ocean before reaching the end consumer, meaning that ocean transportation of goods contributes significantly to overall environmental impacts on the ocean. Awareness of this impact has increased as humans strive to eliminate unsustainable practices in an effort to protect the long term health of our planet. Decarbonized shipping has been proposed as a possible solution for unsustainable shipping practices, and the goal of this chapter is to evaluate this solution …


Simulating 3d Humanoid Ragdoll Physics Using Velocity Verlet Integration, Pin Constraints, And Rigid Body Collision Systems, Son D. Nguyen May 2025

Simulating 3d Humanoid Ragdoll Physics Using Velocity Verlet Integration, Pin Constraints, And Rigid Body Collision Systems, Son D. Nguyen

Programming Theses and Dissertations

Ragdoll physics simulates realistic character collapse with physical realism by responding to environmental forces rather than using predefined animations.


Complementary Design Of Optical And Photochemical Systems, Joshua Plank May 2025

Complementary Design Of Optical And Photochemical Systems, Joshua Plank

Chemistry Theses and Dissertations

The ability to manipulate chemical systems has been prized through history as the bridge between the macroscopic and microscopic worlds. As an example, the camera obscura has arguably existed since the earliest days of humanity; however, it was the discovery of early silver halide chemistry that lead to the ability to fix these images into the earliest photographs. In modern photolithography employed in electronics manufacturing, the primary resolution limits arise not from the chemistry of the molecules involved, but from the limits of the systems used to project light. Thus, as much as photochemistry advances, optical imaging and projection techniques …


The State Of Municipal Scale Highest Use Urban Wood Reclamation Projects, Bradley C. Almond May 2025

The State Of Municipal Scale Highest Use Urban Wood Reclamation Projects, Bradley C. Almond

Graduate Liberal Studies Theses and Dissertations

Millions of urban trees are downed annually for various reasons, such as storms, disease, or development. We are all witnesses to the loss of trees as we see the piles of woody waste assembled on the curbside, ready for public works pickup. Today, most urban wood waste ends up in landfills, mulching/chipping facilities, or firewood production. Each of these alternatives results in the release of sequestered carbon back into the atmosphere.

The initial research led to successful diversion from landfills to mulch and firewood operations. Then, the research shifted to converting urban wood waste for its best use, which outlined …


Zn–Assisted Synthesis Of M (Mn/Fe/Co/Ni)-N-C Catalysts For Multifunctional Electrochemical Activity, Kemila A. Chaudhary May 2025

Zn–Assisted Synthesis Of M (Mn/Fe/Co/Ni)-N-C Catalysts For Multifunctional Electrochemical Activity, Kemila A. Chaudhary

Electronic Theses & Dissertations

The design and development of atomically dispersed M-N-C catalysts (metal (M) supported on an nitrogen-carbon (NC) matrix with high multifunctional electrocatalytic performance is desirable but proved to be very challenging. Herein, we synthesized M-N-C catalysts (M = Fe, Co, Mn, and Ni) using Zn-assisted high temperature treatment and characterized using various techniques. The prepared catalysts were tested for their electrocatalytic performance towards oxygen and hydrogen evolution reaction (OER and HER) as well as oxygen reduction reaction (ORR) in alkaline media. The results indicated that Mn-N-C catalyst showed higher performance towards both the ORR (E1/2 = 0.90 V) and …


Effectiveness Of Urban Composting And Waste Management In The San Francisco Bay Area, Elijah Ashiagbor May 2025

Effectiveness Of Urban Composting And Waste Management In The San Francisco Bay Area, Elijah Ashiagbor

Master's Projects and Capstones

The increasing food waste epidemic contributes to environmental degradation through amplified GHG emissions, notably CH4, from MSW landfills. Addressing this challenge is essential for public health and environmental sustainability. This research reviews municipal composting initiatives within the San Francisco Bay Area, evaluating effectiveness, efficiency, and sustainability. Utilizing data from CalRecycle and local municipalities, this study analyzes different composting processes, regulatory compliance with California’s Senate Bill 1383, and factors affecting waste diversion rates. Key discoveries indicate that in-vessel composting shows better efficiency and compost quality compared to windrow methods, particularly suitable for urban counties with space limitations. However, participation rates in …


Analyzing Ballast Water Treatments, Invasive Species, And Pathogens, And A Decade-Long Analysis On The San Francisco And Baltimore Ports, Jasmin Ibarra-Cortes May 2025

Analyzing Ballast Water Treatments, Invasive Species, And Pathogens, And A Decade-Long Analysis On The San Francisco And Baltimore Ports, Jasmin Ibarra-Cortes

Master's Projects and Capstones

Installation of advanced technologies to treat ballast water on ships is necessary to meet current ballast water management standards and reduce the secondary spread of invasive species during intracoastal voyages. This research includes a literature review on non-native aquatic species, particularly diapausing eggs, and available treatment methods for installation. A comparative analysis from 2014 - 2024 on bulker, tanker, and container vessels arriving coastwise to the ports of San Francisco and Baltimore was performed to evaluate treatment installation trends, traffic patterns, and the effectiveness of treatment(s) on targeting diapausing eggs. Use of ultraviolet (UV) radiation combined with filtration has increased …


Evaluating San Francisco Urban Green Spaces And Policy To Inform Future Decision-Making: How Climate Change Adaptation Strategies Can Be Prioritized And Incorporated In Urban Park Design And Planning Through A Decision-Making Tool, Holley Anne Maassen May 2025

Evaluating San Francisco Urban Green Spaces And Policy To Inform Future Decision-Making: How Climate Change Adaptation Strategies Can Be Prioritized And Incorporated In Urban Park Design And Planning Through A Decision-Making Tool, Holley Anne Maassen

Master's Projects and Capstones

Amid the current climate crisis, enhancing urban green spaces (UGS), parks, and open spaces with climate change adaptation (CCA) as a strategic pillar in San Francisco’s urban planning is an essential strategic pillar to develop more resilient cities. However, in complex bureaucratic landscapes, integrating CCA strategies that meet project goals while ensuring inclusive stakeholder engagement presents a challenge. This project presents the identification, development, and application of a holistic decision-making tool (DMT) in the form of a Pugh matrix/decision matrix and with a focus on urban planning in San Francisco, California. Key decision-making criteria are identified and weighted through a …


Assessment Of Water Quality And Remediation Of Heavy Metals In A Coastal System, Christiana Fumnanya Eziashi May 2025

Assessment Of Water Quality And Remediation Of Heavy Metals In A Coastal System, Christiana Fumnanya Eziashi

Theses and Dissertations

This research focuses on a three-part study to assess water quality in a coastal system and evaluate the absorption capacity of modified biochar and algae to remediate cadmium (Cd). The first chapter introduces the hypothesis and objectives, and the second chapter provides a detailed literature review. The third chapter focuses on the first study, where surface water samples and water quality data collected from a manned boat and a novel autonomous surface vessel (ASV) in the Western Mississippi Sound (WMS) in the summer of 2021 and 2022 were analyzed and the interrelationship between the nutrient, trace metals, salinity, and chlorophyll-a …


Atmospheric Turbulence Education Effects On Flight Anxiety, Megan A. Hanna May 2025

Atmospheric Turbulence Education Effects On Flight Anxiety, Megan A. Hanna

Theses and Dissertations

This study examines the effect of turbulence education on flight anxiety. A pre-post methodology measured students’ anxiety levels before and after a study abroad flight, using an educational video during the pre-flight survey to change their feelings. The Flight Anxiety Situations (FAS) questionnaire assessed anxiety at three survey points: pre-video, post-video, and post-flight. Qualitative analysis using Friedman’s test and the Wilcoxon Signed-rank test, indicated that turbulence education effectively decreased generalized and anticipatory flight anxiety, particularly in non-phobic students. Text analysis of open-ended responses suggested increased scientific knowledge post-video helped students apply technical atmospheric processes to their feelings. Turbulence education was …


The Confluence, Volume 4, Issue 1, Full Issue May 2025

The Confluence, Volume 4, Issue 1, Full Issue

The Confluence

No abstract provided.


Creating A Shade Tree Commission For Shamokin, Skye Sunderhauf, Beth Williams, Marques Owens, Olivia Follansbee May 2025

Creating A Shade Tree Commission For Shamokin, Skye Sunderhauf, Beth Williams, Marques Owens, Olivia Follansbee

Final Reports in ENST 411: Environmental Community Projects

Final Project for ENST411 Environmental Community Projects


Turtle Creek Tree Restoration Project, Rebecca Beneroff, Risa Kanefsky, Max Dicerbo, Pj Newhart, Amanda Mitchell May 2025

Turtle Creek Tree Restoration Project, Rebecca Beneroff, Risa Kanefsky, Max Dicerbo, Pj Newhart, Amanda Mitchell

Final Reports in ENST 411: Environmental Community Projects

Over the course of this project our group members Rebecca, Max, PJ, Amanda, and Risa worked closely with Jim Knight and Brian Auman from Turtle Creek Park to help research, plan, and execute a tree transplanting event that would be efficiently implemented and environmentally sound. This work involved extensive preparatory work in the park including soil testing, bare leaf tree identification, tree and shrub species characterization, and recommendation. The entire process was rooted in the most up to date literature and scientific practices surrounding bare root tree nurseries, existing land management plans, invasive species and public park management, ecological succession, …


Planting Seeds, Changing Minds: A Narrative Analysis Of Environmental Children’S Books, Julianna Jovillar May 2025

Planting Seeds, Changing Minds: A Narrative Analysis Of Environmental Children’S Books, Julianna Jovillar

UNLV Theses, Dissertations, Professional Papers, and Capstones

Children’s books are some of the earliest forms of entertainment and education a person will interact with in their lifetime. Simultaneously weaving a tale and teaching a lesson, children’s books, therefore, have the great potential to communicate important lessons and mindsets at young ages. Utilizing narrative theory (Fisher, 1984) and ecocriticism (Glotfelty, 1996), while also considering environmental ideologies and narrative components (Bloomfield, 2024), this study explores the functions of environmental children’s books and how they might communicate environmental messaging and encourage ecological thinking. Following a narrative analysis of 46 environmental children’s books, the results of this study indicate that there …


Detection And Quantification Of Total Airborne Fungi And Coccidioides Species In Environmental Samples, Theresa T. Roehr May 2025

Detection And Quantification Of Total Airborne Fungi And Coccidioides Species In Environmental Samples, Theresa T. Roehr

UNLV Theses, Dissertations, Professional Papers, and Capstones

Fungal exposure can cause acute and chronic illnesses or exacerbate existing illnesses. Some fungi are opportunistic pathogens and can lead to serious systemic fungal infections. In 2020, more than 150 million cases of severe fungal infections were reported globally resulting in an estimated 1.7 million deaths. Coccidioidomycosis, or Valley fever, is classified as a serious fungal infection caused by the fungi Coccidioides immitis and C. posadasii. These particular fungi are prevalent in the soil of the Southwestern United States, including Las Vegas, Nevada. In 2024, there were a total of 269 cases of Valley fever reported in Nevada, and …


Specters Of Change: A Rhetorical And Qualitative Analysis Of Environmental Ghost Stories From Las Vegas Locals, Rachel J. Wuester May 2025

Specters Of Change: A Rhetorical And Qualitative Analysis Of Environmental Ghost Stories From Las Vegas Locals, Rachel J. Wuester

UNLV Theses, Dissertations, Professional Papers, and Capstones

This thesis explores “environmental ghost stories,” a term created to represent narratives that blend emotions and memories of ecological loss to make sense of environmental change. This project utilizes a mixed-methods approach that blends narrative theory, environmental rhetoric, and qualitative interviews to examine the narratives of chronic and acute changes experienced by long-term residents of Las Vegas, Nevada. Participants (N = 15) were required to have resided in the Las Vegas valley for a minimum of twenty years in order to have had the opportunity to witness both chronic and acute changes to their environment. Using a phronetic iterative approach …


Visualization Of Coastal Carbonate Lithosomes: Color-Intensity Patterns And Georadar Imaging Of A Semi-Lithified Strandplain, Eleuthera Island, The Bahamas, Ilya Buynevich, Michael Savarese, H. Allen Curran May 2025

Visualization Of Coastal Carbonate Lithosomes: Color-Intensity Patterns And Georadar Imaging Of A Semi-Lithified Strandplain, Eleuthera Island, The Bahamas, Ilya Buynevich, Michael Savarese, H. Allen Curran

Geosciences: Faculty Publications

Quaternary carbonate strandplains serve as archives of land–sea interaction, including the impacts of storms and tsunamis. Incipient lithification, especially of compound beach/dune ridges within the action zone of salt spray, presents challenges to geological research, which is often limited to exposures. This study combines aerial image analysis with geophysical datasets to assess the morphostratigraphy and internal structure of the Freedom Beach Strandplain along southern Eleuthera Island, The Bahamas. Color-intensity analysis of field photographs and satellite images revealed general patterns that can be used to distinguish between areas with different grayscale parameters (sand-covered surfaces, lithified ridges, vegetation, etc.). Cross-shore (dip-section) high-resolution …


Sustainability Planning For Waste Management In Midwestern Small Suburban Cities, Karen Frances Goodwin May 2025

Sustainability Planning For Waste Management In Midwestern Small Suburban Cities, Karen Frances Goodwin

Walden Dissertations and Doctoral Studies

Sustainability planning in small suburban cities, particularly as it relates to waste management programs, remains an underexplored area in scholarly research. Without long-term planning, these cities often react to issues in a fragmented manner rather than implementing proactive policies, negatively affecting public health and well-being. The purpose of this study was to examine sustainable waste management policy processes that enable sustainability planning in Midwestern small suburban cities. Using Jones et al.’s local adaptive capacity framework and Q-methodology, viewpoint patterns were analyzed to understand what motivates decision-makers to foster an environment conducive to sustainability planning. Thirty-one participants representing three local government …


Proceedings Of The 12th Research Symposium At Mammoth Cave National Park, Pat Kambesis Editor, Lee Anne Bledsoe Editor, Ana K. Celis Editor May 2025

Proceedings Of The 12th Research Symposium At Mammoth Cave National Park, Pat Kambesis Editor, Lee Anne Bledsoe Editor, Ana K. Celis Editor

Mammoth Cave Research Symposia

Proceedings of the 12th Research Symposium at Mammoth Cave National Park: Celebrating 100 Years of Scientific Research & Resource Management in the Mammoh Cave Region.


Computational Modeling And Structural Generation Of Piano Music In The Classical Style, Yijing Feng May 2025

Computational Modeling And Structural Generation Of Piano Music In The Classical Style, Yijing Feng

Dartmouth College Ph.D Dissertations

Listening to fast-tempo piano sonatas of the Classical period (circa 1750-1820) has been shown to have therapeutic effects for neurological disorders such as epilepsy. The limited existing repertoire of music in this style motivates the creation of more long-form, coherent compositions with clearly defined structure. Despite the long history of computer-based music generation and recent progress in deep learning, particularly transformer-based models, generating structurally coherent long-form music remains a major challenge. This difficulty stems from the scarcity of reliable structural annotation datasets, the computational demands of modeling very long musical sequences, and the lack of effective structural encoding in both …


Computational Complexity Of Soundness Verification For Neural Networks, Scott Sirri May 2025

Computational Complexity Of Soundness Verification For Neural Networks, Scott Sirri

McKelvey School of Engineering Graduate Student Theses & Dissertations

Neural networks are an increasingly ubiquitous tool in systems of varying complexity across a range of domains. While these tools can be used to learn and predict complex functions, their opaque nature limits the scope of their acceptable applications. In particular, a lack of performance guarantees means that they are unsuitable for safety-critical applications such as self-driving cars and scheduling systems. Neural networks trained to solve NP-complete problems, in particular, are unlikely to be able to solve the problem exactly. However, a weaker soundness guarantee may be sufficient for some systems, e.g., that positive instances of the problem may be …