We study the problem of statistical multiplexing of cell streams which have correlations at multiple time-scales. Each stream is modeled by a singularly perturbed Markovmodulated process with some state transitions occurring much more infrequently than others. We develop a set of large deviations results to estimate the buffer overflow probabilities in various asymptotic regimes in the buffer s...

Greetings! As we enter the second quarter of year, are thrilled to present issue Policy Studies Journal (PSJ). This features 10 top-notch research articles that cover various topics related policy theory and substantive domains. Before diving into details articles, would like share some exciting news PSJ operations. First, in February, established a strategic partnership with Seoul National Uni...

In a heterogeneous network, layered multicast is useful which enables receivers to determine the rate of a stream adaptively to their various capacities. Previous rate control schemes for layered multicast, however, treat each stream independently and cannot allocate the requested bandwidth to each stream when receivers subscribe to multiple streams. In this paper, we propose an inter-stream ra...

When conflicts and disagreements cannot be resolved because there is no common ground, it might be better to replace the fight for ‘the truth’ by an exchange of arguments whose primary purpose is not to ‘win’ but to stimulate reflection, creativity, and perspective shifts. This is what I call “reflective argumentation” by contrast to three better known approaches to argument which Christoph Lum...

Satisfiability modulo theories (SMT) solvers have throughout the years been able to cope with increasingly expressive formulas, from ground logics to full first-order logic modulo theories. Nevertheless, higher-order logic within SMT is still little explored. One main goal of the Matryoshka project, which started in March 2017, is to extend the reasoning capabilities of SMT solvers and other au...

In the last few years a new research area, called stream reasoning, emerged to bridge the gap between reasoning and stream processing. While current reasoning approaches are designed to work on mainly static data, the Web is, on the other hand, extremely dynamic: information is frequently changed and updated, and new data is continuously generated from a huge number of sources, often at high ra...

Counting the number of triangles in a graph has many important applications in network analysis. Several frequently computed metrics like the clustering coefficient and the transitivity ratio need to count the number of triangles in the network. Furthermore, triangles are one of the most important graph classes considered in network mining. In this paper, we present a new randomized algorithm f...

C i c ^ A one-dimensional theory based upon fundamental flow relationships ^ is presented for analyzing the behavior of one or more gas streams flowing MM through a single nozzle. This conpound-coropressible flow theory shows that f^ the behavior of each stream is influenced by the presence of the other ^^ streams. The theory also shows that the behavior of coiTpound--coiTpressible flow is pred...