Open Access. Powered by Scholars. Published by Universities.®

Physical Sciences and Mathematics Commons

Open Access. Powered by Scholars. Published by Universities.®

Articles 1 - 30 of 35

Full-Text Articles in Physical Sciences and Mathematics

A Reevaluation Of Why Crypto-Detectors Fail: A Systematic Revaluation Of Cryptographic Misuse Detection Techniques, Scott Marsden Jan 2023

A Reevaluation Of Why Crypto-Detectors Fail: A Systematic Revaluation Of Cryptographic Misuse Detection Techniques, Scott Marsden

Dissertations, Theses, and Masters Projects

The correct use of cryptography is central to ensuring data security in modern software systems. Hence, several academic and commercial static analysis tools have been developed for detecting and mitigating crypto-API misuse. While developers are optimistically adopting these crypto-API misuse detectors (or crypto-detectors) in their software development cycles, this momentum must be accompanied by a rigorous understanding of their effectiveness at finding crypto-API misuse in practice. The original paper presents the MASC framework, which enables a systematic and data-driven evaluation of crypto-detectors using mutation testing. MASC was grounded in a comprehensive view of the problem space by developing a data-driven …


Emerging Red Sore Disease Of American Eel (Anguilla Rostrata) In Chesapeake Bay: Etiology, Epidemiology, And Impacts In Aquaculture And The Wild, Amanpreet Kaur Kohli Jan 2023

Emerging Red Sore Disease Of American Eel (Anguilla Rostrata) In Chesapeake Bay: Etiology, Epidemiology, And Impacts In Aquaculture And The Wild, Amanpreet Kaur Kohli

Dissertations, Theses, and Masters Projects

Emerging infectious diseases in aquatic systems, both in aquaculture and in the wild, are a global concern. Many have proposed an uptick in marine diseases as a result of environmental changes including a warming climate, habitat modifications, trade and transfer of wildlife and aquaculture products, pollution, overharvesting of resources, and other anthropogenic impacts. These perturbations can disturb the delicate host-pathogen relationships and result in new diseases or exacerbate the existing diseases in a population. Diseases can lead to several direct and indirect effects in the ecosystem such as population declines and extinctions, and thereby a change in population dynamics, as …


Learning-Based Ubiquitous Sensing For Solving Real-World Problems, Woosub Jung Jan 2023

Learning-Based Ubiquitous Sensing For Solving Real-World Problems, Woosub Jung

Dissertations, Theses, and Masters Projects

Recently, as the Internet of Things (IoT) technology has become smaller and cheaper, ubiquitous sensing ability within these devices has become increasingly accessible. Learning methods have also become more complex in the field of computer science ac- cordingly. However, there remains a gap between these learning approaches and many problems in other disciplinary fields. In this dissertation, I investigate four different learning-based studies via ubiquitous sensing for solving real-world problems, such as in IoT security, athletics, and healthcare. First, I designed an online intrusion detection system for IoT devices via power auditing. To realize the real-time system, I created a …


Exploring Software Licensing Issues Faced By Legal Practitioners, Nathan James Wintersgill Jan 2023

Exploring Software Licensing Issues Faced By Legal Practitioners, Nathan James Wintersgill

Dissertations, Theses, and Masters Projects

Most modern software products incorporate open source components, which requires compliance with each component’s licenses. As noncompliance can lead to significant repercussions, organizations often seek advice from legal practitioners to maintain license compliance, address licensing issues, and manage the risks of noncompliance. While legal practitioners play a critical role in the process, little is known in the software engineering community about their experiences within the open source license compliance ecosystem. To fill this knowledge gap, a joint team of software engineering and legal researchers designed and conducted a survey with 30 legal practitioners and related occupations and then held 16 …


Environmental Education In The Classroom: Selected Early-Career Teachers' Experiences Navigating Pre-Service And In-Service Activity Systems, Sarah Mcguire Nuss Jan 2023

Environmental Education In The Classroom: Selected Early-Career Teachers' Experiences Navigating Pre-Service And In-Service Activity Systems, Sarah Mcguire Nuss

Dissertations, Theses, and Masters Projects

Recent publications argue that to prepare teachers of all grade levels to be confident and competent in incorporating environmental education into their classrooms, pre-service teacher training is effective (e.g., J. T. McDonald & Dominguez, 2010). But the systems in which teachers learn and work are complex, making professional learning about, and implementation of, environmental education both disparate and limited (Franzen, 2017). This study sought to understand the nature of participants’ experiences within and between teacher preparation and in-service learning systems as they relate to environmental education. Cultural historical activity theory (CHAT) provided a framework to allow for deeper understanding of …


Impacts And Uncertainties Of Climate Change On The Chesapeake Bay, Kyle E. Hinson Jan 2023

Impacts And Uncertainties Of Climate Change On The Chesapeake Bay, Kyle E. Hinson

Dissertations, Theses, and Masters Projects

Climate change impacts in the Chesapeake Bay will limit the efficacy of nutrient reduction efforts and decrease dissolved oxygen, but uncertainties associated with the magnitude of these effects remain. An understanding of underlying mechanisms that have driven recent warming trends will narrow uncertainties for future pathways of temperature change. Additionally, future simulations of climate impacts in the estuary are dependent on multiple different sources of uncertainty, many of which have not yet been fully evaluated. This dissertation used a three- dimensional coupled hydrodynamic-biogeochemical model to investigate recent warming trends as well as underlying uncertainties likely to influence regional projections of …


Constraining Of The Minerνa Medium Energy Neutrino Flux Using Neutrino-Electron Scattering, Luis Zazueta Jan 2023

Constraining Of The Minerνa Medium Energy Neutrino Flux Using Neutrino-Electron Scattering, Luis Zazueta

Dissertations, Theses, and Masters Projects

Long baseline neutrino oscillation experiments rely on the flux from accelerator-based neutrino beams. As experimental neutrino physics moves to the next generation of experiments a precise characterization of the neutrino flux on a given experiment becomes crucial to the goals of the experiments: to precisely determine the neutrino oscillation parameters.This work takes advantage of neutrino-electron scattering processes for their precisely predicted cross section. The observed number of scattering events can be used as a benchmark to constrain the neutrino flux. A measurement was made of the energy spectrum of neutrino-electron elastic scattering (νe-→νe-), using data from the antineutrino-enhanced run period …


Identifying Factors Controlling Dinophysis Spp. Feeding, Growth, And Toxin Production Through Field And Lab Studies, Vanessa R. Strohm Jan 2023

Identifying Factors Controlling Dinophysis Spp. Feeding, Growth, And Toxin Production Through Field And Lab Studies, Vanessa R. Strohm

Dissertations, Theses, and Masters Projects

Harmful algal blooms (HABs) and their associated phycotoxins pose a threat to both human and shellfish health around the world. Dinophysis spp., a causative organism of diarrhetic shellfish poisoning (DSP) in humans, and its two toxin classes: dinophysistoxins (DTXs) and pectenotoxins (PTXs), have been documented throughout the year in the Chesapeake Bay. While DTX concentrations currently remain below regulatory limits in regional seafood products, further research is needed to understand environmental drivers, both biotic and abiotic, that may be impacting Dinophysis spp. feeding on prey, growth, and toxin production. To characterize populations of Dinophysis in situ, an Imaging FlowCytobot (IFCB) …


Succession Of The Late Summer Phytoplankton Blooms In The York River Estuary, Va, Heather Kathleen Corson Jan 2023

Succession Of The Late Summer Phytoplankton Blooms In The York River Estuary, Va, Heather Kathleen Corson

Dissertations, Theses, and Masters Projects

The influence of bottom-up and top-down controls on the formation and persistence of phytoplankton blooms has been well studied. However, the relative importance of these bottom-up and top-down controls vary spatially and temporally. In the tidal tributaries and mainstem of Chesapeake Bay, the summer dinoflagellate population follows a succession of bloom-producing species. The dinoflagellate species Margalefidinium polykrikoides and Alexandrium monilatum are currently considered the end of this succession. These species form near-annual blooms in the lower half of Chesapeake Bay and are considered harmful algal bloom (HAB) species due to their negative ecological impacts. However, analysis of long-term monitoring data …


Development Of 3d And 360 Gis-Based Models To Visualize Projected Sea Level Rise In Coastal Virginia, Candice M. Vinson Jan 2023

Development Of 3d And 360 Gis-Based Models To Visualize Projected Sea Level Rise In Coastal Virginia, Candice M. Vinson

Dissertations, Theses, and Masters Projects

Science communication is a skill that can be strengthened with practice. Like any skill, it helps to know what you need to practice in order to get better at it. When presenting information to an audience, the skill of science communication comes into play as early as the first draft of a presentation. As you think about how you will tell your story to the audience, you likely consider including text on slides, images, graphs, maps, or even videos. However, it is crucial to remember that accessibility barriers are something we must often consciously work to rid our presentations of, …


Investigating The Environmental And Molecular Dependence Of Single-Molecule Blinking-Based Multiplexing, Grace Desalvo Jan 2023

Investigating The Environmental And Molecular Dependence Of Single-Molecule Blinking-Based Multiplexing, Grace Desalvo

Dissertations, Theses, and Masters Projects

Visualizing nanoscale biological systems allows us to uncover their detailed structure and functions, which have major implications in the biomedical field. Super-resolution microscopy is a powerful tool for fluorescence imaging because, by overcoming the diffraction limit of light, it accesses structural detail with unprecedented spatial resolution. Although multicolor super-resolution imaging has been successfully implemented in many experiments, its efficiency is limited by reliance on spectral measurement for emitter identification, which limits the combinations of compatible probes to be used together. Blinking-based multiplexing (BBM) is a novel approach that circumvents the need for spectrally-distinct emitters by instead exploiting the intrinsic differences …


A Comprehensive Study Of Bills Of Materials For Software Systems, Trevor Stalnaker Jan 2023

A Comprehensive Study Of Bills Of Materials For Software Systems, Trevor Stalnaker

Dissertations, Theses, and Masters Projects

Software Bills of Materials (SBOMs) have emerged as tools to facilitate the management of software dependencies, vulnerabilities, licenses, and the supply chain. Significant effort has been devoted to increasing SBOM awareness and developing SBOM formats and tools. Despite this effort, recent studies have shown that SBOMs are still an early technology not adequately adopted in practice yet, mainly due to limited SBOM tooling and lack of industry consensus on SBOM content, tool usage, and practical benefits. Expanding on previous research, this paper reports a comprehensive study that first investigates the current challenges stakeholders encounter when creating and using SBOMs. The …


From The Hubbard Model To Coulomb Interactions: Quantum Monte Carlo Computations In Strongly Correlated Systems, Zhi-Yu Xiao Jan 2023

From The Hubbard Model To Coulomb Interactions: Quantum Monte Carlo Computations In Strongly Correlated Systems, Zhi-Yu Xiao

Dissertations, Theses, and Masters Projects

The study of interacting quantum many-body systems poses one of the main challenges in areas including condensed matter physics, nuclear physics, cold atoms physics, quantum chemistry, and materials science. Currently, no general approach is capable of handling the full complexity of interacting quantum systems, providing systematically accurate results across different ranges of many-body models and materials. The continued development of more general and more accurate numerical methodologies is instrumental in meeting the challenges of understanding and predicting the properties of interacting quantum systems. Quantum Monte Carlo (QMC) methods represent an important class of many-body techniques extensively employed in studying correlated …


Synthesis And Characterization Of Two Sets Of Group 12 Complexes With Organic Ligands, Michelle Sturner Jan 2023

Synthesis And Characterization Of Two Sets Of Group 12 Complexes With Organic Ligands, Michelle Sturner

Dissertations, Theses, and Masters Projects

The complexes of group 12 elements are subjects of incredible interest due to differences in their bioactivity. Zinc is an essential element of life and is required for many bodily processes including gene production, growth, and the immune response. Cadmium and mercury are both toxic elements to humans. Part of their activity is due to their ability to replace zinc metal centers. Synthesis of new group 12 complexes can provide insight regarding their bioactivity and how replacement of metal centers can affect the structure of enzymes. In this thesis, the preparation and characterization of two sets of group 12 complexes …


From Field To Shore: Policy Improvements To Better Protect Ecosystem And Human Health From Poultry Wastes In Virginia, Rachael A. King Jan 2023

From Field To Shore: Policy Improvements To Better Protect Ecosystem And Human Health From Poultry Wastes In Virginia, Rachael A. King

Dissertations, Theses, and Masters Projects

Commercial poultry production is a large industry with economic importance in Virginia. However, mismanagement of manures and wastes generated from the poultry industry can be a serious threat to ecosystem and human health. Primarily, there is a concern about nutrient pollution related to runoff and infiltration of poultry wastes. High nutrient loading can cause groundwater contamination, eutrophication, and harmful algal blooms (HABs). Additional concerns include metals, antibiotics, and pesticides that can be found in poultry wastes. To determine existing threats to ecosystem and human health from the poultry industry, Virginia policies regulating the industry are reviewed and their strengths and …


Exploring Pah Partitioning In Oysters Using Immunological Techniques, Kristen Madison Prossner Jan 2023

Exploring Pah Partitioning In Oysters Using Immunological Techniques, Kristen Madison Prossner

Dissertations, Theses, and Masters Projects

Anthropogenic activities such as oil spills are major sources of polycyclic aromatic hydrocarbon (PAH) pollution in the environment. Bivalves such as C. virginica can accumulate high levels of PAHs in tissue due to a limited metabolic capacity for these compounds. Accordingly, bivalves have served as key biomonitoring species for contaminants and exposure to PAH through seafood consumption can also be an important risk to human health due to the toxic and carcinogenic potential of these compounds. For evaluating bivalve PAH levels, conventional analyses are limited due to extensive time and expense and unreliability. This work demonstrates the application of immunological …


Ecosystem Transitions And State Changes Rapidly Alter The Coastal Carbon Landscape: Evidence From The Chesapeake Bay Region, Alexander Jason Smith Jan 2023

Ecosystem Transitions And State Changes Rapidly Alter The Coastal Carbon Landscape: Evidence From The Chesapeake Bay Region, Alexander Jason Smith

Dissertations, Theses, and Masters Projects

The coastal landscape is a naturally shifting mosaic of distinct ecosystems that are rapidly migrating with climate change. While directional changes in climate, such as warming and sea level rise, are fundamentally reorganizing the coastal landscape, ecosystem function, especially carbon storage, is affected to an unknown degree. This dissertation presents four chapters that examine the role of ecosystem transitions in coastal carbon dynamics across a range of spatial scales – within individual ecosystems, between two ecosystems, and at the landscape between an array of ecosystems. Ghost forests, or the marsh-forest ecotone, serves as an ideal example of a migratory ecotone. …


Gas-Phase Proton Affinities Of Proline- And Pipecolic Acid-Containing Dipeptides, Trinh Ton Jan 2023

Gas-Phase Proton Affinities Of Proline- And Pipecolic Acid-Containing Dipeptides, Trinh Ton

Dissertations, Theses, and Masters Projects

Mass spectrometry (MS) is one of the most used techniques in proteomics because it allows for both high-throughput and quantitative analyses. Bottom-up MS-based proteomics involves breaking down proteins into smaller chains of amino acids called peptides, ionizing and fragmenting the peptides, and identifying the fragments using sequencing databases. These databases depend on the random fragmentation at the backbone peptide bond of the peptides, as predicted by the mobile proton model. Research has shown that peptides containing proline or pipecolic acid have selective fragmentations that could lead to incorrect identification in the sequencing algorithms. These selective cleavages are called “the proline …


Characterizing Molecular Environments In Acrylic Paint Via Single-Sided Nmr, Lyndi Kiple Jan 2023

Characterizing Molecular Environments In Acrylic Paint Via Single-Sided Nmr, Lyndi Kiple

Dissertations, Theses, and Masters Projects

Acrylic paint is a modern artistic material made of colored pigment and polymeric binder. Acrylic binder requires fundamental study at the molecular level to understand its physical properties for purposes of art conservation and general polymer chemistry. The research presented in this thesis uses single-sided nuclear magnetic resonance (NMR) as a non-invasive and non-destructive way to measure relaxation and self-diffusion, which provide insight to molecular mobility and physical properties of proton-containing samples. Specifically, this study relies on T2 relaxation to gain insight to regions within acrylic paint with different molecular mobilities. In both dry and wet paint, relaxometry data revealed …


Chesapeake Bay Carbonate Cycle: Past, Present, And Future, Fei Da Jan 2023

Chesapeake Bay Carbonate Cycle: Past, Present, And Future, Fei Da

Dissertations, Theses, and Masters Projects

Multiple natural and anthropogenic drivers are expanding the variability of the estuarine carbonate system (CO2 system). These changes in the CO2 system are threatening the health of ecologically and economically important bivalve species. This dissertation investigates the Chesapeake Bay CO2 system by using numerical models and historical water quality data, focusing on the past three decades, the contemporary period, and the late 2060s. In Chapter 2, sensitivity experiments are conducted with a 3-D Chesapeake Bay hydrodynamic-biogeochemical model and reveal that the magnitude of decadal trends in the CO2 system over the past 30 years is much greater than that observed …


Domain-Specific Optimization For Machine Learning System, Yu Chen Jan 2023

Domain-Specific Optimization For Machine Learning System, Yu Chen

Dissertations, Theses, and Masters Projects

The machine learning (ML) system has been an indispensable part of the ML ecosystem in recent years. The rapid growth of ML brings new system challenges such as the need of handling more large-scale data and computation, the requirements for higher execution performance, and lower resource usage, stimulating the demand for improving ML system. General-purpose system optimization is widely used but brings limited benefits because ML applications vary in execution behaviors based on their algorithms, input data, and configurations. It's difficult to perform comprehensive ML system optimizations without application specific information. Therefore, domain-specific optimization, a method that optimizes particular types …


Climate Impacts On Spatiotemporal Habitat Usage Of Mid-Atlantic Fishes, Adena Jade Schonfeld Jan 2023

Climate Impacts On Spatiotemporal Habitat Usage Of Mid-Atlantic Fishes, Adena Jade Schonfeld

Dissertations, Theses, and Masters Projects

Climate change has altered marine environments, most notably by increasing water temperatures and reducing dissolved oxygen concentrations. These persistent changes have impacted the phenology and spatiotemporal habitat usage of mobile species, often through distributional shifts poleward or to deeper water. Climate-driven distributional shifts have been documented for numerous species inhabiting the Atlantic Ocean along the US East Coast, a region disproportionately affected by climate change. Adjacent estuaries are experiencing similar alterations to their physical environments and biotic community composition. Many estuarine species are seasonal residents and changes to environmental conditions within an estuary can result in altered usage and residence …


Efficient Parallelization Of Irregular Applications On Gpu Architectures, Qihan Wang Jan 2023

Efficient Parallelization Of Irregular Applications On Gpu Architectures, Qihan Wang

Dissertations, Theses, and Masters Projects

With the enlarging computation capacity of general Graphics Processing Units (GPUs), leveraging GPUs to accelerate parallel applications has become a critical topic in academia and industry. However, a wide range of irregular applications with a computation-/memory-intensive nature cannot easily achieve high GPU utilization. The challenges mainly involve the following aspects: first, data dependence leads to a coarse-grained kernel; second, heavy GPU memory usage may cause frequent memory evictions and extra overhead of I/O; third, specific computation patterns produce memory redundancies; last, workload balance and data reusability conjunctly benefit the overall performance, but there may exist a dynamic trade-off between them. …


Program Analysis For Software Engineers And Students, Jialiang Tan Jan 2023

Program Analysis For Software Engineers And Students, Jialiang Tan

Dissertations, Theses, and Masters Projects

Software inefficiencies are inevitable in computer systems. At the code level, software packages have become increasingly complex, they are comprised of a large amount of source code, sophisticated control and data flow, and growing levels of abstraction. This complexity often introduces inefficiencies across software stacks, leading to performance degradation. At the resource level, the evolution of hardware outpaces the performance optimization of software, leading to resource wastage and energy dissipation in emerging architecture. To better understand program behaviors, software developers take advantage of performance profiling tools. Existing profiling techniques, whether fine-grained profilers or coarse-grained profilers focus on identifying hotspots, which …


Intelligent Software Tooling For Improving Software Development, Nathan Allen Cooper Jan 2023

Intelligent Software Tooling For Improving Software Development, Nathan Allen Cooper

Dissertations, Theses, and Masters Projects

Software has eaten the world with many of the necessities and quality of life services people use requiring software. Therefore, tools that improve the software development experience can have a significant impact on the world such as generating code and test cases, detecting bugs, question and answering, etc. The success of Deep Learning (DL) over the past decade has shown huge advancements in automation across many domains, including Software Development processes. One of the main reasons behind this success is the availability of large datasets such as open-source code available through GitHub or image datasets of mobile Graphical User Interfaces …


Appearance Driven Reflectance Modeling, James Christopher Bieron Jan 2023

Appearance Driven Reflectance Modeling, James Christopher Bieron

Dissertations, Theses, and Masters Projects

Creating realistic computer generated imagery is essential for modern movies and video games. Recreating the appearance of materials is integral to generating such photo-realistic images. While the problem of how to model materials is well studied, here we will focus on the question of how to recreate the appearance of specific materials found in the real world. In this dissertation we will begin with a short introduction to rendering, followed by a discussion of various material models, techniques for measuring reflectance, and strategies for fitting these models to reflectance data. We will then introduce a novel two-stage process for fitting, …


Achieving Real-Time Dnn Execution On Mobile Devices With Compiler Optimizations, Wei Niu Jan 2023

Achieving Real-Time Dnn Execution On Mobile Devices With Compiler Optimizations, Wei Niu

Dissertations, Theses, and Masters Projects

Deep learning, particularly deep neural networks (DNNs), has led to significant advancements in various fields, such as autonomous driving, natural language processing, extended reality (XR), and view synthesis. Mobile and edge devices, with their efficient and specialized processors and suitability for real-time scenarios, have become the primary carriers for these emerging applications. The advancements in AutoML tools (e.g., Network Architecture Search) and training techniques have resulted in increasingly complex and deep DNN architectures with larger computational requirements. However, achieving real-time DNN execution (inference) on mobile devices is a challenging task due to the limited computing and storage resources available on …


Subsurface Structure And Impacts Of Marine Heatwaves In The Chesapeake Bay, Nathan P. Shunk Jan 2023

Subsurface Structure And Impacts Of Marine Heatwaves In The Chesapeake Bay, Nathan P. Shunk

Dissertations, Theses, and Masters Projects

Extreme temperature events known as Marine Heatwaves (MHW), akin to atmospheric heatwaves, have only recently received attention by the estuarine scientific community. Thus far, studies have focused solely on surface events due to scarcity of long-term subsurface data. This study investigates, for the first time, the subsurface temperature and dissolved oxygen (DO) anomalies associated with surface MHW events in a large, temperate, partially mixed estuary: the Chesapeake Bay (CB). Using over three decades (1986-2021) of in-situ data from several long-term monitoring programs in the CB (including sub daily moored measurements and monthly/bimonthly cruises along the main stem) and a global …


Matfusion: A Generative Diffusion Model For Svbrdf Capture, Samuel Lee Sartor Jan 2023

Matfusion: A Generative Diffusion Model For Svbrdf Capture, Samuel Lee Sartor

Dissertations, Theses, and Masters Projects

We formulate SVBRDF estimation from photographs as a diffusion task. To model the distribution of spatially varying materials, we first train a novel unconditional SVBRDF diffusion backbone model on a large set of 312,165 synthetic spatially varying material exemplars. This SVBRDF diffusion backbone model, named MatFusion, can then serve as a basis for refining a conditional diffusion model to estimate the material properties from a photograph under controlled or uncontrolled lighting. Our backbone MatFusion model is trained using only a loss on the reflectance properties, and therefore refinement can be paired with more expensive rendering methods without the need for …


Tracing Atlantic Sea Scallops Using Radio Frequency Identification (Rfid) Technology, Will Shoup Jan 2023

Tracing Atlantic Sea Scallops Using Radio Frequency Identification (Rfid) Technology, Will Shoup

Dissertations, Theses, and Masters Projects

Traceable seafood can be linked back to its origin and method of catch. Improving the traceability of marine organisms involves establishing a transparent Chain of Custody (CoC) by collecting data at checkpoints throughout the supply chain, from ship to shore to store. This report explores the feasibility of integrating Radio Frequency Identification (RFID) technology into the United States Atlantic sea scallop (Placopecten magellanicus) fishery in order to improve traceability. This report serves as a forward-looking evaluation of RFID technology that is intended to inform interested stakeholders of its functionality and capabilities. It is not intended to serve as a management …