— The ability of an operator to respond to changes in demand by incrementally deploying additional network infrastructure is essential. This paper1 presents a method for evaluati...
Since our world is populated by entities that persist through time and that change over time it is important to represent knowledge about those entities in a formal manner. In this...
The B-Method is a state-based formal method that describes behaviour in terms of MACHINES whose states change under OPERATIONS. The process algebra CSP is an event-based formalism ...
Abstract Stable signal transmission is crucial for information processing by the brain. Synfire-chains, defined as feedforward networks of spiking neurons, are a well-studied class...
A general test statistic for detecting change-points in multidimensional stochastic processes with unknown parameters is proposed. The test statistic is specialized to the case of...