Search

29 Oct 2009: According to the "Grandmother Hypothesis," post-menopausal women can increase their genetic contribution to future generations by increasing the survivorship

11 Dec 2009: what sorts of tests will you run. How will you test the hardware etc.). ... Updated Verification section. You must show which tests pass on your current design.

15 Oct 2009: As a first test, make sure that at switch-on the hardware still runs Exercise 2 of Workbook1. ... Test for the presence of the 14.746MHz clock on PB0. Is the LED on your prototyping board flashing at the correct rate of 1Hz?

21 Oct 2009: Without the volatile , the compiler would optimise the loop test and never see that the variable had changed. ... The LCD display should show 'TEST'. You may need to adjust the contrast potentiometer to see it clearly.

16 Jan 2009: Computer Laboratory. Course material 2008–09. ». Semantics of Programming Languages. 2008–09. Principal lecturer: Dr Peter Sewell. Taken by:Notes: colour, (ps) and (pdf) , and monochrome, (ps) and (pdf). Model implementations of the languages.

11 Oct 2009: Computer Laboratory. Course material 2009–10. ». ». ». Advanced Topics in Programming Languages. 2009–10. Principal lecturer: Dr Peter Sewell. Taken by:2009 Computer Laboratory, University of Cambridge. Please send any comments on this page

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,

5 Nov 2009: Computer Laboratory. Course material 2009–10. ». ». ». Low Power Embedded Systems Programming. 2009–10. Principal lecturer: Dr Ian Wassell. Additional lecturer: Brian Jones. Taken by:Workbooks. Projects. Docs. Supporting Documentation. Code

3 Sep 2009: We have a memevents tool, described briefly in the POPL 2009 and TPHOLs 2009 papers, that takes small test programs and calculates the set of all executions that are allowed by ... This project is to produce a emulator for the model that lets one test

26 Nov 2009: Computer Laboratory. Course material 2009–10. ». ». ». An Algebraic Approach to Internet Routing. 2009–10. Principal lecturer: Dr Timothy G. Approach The course takes a high-level, top-down approach to the analysis and design of Internet

19 Oct 2009: Computer Laboratory. Course material 2009–10. ». ». ». Types. 2009–10. Principal lecturer: Prof Andrew Pitts. Taken by:including slides) [black & white pdf]. Just the slides [colour pdf]. Additional material:. Naive implementations of the ML

13 Nov 2009: Computer Laboratory. Course material 2009–10. ». ». ». Semantics of Programming Languages. 2009–10. Principal lecturer: Dr Sam Staton. Taken by:There are comments in the notes about the relevance of older questions.). Large print: colour and

13 May 2009: VIS-SPE-ATC-20500-0001. Interleaving tests. 25-09-2003. 29-10-2004 [html]. ... WFCAM simulations - PSF and galaxy tests. 01-09-2003. 03-10-2003 [html].

29 Apr 2009: Computer Laboratory. Course material 2008–09. ». System-on-Chip: Design and Modelling. 2008–09. Principal lecturer: Dr David Greaves. Taken by:This course is arranged into eight different topics. These cover all of the material in the published

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

17 Apr 2009: Computer Laboratory. Course material 2008–09. ». Compiler Construction. 2008–09. Principal lecturer: Prof Alan Mycroft. Taken by:Here are various items for the 2008/09 version of this course:. on CUP. on C#, ANTLR and many mini compiler-writing

7 Sep 2009: Computer Laboratory. Course material 2009–10. ». ». Chip Multiprocessors. 2009–10. Principal lecturer: Dr Robert Mullins. Taken by:Lectures notes, papers, assignments etc. are all available from the course web site. 2009 Computer Laboratory,

17 Aug 2009: Computer Laboratory. Course material 2009–10. Introductory Logic. 2009–10. Principal lecturer: Dr Thomas Forster. Taken by:If you are reading this then no extra material has yet been placed on the Web for this course. 2009 Computer Laboratory,

17 Aug 2009: Computer Laboratory. Course material 2009–10. Advanced Topics in Concurrency. 2009–10. 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. 2009 Computer

17 Aug 2009: Computer Laboratory. Course material 2009–10. Set Theory for Computer Science. 2009–10. 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. 2009 Computer

26 Oct 2009: Computer Laboratory. Course material 2009–10. ». ». ». Natural Language Processing. 2009–10. Principal lecturer: Dr Ann Copestake. Taken by:Some NLP and language related links:lecture 4). 2009 Computer Laboratory, University of Cambridge.

10 Sep 2009: Dr Paul Schofield of the Department of Physiology Development and Neuroscience at the University of Cambridge chaired an influential meeting on this issue in

13 Oct 2009: Computer Laboratory. Course material 2009–10. ». ». ». Human-Computer Interaction. 2009–10. Principal lecturer: Dr Alan Blackwell. Taken by:Past exam questions:contact lecturer for access permission). Design Exercise: Critical Care for the

1 Dec 2009: Computer Laboratory. Course material 2009–10. ». ». ». Category Theory for Computer Science. 2009–10. Principal lecturer: Dr Bartosz Klin. Additional lecturer: Dr Marcelo Fiore. Taken by:Lecture slides. Lecture 1: definition of category,

19 Nov 2009: I report on a perceptual experiment that tests and supports this hypothesis, and discuss the implications.

1 Dec 2009: Computer Laboratory. Course material 2009–10. ». ». ». Basic Rewriting Theory. 2009–10. Principal lecturer: Dr Marcelo Fiore. Taken by:Reading material from Term Rewriting and All That:. Motivating Examples (Chapter 1). Equivalence and

27 Jan 2009: Computer Laboratory. Course material 2008–09. ». Software Design. 2008–09. Principal lecturer: Dr Alan Blackwell. Taken by:link to 13 MB PDF file). Official resource site for BlueJ book and downloads. Source code for BlueJ examples mentioned in

31 Jul 2009: This could lead to a new computer revolution.'. Professor Andy Schofield from the University of Birmingham's School of Physics and Astronomy says, 'The experiment to test this is based on

10 Mar 2009: Computer Laboratory. Course material 2008–09. ». Comparative Architectures. 2008–09. Principal lecturer: Dr Robert Mullins. Taken by:Introduction. This course provides an introduction to contemporary microprocessor design. It describes how it

21 Sep 2009: Computer Laboratory. Course material 2009–10. ». ». Digital Communication II. 2009–10. Principal lecturer: Prof Jon Crowcroft. Taken by:contact lecturer for access permission). Slides: for Course. 2009 Computer Laboratory, University of

26 Jun 2009: of system image quality (SIQ) tests lots of touchstone fields for photometric calibration tests touchstone field stepped across the array to test illumination correction the VISTA throughput (which is extremely good) ... We eagerly await the arrival of

21 Sep 2009: It was designed as a prototype to the Manchester Mark I and to test CRT memory. ... For ease the new implementations will increment CI once in the write-back stage, depending on the TEST result, and then always in the first stage of the following cycle.

5 Oct 2009: Computer Laboratory. Course material 2009–10. ». ». Digital Electronics. 2009–10. Principal lecturer: Dr Ian Wassell. Taken by:contact lecturer for access permission). Here are the notes (all PDF). 2009 Computer Laboratory, University of

17 Aug 2009: Computer Laboratory. Course material 2009–10. Topics in Concurrency. 2009–10. Principal lecturer: Prof Glynn Winskel. Taken by:contact lecturer for access permission). If you are reading this then no extra material has yet been placed on the Web

6 May 2009: Computer Laboratory. Course material 2008–09. ». Prolog. 2008–09. Principal lecturer: Dr David Eyers. Taken by:Prolog tick information. The tick sessions will take place in room FW09. The tick session times that people signed up for is

9 Jan 2009: DR J. GANGULI p. 91Information Economics M. 11; W. 12 (weeks 1–8) (not. ... SOCIAL ANTHROPOLOGYPaper S1 (Foundations of Social Anthropology I: Kinship and. Economics)DR P.

20 May 2009: Computer Laboratory. Course material 2008–09. ». Distributed Systems. 2008–09. Principal lecturer: Dr David Evans. Taken by:Course notes. The course come in two flavours. One is the batch that was submitted for printing and is what supervisors

22 Jan 2009: Computer Laboratory. Course material 2008–09. ». Bioinformatics. 2008-09. Principal lecturer: Dr Pietro Lio. Taken by:The immense growth of biological information stored in databases has led to a critical need for people who can understand the

17 Mar 2009: Computer Laboratory. Course material 2008–09. ». Information Retrieval. 2008–09. Principal lecturer: Dr Simone Teufel. Taken by:Correction in Handout (March 17, 2009): please substitute page 116 with pagerank table, corrected. Note: this is now

9 Dec 2009: Computer Laboratory. Course material 2009–10. ». ». ». Specification and Verification I. 2009–10. Principal lecturer: Prof Mike Gordon. Taken by:2009 Computer Laboratory, University of Cambridge. Please send any comments on this page to Prof

4 May 2009: Computer Laboratory. Course material 2008–09. ». Foundations of Computer Science. 2008–09. Principal lecturer: Prof Larry Paulson. Taken by:Please download the corrected version of Tick 6! We have installed an errata page where you can find

5 Jun 2009: Computer Laboratory. Course material 2008–09. ». Introduction to Security. 2008–09. Principal lecturer: Dr Markus Kuhn. Taken by:This 8-h lecture course takes you onto a quick tour through the basics of computer security and cryptography on

7 Oct 2009: Computer Laboratory. Course material 2009–10. ». ». ». Group Project Briefing. 2009–10. Principal lecturer: Dr Alan Blackwell. Taken by:contact lecturer for access permission). Full information on the group project course is maintained in the

25 Nov 2009: Computer Laboratory. Course material 2009–10. Information Retrieval. 2009–10. Principal lecturer: Dr Stephen Clark. Taken by:contact lecturer for access permission). 2009 Computer Laboratory, University of Cambridge. Please send any comments on

21 May 2009: Computer Laboratory. Course material 2008–09. ». Additional Topics. 2008–09. Principal lecturer: Prof Andy Hopper. Taken by:Course Details. The lectures this year are 12:00-13:00 in Lecture Theatre 2 of the CL. Note that time of 10:00-11:00 as

25 Nov 2009: Computer Laboratory. Course material 2009–10. ». ». ». Business Studies. 2009–10. Principal lecturer: Mr Jack Lang. Taken by:contact chn2@cam for access permission). Here are the notes (all PowerPoint) and Examples (PDF):. 2009 Computer

7 Oct 2009: Computer Laboratory. Course material 2009–10. ». ». ». Hardware Practical Classes. 2009–10. Principal lecturer: Dr Ian Wassell. Taken by:contact lecturer for access permission). The notes were last updated in 2007-2008. The workshops will be

7 Oct 2009: Computer Laboratory. Course material 2009–10. ». ». ». Denotational Semantics. 2009–10. Principal lecturer: Dr Marcelo Fiore. Taken by:Lecture slides. Part I. Part II. Feedback. Please provide feedback through the online lecture course

3 Sep 2009: surgically modifying it without unacceptable risk to vision; and (iii) its physiological response to light, which provides one of several natural tests against artifice.