Slide 1Singularity Overview Galen Hunt and James Larus Microsoft Research July 17, 2006 MSR Faculty Summit Galen Hunt and James Larus Microsoft Research July 17, 2006 MSR…
Slide 1 Slide 2 Standards Slide 3 3 Case study Slide 4 Research questions 1) Haskell spec of RDF inference program 2) Soundness and completeness 3) What logics? 4) optimization…
Slide 1 Trusting the user: Wikipedia as an example Daniel Mayer Wikimedia Foundation Free Culture and the Digital Library 14 October 2005 Slide 2 What are wikis? Openly editable…
Slide 1 1 Philosophy of science II From positivists to Thomas Kuhn Slide 2 2 Key concepts in the philosophy of science Positivism Logical positivism Falsificationism Paradigms…