Probabilistic Modeling Of Quantum-Dot Cellular Automata. by Saket Srivastava