Search

4 Apr 2024: Search site. Historical Library Photographs. Department of Computer Science and Technology. Library resources. Periodicals display rack. Enquiry point. Booklocker (Undergraduate texts). Mobile stacks. Careers display. Binding machine. 2021

12 Jun 2024: Search site. Academic staff. Department of Computer Science and Technology. Academic staff. Telephone and email directory. Telephone:. UK prefix:. 01223. International:. 44 1223. University network:. drop prefix 3- or 7-. Email:.

10 May 2024: Search site. Machine Visual Perception. Department of Computer Science and Technology. Course pages 2023–24. Machine Visual Perception. Machine Visual Perception. Principal lecturer: Dr Cengiz Oztireli. Additional lecturer: Dr Christopher Town.

10 May 2024: Search site. Digital Signal Processing. Department of Computer Science and Technology. Course pages 2023–24. Digital Signal Processing. Digital Signal Processing. Principal lecturer: Dr Markus Kuhn. Code: DSP. Term: Michaelmas. Hours: 16. Format:

23 Jun 2024: Search site. Virtual exhibition. Department of Computer Science and Technology. The Relics Project. Virtual exhibition. Calculating Machines. The Laboratory was founded in 1937, originally named the Mathematical Laboratory. It housed mechanical

22 Jun 2024: Mechanising and Evolving the Formal Semantics of WebAssembly: the Web's new Low-level Language.

10 May 2024: Search site. Cybercrime. Department of Computer Science and Technology. Course pages 2023–24. Cybercrime. Cybercrime. Principal lecturer: Dr Alice Hutchings. Additional lecturers:Taken by:Code: R254. Term: Lent. Hours: 16. Format: In-person

10 May 2024: Additional texts. Abraham Silberschatz, Peter Baer Galvin, and Greg Gagne, Operating System Concepts, Eighth Edition, John Wiley and Sons, Inc., New York, NY, USA, July 2008.

10 Apr 2024: The River Room Cafe. A brand new social space in the heart of Cambridge. ... 31 sets will be renovated, including new wiring, fire safety and heating, including over 160 new radiators.

10 May 2024: Search site. Mobile Health. Department of Computer Science and Technology. Course pages 2023–24. Mobile Health. Mobile Health. Principal lecturer: Prof Cecilia Mascolo. Code: MH. Term: Lent. Hours: 16 (14 Lectures plus two practicals). Format:

10 May 2024: Search site. Cybercrime. Department of Computer Science and Technology. Course pages 2023–24. Cybercrime. Cybercrime. Principal lecturer: Dr Alice Hutchings. Additional lecturers:Taken by: Part II CST. Code: CYC. Term: Lent. Hours: 16 (8 times 2

10 May 2024: Search site. Multicore Semantics and Programming. Department of Computer Science and Technology. Course pages 2023–24. Multicore Semantics and Programming. Multicore Semantics and Programming. Principal lecturers:Additional lecturer: Dr

11 Jun 2024: 11 June 2024. Lab-grown ‘mini-guts’ could help in development of new and more personalised treatments for Crohn’s disease. ... The researchers say the organoids could be used to develop and test new treatments, to see how effective they are on the

10 May 2024: Search site. Topics in Logic and Complexity. Department of Computer Science and Technology. Course pages 2023–24. Topics in Logic and Complexity. Topics in Logic and Complexity. Principal lecturer: Prof Anuj Dawar. Taken by:Code: L15. Term: Lent.

10 May 2024: Search site. Natural Language Processing. Department of Computer Science and Technology. Course pages 2023–24. Natural Language Processing. Natural Language Processing. Principal lecturer: Dr Weiwei Sun. Additional lecturer: Dr Michael

23 May 2024: F. Gomes, and Martin Uecker. ISO/IEC JTC1/SC22/WG14 N2676, March 2021. [ Mechanising and evolving the formal semantics of WebAssembly: the Web's new low-level language.

23 May 2024: a::b::infix "=!=" 70) where "r =!= s TYPEREP('a) TYPEREP('b)rs" subsection ‹Monad operations› definition new :: "nat 'a::heap 'awhere [code del]: "new n xn x))" definition of_list :: ... a return ai x a" by (simp add:lemma array_make: "new n xn (λ_.

27 Jun 2024: The College. Apply. Fellowships. People. News & Events. Alan Short. College positions:.

10 May 2024: The 2011-2012 version was oriented around the evolution of IP to support new services like multicast, mobility, multihoming, pub/sub and, in general, data oriented networking. ... Syllabus. IPng [2 lectures, Jon Crowcroft]. New Architectures [2 lectures,

10 May 2024: Search site. Computer Systems Modelling. Department of Computer Science and Technology. Course pages 2023–24. Computer Systems Modelling. Computer Systems Modelling. Principal lecturer: Prof Srinivasan Keshav. Code: CSM. Term: Lent. Hours: 16