No 6307
Wednesday 15 May 2013
Vol cxliii No 30
pp. 516–543
The Board of History and Philosophy of Science give notice that the prescribed sources for the essay component of the Natural Sciences Tripos, Part II, in History and Philosophy of Science, 2013–14, are now available on the Departmental website at the following links:
For variable papers: http://www.hps.cam.ac.uk/admin/part_ii_variable_papers.pdf
For prescribed sources: http://www.hps.cam.ac.uk/admin/part_ii_prescribed_sources.pdf
The Degree Committee for the Faculty of Computer Science and Technology give notice that the modules available for study for the M.Phil. in Advanced Computer Science (Statutes and Ordinances, p. 506) in the academical year 2013–14, and the form of the examination of each module, will be as follows:
|
Number |
Title and mode of assessment (course-work (c), written test (t)) |
|
Michaelmas Term 2013 |
|
|
C00 |
Research skills (mandatory) (c) |
|
P34 |
Advanced computer design (c) |
|
L11 |
Algebraic path problems, with applications to internet routing (c) |
|
L18 |
Automated reasoning (c and t) |
|
L108 |
Category theory and logic (c and t) |
|
R05 |
Chip multiprocessors (c and t) |
|
R209 |
Computer security: principles and foundations (c) |
|
E4F12 |
Computer vision and robotics (t) |
|
L114 |
Lexical semantics (c) |
|
L26 |
Functional programming: implementation, specification, and verification (c and t) |
|
R03 |
Innovative user interfaces (c) |
|
L100 |
Introduction to natural language processing (c) |
|
P31 |
Low power embedded systems (c) |
|
L25 |
Modern compiler design (c) |
|
R204 |
Multicore semantics and programming (c) |
|
R02 |
Network architectures (c) |
|
L106 |
Spoken language processing (c) |
|
R215 |
Theories of interaction and socio-digital design (c) |
|
Lent Term 2014 |
|
|
L22 |
Advanced topics in concurrency (half module) (t) |
|
R214 |
Biomedical information processing (c) |
|
P33 |
Building an internet router (c) |
|
R210 |
Computer security: current applications and research (c) |
|
R212 |
Data centric systems and networking (c) |
|
L115 |
Discourse and text summarization (c) |
|
L110 |
Flows in networks (c and t) |
|
E4F8 |
Image processing and image coding (t) |
|
L21 |
Interactive formal verification (c) |
|
R207 |
Language and concepts (c) |
|
E4F13 |
Machine learning (c) |
|
L101 |
Machine learning for language processing (c) |
|
L23 |
Nominal sets and their applications (half module) (t) |
|
L109 |
Social and technological network analysis (c) |
|
L102 |
Statistical machine translation (c and t) |
|
L107 |
Syntax and semantics of natural language (c) |
|
P35 |
System on chip design and modelling (c) |
|
P201 |
Usability of programming languages (c) |
|
Easter Term 2014 |
|
|
No taught modules offered currently in Easter Term 2014 |
|
The Degree Committee for the Faculty of Computer Science and Technology gives notice that the Essay Option of the M.Phil. in Advanced Computer Science requires the submission of a compulsory research essay and that the essay replaces three of twelve modules.
Further details can be found by following the appropriate links from http://www.cl.cam.ac.uk/teaching/current/acs.html and http://www.cl.cam.ac.uk/teaching/acs_projects/.
The Degree Committee for the Faculty of Computer Science and Technology reserves the right to withdraw any module should fewer than five students enrolled on the M.Phil. in Advanced Computer Science elect to study it.