Search

4 Dec 2008: Computer Laboratory. Course material 2008–09. ». Denotational Semantics. 2008–09. Principal lecturer: Dr Marcelo Fiore. Taken by:Lecture slides. Part I. Part II. Feedback. Please provide feedback through the online lecture course feedback form.

14 Oct 2008: Computer Laboratory. Course material 2008–09. ». Optimising Compilers. 2008–09. Principal lecturer: Prof Alan Mycroft. Taken by:Further information:. a 1-page C program to convert arithmetic expressions into 3-address code (cf. TRN from the

10 Sep 2008: Computer Laboratory. Course material 2008–09. Group Project. 2008–09. Principal lecturer: Dr Alan Blackwell. Taken by:If you are reading this then no extra material has yet been placed on the Web for this course. 2008 Computer Laboratory,

22 Sep 2008: Computer Laboratory. Course material 2008–09. ». Specification and Verification II. 2008–09. Principal lecturer: Prof Mike Gordon. Taken by:2008 Computer Laboratory, University of Cambridge. Please send any comments on this page to Prof Mike

27 Oct 2008: Computer Laboratory. Course material 2008–09. ». Quantum Computing. 2008–09. Principal lecturer: Dr Anuj Dawar. Taken by:Exercise Sheets:. Feedback:. The course is constantly under development, so your feedback would be very valuable. Please

16 Nov 2008: Computer Laboratory. Course material 2008–09. ». Computer Systems Modelling. 2008–09. Principal lecturer: Dr Richard Gibbens. Taken by:2008 Computer Laboratory, University of Cambridge. Please send any comments on this page to Dr Richard Gibbens

14 Oct 2008: Computer Laboratory. Course material 2008–09. ». Mathematical Methods for Computer Science. 2008–09. Principal lecturer: Dr Richard Gibbens. Taken by:2008 Computer Laboratory, University of Cambridge. Please send any comments on this page to Dr

10 Oct 2008: Computer Laboratory. Course material 2008–09. ». Digital Communication II. 2008–09. Principal lecturer: Prof Jon Crowcroft. Taken by:The slides are all here as seperate ppts, plus in a single PDF. A blog of some deltas and additional

10 Sep 2008: Computer Laboratory. Course material 2008–09. Discrete Mathematics II. 2008–09. 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. 2008 Computer

10 Sep 2008: Computer Laboratory. Course material 2008–09. How to Study Computer Science. 2008–09. Principal lecturer: Prof Alan Mycroft. Taken by:If you are reading this then no extra material has yet been placed on the Web for this course. 2008 Computer

28 Nov 2008: What social welfare do existing P2P algorithms seek to maximize? What is the economic interpretation of P2P tradeoffs? ... How does the economic interpretation translate into actual algorithms? How should ISPs use price signals in this virtual economy to

19 Nov 2008: Computer Laboratory. Course material 2008–09. ». Computation Theory. 2008–09. Principal lecturer: Prof Andrew Pitts. Taken by:Lecture notes for printing (2up):. Front matter (including suggested exercises) [pdf, 120KB]. Introduction:

11 Oct 2008: Computer Laboratory. Course material 2008–09. ». Unix Tools. 2008–09. Principal lecturer: Dr Markus Kuhn. Taken by:This non-examinable 10-h lecture course takes you onto a quick tour through a few important and highly useful Unix development

20 Oct 2008: Computer Laboratory. Course material 2008–09. ». Information Theory and Coding. 2008–09. Lecturer: Dr John Daugman. Prerequisite courses: Probability; Mathematical Methods for Computer Science. Number of lectures: 11 1 (Mon, Wed, Fri at 10,

1 Feb 2008: Because women are rarely the highest earners in thehousehold,’ said Dr Burchell, ‘an economic rationale seems to.

22 Sep 2008: Diversity. Policing. Economics and Security. • Over the last six years or so, we have started to apply an economic analysis to information security issuesy y. • ... IT Economics. • Economic “rules” for the IT industry are different. •

20 May 2008: Finance and Futures. Raising money. Valuation. Winners and losers. Futurology. Raising the Money. Family and Friends £10K. Bank loan £100K. Angels £250K. VCs £2M. IPO £20M. VC Criteria. Global sustainable under-served market need. Defensible

22 Sep 2008: Consumer protection. Diversity. Policing. Economics and Security. • Over the last six years or so, we have started to apply an economic analysis to information security issuesy y. • ... IT Economics. • Economic “rules” for the IT industry are

27 Jun 2008: This reminded MJI of the possible need for a telecon with JAC staff to discuss lessons learnt and related issues of requirements on data self-description.

1 Jan 2008: A History Lesson. The 1950’s and 1960’s was a wonderfully confusing time to be a particle theorist. ... A History Lesson. Looking for Patterns. Quarks and the 8-Fold Way.