We propose and prove sound a novel, purely dynamic, flowsensitive monitor for securing information flow in an imperative language extended with DOM-like tree operations, that we call Core DOM. In Core DOM, as in the DOM API, tree nodes are treated as first-class values. We take advantage of this feature in order to implement an information flow control mechanism that is finer-grained than previ...

For simplicity, we adopt the following rules: X is a non empty set, S is a σ-field of subsets of X, M is a σ-measure on S, E is an element of S, F , G are sequences of partial functions from X into R, I is a sequence of extended reals, f , g are partial functions from X to R, s1, s2, s3 are sequences of extended reals, p is an extended real number, n, m are natural numbers, x is an element of X...

Aquacultures are of great economic importance worldwide but pollute pristine headwater streams, lakes, and estuaries. However, there are no in-depth studies of the consequences of aquacultures on dissolved organic matter (DOM) composition and structure. We performed a detailed molecular level characterization of aquaculture DOM quality and its bacterial degradation using four salmon aquaculture...

Iron that precipitates under aerobic conditions in natural aquatic systems scavenges dissolved organic matter (DOM) from solution. Subterranean estuaries (STEs) are of major importance for land-ocean biogeochemical fluxes. Their specific redox boundaries, coined the "iron curtain" due to the abundance of precipitated iron(III) (oxy)hydroxides, are hot spots for the removal and redissolution of ...

The notation and terminology used in this paper have been introduced in the following articles: [20], [9], [25], [7], [8], [4], [16], [24], [21], [19], [13], [18], [23], [1], [2], [10], [5], [17], [11], [3], [22], [14], [12], [6], [26], and [15]. We use the following convention: i, j, n denote natural numbers, f , g, h, k denote finite sequences of elements of R, and M , N denote non empty metr...

In some high arsenic (As) groundwater systems, correlations are observed between dissolved organic matter (DOM) and As concentrations, but in other systems, such relationships are absent. The role of labile DOM as the main driver of microbial reductive dissolution is not sufficient to explain the variation in DOM-As relationships. Other processes that may also influence As mobility include comp...

One can prove the following propositions: (1) For all functions f , g, h such that dom f ∩ dom g ⊆ domh holds f+·g+·h = g+·f+·h. (2) For all functions f , g, h such that f ⊆ g and rng h ∩ dom g ⊆ dom f holds g · h = f · h. (3) For all functions f , g, h such that dom f ⊆ rng g and dom f misses rng h and g domh misses dom f holds f · (g+·h) = f · g. (4) For all functions f1, f2, g1, g2 such that...

We conducted a comparison of the characteristics of dissolved organic matter (DOM) taken from the bio-toilet and other sources. A characterisation of DOM was carried out to assess the stability of the compost generated during the thermophilic and aerobic biodegradation of faeces. In addition, levels of soluble microbial products generated in the bio-toilet composting reactor were compared with ...

To better understand the functional responses in prokaryotes to dissolved organic matter (DOM), we compared the transcriptional pattern of natural prokaryotic communities grown in continuous cultures on seawater amended with phytoplankton-derived DOM. Metatranscriptomic reads were classified taxonomically (by genomic binning) and functionally (using Kyoto Encyclopedia of Genes and Genomes), and...

Precipitation and aggregation of metacinnabar (black HgS) was inhibited in the presence of low concentrations (g3 mg C/L) of humic fractions of dissolved organic matter (DOM) isolated from the Florida Everglades. At low Hg concentrations (e5 × 10-8 M), DOM prevented the precipitation of metacinnabar. At moderate Hg concentrations (5 × 10-5 M), DOM inhibited the aggregation of colloidal metacinn...