Search

Search Funnelback University

Search powered by Funnelback
10 results 20 results 50 results
Relevance Date (Newest first) Date (Oldest first) Title (A-Z) Title (Z-A) Distance URL (A-Z) URL (Z-A) Shuffle
51 - 100 of 844 search results for watson

  1. Fully-matching results

  2. Department of Computer Science and Technology – Course pages 2023–24: …

    https://www.cl.cam.ac.uk/teaching/2324/OpSystems/
    10 May 2024: Addison-Wesley. McKusick, M.K., Neville-Neil, G.N. and Watson, R.N.M. (2014) The Design and Implementation of the FreeBSD Operating System.

  3. Addenbrooke's Hospital | Cambridge Cardiovascular

    https://www.cardiovascular.cam.ac.uk/institutions/addenbrookes
    23 Feb 2024: Read more at: Dr Will Watson.. ... Dr Will Watson. .

  4. Department of Computer Science and Technology: CHERI-RISC-V

    https://www.cl.cam.ac.uk/research/security/ctsrd/cheri/cheri-risc-v.html
    1 May 2024: 2010-2019 Robert N. M. Watson. Information provided by Robert Watson.

  5. Department of Computer Science and Technology – CTSRD Open Data: Open …

    https://www.cl.cam.ac.uk/research/security/ctsrd/data/
    10 Jul 2023: 2016. 2010-2016 Robert N. M. Watson. Information provided by Robert Watson.

  6. N3005: A Provenance-aware Memory Object Model for C. Working ...

    https://www.cl.cam.ac.uk/~pes20/papers/topic.WG14_abstracts.html
    23 May 2024: Watson, and Peter Sewell. In PLDI 2016, PLDI 2016 Distinguished Paper award. ... M. Watson. ISO SC22 WG14 N2013, March 2016. [. N2012: Clarifying the C memory object model, Kayvan Memarian and Peter Sewell.

  7. Directory | Department of Oncology

    https://www.oncology.cam.ac.uk/directory/w
    23 Feb 2024: Search site. Department of Oncology. Directory. Select. please select. A. B. C. D. E. F. G. H. I. J. K. L. M. N. O. P. Q. R. S. T. U. V. W. X. Y. Z. Name. Office phone. Email address. 44 (0)1223 768673. 0)1223 348928. Rebecca Fitzgerald receives OBE

  8. Department of Computer Science and Technology – CHERI: Cambridge…

    https://www.cl.cam.ac.uk/research/security/ctsrd/cheri/cheri-projectideas.html
    14 Jun 2024: Please contact the listed potential supervisor, Dr Robert Watson, or Professor Simon Moore for further information. ... 2010-2019 Robert N. M. Watson. Information provided by Robert Watson.

  9. Department of Computer Science and Technology – CTSRD: Project members

    https://www.cl.cam.ac.uk/research/security/ctsrd/people.html
    10 Jul 2023: The project is led by Dr Peter Neumann (SRI) and Dr Robert Watson (Cambridge). ... Dr Robert N.M. Watson (Principal Investigator). Hesham Almatary (PhD student). Ruslan Bukin (research engineer).

  10. Department of Computer Science and Technology – Course pages 2021–22: …

    https://www.cl.cam.ac.uk/teaching/2122/lecturers.html
    29 Jun 2023: Search site. Lecturer index. Department of Computer Science and Technology. Course pages 2021–22. Contents. Index of courses by lecturer. Please check the lecture timetables for timetable details.

  11. Eileen Southgate Prize - MRC Laboratory of Molecular Biology

    https://www2.mrc-lmb.cam.ac.uk/achievements/eileen-southgate-prize/
    Thumbnail for Eileen Southgate Prize - MRC Laboratory of Molecular Biology 24 Oct 2023: Eileen Southgate Prize The Max Perutz Fund was set up in June 1980 in honour of the LMB’s founder, Max Perutz, and was established for the promotion

  12. Department of Computer Science and Technology: Temporally Enhanced…

    https://www.cl.cam.ac.uk/research/security/ctsrd/tesla/
    10 Jul 2023: Papers and slides. Jonathan Anderson, Robert N. M. Watson, David Chisnall, Khilan Gudka, Brooks Davis, and Ilias Marinos.

  13. Photographs - MRC Laboratory of Molecular Biology

    https://www2.mrc-lmb.cam.ac.uk/about-lmb/archive/photographs/
    Thumbnail for Photographs - MRC Laboratory of Molecular Biology 21 Jul 2023: Photographs The LMB has an extensive collection of photographs and images, a selection of which can be viewed here by either browsing the collection or

  14. Peter Sewell

    https://www.cl.cam.ac.uk/~pes20/funding.html
    18 Jul 2023: Funding. DSbD: Digital Security by Design Technology Platform Prototype, Innovate UK, with Arm, Robert Watson and Simon Moore at Cambridge, Ian Stark at Edinburgh, and Linaro.

  15. Dr James Smith - Department of Public Health and Primary Care

    https://www.phpc.cam.ac.uk/people/teaching-staff/james-smith/
    23 Feb 2024: Quick Links. For staff. For alumni. For business. Colleges & departments. Libraries & facilities. Museums & collections. Email & phone search. Site Search. Site Search. Dr James Smith. Public Health Teaching Staff. Department of Public Health and

  16. Department of Computer Science and Technology – Course pages 2018–19: …

    https://www.cl.cam.ac.uk/teaching/1819/L41/
    26 Jun 2023: Marshall Kirk McKusick, George V. Neville-Neil, and Robert N. M. Watson.

  17. Dr Louise Lafortune - Department of Public Health and Primary Care

    https://www.phpc.cam.ac.uk/people/visitors/louise-lafortune/
    23 Feb 2024: Radhakrishnan M, Hammond G, Jones P, Watson A, McMillan-Shields F, Lafortune L.

  18. Department of Computer Science and Technology – CTSRD: Posters and…

    https://www.cl.cam.ac.uk/research/security/ctsrd/posters-slides.html
    10 Jul 2023: Park Ridge, NJ, May 2013. Peter G. Neumann, Robert N.M. Watson. ... Washington, DC, November 2010. 2010-2022 Robert N. M. Watson. Information provided by Robert Watson.

  19. Professor Cédric Ghevaert | Wellcome-MRC Cambridge Stem Cell Institute

    https://www.stemcells.cam.ac.uk/directory/cedric-ghevaert
    23 Feb 2024: He obtained a personal Intermediate Clinical Fellowship from the British Heart Foundation whilst working in Prof Steve Watson's group at the university of Birmingham in 2009.

  20. Chronic Disease Epidemiologist - Department of Public Health and…

    https://www.phpc.cam.ac.uk/blog/chronic-disease-epidemiologist/
    24 Feb 2024: hr/forms/chris6/) should be sent, preferably by email to Lynette Watson: phpc.admin@medschl.cam.ac.uk or by post to Department of Public Health and Primary Care, Strangeways Research

  21. Immunology Archives - Page 2 of 4 - Department of Medicine

    https://www.med.cam.ac.uk/staff/division/immunology/page/2/
    23 Feb 2024: Samuel Watson.

  22. Dr Joanna-Marie Dear (Nee Howes) | Cambridge Cardiovascular

    https://www.cardiovascular.cam.ac.uk/directory/dr-joanna-marie-dear-nee-howes
    23 Feb 2024: J Thromb Haemost. 2018: 16; 1-16. Watson BR, White NA, Taylor KA, Howes J-M, Malcor JD, Bihan D, Sage SO, Farndale RW, Pugh N. ... Review. Expert Rev Proteomics. 2013: 10; 355-64. Jung SM, Moroi M, Soejima K, Nakagaki T, Miura Y, Berndt MC, Gardiner EE,

  23. Department of Computer Science and Technology – Technical reports:…

    https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-982.html
    14 Jul 2023: PDF (0.2 MB). BibTeX record. @TechReport{UCAM-CL-TR-982, author = {Watson, Robert N. M.

  24. Department of Computer Science and Technology – Course pages 2018–19: …

    https://www.cl.cam.ac.uk/teaching/1819/OpSystems/
    26 Jun 2023: Addison-Wesley. McKusick, M.K., Neville-Neil, G.N. & Watson, R.N.M. (2014) The Design and Implementation of the FreeBSD Operating System.

  25. Department of Computer Science and Technology – Course pages 2017–18: …

    https://www.cl.cam.ac.uk/teaching/1718/OpSystems/
    26 Jun 2023: Addison-Wesley. McKusick, M.K., Neville-Neil, G.N. & Watson, R.N.M. (2014) The Design and Implementation of the FreeBSD Operating System.

  26. Blue Sky Collaboration - MRC Laboratory of Molecular Biology

    https://www2.mrc-lmb.cam.ac.uk/research/blue-sky-collaboration/
    Thumbnail for Blue Sky Collaboration - MRC Laboratory of Molecular Biology 31 May 2024: Stangherlin, A., Watson, J.L., Wong, D.C.S., Barbiero, S., Zeng, A., Seinkmane, E., Peak Chew, S., Beale, A.D., Hayter, E.A., Guna, A., Inglis, A.J., Putker, M.,
    By: @MRC_LMB

  27. Department of Computer Science and Technology – Course pages 2023–24: …

    https://www.cl.cam.ac.uk/teaching/2324/AOS/assessment.html
    29 Feb 2024: 2024 Department of Computer Science and Technology, University of Cambridge. Information provided by Prof Robert Watson –.

  28. Contact the Alumni & Development Team - Trinity Hall Cambridge

    https://www.trinhall.cam.ac.uk/alumni/contact-us/
    16 May 2024: Donna Thomas-Watson. Philanthropy Officer. e: donna.thomas-watson@trinhall.cam.ac.uk.

  29. Formal Mechanised Semantics of CHERI C: Capabilities, Provenance, and …

    https://www.cl.cam.ac.uk/research/security/ctsrd/cheri/cheriformal.html
    2 Nov 2023: M. Watson, and Peter Sewell. In ESOP 2022. [ CHERI C/C++ Programming Guide. ... Brooks Davis, Robert N. M. Watson, Alexander Richardson, Peter G. Neumann, Simon W.

  30. Emmanuel Derivery - MRC Laboratory of Molecular Biology

    https://www2.mrc-lmb.cam.ac.uk/group-leaders/a-to-g/emmanuel-derivery/
    Thumbnail for Emmanuel Derivery - MRC Laboratory of Molecular Biology 23 Feb 2024: Watson, JL., Krüger, LK., Ben-Sasson, AJ., Bittleston, A., Shahbazi, M., Planelles-Herrero, VJ., Chambers, JE., Manton, JD., Baker, D., Derivery, E. ... Watson, J.L., Aich, S., Oller-Salvia, B., Drabek, A.A., Blacklow, S.C., Chin, J., Derivery E.

  31. Department of Computer Science and Technology: Bluespec Extensible…

    https://www.cl.cam.ac.uk/research/security/ctsrd/beri/
    10 Jul 2023: Research conference and journal papers. Robert N. M. Watson, Jonathan Woodruff, Peter G. ... Robert N.M. Watson, Jonathan Woodruff, David Chisnall, Brooks Davis, Wojciech Koszek, A.

  32. Department of Computer Science and Technology: Security-Oriented…

    https://www.cl.cam.ac.uk/research/security/ctsrd/soaap/
    10 Jul 2023: Robert N. M. Watson, Steven J. Murdoch, Khilan Gudka, Jonathan Anderson, Peter G. ... Khilan Gudka, Robert N. M. Watson, Steven Hand, Ben Laurie, and Anil Madhavapeddy.

  33. Department of Computer Science and Technology: Academic staff

    https://www.cl.cam.ac.uk/people/academic.html
    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:.

  34. Department of Computer Science and Technology – Course pages 2022–23: …

    https://www.cl.cam.ac.uk/teaching/2223/L41/
    11 Jul 2023: Course pages 2022–23. Advanced Operating Systems. Advanced Operating Systems. Principal lecturer: Prof Robert Watson. ... Marshall Kirk McKusick, George V. Neville-Neil, and Robert N. M. Watson.

  35. Professor Ruth Cameron | Cambridge Cardiovascular

    https://www.cardiovascular.cam.ac.uk/directory/rcameron
    23 Feb 2024: Campbell JJ, Husmann A, Hume RD, Watson CJ, Cameron RE.

  36. https://www.cardiovascular.cam.ac.uk/taxonomy/term/19/feed

    https://www.cardiovascular.cam.ac.uk/taxonomy/term/19/feed
    23 Feb 2024: Watson WD, Green PG, Lewis AJM, Arvidsson P, De Maria GL, Arheden H, Heiberg E, Clarke WT, Rodgers CT, Valkovic L, Neubauer S, Herring N, Rider OJ (2022). ... Rayner JJ, Peterzan MA,<b>Watson WD</b>, Clarke WT, Neubauer S, Rodgers CT, Rider OJ.Circulation

  37. Jobs Opportunities at the School of Clinical Medicine

    https://www.medschl.cam.ac.uk/about/school-of-clinical-medicine-jobs/
    23 Feb 2024: Research Associate (Watson Lab) Pre-leukaemic evolution and remote patient monitoring (Fixed Term).

  38. The LMB- present and future… University of Cambrigde

    https://www.medschl.cam.ac.uk/lmb-past-present-future/
    23 Feb 2024: ten Nobel Prizes, including Fred Sanger (1958 and 1980), Max Perutz and John Kendrew (1962), Jim Watson and Francis Crick (1962) and most recently, Venki Ramakrishnan (2009).

  39. Staff Archive - Page 48 of 51 - Department of Medicine

    https://www.med.cam.ac.uk/staff/page/48/
    23 Feb 2024: Samuel Watson. Vince Webb. Michael Weekes. Aaron Weimann. Abigail Wells. James West.

  40. Formal Mechanised Semantics of CHERI C: Capabilities, Provenance, and …

    https://www.cl.cam.ac.uk/~pes20/elver_abstracts.html
    23 May 2024: Richard Grisenthwaite, Graeme Barnes, Robert N. M. Watson, Simon W. Moore, Peter Sewell, and Jonathan Woodruff. ... M. Watson. Blog post,, July 2022. [. Islaris: Verification of Machine Code Against Authoritative ISA Semantics.

  41. Royal Papworth Hospital | Cambridge Cardiovascular

    https://www.cardiovascular.cam.ac.uk/institutions/papworth
    23 Feb 2024: Read more at: Dr Will Watson.. ... Dr Will Watson. .

  42. https://www.cardiovascular.cam.ac.uk/taxonomy/term/12/feed

    https://www.cardiovascular.cam.ac.uk/taxonomy/term/12/feed
    23 Feb 2024: Watson WD, Green PG, Lewis AJM, Arvidsson P, De Maria GL, Arheden H, Heiberg E, Clarke WT, Rodgers CT, Valkovic L, Neubauer S, Herring N, Rider OJ (2022). ... Rayner JJ, Peterzan MA,<b>Watson WD</b>, Clarke WT, Neubauer S, Rodgers CT, Rider OJ.Circulation

  43. recent.bib

    https://www.cl.cam.ac.uk/~pes20/recent_bib.html
    23 May 2024: M. Watson}, title = {Formal {CHERI}: rigorous engineering and design-time proof of full-scale architecture security properties}, howpublished = {Blog post, url{https://www.lightbluetouchpaper.org/2022/07/22/formal-cheri/}}, month = ... M. Watson and

  44. https://www.cardiovascular.cam.ac.uk/taxonomy/term/6/feed

    https://www.cardiovascular.cam.ac.uk/taxonomy/term/6/feed
    23 Feb 2024: Watson WD, Green PG, Lewis AJM, Arvidsson P, De Maria GL, Arheden H, Heiberg E, Clarke WT, Rodgers CT, Valkovic L, Neubauer S, Herring N, Rider OJ (2022). ... Rayner JJ, Peterzan MA,<b>Watson WD</b>, Clarke WT, Neubauer S, Rodgers CT, Rider OJ.Circulation

  45. Department of Computer Science and Technology – Course pages 2017–18: …

    https://www.cl.cam.ac.uk/teaching/1718/R209/
    26 Jun 2023: Course pages 2017–18. Computer Security: Principles and Foundations. Principal lecturer: Dr Robert Watson. ... 2018 Department of Computer Science and Technology, University of Cambridge. Information provided by Dr Robert Watson.

  46. Formal Mechanised Semantics of CHERI C: Capabilities, Provenance, and …

    https://www.cl.cam.ac.uk/~pes20/recent_abstracts.html
    23 May 2024: Richard Grisenthwaite, Graeme Barnes, Robert N. M. Watson, Simon W. Moore, Peter Sewell, and Jonathan Woodruff. ... M. Watson. Blog post,, July 2022. [. Islaris: Verification of Machine Code Against Authoritative ISA Semantics.

  47. https://www.cardiovascular.cam.ac.uk/taxonomy/term/56/feed

    https://www.cardiovascular.cam.ac.uk/taxonomy/term/56/feed
    23 Feb 2024: Watson WD, Green PG, Lewis AJM, Arvidsson P, De Maria GL, Arheden H, Heiberg E, Clarke WT, Rodgers CT, Valkovic L, Neubauer S, Herring N, Rider OJ (2022). ... Rayner JJ, Peterzan MA,<b>Watson WD</b>, Clarke WT, Neubauer S, Rodgers CT, Rider OJ.Circulation

  48. Department of Computer Science and Technology – Course pages 2017–18: …

    https://www.cl.cam.ac.uk/teaching/1718/L41/
    26 Jun 2023: Course pages 2017–18. Advanced Operating Systems. Principal lecturer: Dr Robert Watson. ... 2018 Department of Computer Science and Technology, University of Cambridge. Information provided by Dr Robert Watson.

  49. Department of Computer Science and Technology – Course pages 2017–18: …

    https://www.cl.cam.ac.uk/teaching/1718/R210/
    26 Jun 2023: Marshall Kirk McKusick, George V. Neville-Neil, and Robert N. M. Watson.

  50. Professional Services Team - Department of Public Health and Primary…

    https://www.phpc.cam.ac.uk/people/departmental-administration/
    23 Feb 2024: Quick Links. For staff. For alumni. For business. Colleges & departments. Libraries & facilities. Museums & collections. Email & phone search. Site Search. Site Search. Professional Services Team. Department of Public Health and Primary Care.

  51. Department of Computer Science and Technology: CHERI Rigorous…

    https://www.cl.cam.ac.uk/research/security/ctsrd/cheri/cheri-formal.html
    22 Feb 2024: M. Watson, and Peter Sewell. In ESOP 2022. [ CHERI C/C++ Programming Guide. ... Brooks Davis, Robert N. M. Watson, Alexander Richardson, Peter G. Neumann, Simon W.

Refine your results

Format

clear all

Date

Related searches for watson

By type

By topic

By site

Search history

Recently clicked results

Recently clicked results

Your click history is empty.

Recent searches

Recent searches

Your search history is empty.