The actinopods Ciliophrys marina and Heterophrys marina both have membrane bounded extrusomes attached to their cellular and axopodial membranes. The extrusomes of C. marina, the muciferous bodies, ar...
At present the family Halomonadaceae consists of four genera and the taxonomic status of all species included in these genera is not equally supported by phylogenetic evidence. Whereas Zymobacter and ...
We present a framework for decision making with circumstance-dependent preferences and decisions. This formalism, called Ordered Choice Logic Programming, allows decisions that comprise multiple alter...
Abstract
Scientific applications often perform complex computational analyses that consume and produce large data sets. We are concerned with data placement policies that distribute data in ways that...
Abstract
Scientific applications often perform complex computational analyses that consume and produce large data sets. We are concerned with data placement policies that distribute data in ways that...
We have designed and implemented a service for determining the truthfulness of the statements maintained by the Haystack system. These statements can be asserted or denied by various sources interacti...
We have designed and implemented a service for determining the truthfulness of the statements maintained by the Haystack system. These statements can be asserted or denied by various sources interacti...
C programs can be difficult to debug due to lax type enforcement and low-level access to memory. We present a dynamic analysis for C that checks heap snapshots for consistency with program types. Our ...