Search

26 Oct 2011: Wavelets. Introduction to wavelets, with applications in signal processing, coding, communications, and computing. ... be familiar with the fundamental properties and uses of discrete-time Markov chains.

14 Nov 2011: 5 lectures]. 3D Computer graphics. Projection: orthographic and perspective. 3D transforms and matrices. ... explain the workings of cathode ray tubes, liquid crystal displays, and laser printers;.

22 Jun 2011: These lecture notes take a different approach and refer you to specific sections of the Tutorial that are particularly appropriate. ... Isabelle is easily installed on UNIX based workstations (including Mac OS X), and with greater effort on Windows

17 Mar 2011: Some examples of (good) machine learning toolkits are SVMlight, WEKA, Mallet, and MinorThird. ... 11) Aron Culotta and Jeffrey Sorensen, Dependency tree kernels for relation extraction, ACL04.

17 Nov 2011: lexical analysis, syntax analysis, type checking, run-time data organisation and code-generation. ... Labels,. goto. and exceptions. Dynamic and static typing, polymorphism. Storage allocation, garbage collection.

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

5 Oct 2011: Many good ideas in systems research are the result of discussing and debating previous work. ... Try to treat the presentation as a discussion between you and your peers.

26 Jan 2011: Course material 2010–11. Information Retrieval. Principal lecturer: Dr Simone Teufel. Taken by:Lecture Notes:. Lecture 1 (Introduction). Lecture 3 (IR evaluation). Lectures 5-8 (IR, QA, Summariation). Information for supervisors (contact lecturer

28 Feb 2011: Lecture-specific materials. Lecture 1. Assembler and object files. Input file : test1.c. ... Instructions: Download these three files to an empty directory and say "make".

15 Mar 2011: Lecture notes on Markov chain Monte Carlo methods:and large print version. ... Lecture notes on Planning using CSPs:and large print version.

8 Nov 2011: Logic value and delay modelling. Discrete event and device simulation. Automatic logic minimization. ... Tips and pitfalls when generating larger modular designs. Chip, board and system testing.

3 Mar 2011: Course material 2010–11. E-Commerce. Principal lecturer: Mr Jack Lang. Taken by:Past exam questions:Notes and exercises (mostly PowerPoint):.

8 Nov 2011: Introduction to the C language. Background and goals of C. Types and variables. ... 2 lectures]. Introduction to C++. Goals of C++. Differences between C and C++.

17 Mar 2011: Course material 2010–11. Concurrent and Distributed Systems II. Principal lecturer: Dr David Evans. ... The material on Erlang (pages 32-35) is just a reference and shouldn't contain anything you didn't see in CDS I.

21 Jan 2011: Course material 2010–11. Hoare Logic. Principal lecturer: Prof Mike Gordon. Taken by:2011 Computer Laboratory, University of Cambridge. Information provided by Prof Mike Gordon.

17 Jan 2011: Course material 2010–11. Probability. Principal lecturer: Dr Richard Gibbens. Taken by:contact lecturer for access permission). 2011 Computer Laboratory, University of Cambridge. Information provided by Dr Richard Gibbens.

3 Mar 2011: Course material 2010–11. Discrete Mathematics II. Principal lecturer: Prof Glynn Winskel. Taken by:Past exam questions:contact lecturer for access permission). Here are PDF versions of. 2011 Computer Laboratory, University of Cambridge.

29 Nov 2011: Group II. Paper 5. Environmental economics and law. Principles of environmental economics and law, environmental policy and policy analysis, urban and rural environmental management. ... Group III. Paper 12. Law and economics. The relationship between

1 Feb 2011: Section 2: Topics: Bus and network structures. Architecture, design partition and design database. ... The email will contain source code and a brief report in pdf format.

16 Feb 2011: Course material 2010–11. Computation Theory. Principal lecturer: Prof Anuj Dawar. Taken by:Past exam questions:. Feedback: Please complete the lecturea poetic proof of the undecidability of the halting problem in the style of Dr Seuss by Geoffrey K