Streams are infinite sequences over a given data type. A stream specification is a set of equations intended to define a stream. We propose a transformation from such a stream specification to a term rewriting system (TRS) in such a way that termination of the resulting TRS implies that the stream specification is well-defined, that is, admits a unique solution. As a consequence, proving well-d...

We propose a model, called a deliberation structure model, that represents streams of relevant messages in email communication. The deliberation structure model treats e-mail messages that include several topics and uses tree structure, called deliberation trees, that are based on Clark’s contribution trees to represent message structure. Deliberation trees are useful to visualize the message s...

This paper presents a new method to calculate the freshwater target for water using networks with single contaminant. The pinch point is determined by exploiting one of the features of water-pinch-analysis: freshwater is only necessary below the pinch. With the known pinch point, the calculation of the freshwater target becomes very simple, especially for the networks with many streams. The res...

Semiaquatic flies (Diptera, Nematocera) are an ecologically important and species rich group of insects within the boreal and arctic biomes. Community structure, species richness and abundance of semiaquatic flies were studied in three habitat types (aapa mires, springs and headwater streams), totaling 19 study sites, within the subalpine ecoregion of northern boreal Finland. Concordance of sem...

Headwater species and peripheral populations that occupy habitat at the edge of a species range may hold an increased conservation value to managers due to their potential to maximize intraspecies diversity and species' adaptive capabilities in the context of rapid environmental change. The southern Appalachian Mountains are the southern extent of the geographic range of native Salvelinus fonti...

CAUSES AND FUNCTIONAL CONSEQUENCES OF DENITRIFYING BACTERIA COMMUNITY STRUCTURE IN STREAMS AFFECTED TO VARYING DEGREES BY WATERSHED URBANIZATION by

The ecology of viruses has been studied only in a limited number of rivers and streams. In light of a recent re-appraisal of the global fluvial surface area, issues such as abundance and production, host mortality and the influence of suspended particles and biofilms are addressed. Viral life cycles, potential impacts of viruses on water biochemistry and carbon flow, and viral diversity are con...

We conduct and analyze two large surveys of hypothetical annuitization choices. We find that allowing individuals to annuitize a fraction of their wealth increases annuitization relative to a situation where annuitization is an "all or nothing" decision. Very few respondents choose declining real payout streams over flat or increasing real payout streams of equivalent expected present value. Hi...