Search

19 May 2011: Course material 2010–11. Economics and Law. Principal lecturer: Mr Jack Lang.

29 Nov 2011: 2. Of the two Proctors, one shall be designated Senior and the other Junior. ... Academic Division (including the Planning and Resource Allocation Office). Estate Management and Building Service.

29 Nov 2011: a)The Vice-Chancellor (or a duly appointed deputy) in the Chair, and the Vice-Chancellor elect (if any);. ... 2. Of the two Proctors, one shall be designated Senior and the other Junior.

28 Apr 2011: Economics and Law. Lecture 6. Ross Anderson. Auctions. Around for millennia; standard way of selling livestock, fine art, mineral rights, bonds…. ... Predation: ‘we’ll top any other bid’ in takeovers. Sniping and other boundary effects.

28 Apr 2011: Economics and Law. Lecture 2. Ross Anderson. What do economists study? ... Roadmap. Economics as a subject is traditionally made up of macroeconomics, microeconomics and specialised topics.

28 Apr 2011: Economics and Law. Lecture 3. Ross Anderson. Demand. Assuming functions are well-behaved, we can get a consumer’s demand from their utility or vice versa. ... output (Say’s law: supply and demand in the economy should be equal).

28 Apr 2011: Economics and Law. CST part 1b. Ross Anderson, Nicholas Bohm, Richard Clayton. ... Policy: arguments about copyright, blocking,…. Aims and Objectives. Aims: introduce you to some basic concepts in economics and law.

11 Feb 2011: You can use one of the pre-built SystemC distributions I have provided or download and compile your own from systemc.org. ... You can copy the material you need from DJG's working copy or you can check out from CVS and build your own.

17 Nov 2011: Prerequisite courses: Business Studies, Security, Economics and Law. Aims. ... Network economics. Real and virtual networks, supply-side versus demand-side scale economies, Metcalfe’s law, the dominant firm model, the differentiated pricing model Data

28 Apr 2011: Additional lecturers: Dr Andrew Moore and Dr Cecilia Mascolo.

16 Mar 2011: Course material 2010–11. Advanced Topics in Concurrency. Principal lecturer: Prof Glynn Winskel. Taken by:If you are reading this then no extra material has yet been placed on the Web for this course. 2011 Computer Laboratory, University of

30 Mar 2011: Course material 2010–11. Floating-Point Computation. Principal lecturer: Dr David Greaves. Taken by:contact lecturer for access permission). An easy magazine article by Cleve Moler (The Mathworks, creators of MATLAB) conveying the feel of various

19 Apr 2011: Computer Laboratory. Course material 2009–10. ». ». ». System-on-Chip Design and Modelling (Part II). 2009–10. Principal lecturer: Dr David Greaves. ... Try-it-yourself: TLM experiments using TLM2.0 standard and OR1K CPU (zip).

26 Jan 2011: Oct 29. Systems. Nishanth Sastry. Building Secure Systems On and For Social Networks. ... This lecture will introduce the various sensors embedded in modern smart phones, and possible application scenarios.

16 Mar 2011: Agda. The Agda language is available here and is already installed on the MPhil machines. ... I will put sample source code and exercises in this directory.

15 Jan 2011: Course material 2010–11. Data Centric Networking. Principal lecturer: Dr Eiko Yoneki. Taken by:See the detail of the course schedule here.. 2011 Computer Laboratory, University of Cambridge. Information provided by Dr Eiko Yoneki.

19 May 2011: Economics and Law Summary. 1. Prisoners’ dilemma. Two prisoners are arrested on suspicion of planning a robbery. ... Utility increases with square of users. Standards. Timescale. Moore’s Law. Untimely Publication.

14 Nov 2011: Rule-based inductive definitions and proofs. Proofs of type safety properties. [2 lectures]. ... Functions. Call-by-name and call-by-value function application, semantics and typing. Local recursive definitions.

9 Nov 2011: No. of lectures: 6. Prerequisite courses: Foundations of Computer Science, Algorithms I and Logic & Proof. ... Difference structures. Difference lists: introduction and application to example programs. Building on Prolog.

17 Nov 2011: Shell script programming and configuration. Efficient command entry with history and alias functions. ... have gained experience in using Perl, L. A. T. E. X and MATLAB.