where p ( y k | ξ ξ k i ) stands for the density p ( y k | x k ) evaluated at x k = ξ ξ k i . The design of this particle estimate and the unbiasedness property has been proved in 1996 in the article. Refined variance estimates can be found in and.