Viral infections were investigated in American black bears (Ursus americanus) from Nevada and northern California with and without idiopathic encephalitis. Metagenomics analyses of tissue pools revealed novel viruses in the genera Circoviridae, Parvoviridae, Anelloviridae, Polyomaviridae, and Papillomaviridae. The circovirus and parvovirus were of particular interest due to their potential importance...
How do you test a program when only a single user, with no expertise in software testing, is able to determine if the
program is performing correctly? Such programs are common today in the form of machine-learned classifiers. We consider the
problem of testing this common kind of machine-generated program...
Energy consumption has become a significant concern for cloud service providers due to financial as well as environmental factors. As a result, cloud service providers are seeking innovative ways that allow them to reduce the amount of energy that their data centers consume. They are calling for the development of...
The range of verification problems that can be solved with logic model checking tools has increased significantly in the last few decades. This increase in capability is based on algorithmic advances and new theoretical insights, but it has also benefitted from the steady increase in processing speeds and main memory...
A long-standing approach to deal with complex product development is to divide the system into smaller parts
and assign responsibility for developing those parts to particular teams. Conventional wisdom suggests that by
doing so, we reduce the communication overhead in the development project by making the separate
development teams as...
Broadband simulated dolphin echolocation signals were used to measure the ex situ backscatter properties of mesopelagic boundary community MBC in order to gain a better understanding of the echolocation process of spinner dolphins foraging on the MBC. Subjects were captured by trawling with a 2-m-opening Isaacs-Kidd Midwater Trawl. Backscatter measurements...
The microwave backscatter properties of surf zone waves are analyzed using field observations.
By utilizing a preexisting, independent, water surface discrimination technique, the microwave returns were
extracted along individual waveforms and the data from shoaling (steepening) waves, surf zone breaking
waves, and remnant foam were separated and quantified. In addition,...
Technological advancements, ever-evolving necessary skillsets, and an aging workforce have all contributed to a growing labor crisis wherein there are not enough qualified candidates available to fill vacant jobs in the manufacturing sector – in essence, a skilled labor shortage. Certificate programs (earned independently in a two-year college, while working...
Theories of human behavior are an important but largely untapped resource for software engineering research. They facilitate understanding of human developers’ needs and activities, and thus can serve as a valuable resource to researchers designing software engineering tools. Furthermore, theories abstract beyond specific methods and tools to fundamental principles that...
Soil moisture is an essential climate variable influencing land–atmosphere interactions, an essential hydrologic variable impacting rainfall–runoff processes, an essential ecological variable regulating net ecosystem exchange, and an essential agricultural variable constraining food security. Large-scale soil moisture monitoring has advanced in recent years, creating opportunities to transform scientific understanding of soil...