Search

22 Sep 2009: There I spent two very. comfortable years, supervising in International Law, Constitutional Law, and the. ... This combination. is even now impracticable in terms of the ordinary English law and of appearances in.

25 Nov 2009: Computer Laboratory. Course material 2009–10. ». ». ». Network Architecture. 2009–10. Principal lecturer: Prof Jon Crowcroft. Additional lecturers:Taken by:Reading: papers. Assessment: student's talks. Coursework:2009 Computer Laboratory,

7 Oct 2009: The main interests of the College are in Economics, Politics, and Sociology, but these are broadly construed to include, for example, social science approaches to history, social and medical statistics, international ... or information studies), law and

5 Nov 2009: Code snippets and libraries.

27 Jan 2009: Many of the questions from pupils centred on appropriate subject choices for particular courses – such as law, medicine, economics and archaeology – while topics raised by parents touched on the comparability of ... that she would like to try to meet

19 Oct 2009: Additional material:. Naive implementations of the ML type inference algorithm (Section 2.4) and the PLC type inference algorithm (Section 4.3). ... Both are written in Fresh O'Caml, which is a patch of O'Caml with very cool facilities for handling

13 Nov 2009: If you want to work with the implementations on your own machine instead, there are Linux, Windows, and Mac versions of Moscow ML available here. ... Extras. In Lectures 2 and 12 I demonstrated an implementation of L1 written in Prolog.

16 Feb 2009: Computer Laboratory. Course material 2008–09. ». Floating-Point Computation. 2008–09. Principal lecturer: Prof Alan Mycroft. Taken by:see also below). Lecturer-provided information:. Course slides (as printed). An easy magazine article by Cleve

11 Mar 2009: Computer Laboratory. Course material 2008–09. ». Natural Language Processing. 2008–09. Principal lecturer: Dr Anna Korhonen. Taken by:Ann Copestake, the same as 2007-8). Slides (Ann Copestake, the same as 2007-8). Machine Translation slides

29 Apr 2009: Material by Topic (Lecture Group). 1 R: Verilog RTL Design: Simulation and Synthesis,. ... 6 SFT: Structure, Flow and Tools,. 7 RD: Recent Developments,. 8 E: Engineering.