This paper extends for the first time semantic interpretation tools to infinite data in order to ensure Input/Output upper bounds on first order Haskell like programs on streams. By I/O upper bounds, we mean temporal relations between the number of reads performed on the input stream elements and the number of output elements produced. We study several I/O upper bounds properties that are of bo...

Streams of data often originate from many distributed sources. A distributed stream processing system publishes such streams of data and enables queries over the streams. This allows users to retrieve and relate data from the distributed streams without needing to know where they are located. Stream data is important not only for its current values but also for past values produced. In order to...

Michael Liebe argues that Salen and Zimmerman's interpretation of Huizinga's magic circle does not apply to computer games. Liebe's insight reveals not only a different relation for computer games to the magic circle, but also hints at a difference in the nature of rules in computer games. Jesper Juul's comparison of non-digital sports to simulations of those sports highlights a missing aspect ...

Riparian zones support some of the most dynamic and species-rich plant communities in cold regions. A common conception among plant ecologists is that flooding during the season when plants are dormant generally has little effect on the survival and production of riparian vegetation. We show that winter floods may also be of fundamental importance for the composition of riverine vegetation. We ...

A high-statistics measurement of the neutrinos from a galactic core-collapse supernova is extremely important for understanding the explosion mechanism, and studying the intrinsic properties of neutrinos themselves. In this paper, we explore the possibility to constrain the absolute scale of neutrino masses mν via the detection of galactic supernova neutrinos at the Jiangmen Underground Neutrin...

To investigate the effects of golf course construction and operation on the water chemistry of Shield streams, we compared the water chemistry in streams draining golf courses under construction (2) and in operation (5) to streams in forested reference locations and to upstream sites where available. Streams were more alkaline and higher in base cation and nitrate concentrations downstream of o...

We examined diatom assemblages from 18 stream and pond samples in the Franz Josef Land Archipelago (FJL), the most northern land of Eurasia. More than 216 taxa were observed, revealing a rich circumpolar diatom flora, including many undescribed taxa. Widely distributed taxa were the most abundant by cell densities, while circumpolar taxa were the most species rich. Stream and pond habitats host...

Seawater desalination plants discharge brine which is at higher salt concentration than the supplied seawater feed. Diluting this brine by mixing it with the lower concentration feed (seawater) will reduce the environmental hazards associated with the high salt concentration of the disposed brine. Energy can be generated from the dilution process in which two streams of different salt concentra...