Havoc
Real Time Systems
Get Happy: A Defense of Act Utilitarianism
Edward N. Zalta - Basic Concepts in Modal Logic
Contingency Theory
Relevance Heuristics for Program Analysis Ken McMillan Cadence Research Labs TexPoint fonts used in EMF: A A A A A.
The Fragile Capital Structure of Hedge Funds and the Limits to Arbitrage Xuewen Liu Antonio S. Mello Imperial College Business School February 2009.
Scala Z3 Integrating SMT and Programming Ali Sinan Köksal, Viktor Kuncak, Philippe Suter École Polytechnique Fédérale de Lausanne.
2013.03.26 An Introduction to Modern Statistical Analysis using Bayesian Methods
Hacking Philosophy or Philosophy for Media Arts & Sciences
Applied Environmental System Analysis - Group Task - Aakash Project
Deciability (automata presentation)