Reports/Publications
M.Math Thesis
Effects of Developmental Heuristics for Natural Language Learning
Supplementary Slides, Intro to Comp Sci course (CS 134, UWaterloo)
| Title | Subject | Format |
| Explanation of Interfaces |
CS 134 Slides |
Postscript,
Powerpoint |
| Davis Centre Simulation Document |
CS 134 Slides |
Powerpoint |
| Code for Sublist and Binary Tree Methods |
CS 134 Slides |
Postscript,
Powerpoint |
| Maximum Sum Solutions |
CS 134 Document |
Word |
| So You Want To Do Formal Verification |
CS 134 Handout |
Postscript,
Word |
| Verification of Selection Sort |
CS 134 Document |
Postscript |
| Verification of Quicksort |
CS 134 Document |
Word |
Research Presentations
Course Reports
Stat NLP Tutorials
Assorted
|