Snick snack CPSC 121: Models of Computation 2013W2 Propositional Logic: Conditionals and Logical Equivalence Steve Wolfman, based on notes by Patrice.
CPSC 121: Models of Computation 2010/11 Winter Term 2
Provably Reliable QA Interfaces .
Provably Reliable QA Interfaces
Alternating Temporal Logic and Game-Based Properties CS 259 John Mitchell with slides from Vitaly Shmatikov.
CPSC 121: Models of Computation 2012 Summer Term 2
EER Senior Project Wireless Sensor Placement in Arbitrary 3D Environment
A Search for Submillimeter Polarization by Rayleigh Scattering