Search

18 Feb 2010: Computer Laboratory. Course material 2009–10. ». ». ». Discrete Mathematics II. 2009–10. Principal lecturer: Prof Glynn Winskel. Taken by:Past exam questions:Here are PDF versions of. 2010 Computer Laboratory, University of Cambridge. Please

13 Oct 2010: Course material 2010–11. Logic and Proof. Principal lecturer: Dr Aaron Coble.

11 Nov 2010: Course material 2010–11. Mathematical Methods for Computer Science. Principal lecturer: Dr Richard Gibbens. Taken by:Past exam questions:contact lecturer for access permission). 2010 Computer Laboratory, University of Cambridge. Information

12 Oct 2010: Temporal Logic and Model Checking (Easter, Part II). Lent, Part IA NST, Part I PPS, Part IA CST). ... Economics and Law (Easter, Part IB). Lent, Part II).

21 Oct 2010: Course material 2010–11. Registration. Principal lecturers:Taken by:Documents handed out at the Registration session on Thursday, 7 October (Arts School, Room A, New Museums Site), and then at the ... start of the practical classes on the afternoons of

19 May 2010: Taken by:Slides. Suggested Exercises. Note: these exercises are intended to explore in further detail some issues raised in the lectures, and encourage you to extend further the techniques that have

30 Mar 2010: Lecture notes (black and white, corrected version).

9 Jan 2010: Stuart Card, Tom Moran & Alan Newell. Handbook of Perception and Human Performance, Wiley, 1986. ... Real-time inference of complex mental states from facial expressions and head gestures.

19 Jan 2010: Computer Laboratory. Course material 2009–10. ». ». ». Computer Graphics and Image Processing. 2009—10. Principal lecturer: Prof Peter Robinson. ... bump mapping, lines and circle drawing, anti-aliasing, ray tracing, and 3D projection.

30 Mar 2010: This is a free program called Eclipse and you can download it from here. ... Alternatively you can login the PWF from your room (see here and here for details.

23 Apr 2010: Information Theory and Coding, Computer Vision, Digital Signal Processing, Natural Language Processing and Information Retrieval. ... Random walks. Recurrence and transience. The Gambler's Ruin problem. Solution using difference equations.

8 Oct 2010: are available here, which you might find useful for exam practice and supervision work. ... Patterson, D. & Hennessy, J. (1998). Computer Organisation and Design. Morgan Kaufmann (4th ed.).

21 May 2010: It does so by:. analysing a range of sorting algorithms;. introducing established algorithm strategies (divide and conquer, etc);. ... introducing and analysing a series of data structures from stacks to red-black trees.

3 Mar 2010: It has a short tutorial on subdivision and Java applets illustrating both curve and surface subdivision. ... Kass and Miller's 1990 SIGGRAPH paper on which the above water simulations were based (2010 Computer Laboratory, University of Cambridge.

12 Mar 2010: There will be six lectures on probability theory in the Michaelmas Term and a further six lectures on Fourier methods in the Lent Term. ... The handout also contains a ten page extract from E. Oran Brigham's book "The fast Fourier transform and its

4 Jan 2010: Computer Laboratory. Course material 2009–10. ». ». ». Concurrent and Distributed Systems. 2009–10. Principal lecturer: Prof Jean Bacon. ... From 2002, Concurrent Systems and Advanced Java were combined into Concurrent Systems and Applications.

30 Apr 2010: Recommended books. Harris, D.M. & Harris, S.L. (2007). Digital Design and Computer Architecture. ... Morgan Kaufmann (2nd ed., as an alternative to the above). Handouts and practicals.

20 Jan 2010: Computer Laboratory. Course material 2009–10. ». ». ». Programming in C and C++. 2009–10. Principal lecturer: Dr Andrew Moore. ... Taken by:Supervisors at this stage there is no special material; lectures foils have questions and per-lecture

3 Feb 2010: Copies of the lecture notes are available here (and some sample supervision questions. ... Scale and Performance in the Denali Isolation Kernel, Whitaker et al, OSDI 2002.

8 Nov 2010: Replacement strategies: OPT, FIFO, LRU (and approximations), NRU, LFU/MFU, MRU. Working set schemes. ... File operations. Access control. Existence and concurrency control. Protection. Requirements. Subject and Objects.