Search

4 Apr 2024: Since the mid-90s, her research has focussed on establishing the human-centred perspective on security, privacy, identity and trust. ... She is currently the Director of the UK Research Institute in Science of Cyber Security, and was elected a Fellow of

4 Apr 2024: Search site. Social Aspects of Computing. Department of Computer Science and Technology. Library resources. Social Aspects of Computing. The full text of this book by Lawrence Lessig, is available online under a Creative Commons licence. The

4 Apr 2024: Search site. Information Retrieval. Department of Computer Science and Technology. Library resources. Information retrieval. Introduction to information retrieval. The full text of this book by Christopher Manning, Prabhakar Raghavan and Hinrich

24 May 2024: What is Tableau? Tableau is a business intelligence tool for visualising data and performing analytics. It is extensively utilised for creating dynamic and easily shareable dashboards, reports, and visual representations.

4 Apr 2024: Search site. Document Markup. Department of Computer Science and Technology. Library resources. Contents. Markup languages. LaTeX. A simple 'quick reference' to the major LaTeX commands from CTAN (Comprehensive TeX Archive Network). The official

4 Apr 2024: 1995. She is currently the Head of School. Jane Hillston’s research is concerned with formal approaches to modelling dynamic behaviour, particularly the use of stochastic process algebras for performance modelling ... She has published over 100 journal

19 Jun 2024: News. Echion Technologies secures £29 million to help commercialise its sustainable battery technology..

4 Apr 2024: Search site. Integrated circuits. Department of Computer Science and Technology. Library resources. SystemC is a language written in C++ for specifying and designing systems at the electronic level. This resource is the IEEE standard for the

4 Apr 2024: Search site. 2015 Butler Lampson. Department of Computer Science and Technology. Wheeler Lectures. Hints and Principles for Computer System Design. The fourth Wheeler Lecture was given at the Computer Laboratory on Tuesday 26th May, 2015. The

4 Apr 2024: Search site. Filer access on macOS. Department of Computer Science and Technology. Filer access on macOS. Contents. You can choose between two ways of accessing the departmental filer:. NFSv3 protocol – Behaves like lab-managed Unix/Linux. Files

4 Apr 2024: Search site. Cycling. Department of Computer Science and Technology. Information for staff. Cycling. Contents. Folding bikes. Whilst bikes should be secured in the bike park, it is permitted for folding bikes to be brought into the lab and stored in

4 Apr 2024: Search site. Information for examiners. Department of Computer Science and Technology. Information for examiners. Degree Committee for the Faculty of Computer Science and Technology. The Degree Committee oversees the approval of students as Graduate

4 Apr 2024: Search site. 2018 Stephen Pulman. Department of Computer Science and Technology. Wheeler Lectures. Language, learning and creativity. The seventh annual wheeler lecture was given at the Computer Laboratory on Wednesday 30th May, 2018. The speaker

8 May 2024: Nature Research Communities. ... Phys. Rev. Research 1, 033181 (2019).

4 Apr 2024: Search site. Mathematics and numerical analysis. Department of Computer Science and Technology. Library resources. Mathematics and numerical analysis. A good guide to presenting mathematical documents such that they are accessible to users across on

4 Apr 2024: Search site. Signal Processing and Pattern Classification. Department of Computer Science and Technology. Library resources. Signal Processing and Pattern Classification. Pattern recognition and machine learning. The full text of the popular book by

22 May 2024: Search site. Course materials. Department of Computer Science and Technology. Introduction to Probability. Course pages 2023–24. Introduction to Probability. Prerequisite Background Material (Revision). Set theory, Counting, Combinatorics,

4 Apr 2024: Search site. Encryption algorithms. Department of Computer Science and Technology. Library resources. Rijndael. The block cipher called Rijndael was accepted by the American National Institute for Standards and Technology (NIST) as the Advanced

4 Apr 2024: Search site. Mathematical Logic. Department of Computer Science and Technology. Library resources. Mathematical logic. The full text of this book by Jean-Yves Girard, Yves Lafont and Paul Taylor, is now available online. Alternatively copies of the

21 May 2024: Search site. Course materials. Department of Computer Science and Technology. Formal Models of Language. Course pages 2023–24. Formal Models of Language. Lecture Notes. Slides. Please think twice before printing slides! If you really need to, use

21 Apr 2024: Search site. Course materials. Department of Computer Science and Technology. Course pages 2023–24. Interaction Design. Suggested work for supervision 1 and supervision 2. 2023 Department of Computer Science and Technology, University of

22 May 2024: Search site. Course materials. Department of Computer Science and Technology. Course pages 2023–24. Complexity Theory. Anonymous Feedback. Student feedback is most welcome. I will read all comments and address them where possible. Please use this

4 Apr 2024: Search site. Operating systems. Department of Computer Science and Technology. Library resources. Operating systems. Debian administrator’s handbook. The full text of this book by Raphaël Hertzog and Roland Mas, is available online under a

26 Jun 2024: Travel insurance queries are now handled by the Travel and International Support Helpdesk on internationalsupport@admin.cam.ac.uk.

28 May 2024: News. Clare Hall, Cambridge and LUT University, Finland sign agreement on fellowships and global climate prize.. ... We very much look forward to welcoming high-flying academics from LUT over the years to come to our unique interdisciplinary research

27 Jun 2024: research topics, with a theme of how to defend cloud-based systems against capable motivated opponents. ... Some current research issues are introduced and some current and potential applications discussed and evaluated.

29 May 2024: Search site. Course materials. Department of Computer Science and Technology. Course pages 2023–24. Compiler Construction. Lecture slides. Lecture 1 (2024-01-19): introduction. Lecture 2 (2024-01-22): lexing (updated 2024-01-24). Lecture 3 (2024-01

4 Apr 2024: The lecture was preceded by a series of ‘minute madness’ talks on current research themes. ... year. Minute madness talks. Preceeding the Wheeler lecture were a series of one minute talks showcasing current research themes at the Computer Laboratory.

4 Apr 2024: In any case, it proved a valuable research tool for work on computer aided design, both for mechanical components and for Neil’s own work on electronic circuits. ... a joke, but Neil saw an exciting new area for research and the Rainbow display project

4 Apr 2024: Search site. Subversion. Department of Computer Science and Technology. Subversion. Subversion. Since the author has left the department, these pages have not been maintained. They have yet to be fully reviewed and updated. Contents. Subversion for

4 Apr 2024: Xen, the current subject of a research project in the Systems Research Group, is a hardware virtual machine which potentially allows several operating systems and environments to run simultaneously on a

4 Apr 2024: It can also be set up for use by research groups to manage their own shared web space. ... A similar setup – but using separate Subversion repositories – is used for the web pages of some research groups, as well as the source files of the exam

4 Apr 2024: Search site. FAQ. Department of Computer Science and Technology. FAQ. Frequently asked question about ucampas. Contents. Can I call ucampas from Windows? Yes, see the Ucampas on Windows page. Can I use ucampas with "make"? The dependency

24 Jun 2024: Poster, Microsoft Research Academic Days, Dublin, 13-16 April 2004. Shih-Chun You, Markus G. ... st. Century", Washington, DC, USA, 25-27 October 1999, RTO-MP-27, AC/323(IST)TP/3, chapter 5, NATO Research and Technology Organization (RTO), May 2000.

4 Apr 2024: Search site. Microprocessor architectures. Department of Computer Science and Technology. Library resources. Contents. Workstation processors. SPARC v9 (64 bit). Itanium). IA-32 (Pentium). 32 bit), MIPS (64 bit). Embedded processors. 32 bit), ARM

4 Apr 2024: Search site. Bioinformatics. Department of Computer Science and Technology. Library resources. Bioinformatics. Bioinformatics algorithms an active learning approach. The full text of selected chapters from this popular, but difficult to obtain book,

13 Jun 2024: Search site. VLSI. Department of Computer Science and Technology. Past exam papers: VLSI. VLSI Design (2008–2000). 2024 Department of Computer Science and Technology, University of Cambridge. Information provided by.

19 Apr 2024: Such actions intimidate and harass our staff and students who are determined to contribute to the University’s mission of excellence in education and research. ... Research at the Institute is focused on the energy transition, including developing

4 Apr 2024: Search site. Brief library guide. Department of Computer Science and Technology. Library resources. Although the Computer Laboratory library has closed, library services for computer science students are being provided by the Technology Libraries

19 Apr 2024: Search site. Course materials. Department of Computer Science and Technology. Course pages 2021–22. Security. Lectures are being produced as pre-recorded videos and will be published on this playlist no later than the corresponding lecture date.

4 Apr 2024: Company: G-Research. Group Echo: Distributed microcontracts. Client: Michael Gifford. Company: Infectious Diseases Institute Kampala.

4 Apr 2024: Search site. Artificial intelligence. Department of Computer Science and Technology. Library resources. Artificial intelligence. Computer modelling of mathematical reasoning. The full text of the now out of print book by Alan Bundy. The files are in

4 Apr 2024: Search site. Computer networks. Department of Computer Science and Technology. Library resources. Computer networks. The book by Jean-Yves Le Boudec and Patrick Thiran which is recommended reading for the ACS M.Phil. course. The full text is

4 Apr 2024: and many other publications. His research interests include distributed systems, design, programming techniques, software development tools, and programming languages.

4 Apr 2024: Search site. Discrete mathematics. Department of Computer Science and Technology. Library resources. Discrete mathematics. The Book of Proof by Richard Hammack is one of the recommended readings for Part IA discrete mathematics. This version is

4 Apr 2024: 15:15. Professor Stephen Robertson, Microsoft Research, Cambridge. 15:40. Rachel Hand, Curatorial Assistant for Anthropology, Museum of Archaeology and Anthropology.

13 Jun 2024: Search site. VLSI Design. Department of Computer Science and Technology. Past exam papers: VLSI Design. Solution notes are available for many past questions to local users. They were produced by question setters, primarily for the benefit of the

21 May 2024: The University of Cambridge Environmental Sustainability Team's Sustainability Showcase 2024 will celebrate and inspire with the finest examples of sustainability at Cambridge. The Storeys Field Community Centre at Eddington will host this year's

13 Jun 2024: Search site. 1999. Department of Computer Science and Technology. Past exam papers: 1999. From this page you can view whole papers or individual questions in PDF format, for which you will need a viewing tool such as Adobe Reader. Questions:Paper 2.

27 Jun 2024: Search site. Instructions for lecturers. Department of Computer Science and Technology. Course pages 2022–23. Contents. Instructions for lecturers. Most lecturers now place material for their students onto the web. To support this, we create each