Search

19 Jan 2010: Computer Laboratory. Course material 2009–10. ». ». ». Professional Practice and Ethics. 2009–10. Principal lecturer: Dr Richard Jennings. Taken by:PDF). 2010 Computer Laboratory, University of Cambridge. Please send any comments on this page

1 Jan 2010: The technology potentially provides an economic and environmentally sound solution to a persistent problem.’ Dr Aldridge added: ‘Working closely with Anglian Water and other water industries is giving us new insight

9 Sep 2010: They argue that an appreciation of biodiversity as a public good with economic and societal value, providing benefits that far outweigh the cost of conserving ecosystems, should be central to all ... The paper emphasises this point, stating, "The value

11 Nov 2010: Course material 2010–11. Human-Computer Interaction. Principal lecturer: Dr Alan Blackwell. Taken by:Past exam questions:Selected slides from lecture 1 - The scope and challenges of HCI and Interaction Design. Selected slides from lecture 2 -

4 Nov 2010: The tigress, who has been at the conservation centre for over ten years, had been unwell for several weeks as keepers and the wildlife park's vets remained

23 Apr 2010: Computer Laboratory. Course material 2009–10. ». ». ». Topics in Logic and Complexity. 2009–10. Principal lecturer: Prof Anuj Dawar. Taken by:Lecture Note Handouts:. corrected version). corrected version). corrected version). Handout 10

1 Nov 2010: The tablets were first used to document the economic activities of organisations of the Sumerian civilisation in southern Iraq in the late 4th millennium BC, a few centuries before the development

3 Feb 2010: Computer Laboratory. Course material 2009–10. ». ». ». Compiler Construction. 2009–10. Principal lecturer: Dr David Greaves. Taken by:Here are various items for the 2009/10 version of this course:. Exercises. The exercises are being added to

3 Aug 2010: Course material 2010–11. Deep Language Modelling. Principal lecturer: Dr Ann Copestake. Taken by:If you are reading this then no extra material has yet been placed on the Web for this course. 2010 Computer Laboratory, University of Cambridge.

16 Sep 2010: of the economic, social and political value of biodiversity within ecosystems.

2 Dec 2010: Course material 2010–11. Programming for Mobiles. Principal lecturer: Dr Andrew Rice. Taken by:Assessment. Students will build a portfolio of work to be submitted to student administration by 12:00 noon on 10th December. The portfolio will contain

1 Jan 2010: I like the fact that business engages with the world and its social and economic prospects, and the fact that there are constantly new questions to ask and diverse theories and

12 Aug 2010: Course material 2010–11. Advanced Speech Technology. Principal lecturers: Prof Phil Woodland, Dr Paul Taylor, Dr Blaise Thomson. Taken by:If you are reading this then no extra material has yet been placed on the Web for this course. 2010 Computer

24 Nov 2010: Course material 2010–11. Category Theory for Computer Science. Lecturer: Dr Marcelo Fiore. Taken by:Books. S.Awodey. Category Theory. Oxford University Press, 2006. M.Barr and C.Wells. Category Theory for Computing Science Centre de Recherches

26 Mar 2010: Later agreements have been affected by the economic downturn because sites have been developed much more slowly, but planning authorities will require all obligations to be delivered once the market improves.

19 Nov 2010: Course material 2010–11. Foundations of Computer Science. Principal lecturer: Dr Magnus Myreen. Taken by:contact lecturer for access permission). Some of the sketches I draw during the lectures can be found here. Exercises for practical questions

25 Oct 2010: will be of interest to economic, social and cultural historians, linguists, genealogists and anyone interested in popular action.".

15 Dec 2010: Course material 2010–11. Introduction to Natural Language Processing. Principal lecturers:Taken by:Stephen Clark's Lectures:. Practicals:. 2010 Computer Laboratory, University of Cambridge. Information provided by Prof Ted Briscoe.

13 Oct 2010: introducing political, economic and cultural instabilities that involves a number of nuclear-capable states.".

18 Aug 2010: Course material 2010–11. Part IB. Please check the official timetables for timetable details. Michaelmas term. Lent term. Easter term. Mr Jack Lang). 2010 Computer Laboratory, University of Cambridge. Information provided by pagemaster@cl.cam.ac.uk

1 Mar 2010: Infected animals either die quickly or fail to grow normally, resulting in substantial economic costs to the worldwide pig industry and adding to food security concerns.

3 Aug 2010: Course material 2010–11. Further Java Briefing. Principal lecturer: Dr Alastair Beresford. Taken by:If you are reading this then no extra material has yet been placed on the Web for this course. 2010 Computer Laboratory, University of Cambridge.

13 Sep 2010: The research also increases the economic viability of producing sustainable biofuels from the inedible by-products of crops through increasing our understanding of plant structures.

16 Nov 2010: Course material 2010–11. Optimising Compilers. Principal lecturer: Prof Alan Mycroft. Taken by:contact lecturer for access permission). Further information:. a 1-page C program to convert arithmetic expressions into 3-address code (cf. TRN from

8 Apr 2010: Computer Laboratory. Course material 2009–10. ».. Part IB. 2009–10. Please check the official timetables for timetable details. Michaelmas term. Lent term. continuing). continuing). Easter term. 2010 Computer Laboratory, University of Cambridge.

9 Dec 2010: Course material 2010–11. Denotational Semantics. Lecturer: Dr Marcelo Fiore. Taken by:Part I. Part II. Transparencies. Lecture 11 (16.XI). Feedback. Please provide feedback through the online lecture course feedback form. 2010 Computer Laboratory,

1 May 2010: In the seven years between being chosen as host and staging the event itself, Germany experienced favourable economic conditions and a belief in technocratic optimism, but was equally marked by national

28 Jan 2010: Computer Laboratory. Course material 2009–10. ». ». ». Discrete Mathematics I. 2009–10. Principal lecturer: Dr Peter Sewell. Taken by:Past exam questions:This was a new course in 2008-9, so the previous Discrete Maths I exam questions are

20 May 2010: Computer Laboratory. Course material 2009–10. ». ». ». Regular Languages and Finite Automata. 2009–10. Principal lecturer: Prof Andrew Pitts. Taken by:Lecture notes and slides [pdf]. Past exam questions: recent ones (1993-2009) are here;

3 Aug 2010: Course material 2010–11. Types. Principal lecturer: Dr Christian Urban. Taken by:contact lecturer for access permission). If you are reading this then no extra material has yet been placed on the Web for this course. 2010 Computer Laboratory,

26 Nov 2010: Course material 2010–11. An Algebraic Approach to Internet Routing. Principal lecturer: Dr Timothy Griffin. Approach A great deal of of interesting work was done in the 1970s in generalizing shortest path algorithms to a wide class of semirings

21 Jan 2010: Computer Laboratory. Course material 2009–10. ». ». ». Interactive Formal Verification. 2009–10. Principal lecturer: Prof Larry Paulson. Taken by:and the associated Isabelle theory files:This lecture course introduces interactive formal proof

27 Nov 2010: Course material 2010–11. Principles of Communication. Principal lecturer: Prof Jon Crowcroft. Taken by:contact lecturer for access permission). N.B. PC is only partially similar to 2009's DCII course so past exam questions are only a partial guide.

4 Oct 2010: Computer Laboratory. Course material 2009–10. ». ». ». Part IB Assessed Exercise Briefing. 2009–10. Principal lecturers:Taken by:Workbook and test suite. Once you have tested your program using the data in the file. test-suite.zip. please

19 Feb 2010: Computer Laboratory. Course material 2009–10. ». ». ». Digital Communication I. 2009–10. Principal lecturer: Dr Andrew Moore. Taken by:relevant list below). Information for supervisors (contact awm22 for access permission - please include

2 Mar 2010: Computer Laboratory. Course material 2009–10. ». ». ». Semantics of HOT Languages. 2009–10. Principal lecturer: Prof Andrew Pitts. Taken by:Reading material. The first part of the course will be based on. A. M. Pitts, Operational Semantics

8 Apr 2010: Computer Laboratory. Course material 2009–10. ».. Index of courses by lecturer. 2009–10. Please check the official timetables for timetable details. Software Engineering (Michaelmas). Michaelmas, Lent). Dr Alex Benton. Advanced Graphics (Lent).

30 Jan 2010: Computer Laboratory. Course material 2009–10. ». ». ». Floating-Point Computation. 2009–10. Principal lecturer: Dr Derek McAuley. Taken by:contact lecturer for access permission). Lecturer-provided information:. Course slides (as printed). An

11 Apr 2010: Computer Laboratory. Course material 2009–10. Bioinformatics. 2009–10. Principal lecturer: Dr Pietro Lio. Taken by:contact lecturer for access permission). Lecture Notes (updated) -2009 Computer Laboratory, University of Cambridge. Please send

30 Nov 2010: Course material 2010–11. Innovative user interfaces. Format:. Reading group for the MPhil in Advanced Computer Science. Schedule:. Michaelmas Term, Tuesday, 16:00-18:00, SS03. Contents. Aims. This module aims to provide a review of innovative user

3 Aug 2010: Course material 2010–11. Topics in Concurrency. Principal lecturer: Prof Glynn Winskel. Taken by:contact lecturer for access permission). If you are reading this then no extra material has yet been placed on the Web for this course. 2010 Computer

15 Oct 2010: Course material 2010–11. Digital Electronics. Principal lecturer: Dr Ian Wassell. Taken by:contact chn2 for access permission). Here are the notes (all PDF). 2010 Computer Laboratory, University of Cambridge. Information provided by Dr Ian Wassell.

8 Jan 2010: Computer Laboratory. Course material 2009–10. ». ». ». Prolog. 2009–10. Principal lecturer: Dr David Eyers. Taken by:Assessed exercise. The Prolog tick is available. Please check these pages occasionally as you work through the tick, in case

14 Oct 2010: Course material 2010–11. Concurrent and Distributed Systems I. Principal lecturer: Dr Brian Shand. Taken by:Past exam questions:contact lecturer for access permission). Concurrent and Distributed Systems was a new course for Part 1B in 2009-10.

19 May 2010: Computer Laboratory. Course material 2009–10. ». ». ». Artificial Intelligence I. 2009–10. Principal lecturer: Dr Sean Holden. Taken by:contact lecturer for access permission). Lecture Notes. The lecture notes are undergoing a major update

18 May 2010: Computer Laboratory. Course material 2009–10. ». ». ». Distributed Systems. 2009–10. Principal lecturer: Dr David Evans. Taken by:contact lecturer for access permission). Course notes. These are the course notes that were submitted for

7 Jan 2010: Computer Laboratory. Course material 2009–10. ». ». ». Software Design. 2009–10. Principal lecturer: Dr Alan Blackwell. Taken by:contact lecturer for access permission). Lecture Notes. 2010 Computer Laboratory, University of Cambridge. Please

15 Oct 2010: Course material 2010–11. Hardware Practical Classes. Principal lecturer: Dr Ian Wassell. The notes were last updated in 2007-2008. The workshops are held in the Intel Laboratory (William Gates Building) in the Michaelmas and Lent Terms. 2010

13 Apr 2010: Computer Laboratory. Course material 2009–10. ». ». ». Artificial Intelligence II. 2009–10. Principal lecturer: Dr Sean Holden. Taken by:contact lecturer for access permission). Lecture Notes. Supplementary Notes. 2010 Computer Laboratory,

9 Jan 2010: Computer Laboratory. Course material 2009–10. ». ». ». Innovative user interfaces. 2009-10. Format:. Reading group for the MPhil in Advanced Computer Science. Schedule:. Michaelmas Term, Tuesday, 16:00-18:00, SS03. Contents. Aims. This module