Physical Sciences and Mathematics Commons^™

On Lexicographic Proof Rules For Probabilistic Termination, Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Petr Novotný, Jiří Zárevucký, Dorde Zikelic

Research Collection School Of Computing and Information Systems

We consider the almost-sure (a.s.) termination problem for probabilistic programs, which are a stochastic extension of classical imperative programs. Lexicographic ranking functions provide a sound and practical approach for termination of non-probabilistic programs, and their extension to probabilistic programs is achieved via lexicographic ranking supermartingales (LexRSMs). However, LexRSMs introduced in the previous work have a limitation that impedes their automation: all of their components have to be non-negative in all reachable states. This might result in LexRSM not existing even for simple terminating programs. Our contributions are twofold: First, we introduce a generalization of LexRSMs which allows for some components …

10586986 Edd, Pioneer Technical Services, Inc.

Silver Bow Creek/Butte Area Superfund Site

No abstract provided.

Silver Bow Creek/Butte Area Npl Site Butte Priority Soils Operable Unit, Pioneer Technical Services, Inc.

Silver Bow Creek/Butte Area Superfund Site

No abstract provided.

Silver Bow Creek/Butte Area Npl Site Butte Priority Soils Operable Unit, Atlantic Richfield Company

Silver Bow Creek/Butte Area Superfund Site

No abstract provided.

Butte Priority Soils Operable Unit Community Engagement Plan For Remedial Design & Remedial Action, The Langdon Group, Inc., Atlantic Richfield Company

Silver Bow Creek/Butte Area Superfund Site

No abstract provided.

Epa Region 8 Qa Document Review Crosswalk, Trec Inc., A Woodard And Curran Company, Nikia Greene

Silver Bow Creek/Butte Area Superfund Site

No abstract provided.

Information Extraction And Classification On Journal Papers, Lei Yu

Department of Computer Science and Engineering: Dissertations, Theses, and Student Research

The importance of journals for diffusing the results of scientific research has increased considerably. In the digital era, Portable Document Format (PDF) became the established format of electronic journal articles. This structured form, combined with a regular and wide dissemination, spread scientific advancements easily and quickly. However, the rapidly increasing numbers of published scientific articles requires more time and effort on systematic literature reviews, searches and screens. The comprehension and extraction of useful information from the digital documents is also a challenging task, due to the complex structure of PDF.

To help a soil science team from the United States …

Spatiotemporal Non-Uniformly Correlated Beams, Milo W. Hyde Iv

Faculty Publications

We present a new partially coherent source with spatiotemporal coupling. The stochastic light, which we call a spatiotemporal (ST) non-uniformly correlated (NUC) beam, combines space and time in an inhomogeneous (shift- or space-variant) correlation function. This results in a source that self-focuses at a controllable location in space-time, making these beams potentially useful in applications such as optical trapping, optical tweezing, and particle manipulation. We begin by developing the mutual coherence function for an ST NUC beam. We then examine its free-space propagation characteristics by deriving an expression for the mean intensity at any plane z ≥ 0. To validate …

Identification Of An Intermediate Species Along The Nitrile Hydratase Reaction Pathway By Epr Spectroscopy, Wasantha Lankathilaka Karunagala Pathiranage, Natalie Gumataotao, Adam T. Fiedler, Richard C. Holz, Brian Bennett

Physics Faculty Research and Publications

A new method to trap catalytic intermediate species was employed with Fe-type nitrile hydratase from Rhodococcus equi TG328-2 (ReNHase). ReNHase was incubated with substrates in a 23% (w/w) NaCl/H₂O eutectic system that remained liquid at −20 °C, thereby permitting the observation of transient species that were present at electron paramagnetic resonance (EPR)-detectable levels in samples frozen while in the steady state. Fe^III-EPR signals from the resting enzyme were unaffected by the presence of 23% NaCl, and the catalytic activity was ∼55% that in the absence of NaCl at the optimum pH of 7.5. …

Protection Of Patient Privacy On Mobile Device Machine Learning, Matthew Nguyen

Cybersecurity Undergraduate Research Showcase

An existing StudentLife Study mobile dataset was evaluated and organized to be applied to different machine learning methods. Different variables like user activity, exercise, sleep, study space, social, and stress levels are optimized to train a model that could predict user stress level. The different machine learning methods would test if both patient data privacy and training efficiency can be ensured.

Internet Of Things: Cybersecurity In Small Businesses, Zobair Wali

Cybersecurity Undergraduate Research Showcase

Small businesses are the most vital part of a nation’s economy. In today’s world, as we are moving towards digitizing almost everything around us, cybersecurity is essential and vital for our digitalized world to function. Small businesses are no exception. All businesses collect, use, and store information. They store employees’ information, tax information, customers’ information, business transaction information, and all other operational information that is needed for a business to function. Without an appropriate cybersecurity program, these businesses are vulnerable and can be easily impacted by cyber incidents and malicious attacks. Businesses are putting resources to protect their systems against …

Self-Supervised Perceptual Ad-Blocker, Killian Robinson

Cybersecurity Undergraduate Research Showcase

This project proposes a new self-supervised ad-blocker to minimize the amount of human effort required to effectively combat pushed advertisements. Current ad-blocker models are expensive to develop and not always effective in identifying advertisements. We investigated the possibility of solving these problems with the introduction of a deep learning, self-supervised ad-blocker model. More specifically, the proposed ad-blocker will be trained in a self-supervised fashion to tackle the issue of lacking labelled training data. The proposed solution was prototyped using Pytorch and achieved a detection accuracy of 81% on a diverse selection of popular websites.

Transforming Businesses With E-Commerce Intelligence, Yuanto Kusnadi, Gary Pan

Research Collection School Of Accountancy

2020 had been an extraordinary year as the Covid-19 pandemic struck almost all countries in the world and created an extraordinary impact on businesses worldwide. Singapore and many other Southeast Asian countries were not spared and had to implement lockdowns swiftly. To cope with physical store closures and the increased volume of online transactions, most businesses tried to revamp their business models and set up online stores to capitalise on the rise of the e-commerce wave. With the growing trend of online transactions, it has become imperative for companies operating in the Fast Moving Consumer Goods (FMCG) industry to track …

Uncertainty Analysis For Ccd-Augmented Casi® Brdf Measurement System, Todd V. Small, Samuel D. Butler, Michael A. Marciniak

Faculty Publications

This work presents a measurement uncertainty analysis for a system designed to simultaneously capture specular in-plane and out-of-plane bidirectional reflectance distribution function (BRDF) data with high spatial resolution by augmenting the Complete Angle Scatter Instrument (CASI®) with a charge-coupled device (CCD) camera. Various scatter flux, incident flux, scatter angle, and detector solid angle uncertainty contributions are considered and evaluated based on imperfectly known system parameters. In particular, incident flux temporal fluctuation, detector noise and non-linearity, and out-of-plane aperture misalignment considerations each require significant adjustment from original CASI® uncertainty analysis, and expressions for neutral density (ND) filter, scatter angle, and solid …

Risk Communication In The Tourism Industry, Lindsay E. Usher, Ashley Schroeder

Human Movement Studies & Special Education Faculty Publications

This chapter focuses on risk communication in the tourism sector. Tourism organizations must communicate with a variety of stakeholders when conveying messages about impending severe weather or disasters, which are increasing due climate change and sea level rise. There is also an increased need to distribute information to tourism stakeholders about preparing for, continuing service during, and recovering from, disasters. Stakeholders involved with the tourism industry include business owners, government officials and tourists, all of whom have differing degrees of vulnerability in a destination when a threat occurs. Different messages regarding disaster preparation and recovery must be communicated to the …

Risk Management And Biases In How Drivers Respond To Nuisance Flooding, Saige Hill, Juita-Elena (Wie) Yusuf, Burton St. John Iii, Pragati Rawat, Carol Considine

School of Public Service Faculty Publications

Nuisance flooding, or recurrent flooding, occurs during high tide and may be exacerbated when combined with other events such as heavy precipitation, strong winds, or storm surge. Sea level rise has contributed to increased frequency and duration of nuisance flooding in low-lying coastal areas and is causing community-specific impacts such as transportation disruption, road closures, compromises to life and property, overwhelmed storm water systems, and infrastructure damage. This chapter focuses on how drivers respond during nuisance flooding events. Specifically, we discuss how drivers in the Hampton Roads region of southeastern coastal Virginia obtain information about road flooding, how they respond, …

Engaging Residents In Policy And Planning For Sea Level Rise: Application Of The Action-Oriented Stakeholder Engagement For A Resilient Tomorrow (Asert) Framework, Juita-Elena (Wie) Yusuf, J. Gail Nicula, Daniel P. Richards, Ogechukwu Agim, Michelle Covi, Khairul A. Anuar

School of Public Service Faculty Publications

This chapter describes the application of the Action-oriented Stakeholder Engagement for a Resilient Tomorrow (ASERT) framework for communicating with and engaging both residents and community stakeholders in their localities’ efforts to prepare for and to respond to flooding and sea level rise. The application of ASERT incorporates communication, education/learning, and gamification elements that can be embedded into community meetings. We describe the way in which ASERT community meetings are designed (1) to provide an inclusive and engaging process that will allow residents to participate in their city’s resilience efforts; (2) to provide information about resilience in an environment that encourages …

Communicating And Co-Producing Information With Stakeholders: Examples Of Participatory Mapping Approaches Related To Sea Level Rise Risks And Impacts, Pragati Rawat, Khairul A. Anua, Juita-Elena (Wie) Yusuf, Jon Derek Loftis, Ren-Neasha Blake

School of Public Service Faculty Publications

This chapter discusses practical approaches for using participatory mapping as a tool to visualize and communicate sea level rise (SLR) and climate change risks, to share information about the vulnerability to, and threats of, climate change, and to co-produce knowledge with stakeholders. The examples presented in this chapter are from demonstrated applications in communities in Virginia (USA) that involve participatory mapping and that utilize a web-Geographic Information System (GIS). The web-GIS is innovatively combined with other technologies and participatory processes to create low-cost high-tech approaches so that even people with little to no knowledge of GIS can interact with maps …

Disentangling Diverse Responses To Climate Change Among Global Marine Ecosystem Models, Ryan F. Heneghan, Eric Galbraith, Julia L. Blanchard, Cheryl S. Harrison, Nicolas Barrier, Catherine Bulman, William Cheung, Marta Coli, Tyler D. Eddy, Maite Erauskin-Extramiana

School of Earth, Environmental, and Marine Sciences Faculty Publications and Presentations

Climate change is warming the ocean and impacting lower trophic level (LTL) organisms. Marine ecosystem models can provide estimates of how these changes will propagate to larger animals and impact societal services such as fisheries, but at present these estimates vary widely. A better understanding of what drives this inter-model variation will improve our ability to project fisheries and other ecosystem services into the future, while also helping to identify uncertainties in process understanding. Here, we explore the mechanisms that underlie the diversity of responses to changes in temperature and LTLs in eight global marine ecosystem models from the Fisheries …

Next-Generation Ensemble Projections Reveal Higher Climate Risks For Marine Ecosystems, Derek P. Tittensor, Camilla Novaglio, Cheryl S. Harrison, Ryan F. Heneghan, Nicolas Barrier, Daniele Bianchi, Laurent Bopp, Andrea Bryndum-Buchholz, Gregory L. Britten, Matthias Büchner

School of Earth, Environmental, and Marine Sciences Faculty Publications and Presentations

Projections of climate change impacts on marine ecosystems have revealed long-term declines in global marine animal biomass and unevenly distributed impacts on fisheries. Here we apply an enhanced suite of global marine ecosystem models from the Fisheries and Marine Ecosystem Model Intercomparison Project (Fish-MIP), forced by new-generation Earth system model outputs from Phase 6 of the Coupled Model Intercomparison Project (CMIP6), to provide insights into how projected climate change will affect future ocean ecosystems. Compared with the previous generation CMIP5-forced Fish-MIP ensemble, the new ensemble ecosystem simulations show a greater decline in mean global ocean animal biomass under both strong-mitigation …

All-Sky Search For Short Gravitational-Wave Bursts In The Third Advanced Ligo And Advanced Virgo Run, R. Abbott, T. D. Abbott, F. Acernese, K. Ackley, Teviet Creighton, Mario C. Diaz, Francisco Llamas, Soma Mukherjee, Volker Quetschke, Wen Hui Wang

Physics and Astronomy Faculty Publications and Presentations

This paper presents the results of a search for generic short-duration gravitational-wave transients in data from the third observing run of Advanced LIGO and Advanced Virgo. Transients with durations of milliseconds to a few seconds in the 24–4096 Hz frequency band are targeted by the search, with no assumptions made regarding the incoming signal direction, polarization, or morphology. Gravitational waves from compact binary coalescences that have been identified by other targeted analyses are detected, but no statistically significant evidence for other gravitational wave bursts is found. Sensitivities to a variety of signals are presented. These include updated upper limits on …

Technique To Solve Linear Fractional Differential Equations Using B-Polynomials Bases, Muhammad I. Bhatti, Md. Habibur Rahman

Physics and Astronomy Faculty Publications and Presentations

A multidimensional, modified, fractional-order B-polys technique was implemented for finding solutions of linear fractional-order partial differential equations. To calculate the results of the linear Fractional Partial Differential Equations (FPDE), the sum of the product of fractional B-polys and the coefficients was employed. Moreover, minimization of error in the coefficients was found by employing the Galerkin method. Before the Galerkin method was applied, the linear FPDE was transformed into an operational matrix equation that was inverted to provide the values of the unknown coefficients in the approximate solution. A valid multidimensional solution was determined when an appropriate number of basis sets …

Late Pleistocene And Early Holocene Sea-Level History And Glacial Retreat Interpreted From Shell-Bearing Marine Deposits Of Southeastern Alaska, Usa, James F. Baichtal, Alia J. Lesnek, Risa J. Carlson, Nicholas S. Schmuck, Jane L. Smith, Dennis J. Landwehr, Jason P. Briner

Publications and Research

We leverage a data set of >720 shell-bearing marine deposits throughout southeastern Alaska (USA) to develop updated relative sea-level curves that span the past ~14,000 yr. This data set includes site location, elevation, description when avail-able, and 436 14C ages, 45 of which are published here for the first time. Our sea-level curves suggest a peripheral forebulge developed west of the retreating Cordilleran Ice Sheet (CIS) margin between ca. 17,000 and 10,800 calibrated yr B.P. By 14,870 ± 630 to 12,820 ± 340 cal. yr B.P., CIS mar-gins had retreated from all of southeastern Alaska’s fjords, channels, and passages. At …

Options For Prioritizing Sites For Biodiversity Conservation With Implications For “30 By 30”, R. Travis Belote, Kevin Barnett, Matthew S. Dietz, Laura Burkle, Clinton Jenkins, Lindsay Dreiss, Jocelyn L. Aycrigg, Gregory H. Aplet

Department of Earth and Environment

International and national initiatives aim to conserve at least 30% of lands and waters by 2030. To safeguard biodiversity, conservation actions must be distributed in places that represent ecosystem and species diversity. Various methods of prioritizing sites for conservation have been used in local and global assessments. However, the performance and consequences of alternative methods are usually unknown. Such comparisons are needed to confidently implement national and international conservation initiatives. Here, we compared four widely-used methods of prioritizing sites in the contiguous United States for conserving species of mammals, birds, amphibians, and reptiles. Specifically, we calculated and mapped species richness, …

The Ionic Selectivity Of Lysenin Channels In Open And Sub-Conducting States, Andrew Bogard, Pangaea W. Finn, Fulton Mckinney, Ilinca M. Flacau, Aviana R. Smith, Rosey Whiting, Daniel Fologea

Physics Faculty Publications and Presentations

The electrochemical gradients established across cell membranes are paramount for the execution of biological functions. Besides ion channels, other transporters, such as exogenous pore-forming toxins, may present ionic selectivity upon reconstitution in natural and artificial lipid membranes and contribute to the electrochemical gradients. In this context, we utilized electrophysiology approaches to assess the ionic selectivity of the pore-forming toxin lysenin reconstituted in planar bilayer lipid membranes. The membrane voltages were determined from the reversal potentials recorded upon channel exposure to asymmetrical ionic conditions, and the permeability ratios were calculated from the fit with the Goldman–Hodgkin–Katz equation. Our work shows that …

Traffic Collision Avoidance System: False Injection Viability, John Hannah, Robert F. Mills, Richard A. Dill, Douglas D. Hodson

Faculty Publications

Safety is a simple concept but an abstract task, specifically with aircraft. One critical safety system, the Traffic Collision Avoidance System II (TCAS), protects against mid-air collisions by predicting the course of other aircraft, determining the possibility of collision, and issuing a resolution advisory for avoidance. Previous research to identify vulnerabilities associated with TCAS’s communication processes discovered that a false injection attack presents the most comprehensive risk to veritable trust in TCAS, allowing for a mid-air collision. This research explores the viability of successfully executing a false injection attack against a target aircraft, triggering a resolution advisory. Monetary constraints precluded …

Microstratigraphic Analysis Of Fossil Distribution In The Lower Hornerstown And Upper Navesink Formations At The Edelman Fossil Park, Nj, Kristyn K. Voegele, Paul V. Ullmann, Tara Lonsdorf, Zachary Christman, Michael Heierbacher, Brian J. Kibelstis, Ian Putnam, Zachary Boles, Shane Walsh, Kenneth J. Lacovara

School of Earth & Environment Departmental Research

Maastrichtian–Danian sediments of the Navesink and Hornerstown formations at the Jean and Ric Edelman Fossil Park of Rowan University in Mantua Township, New Jersey, have long intrigued paleontologists. Within the basal Hornerstown Formation occurs the Main Fossiliferous Layer (MFL), a regionally well-known and diverse bonebed. The lithostratigraphic and chronostratigraphic position of this fossil layer have been debated for more than 50 years, fueling debate over its origin. Herein, we present the results of a microstratigraphic analysis of the fossil composition and distribution of the MFL undertaken to rectify these discrepancies. Through methodical top-down excavation, we recorded the three-dimensional position of …

Wav-Bert: Cooperative Acoustic And Linguistic Representation Learning For Low-Resource Speech Recognition, Guolin Zheng, Yubei Xiao, Ke Gong, Pan Zhou, Xiaodan Liang, Liang Lin

Research Collection School Of Computing and Information Systems

Unifying acoustic and linguistic representation learning has become increasingly crucial to transfer the knowledge learned on the abundance of high-resource language data for low-resource speech recognition. Existing approaches simply cascade pre-trained acoustic and language models to learn the transfer from speech to text. However, how to solve the representation discrepancy of speech and text is unexplored, which hinders the utilization of acoustic and linguistic information. Moreover, previous works simply replace the embedding layer of the pre-trained language model with the acoustic features, which may cause the catastrophic forgetting problem. In this work, we introduce Wav-BERT, a cooperative acoustic and linguistic …

Aspect-Based Sentiment Analysis In Question Answering Forums, Wenxuan Zhang, Yang Deng, Xin Li, Lidong Bing, Wai Lam

Research Collection School Of Computing and Information Systems

Aspect-based sentiment analysis (ABSA) typically focuses on extracting aspects and predicting their sentiments on individual sentences such as customer reviews. Recently, another kind of opinion sharing platform, namely question answering (QA) forum, has received increasing popularity, which accumulates a large number of user opinions towards various aspects. This motivates us to investigate the task of ABSA on QA forums (ABSA-QA), aiming to jointly detect the discussed aspects and their sentiment polarities for a given QA pair. Unlike review sentences, a QA pair is composed of two parallel sentences, which requires interaction modeling to align the aspect mentioned in the question …

Aspect Sentiment Quad Prediction As Paraphrase Generation, Wenxuan Zhang, Yang Deng, Xin Li, Yifei Yuan, Lidong Bing, Wai Lam

Research Collection School Of Computing and Information Systems

Aspect-based sentiment analysis (ABSA) has been extensively studied in recent years, which typically involves four fundamental sentiment elements, including the aspect category, aspect term, opinion term, and sentiment polarity. Existing studies usually consider the detection of partial sentiment elements, instead of predicting the four elements in one shot. In this work, we introduce the Aspect Sentiment Quad Prediction (ASQP) task, aiming to jointly detect all sentiment elements in quads for a given opinionated sentence, which can reveal a more comprehensive and complete aspect-level sentiment structure. We further propose a novel Paraphrase modeling paradigm to cast the ASQP task to a …