abstract This paper presents a taxonomy of methods for detecting race conditions in parallel programs, shows how recent results t into the taxonomy, and presents some new results for previously unexamined points in the taxonomy. It also presents a taxonomy of \races" and suggested terminology.

A central problem in multistrategy learning systems is the selection and sequencing of machine learning algorithms for particular situations. This is typically done by the system designer who analyzes the learning task and implements the appropriate algorithm or sequence of algorithms for that task. We propose a solution to this problem which enables an AI system with a library of machine learn...

We have examined the role of microbial communities on the surface of submersed macrophytes and in the underlying sediment for nitrification and denitrification in light and dark in NH -enriched microcosm systems using isotope 4 pairing and dilution techniques. Potamogeton pectinatus L. and intact sediment cores were collected in a shallow reservoir receiving treated municipal wastewater and con...

Uptake of atmospheric CO2 by the oceans and the export of carbon into deeper waters via the biological CO2 pump is driven by the production of particulate organic matter (POM). The elemental ratios of carbon, nitrogen, and phosphorus within POM follow Redfield ratios, suggesting that the concentrations of dissolved inorganic carbon (DIC) and nutrients decrease during new production correspondin...

The ability to automatically extract information from the footnotes of financial statements simplifies access to critical information concerning public companies. However, extraction can be particularly challenging due to great variations in the filing structure and terminologies used. Hierarchical formalization of text becomes a necessity in such circumstances. This is facilitated by the creat...

Taxonomy is the discipline in biology aimed at characterizing and naming taxa and taxonomy plays a major role in conserving biodiversity. The central unit of taxonomy is species and generating biological information requires naming of species. Thousands of species are being named every year since the advent of Linnaean nomenclature in 1758. Alpha taxonomy relates to species level characterizati...

On-chip capacity for storing temporal photon data in direct time-of-flight (dToF) lidar sensors is limited. This has prompted the development of various partial histogram approaches to reduce amount stored on-chip. The aim this paper inform sensor design by providing a taxonomy these approaches, models evaluating their impact on system laser power and identification additional trade-offs which ...