Search

1 Apr 2011: Course material 2010–11. Regular Languages and Finite Automata. Principal lecturer: Dr Marcelo Fiore. Taken by:Further resources. Alley Stoughton's Forlan tools for experimenting with formal languages within Standard ML. Russ Cox's article Regular

4 Mar 2011: Course material 2010–11. Semantics of Programming Languages. 2010–11. Principal lecturer: Dr Sam Staton. Taken by:There are comments in the notes about the relevance of older questions.). Model implementations of the languages. L1.pl (in Prolog),

11 Mar 2011: Course material 2010–11. Syntax and Semantics of Natural Language. Principal lecturers:Taken by:Stephen Clark's Lectures:. See also the video lecture on statistical parsing with CCG. Ted Briscoe's Handouts:. Handout 3 (distributed in class):

28 Jan 2011: Course material 2010–11. Mobile and Sensor Systems. Principal lecturer: Dr Cecilia Mascolo. Taken by:contact lecturer for access permission). More information on the course here. 2011 Computer Laboratory, University of Cambridge. Information

5 Mar 2011: Course material 2010–11. Computer Networking. Principal lecturer: Dr Andrew Moore. Taken by:this is automatically generated so not perfect). Information for supervisors (contact awm22 for access permission - please include your position/webpage,

4 Mar 2011: Course material 2010–11. Lexical Semantics and Discourse Processing. Principal lecturer: Dr Simone Teufel. Taken by:Lecture Notes:. Lecture 1 (21/1): Introduction to Lexical Semantics Reading: Cruse, chapters 12. Lecture 2 (26/1): Word Senses ;

1 Jun 2011: Course material 2010–11. System-on-Chip Design. Principal lecturer: Dr David Greaves. Taken by:Past exam questions:. some are relevant). (VLSI Design) (not highly-relevant). Information for supervisors (contact lecturer for access permission). I

22 Jun 2011: Course material 2010–11. Interactive Formal Verification. Principal lecturer: Dr Tjark Weber. Convenor: Prof Mike Gordon. Taken by:Slides 1. Operational Semantics 9. Structured Induction Proofs Guest Lecture: Automated Theorem Proving 12.

26 Jan 2011: Course material 2010–11. Information Retrieval. Principal lecturer: Dr Simone Teufel. Taken by:Lecture Notes:. Lecture 1 (Introduction). Lecture 3 (IR evaluation). Lectures 5-8 (IR, QA, Summariation). Information for supervisors (contact lecturer

3 Jan 2011: Course material 2010–11. Prolog. Principal lecturer: Dr David Eyers. Taken by:Prolog tick information. The tick exercise PDF is available. The current authoritative version of this document carries "10th November 2010" on its first page. Before