Dengue (family Flaviviridae, genus Flavivirus, DENV) remains the leading arboviral cause of mortality in the tropics. Wolbachia pipientis has been shown to interrupt DENV transmission and is presently being trialled as a biological control. However, deployment issues have arisen on methods to temporarily suppress wild mosquito populations before Wolbachia-infected mosquito releases. By suppress...

Directed containers make explicit the additional structure of those containers whose set functor interpretation carries a comonad structure. The data and laws of a directed container resemble those of a monoid, while the data and laws of a directed container morphism those of a monoid morphism in the reverse direction. With some reorganization, a directed container is the same as a small catego...

The long-lived radionuclide Tc-99 is thought to be highly mobile in biogeochemical cycles, however, the behavior in the natural environment is not clear because Tc is a redox sensitive element. Since the geochemical behaviors of Re and Tc are similar, Re transfer factors from soil to plant can be a Tc surrogate in the natural environment. However, in soil solution to plant systems, it was not c...

It is the purpose of this chapter to provide standards for the functional properties of packaging systems used for solid oral dosage forms (SODF) and liquid oral dosage forms (LODF) for pharmaceuticals and dietary supplements. Definitions that apply to this chapter are provided in Packaging and Storage Requirements á659ñ. The tests that follow are provided to determine the moisture vapor transm...

Linux containers in the commercial world are changing the landscape for application development and deployments. Container technologies are also making inroads into HPC environments, as exemplified by NERSC’s Shifter and LBL’s Singularity. While the first generation of HPC containers offers some of the same benefits as the existing open container frameworks, like CoreOS or Docker, they do not a...

This development provides a framework for container types like sets and maps such that generated code implements these containers with different (efficient) data structures. Thanks to type classes and refinement during code generation, this light-weight approach can seamlessly replace Isabelle’s default setup for code generation. Heuristics automatically pick one of the available data structure...

The molluscicidal effects of Talinum triangulare from two locations in Nigeria on Bulinus truncatus were studied in the laboratory. Snails were exposed for 96h to different concentrations of ethanolic extract of the plant root from Nsukka in Enugu State and Erei in Cross River State, Nigeria. Those in dechlorinated water served as control. On coming in contact with the test medium, the snails r...

INTRODUCTION Ecological restoration is a rapidly growing field of biology. Grassroots restoration activities have a long history and have recently increased dramatically. These are now being supplemented by state and federally sponsored restoration projects reaching tens and hundreds of millions of dollars, like those in the Everglades, Lake Tahoe, and the Sacramento River and Delta. Academic p...

The optimization of container ship and depot operations embeds the k-shift problem, in which containers must be stowed in stacks such that at most k containers must be removed in order to reach containers below them. We first solve an open problem introduced by Avriel et al. (2000) by showing that changing from uncapacitated to capacitated stacks reduces the complexity of this problem from NP-c...