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...

Learning from data streams has been an important open research problem in the era of big data analytics. This paper investigates supervised machine learning techniques for mining data streams with application to online anomaly detection. Unlike conventional machine learning tasks, machine learning from data streams for online anomaly detection has several challenges: (i) data arriving sequentia...

We consider the problem of resource allocation in mining multiple data streams. Due to the large volume and the high speed of streaming data, mining algorithms must cope with the effects of system overload. How to realize maximum mining benefits under resource constraints becomes a challenging task. In this paper, we propose a load shedding scheme for classifying multiple data streams. We focus...

Kingdon’s multiple-streams framework, which emerged in the mid-1980s, today forms one of the indispensable analytical frameworks for understanding public policy agenda-setting. However, it is only in the context of wealthy countries that this approach has been validated for setting the agenda of national and international policies. This article reports the results of empirical research in an Af...

In this paper we discuss a new automatic speech recognition ASR approach based on the inde pendent processing and recombination of several feature streams In this framework it is assumed that the speech signal is represented in terms of multiple input streams each input stream representing a di erent characteristic of the signal If the streams are entirely synchronous they may be accommodated s...

In group communication, users often have different access rights to multiple data streams. Based on the access relation of users and data streams, users can form partially ordered relations, and data streams can form partially ordered relations. In this paper, we propose a key management scheme for hierarchical access control, which considers both partially ordered user relations and partially ...

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...

We investigate adaptive buffer management techniques for approximate evaluation of sliding window joins over multiple data streams. In many applications, data stream processing systems have limited memory or have to deal with very high speed data streams. In both cases, computing the exact results of joins between these streams may not be feasible, mainly because the buffers used to compute the...