Digital noncoherent amplitude demodulation and the modified-normal density

In a classic paper [1], Rice derives (among other things) the probability density function of the output of a linear envelope detector. For digital processing, the envelope detector can be replaced with a device that samples the noisy signal at the zeros of its derivative. The probability density of the output of this device is derived.