Linda tuple-spaces coordination model does not allow to express a preference of tuples. In many applications we could be interested in indicating tuples that should be returned more frequently w.r.t. other ones, or even tuples with a low relevance that should be taken under consideration only if there is no tuple with a higher importance. We present an extension of the tuple-space model with qu...

In this paper, the ambiguity of nite state irreducible Markov chain trajectories is reminded and is obtained for two state Markov chain. I give an applicable example of this concept in President election

With the increasing abundance of temporal data, recent research in social network analysis has explored the impact of external events or “shocks” on the structure and evolution of the underlying graph. This type of analysis stands in contrast to analysis of network dynamics based on properties intrinsic to the graph itself. An understanding of how social networks are shaped by external events c...

we consider the space of weakly almost periodic functions on a transformation semigroup (s, x , ?) and show that if x is a locally compact noncompact uniform space, and ? is a separately continuous, separately proper, and equicontinuous action of s on x, then every continuous function on x, vanishing at infinity is weakly almost periodic. we also use a number of diverse examples to show that th...

The flurry of regulatory activity by the outgoing administration of President George W. Bush has raised, once again, the specter of midnight regulation. In contrast to the late-term action of the Clinton Administration, much of the Bush Administration‘s late-term action seems to have been more deregulatory than regulatory, but from a political and legal standpoint, that distinction may not make...

We present two probabilistic leader election algorithms for anonymous unidirectional rings with FIFO channels, based on an algorithm from Itai and Rodeh [Itai and Rodeh 1981]. In contrast to the Itai-Rodeh algorithm, our algorithms are finite-state. So they can be analyzed using explicit state space exploration; we used the probabilistic model checker PRISM to verify, for rings up to size four,...