Search

14 Jan 2011: Timing critical circuits and bus interfacing (1L1P). On-chip networks: implementation and analysis (1L1P). ... software simulation. Coursework. Complete the laboratory material and submit a portfolio of work.

4 Mar 2011: L2 (in ML). Moscow ML, Java and SWI Prolog are installed on the Intel PWF machines. ... The book Types and Programming Languages is freely accessible in electronic form from within Cambridge.

28 Jan 2011: Course material 2010–11. Mobile and Sensor Systems. Principal lecturer: Dr Cecilia Mascolo.

5 Mar 2011: Trivia: LINX (London IXP) is the worlds largest IXP by traffic, customers, and peerings). ... You may wish to open two browsers: one for the movie and one for the notes.

17 Nov 2011: Algorithms and problems. Complexity of algorithms and of problems. Lower and upper bounds. ... Time complexity. Time complexity classes. Polynomial time problems and algorithms. P and NP.

4 Mar 2011: Course material 2010–11. Lexical Semantics and Discourse Processing. Principal lecturer: Dr Simone Teufel. ... Reading: J and M chapter 19.4 andFrame Semantics and Semantic Role Labelling.

1 Jun 2011: Try-it-yourself: Toy Classes RTL and TLM-1 style experiments (on PWF linux - check 'thisyears-toyclasses' folder). ... Try-it-yourself: TLM experiments using TLM2.0 standard and OR1K CPU (zip).

17 Nov 2011: Propositional logic. Basic syntax and semantics. Equivalences. Normal forms. Tautology checking using CNF. ... Prenex normal form. Skolemisation. Herbrand models and their properties. Unification. Composition of substitutions.

17 Nov 2011: A partial function is partial recursive if and only if it is computable. ... understand the notion of coding programs as data, and of a universal machine;.

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.