Search

30 Mar 2011: Course material 2010–11. Floating-Point Computation. Principal lecturer: Dr David Greaves. Taken by:contact lecturer for access permission). An easy magazine article by Cleve Moler (The Mathworks, creators of MATLAB) conveying the feel of various

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

16 Mar 2011: Course material 2010–11. Categorical Logic. Principal lecturer: Dr Sam Staton. Taken by:Exercises. Online resources. I have recommended some texts in the syllabus. Here are some additional links:. Categorical Logic by Andy Pitts. Agda. The Agda

15 Mar 2011: The best single volume introduction to the diverse economic, educational, social and political factors that result in the exaggeration of existing inequalities when digital technologies are being deployed.

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: On the recommendation of the Degree Committee for the Faculty of Economics, the General Board and the Board of Graduate Studies have approved Finance and Economics as a subject for advanced ... Finance and Economics. 1. The scheme of examination for the

1 Jun 2011: May 2011. 2. Post Keynesian economics between history of economic thought and history of. ... Scazzieri, eds,. Foundations of Economics. Structures of Inquiry and Economic Theory, Oxford and.

19 Jul 2011: In Human Encumbrances: Political Violence and the Great Irish Famine, Dr Nally examines the complexities and nuances of the political, economic and social context of the Irish Famine - and in doing ... to occur in the first place – and to leave

23 Jul 2011: 1. Faculty of Economics, Sidgwick Site, Sidgwick Avenue. Demonstration of the MONIAC Analogue Hydraulic Computer Demo by Dr. ... Allan McRobie, Economics Department at Sidgwick Site). Time table: 10:00, 11:00 and 11:30.

17 Nov 2011: Course pages 2011–12. Artificial Intelligence I. Principal lecturer: Dr Sean Holden. Taken by:contact lecturer for access permission). No. of lectures: 12. Prerequisite courses: Algorithms I. In addition the course requires some mathematics, in

1 Nov 2011: Tony Legge explains: “Eric studied economics and then became a sheep farmer in Shropshire.

14 Nov 2011: Course pages 2011–12. Semantics of Programming Languages. Principal lecturer: Dr Sam Staton. Taken by:contact lecturer for access permission). No. of lectures: 12. This course is a prerequisite for the Part II courses Topics in Concurrency, and

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:

17 Nov 2011: Course pages 2011–12. Unix Tools. Principal lecturer: Dr Markus Kuhn. No. of lectures: 10. Operating Systems provides a useful foundation for this course. This non-examinable course provides students with basic Unix/Linux experience some important

23 May 2011: Course material 2010–11. Usability of Programming Languages. Principal lecturer: Dr Alan Blackwell. Taken by:Assignments. In order to accommodate coursework within the short Easter term, the structure of the assignments as advertised in the

9 Nov 2011: Course pages 2011–12. Prolog. Principal lecturer: Dr David Evans. Taken by:There is now secret stuff here! Send me email if you think you should be able to get at it.). No. of lectures: 6. Prerequisite courses: Foundations of Computer Science,

28 Apr 2011: Roadmap. Economics as a subject is traditionally made up of macroeconomics, microeconomics and specialised topics. ... fail. Special topics of interest to computer scientists & engineers include the economics of information, the economics of dependability

5 Oct 2011: Course material 2010–11. Advanced Topics in Computer Systems. Principal lecturer: Dr Steven Hand. Taken by:Overview. This module will attempt to provide an overview of "systems research". This is a very broad field which has existed for over 40

28 Apr 2011: William Poundstone, “Prisoners’ Dilemma”. Paul Seabright, “The Company of Strangers: A Natural History of Economic Life”. ... Paul Krugman, “The Return of Depression Economics”. Glanville Williams, ATH Smith, “Learning the Law”.

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 Jul 2011: Dr Lucy Delap. Throughout the 20th century, domestic service had a compelling presence in British economic, social and cultural life.

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

17 Mar 2011: Course material 2010–11. Machine Learning for Language Processing. Principal lecturer: Prof Ted Briscoe. Additional lecturer: Dr Mark Gales. Taken by:Mark Gales' lectures:. Instructions, Schedule and Reading List. See Syllabus for lecture details,

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.

14 Jan 2011: Course material 2010–11. Advanced Computer Design. Principal lecturer: Dr Simon Moore. Taken by:Prerequisites. Some training in VHDL or Verilog HDL and computer architecture (use the Cambridge SystemVerilog Tutor if you need a refresher)).

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

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,

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).

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

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):

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),

1 Feb 2011: Computer Laboratory. Course material 2009–10. ». ». ». System on Chip Design and Modelling. 2009–10. Principal lecturer: Dr David Greaves. Taken by:Page will be updated as the course develops. Course Material. The taught part of this course

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.

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 ;

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

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

17 Nov 2011: Course pages 2011–12. Complexity Theory. Principal lecturer: Prof Anuj Dawar. Taken by:contact lecturer for access permission). No. of lectures: 12. Prerequisite courses: Algorithms, Computation Theory. The aim of the course is to introduce the

14 Nov 2011: Course pages 2011–12. Computer Graphics and Image Processing. Principal lecturer: Prof Peter Robinson. Taken by:contact lecturer for access permission). No. of lectures: 16. Prerequisite courses: Algorithms, Mathematical Methods for Computer

17 Nov 2011: Course pages 2011–12. Logic and Proof. Principal lecturer: Prof Larry Paulson. Taken by:contact lecturer for access permission). No. of lectures: 12. This course is a prerequisite for the Part II courses Artificial Intelligence II, Hoare Logic,

17 Nov 2011: Course pages 2011–12. Computation Theory. Principal lecturer: Prof Andrew Pitts. Taken by:contact lecturer for access permission). No. of lectures: 12. Prerequisite course: Discrete Mathematics. This course is a prerequisite for Complexity Theory

28 Apr 2011: Economics and Law. Lecture 5. Ross Anderson. Price discrimination. Recall: an efficient monopolist sells to each customer at her reservation price - ‘selling to value’. ... The misperception of risk is a big deal (terrorism). ‘Behavioural

26 Oct 2011: Course pages 2011–12. Mathematical Methods for Computer Science. Principal lecturers:Taken by: Part IB. Past exam questions:contact lecturer for access permission). No. of lectures: 12. Prerequisite course: Probability. This course is a

17 Nov 2011: Course pages 2011–12. Compiler Construction. Principal lecturer: Dr David Greaves. Taken by:contact lecturer for access permission). No. of lectures: 16. Prerequisite: (the last lecture of) Regular Languages and Finite Automata (Part IA). This

23 Mar 2011: Faculty of Economics: Conference of University officers. The Chairman of the Faculty Board of Economics gives notice that a conference of University officers in the Faculty and others giving lectures in ... the Faculty of Economics will be held at 2 p.m.

28 Feb 2011: Course material 2010–11. Compiler Construction. Principal lecturer: Dr Timothy Griffin. Taken by:There is nothing here. ---tim). Here are various items for the 2010/11 version of this course:. Exercises. 2009 exercises : exercises_2009.txt. 2010

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

25 May 2011: Course material 2010–11. Topical Issues. Principal lecturer: Prof Andy Hopper. Additional lecturer: Dr Robert Harle. Taken by:contact lecturer for access permission). About the Course. This course is intended to expose Part II students to some

8 Nov 2011: Course pages 2011–12. Computer Design. Principal lecturer: Dr Simon Moore. Past exam questions:contact lecturer for access permission). Errata on Lectures. See the materials page. Addendum to the syllabus. This course has been overhauled this year