Improvements and extras Paul Thomas CSIRO. Overview of the lectures 1.Introduction to information retrieval (IR) 2.Ranked retrieval 3.Probabilistic retrieval.
Avian Flu Data Challenge Hsin-Yen Chen ASGC 29 Aug. 2007 APAN24.
Plaxis 2D Manual
Automatic Abstraction Refinement for GSTE Yan Chen, Yujing He, and Fei Xie Portland State University Jin Yang Intel Nov 13, 2007.
Automatic Abstraction Refinement for GSTE
