Keyword:random walk

Publications
Non-Interacting Lattice Random Walks for Calculating Diffusion Controlled Growth in Solid State for Dilute Concentrations Aarne Pohjonen, Touko Puro and Assa Aravindh Sasikala Devi EasyChair Preprint 13752
Formalization of Gambler’s Ruin Problem in Isabelle/HOL Zibo Yang EasyChair Preprint 6165