Search

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,

29 Nov 2011: Secretary. Applications and references should reach the Faculty Secretary, Faculty of Economics and Politics, Austin Robinson Building, Sidgwick Avenue, Cambridge, CB3 9DD, by 1 May 2000. ... The Scholar must carry out full-time study and training for

29 Nov 2011: CLASS-LIST. Economics Qualifying Examination in Elementary Mathematics, Easter Term, 2000. LIST OF SUCCESSFUL CANDIDATES.

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

29 Nov 2011: CLASS-LISTS. Economics Qualifying Examination in Elementary Mathematics, Autumn 2001. LIST OF SUCCESSFUL CANDIDATES.

29 Nov 2011: Economics Qualifying Examination in Elementary Mathematics, Autumn 2001 - ECQ1. The examination will take place in the Examination Hall, New Museums Site.

29 Nov 2011: Economics Qualifying Examination in Elementary Mathematics, Easter Term, 2002 - ECQ1.

29 Nov 2011: Economics Qualifying Examination in Elementary Mathematics, Easter Term 2001 - ECQ1.

29 Nov 2011: Preliminary Examination for Part II of the Economics Tripos. SUPPLEMENTARY REGULATIONS.

29 Nov 2011: Economics Tripos, Part IIB. (Statutes and Ordinances, p. 269). With effect from 1 October 2004.

29 Nov 2011: The Board of Graduate Studies, on the recommendation of the Degree Committee for the Faculty of Economics and Politics, have awarded a Diploma in Economics to the following:.

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.

20 Sep 2011: To achieve economic efficiency, it is necessary that usage-based charging schemes capture the relative amount of resources used by connections.

23 Feb 2011: Examination in Economic and Social History for the degree of Master of Philosophy. ... 1.Topics in the history of economic and social thought. 2.British industrialization in the eighteenth and nineteenth centuries.

29 Nov 2011: Economics Qualifying Examination in Elementary Mathematics, Michaelmas Term 2000. LIST OF SUCCESSFUL CANDIDATES.

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.

20 Sep 2011: Considering aggregate user benefit, welfare economics suggests pricing schemes.

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

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,

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.

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

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

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

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,

29 Nov 2011: Economics Qualifying Examination in Elementary Mathematics, Michaelmas Term 1999. LIST OF SUCCESSFUL CANDIDATES.

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

29 Nov 2011: Diploma in Economics, 2005: Notice. The Faculty Board of Economics and Politics and the Degree Committee for the Faculty of Economics and Politics give notice that in the academical year ... 05 the subjects for examination for the Diploma in Economics

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

14 Dec 2011: Paper 4. Political and sociological aspects of economics. Part IIa. Paper 2 Macroeconomics. ... Paper 7. Public economics. All other papers remain unchanged. Full details of the examination can be found on the Faculty website at.

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

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 ;

17 Mar 2011: Stem cell casino 22. Divine innovation: 24the economics of religion. The new face of human– 26computer interactions. ... border is not anarea of global economic advertisement foreither country, it is a significant region forstrategic policy.

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.

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

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

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

29 Nov 2011: AWARDS BY OUTSIDE BODIES. Prospect magazine and the Economic and Social Research Council.

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

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

29 Nov 2011: Applications are invited for the above post to commence on 1 October 1998. The title of University Lecturer (CUF) may be conferred on the holder of the Fellowship. The combined College and University salary will be according to age on a scale up to

29 Nov 2011: The Lecturer will be expected to contribute to Economics teaching for all three years of undergraduate work. ... The College has over fifty undergraduates studying Economics in Politics, Philosophy and Economics, History and Economics, Economics and

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