Traditional association rule mining algorithms assume that data instances are independent and identically distributed (IID) [29]. In statistical relational learning (SRL), however, relationships between instances can be leveraged to improve performance of learning algorithms [2]. Higher-order association rule mining is an example of a SRL approach that does not make the IID assumption, but inst...

State space explosion is a fundamental obstacle in formal verification of concurrent systems. Several techniques for combating this problem have emerged in the past few years, among which the two we are interested in are: partial order reduction and distributed memory state exploration. While the first one tries to reduce the problem to a smaller one, the other one tries to extend the computati...

In this paper, fast numerical methods are established to solve a class of time distributed-order and Riesz space fractional diffusion-wave equations. We derive new difference schemes by weighted shifted Grünwald formula in centered space. The unconditional stability second-order convergence time, the analyzed. one-dimensional case, Gohberg-Semencul utilizing preconditioned Krylov subspace metho...

let x1;x2;...;xn have a jointly multivariate exchangeable normal distribution. in this work we investigate another proof of the independence of x and s2 using order statistics. we also assume that (xi ; yi); i =1; 2;...; n; jointly distributed in bivariate normal and establish the independence of the mean and the variance of concomitants of order statistics.