Search

4 Sep 2003: Next: Part II of the Up: Easter Term 2004: Part Previous:Foundations of Functional Programming. Lecturer: Dr A.C. Norman. No. of lectures: 12. This course is a prerequisite for Types (Part II). Aims. To show how lambda-calculus and related theories

23 Nov 2003: an experiment by Daryl Bem and Charles Honorton designed to test for ESP. ... experiments on psychic phenomena designed to test the hypothesis that. design faults have been the cause of successful results have not supported.

23 Jan 2003: asap what other UKIRT?WFCAM test data do we need? - more flats (dome cf. ... SJW to set up simulations to test parameter generation software, sensitivity to seeing etc.

10 Nov 2003: CMP a1,a2 ; test for possible subtraction SUBCS a1,a1,a2 ; subtract if a1>a2 ADDCS ip,ip,a3 ; put relivant bit into result MOVS a3,a3,LSR#1 ; shift control ... C  Test Code and Divide Routine. #include. / Simple test program for divasm.s and a C

8 Jan 2003: A construct called a "citation maps" could help people grasp relationships between papers, like this the following graphics showing citation relationships between some articles in my test corpus:.

4 Sep 2003: Next: Artificial Intelligence I Up: Part IB of the Previous:Easter Term 2004: Part IB lectures. Subsections. Christine Northeast. Thu Sep 4 15:29:01 BST 2003.

4 Sep 2003: Next: Introduction Up: Computer Science Tripos Syllabus Previous:. Part IB of the Computer Science Tripos. Subsections. Christine Northeast. Thu Sep 4 15:29:01 BST 2003.

4 Sep 2003: They should understand the software development life cycle and its basic economics.

4 Sep 2003: Clients and their requirements. Design, specification and management. Ethical considerations. Waterfall diagrams, test procedures, monitoring progress.

4 Sep 2003: Next: Part IA of the Up: Computer Science Tripos Syllabus Previous: Computer Science Tripos Syllabus. Christine Northeast. Thu Sep 4 15:29:01 BST 2003.

10 Dec 2003: These traces are generated on a test network with machines running three of the common implementations (Linux, FreeBSD, Windows XP). ... the control of a test script; it also logs all events and generates a trace suitable for input to HOL.

10 Jan 2003: The Springbank test chip also includes on chip memory (SRAM) and distributed asynchronous interconnect. ... With those two processors, we carried out comparative tests based on four attack techniques.

4 Sep 2003: Next:Computer Science Tripos. Syllabus and Booklist 2003-2004.. Christine Northeast. Thu Sep 4 15:29:01 BST 2003.

23 Jan 2003: can do for much of pipeline anyway test data: need to aquire test data from WFCAM to assess persistence, reset anomalies, dark stability, flat stability, bad pixel problems etc. ... asap what other UKIRT?WFCAM test data do we need? - more flats (dome cf.

8 Dec 2003: 2. (%). 0.101 (0.686). Refinement Statistics. R factor. 3. (working set) (%). 0.185. R. Free. (%). 0.228. R. Free. test set size (%). 0.1. <B> (Å. 2. ) (mean, overall). 29.

12 Sep 2003: Computer Laboratory. Computer Science Part IB. Computer Science Part IB. 2003-04. Timetables. Courses. Software Engineering and Design. Dr Alan Blackwell (Michaelmas Term). ECAD and Architecture Practical Classes. Dr Simon Moore (Michaelmas Term).

4 Sep 2003: Bootstrapping. Learning. Question answering. Performance criteria and effectiveness measures, test methodology, established results.

23 Sep 2003: Paper 5) British Economic HistoryPaper Co-ordinator: Dr S. H. Horrell. DR L. ... Paper 13) A Subject in Economics(Not Available). (Paper 14) A Subject in Economic History: WorldDepression in the Interwar Years.

5 Mar 2003: Tests between different locations in the UK in the day give sustained data transfers rates of 4 Mbyte/s and have beend used to copy 100 Gbytes of data between sites

15 Feb 2003: 2 Decisions from Combined Biometrics. In this section we investigate the consequences of combining two or more biometric tests into anenhanced test. ... the two tests conducted individually (and hence will be degraded from theperformance that would be