Markov chain intro
Distributed-Systems
PROCESS DYNAMICS AND CONTROL
Puppy Mills Generally
Puppy Mills - Overview
Theory of Change Designing Effective Action for Change How a Theory of Change helps you clarify the cause-and-effect relationship at the heart of your.
The Coffee Automaton: Quantifying the Rise and Fall of Complexity in Closed Systems Scott Aaronson (MIT) Joint work with Lauren Ouellette and Sean Carroll.
Hybrid BDD and All-SAT Method for Model Checking Orna Grumberg Joint work with Assaf Schuster and Avi Yadgar Technion – Israel Institute of Technology.
Incorporating Site-Level Knowledge to Extract Structured Data from Web Forums Jiang-Ming Yang, Rui Cai, Yida Wang, Jun Zhu, Lei Zhang, and Wei-Ying Ma.
Reinforcement learning 2: action selection Peter Dayan (thanks to Nathaniel Daw)
Robin Hogan Last Minute Productions Inc. How to distinguish rain from hail using radar: A cunning, variational method.
Automatic Verification Book: Chapter 6. How can we check the model? The model is a graph. The specification should refer the the graph representation.