Search

25 Nov 2009: Computer Laboratory. Course material 2009–10. Information Retrieval. 2009–10. Principal lecturer: Dr Stephen Clark. Taken by:contact lecturer for access permission). 2009 Computer Laboratory, University of Cambridge. Please send any comments on

9 Dec 2009: Computer Laboratory. Course material 2009–10. ». ». ». Specification and Verification I. 2009–10. Principal lecturer: Prof Mike Gordon. Taken by:2009 Computer Laboratory, University of Cambridge. Please send any comments on this page to Prof

4 May 2009: Computer Laboratory. Course material 2008–09. ». Foundations of Computer Science. 2008–09. Principal lecturer: Prof Larry Paulson. Taken by:Please download the corrected version of Tick 6! We have installed an errata page where you can find

5 Jun 2009: Computer Laboratory. Course material 2008–09. ». Introduction to Security. 2008–09. Principal lecturer: Dr Markus Kuhn. Taken by:This 8-h lecture course takes you onto a quick tour through the basics of computer security and cryptography on

25 Nov 2009: Computer Laboratory. Course material 2009–10. ». ». ». Business Studies. 2009–10. Principal lecturer: Mr Jack Lang. Taken by:contact chn2@cam for access permission). Here are the notes (all PowerPoint) and Examples (PDF):. 2009 Computer

7 Oct 2009: Computer Laboratory. Course material 2009–10. ». ». ». Denotational Semantics. 2009–10. Principal lecturer: Dr Marcelo Fiore. Taken by:Lecture slides. Part I. Part II. Feedback. Please provide feedback through the online lecture course

7 Oct 2009: Computer Laboratory. Course material 2009–10. ». ». ». Hardware Practical Classes. 2009–10. Principal lecturer: Dr Ian Wassell. Taken by:contact lecturer for access permission). The notes were last updated in 2007-2008. The workshops will be

25 Nov 2009: Computer Laboratory. Course material 2009–10. ». ». ». Foundations of Computer Science. 2009–10. Principal lecturer: Prof Larry Paulson. Taken by:Solution notes for past exam questions) (contact lecturer for access permission). Exercises for

21 Sep 2009: Computer Laboratory. Course material 2009–10. Optimising Compilers. 2009–10. Principal lecturer: Dr Arthur Norman. Taken by:contact lecturer for access permission). Further information:. a 1-page C program to convert arithmetic expressions into 3

22 May 2009: Computer Laboratory. Course material 2008–09. ». Artificial Intelligence I. 2008–09. Principal lecturer: Dr Mateja Jamnik. Taken by:Lecture notes ([for printing 4up)] [slides]):. Introduction to AI and agents: [Problem solving by search, games

22 Apr 2009: Computer Laboratory. Course material 2008–09. ». E-Commerce. 2008–09. Principal lecturer: Mr Jack Lang. Taken by:Lecture notes (mostly PowerPoint):. Frauds and Scams Examples Class. 2009 Computer Laboratory, University of Cambridge. Please send

19 Feb 2009: Computer Laboratory. Course material 2007–08. ». ». ». Index of courses by lecturer. 2007–08. Please check the official timetables for timetable details. Mr Nigel Bailey. Dr Keir Fraser. Dr Richard Jennings. Mr Jack Lang. Mr Richard Stibbs.

9 Oct 2009: Computer Laboratory. Course material 2009–10. ». ». ». Information Theory and Coding. 2009–10. Lecturer: Prof John Daugman. Prerequisite courses: Probability; Mathematical Methods for Computer Science. Number of lectures: 11 1 (Mon, Wed, Fri

9 Dec 2009: Computer Laboratory. Course material 2009–10. ». ». ». Specification and Verification II. 2009–10. Principal lecturer: Prof Mike Gordon. Taken by:2009 Computer Laboratory, University of Cambridge. Please send any comments on this page to

18 Jan 2009: Computer Laboratory. Course material 2008–09. ».. Index of courses by lecturer. 2008–09. Please check the official timetables for timetable details. Software Engineering (Michaelmas). Dr Alex Benton. Advanced Graphics (Lent). Lent). Lent).

11 Mar 2009: Computer Laboratory. Course material 2008–09. ». Databases. 2008–09. Principal lecturer: Dr Timothy Griffin. Taken by:Lecture notes:. Lectures 1 and 2 : one slide per page, or two slides per page. Lectures 4, 5, and 6 : one slide per page, or

6 Feb 2009: Computer Laboratory. Course material 2008–09. ». Foundations of Functional Programming. 2008–09. Principal lecturer: Dr Matthew Parkinson. Taken by:The slides from the lectures can be found here: 1up and 4up [Corrections to printed version

7 Oct 2009: Computer Laboratory. Course material 2009–10. ». ». ». Group Project. 2009–10. Principal lecturer: Dr Alan Blackwell. Taken by:contact lecturer for access permission). Full information on the group project course is maintained in the group

27 Apr 2009: Computer Laboratory. Course material 2008–09. ». Long Vacation Java course. 2008–09. Principal lecturer: Dr Frank King. Taken by: long vacation term students. Students and staff of Cambridge University may attend the July run of this course (13

22 Oct 2009: evening with Guardian cartoonist Steve Bell, a talk on the secret language of music and a discussion of China’s economic power.

18 Jan 2009: Computer Laboratory. Course material 2007–08. ». ». ». Computer Science Part IB. 2007–08. Please check the official timetables for timetable details. Michaelmas term. Lent term. Easter term. 2008 Computer Laboratory, University of Cambridge.

6 May 2009: Computer Laboratory. Course material 2008–09. ». Probability. 2008–09. Principal lecturer: Dr Richard Gibbens. Taken by:Last changed 6 May 2009). 2009 Computer Laboratory, University of Cambridge. Please send any comments on this page to Dr

4 May 2009: Computer Laboratory. Course material 2008–09. ». Logic and Proof. 2008–09. Principal lecturer: Prof Larry Paulson. Taken by:for past exam questions (for supervisors and directors of studies only). A toy theorem-proved coded in ML:. 2009

13 Mar 2009: Computer Laboratory. Course material 2008–09. ». Computer Graphics and Image Processing. 2008—09. Principal lecturer: Prof Peter Robinson. Course material. 3MB). This is a new facility, so there aren't many questions and answers there yet.

20 Oct 2009: Computer Laboratory. Course material 2009–10. ». ». ». Advanced Topics in Computer Systems. 2009–10. Principal lecturer: Dr Steven Hand. Taken by:Overview. This module will attempt to provide an overview of "systems research". This is a very

17 Aug 2009: Computer Laboratory. Course material 2009–10. Algorithms II. 2009–10. Principal lecturer: Dr Timothy Griffin. Taken by:contact lecturer for access permission). If you are reading this then no extra material has yet been placed on the Web for

19 Oct 2009: Computer Laboratory. Course material 2009–10. ». ». ». How to Study Computer Science. 2009–10. Principal lecturer: Prof Larry Paulson. Taken by:Web links to information on repetitive strain injury (RSI):. information to help disabled people

27 Aug 2009: Computer Laboratory. Course material 2009–10. ». Logic and Proof. 2009–10. Principal lecturer: Prof Larry Paulson. Taken by:solution notes for past exam questions) (contact lecturer for access permission). A toy theorem-proved coded in ML:.

5 Mar 2009: Computer Laboratory. Course material 2008–09. ». Advanced Graphics. 2008–09. Principal lecturer: Dr Alex Benton. Taken by:Past exam questions are in two different places: 98,99, 02, 03, 04, 05, 06, 07 and 00, 01. Lecture notes and source code.

13 Oct 2009: Computer Laboratory. Course material 2009–10. ». ». ». Registration. 2009–10. Principal lecturer: Dr Frank King. Taken by:Documents handed out at the Registration session on Thursday 8th October, and then at the start of the practical classes

18 Feb 2009: Computer Laboratory. Course material 2008–09. ». Digital Communication I. 2008–09. Principal lecturer: Dr Andrew Moore. Taken by:The lecture foils are available here as a PDF. The second set of lecture foils are available here as a PDF (44

13 Jan 2009: Computer Laboratory. Course material 2008–09. ». Operating Systems I. 2008–09. Principal lecturer: Dr Steven Hand. Taken by:Aims. The overall aim of this course is to provide a general understanding of how a computer works. This includes

12 May 2009: Computer Laboratory. Course material 2008–09. ». Part IB Assessed Exercise Briefing. 2008–09. Principal lecturer: Dr Steven Hand. Taken by:Overview. The purpose of this briefing lecture is to describe the IB Java Tick 0, an assessed exercise to

20 May 2009: Computer Laboratory. Course material 2008–09. ». Complexity Theory. 2008–09. Principal lecturer: Dr Timothy Griffin. Taken by:Lecture notes : complexity2009.pdf. Lecture slides :. Lectures 1 to 6: one slide per page or two slides per page.

2 May 2009: Computer Laboratory. Course material 2008–09. ». Algorithms I. 2008–09. Principal lecturer: Dr Frank Stajano. Taken by:Past exam questions. Past exam questions can be found under Algorithms but also, for historical reasons, under Data

23 Feb 2009: Computer Laboratory. Course material 2008–09. ». Advanced Systems Topics. 2008–09. Principal lecturer: Dr Steven Hand. Taken by:Internet Routing Protocols. Lecturer: Dr Timothy G. Griffin. Internet routing protocols from a distributed systems

23 Sep 2009: Computer Laboratory. Course material 2009–10. ». ». Unix Tools. 2009–10. Principal lecturer: Dr Markus Kuhn. Taken by:This non-examinable 10-h lecture course takes you onto a quick tour through a few important and highly useful Unix

13 Mar 2009: Computer Laboratory. Course material 2008–09. ». Computer Vision. 2008–09. Lecturer: Dr John Daugman. Prerequisite course: Mathematical Methods for CS; Probability. Aims. The aims of this course are to introduce the principles, models and

4 Mar 2009: Computer Laboratory. Course material 2008–09. ». Concepts in Programming Languages. 2008–09. Principal lecturer: Dr Marcelo Fiore. Taken by:Lecture slides. Introduction and motivation. Additional reading material:. The first procedural language:

21 Apr 2009: Computer Laboratory. Course material 2008–09. ». Programming in C and C++. 2008–09. Principal lecturer: Dr Andrew Moore. Taken by:The lecture foils are available here as a PDF (23MB). A 1-up version of the lecture foils is available here as a

21 Aug 2009: uk/. Clean technology cleans upDespite the economic downturn, four University spin-out clean tech companies have receivedover £12 million in funding. ... dmgn@econ.cam.ac.uk) at the Faculty of Economics or visitwww.eprg.group.cam.ac.uk/.

11 Mar 2009: Computer Laboratory. Course material 2008–09. ». Programming Methods. 2008–09. Principal lecturer: Dr Robert Harle. Taken by:Syllabus. The syllabus was written before I had a good understanding of the programming level of the students (and,

18 Sep 2009: Lucy Suchman (University of Lancaster). Programme Committee - Technical Co-Chairs. Economic and social benefits.

6 May 2009: Computer Laboratory. Course material 2008–09. ». Prolog. 2008–09. Prolog tick timetable. The tick sessions will take place in room FW09. Time. Thursday 7th May. Friday 8th May. 13:00:00. adt33. prc33. 13:07:30. sr428. 13:15:00. awk28. rgd27.

13 Mar 2009: Computer Laboratory. Course material 2008–09. ». Video clips. The videos shown before and during lectures were:. Mortal Combat from The Golden Compass (New Line Cinema, 2008). Oscar-winning special effects including animation of fur by one of the

5 Jan 2009: Inside Out: Dr Barbara Bodenhorn 31. In Focus: The Economic and Social Research Council (ESRC) 32–33. ... A striking example of Cambridge’sacademic achievements is the 83 Nobelprizes awarded to affiliates of theUniversity for significant advances

29 Jan 2009: Camfed is dedicated to fighting poverty and HIV/AIDS in rural Africa by educating girls and investing in their economic independence and leadership once they complete school.

11 Mar 2009: of education, empowerment, economics, andCopyright 2006-07 Alan Blackwell.

20 Sep 2009: Workplace. based. economic. output (GVA). per capita,. 2006. £22,153. £20,598. £19,081. ... HCA/NE. • Local Economic Assessments, sub regional. investment plans. • Economic and political uncertainty. •

22 Apr 2009: Financing E-commerce. Raising money. Valuation. Winners and losers. Futurology. Raising the Money. Family and Friends £10K. Bank loan £100K. Angels £250K. VCs £2M. IPO £20M. VC Criteria. Global sustainable under-served market need. Defensible