Boolean Networks (BNs) are established models to qualitatively describe biological systems. The analysis of BNs might be infeasible for medium large due the state-space explosion problem. We propose a novel reduction technique called Backward Equivalence (BBE), which preserves some properties interest BNs. In particular, reduced provide compact representation by grouping variables that, if init...

Publish/subscribe systems utilize filter algorithms to determine all subscriptions matching incoming event messages. To distribute such services, subscriptions are forwarded to several filter components. This approach allows for an application of routing algorithms that selectively forward event messages to only a subset of filter components. Beneficial effects of this scheme include decreasing...

We present a data structure for three-dimensional fields C continuous in the modelling space. Regular grids storing the field values discretely are combined with a triquadratic approximation filter to define volume objects. This association of a grid and an approximation/interpolation filter allows the field to be defined by a C continuous real function and the surface to be directly visualised...

We present a data structure for three-dimensional fields C continuous in the modelling space. Regular grids storing the field values discretely are combined with a triquadratic approximation filter to define volume objects. This association of a grid and an approximation/interpolation filter allows the field to be defined by a C continuous real function and the surface to be directly visualised...

In order to study the relationship between random Boolean sets and some explanatory variables, this paper introduces a Propagation model. This model can be applied when corresponding Poisson process of the Boolean model is related to explanatory variables and the random grains are not affected by these variables. An approximation for the likelihood is used to find pseudo-maximum likelihood esti...

Stack filters are a special case of non-linear filters. They have a good performance for filtering images with different types of noise while preserving edges and details. A stack filter decomposes an input image into several binary images according to a set of thresholds. Each binary image is then filtered by a Boolean function, which characterizes the filter. Adaptive stack filters can be des...

Associative computation is characterized by search by content and data parallel computation. Search by content paradigm is natural to scalable high performance heterogeneous computing since use of tagged data makes data independent of implicit addressing mechanisms. In this paper, we present an algebra for associative logic programming, an associative resolution scheme, and a generic framework ...