Ice nucleation is widely interpreted as a Poisson process, i.e. the probability of nucleation depends on the current state of the vial, but not on its history. The rate constant of the Poisson process, K (m,n,p) , corresponds to the nucleation frequency in the vial, in units of nucleation events per unit time, and is defined as