Search

29 Nov 2011: A balance is maintained between the narrative of political events and social and economic history. ... Under the rubric of economics, the course treats the nature and interaction of different systems of production, distribution, and exchange, and

8 Nov 2011: Course pages 2011–12. Programming in C and C++. Principal lecturer: Dr Stephen Clark. Taken by:contact lecturer for access permission). No. of lectures: 8. Prerequisite courses: None, though Operating Systems would be helpful. The aims of this

30 Mar 2011: Mike O'Donohoe's notes for a previous course with a different syllabus.

17 Nov 2011: Course pages 2011–12. Concurrent and Distributed Systems. Principal lecturer: Dr Steven Hand. Past exam questions:contact lecturer for access permission). No. of lectures: 16 (Continued in Lent Term). Prerequisite courses: Operating Systems,

16 Mar 2011: Taken by:Exercises. Online resources. I have recommended some texts in the syllabus.

19 Apr 2011: Computer Laboratory. Course material 2009–10. ». ». ». System-on-Chip Design and Modelling (Part II). 2009–10. Principal lecturer: Dr David Greaves. Slides (will be added just before each lecture). Printed lecture notes: PDF. Exercise sheet:

23 May 2011: Taken by:Assignments. In order to accommodate coursework within the short Easter term, the structure of the assignments as advertised in the syllabus has been modified as follows:.

28 Apr 2011: Course material 2010–11. Network Architectures. Principal lecturer: Prof Jon Crowcroft. Additional lecturers: Dr Andrew Moore and Dr Cecilia Mascolo. Taken by:Reading: papers. Students' Contributions: talks. 2011 Computer Laboratory, University of

14 Jan 2011: Syllabus. Introduction to Bluespec hardware description language (2L1P). Implementing a RISC processor in Bluespec (2L1P).

17 Mar 2011: See Syllabus for lecture details, assessment scheme, and deadlines. L = lecture, S = Seminar (Two presentations per seminar).

12 Jul 2011: Lecture slides. Here are the slides for the first part of the course (security policy and mechanism), and for the second part (protocols, crypto and security economics). ... Lecture 16 (security economics): see book chapter 7 (second edition) or our

16 Mar 2011: Course material 2010–11. Advanced Topics in Concurrency. Principal lecturer: Prof Glynn Winskel. Taken by:If you are reading this then no extra material has yet been placed on the Web for this course. 2011 Computer Laboratory, University of

15 Jan 2011: Course material 2010–11. Data Centric Networking. Principal lecturer: Dr Eiko Yoneki. Taken by:See the detail of the course schedule here.. 2011 Computer Laboratory, University of Cambridge. Information provided by Dr Eiko Yoneki.

19 Jan 2011: Course material 2010–11. Programming Logics and Software Verification. Convenor: Prof Mike Gordon. Taken by:The course web page is here. 2011 Computer Laboratory, University of Cambridge. Information provided by Prof Mike Gordon.

15 Mar 2011: Course material 2010–11. Topics in Logic and Complexity. Principal lecturer: Prof Anuj Dawar. Taken by:Lecture Note Handouts:. Exercise Sheets:. 2011 Computer Laboratory, University of Cambridge. Information provided by Prof Anuj Dawar.

28 Jan 2011: Computer Laboratory. Course material 2009–10. ». ». ». Categorical Logic. 2009–10. Principal lecturer: Dr Samuel Staton. Taken by:Exercises. Agda. The Agda language is available here and is already installed on the MPhil machines. You may

29 Mar 2011: Course material 2010–11. Software Design. Principal lecturer: Dr Alan Blackwell. Taken by:PDF handout generated from Powerpoint slides, 102 pages (2 slides per page), 9MB file. Note that material on pages 89-100 will be covered in Part IB Software

28 Jan 2011: Course material 2010–11. Social and Technological Network Analysis. Principal lecturer: Dr Cecilia Mascolo. Taken by:More information on the course here. 2011 Computer Laboratory, University of Cambridge. Information provided by Dr Cecilia Mascolo.

7 Feb 2011: Course material 2010–11. Statistical Machine Translation. Principal lecturers:Taken by:Stephen Clark's Lectures:. Lecture 1: Introduction to MT. Lecture 2: Introduction to SMT Models. Lecture 3: Word Alignment Models. Lecture 4: Beyond IBM Model 1

17 May 2011: Course material 2010–11. Advanced Data Flow Analysis. Principal lecturers: Prof Alan Mycroft, Prof Uday P Khedker. Taken by:Further information:. Undergraduate (Part II) web page on Optimising Compilers (additional, non-examinable, material).