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 TRS in such a way that termination of the resulting TRS implies that the stream specification admits a unique solution. As a consequence, proving such well-definedness of several interesting stream spec...

4

survivorship of the immature stage of anopheles culicifacies in damar district were studied through sampling larval and pupal stages from stream bed pools and rice fields during may and august 1993. the duration of each larval instar and the pupal stage was also determined in the laboratory for preparing the survivorship curves and the construction of the life tables. mortality from egg to adul...

Applying submodular maximization in the streaming setting is nontrivial because the commonly used greedy algorithm exceeds the fixed memory and computational limits typically needed during stream processing. We introduce a new algorithm, called stream clipper, that uses two thresholds to select elements either into a solution set S or an extra buffer B. The output is achieved by a greedy algori...

Elody was initially an environment for musical composition allowing the description and algorithmic manipulation of non realtime musical structures. To allow the definition of real-time transformation processes, we have added a new primitive in the language : the real-time input stream. This object can be manipulated and transformed like non real-time objects even before being known. Evaluating...

ix