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
151 - 200 of 434 search results for `Peter Watson`

  1. Fully-matching results

  2. Department of Computer Science and Technology – Course pages 2019–20: …

    https://www.cl.cam.ac.uk/teaching/1920/R209/materials.html
    16 Jan 2020: Please contact the module instructors if you have any questions. Adversarial reasoning (16 January 2020 - Anderson, Beresford, Watson, Hutchings). ... Brooks Davis, Robert NM Watson, Alexander Richardson, Peter G. Neumann, Simon W.

  3. The Fitzwilliam Museum - Faces of 17th-century Rome to go on display…

    https://www.fitzmuseum.cam.ac.uk/news/faces-of-17th-century-rome-to-go-on-display-in-new-exhibition
    This research will be the subject of a free lunchtime talk at the Museum by ophthalmologist Peter G. ... Watson (RCS, FRCOphth) on 17 November 2010. This exhibition, which features prints drawn from the Museum's own collections, also offers the chance to

  4. CHERIvoke: Characterising Pointer Revocation usingCHERI Capabilities…

    https://www.cl.cam.ac.uk/~sa614/posters/cherivoke.pdf
    18 Sep 2019: Filardo, Michael Roe, Alexander Richardson,Peter Rugg, Peter G. Neumann, Simon W. ... Moore, Robert N. M. Watson and Timothy M. Jones. University of Cambridge, SRI International.

  5. Postgraduate Seminars - Department of Psychiatry

    https://www.psychiatry.cam.ac.uk/students/current-students/phd-students/postgraduate-seminars/
    Lectures will be given by Peter Watson and take place on Thursdays from 11:00-12:00 in the West Wing Lecture Theatre.

  6. CHERI C semantics as an extension of the ISO C17 standard

    https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-988.pdf
    28 Oct 2023: Robert N. M. Watson, Peter Sewell. October 2023. 15 JJ Thomson AvenueCambridge CB3 0FDUnited Kingdomphone 44 1223 763500. ... M. Watson, Peter Sewell,SRI International. This work was supported by the UK Industrial StrategyChallenge Fund (ISCF) under the

  7. Verified security for the Morello capability-enhanced prototype Arm…

    https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-959.pdf
    7 Sep 2021: M. Watson, Peter Sewell. September 2021. 15 JJ Thomson AvenueCambridge CB3 0FDUnited Kingdomphone 44 1223 763500. ... M. Watson, Peter Sewell. This work was partially supported by the UK GovernmentIndustrial Strategy Challenge Fund (ISCF) under the

  8. https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR.dcxml

    https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR.dcxml
    16 Jul 2024: The JACKDAW database package Challis, M.F. University of Cambridge, Computer Laboratory 1974-10 en Text UCAM-CL-TR-1 ISSN 1476-2986 This report describes a general database package which has been implemented in BCPL on an IBM 370/165 at the

  9. History

    www.tcm.phy.cam.ac.uk/about/history/
    22 Jul 2022: on DNA), Peter Hirsch turning the electron microscope onto seeing dislocations, and more. ... Peter Littlewood was appointed as Volker's successor as chair and head of group.

  10. Department of Computer Science and Technology – Course pages 2020–21: …

    https://www.cl.cam.ac.uk/teaching/2021/R209/materials.html
    12 Nov 2022: Please contact the module instructors if you have any questions. Adversarial reasoning (12 October 2020 - Anderson, Beresford, Watson, Hutchings). ... Brooks Davis, Robert NM Watson, Alexander Richardson, Peter G. Neumann, Simon W.

  11. Books - MRC Laboratory of Molecular Biology

    https://www2.mrc-lmb.cam.ac.uk/about-lmb/archive/books/
    Thumbnail for Books - MRC Laboratory of Molecular Biology 21 Jul 2023: Paperback, 233pp. Includes papers chosen by Sydney Brenner, Peter Lawrence, Max Perutz and James Watson. ... DNA. The Big Idea: Crick, Watson & DNA. Strathern, Paul. London: Arrow Books, 1997.

  12. CHERI C/C++ Programming Guide

    https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-947.pdf
    2 Jun 2020: Jessica Clarke, Nathaniel Filardo,Simon W. Moore, Edward Napierala,. Peter Sewell, Peter G. ... https://www.cl.cam.ac.uk/. c 2020 Robert N. M. Watson, Alexander Richardson,Brooks Davis, John Baldwin, David Chisnall, Jessica Clarke,Nathaniel Filardo,

  13. Early performance results from the prototype Morello microarchitecture

    https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-986.pdf
    2 Oct 2023: Robert N. M. Watson, Jessica Clarke,Peter Sewell, Jonathan Woodruff,Simon W. Moore, Graeme Barnes,. ... 2023 Robert N. M. Watson, Jessica Clarke, Peter Sewell,Jonathan Woodruff, Simon W.

  14. 9th Annual Cape Town Convention Academic Conference held in Rome…

    https://www.3cl.law.cam.ac.uk/press/news/2020/10/9th-annual-cape-town-convention-academic-conference-held-rome-zoom
    18 Jul 2024: This was followed by a presentation by Peter Watson (Allen & Overy) on the proposed judicial guide to the Cape Town Convention, and a panel discussing the challenges involved in the establishment

  15. Cambridge University Reporter Special

    https://www.reporter.admin.cam.ac.uk/reporter/2009-10/special/03/22.html
    28 Jan 2022: 1983. HOLMES Rev Jonathan Michael MA VETMB PHD. 1984. HAYNES Peter Howard MA PHD. ... EVANS David Wainwright MA. WATSON Peter Gordon MA MB BCHIR. 1993.

  16. https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-OAI-SR.xml

    https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-OAI-SR.xml
    16 Jul 2024: University of Cambridge Computer Laboratory Technical Reports http://oaigateway.library.ucla.edu/gatewaynet/oai.aspx/www.cl.cam.ac.uk/techreports/UCAM-CL-TR-OAI-SR.xml 2.0 tech-reports@cl.cam.ac.uk 2003-01-01 no YYYY-MM-DD oai_dc

  17. Technical ReportNumber 1 Computer Laboratory UCAM-CL-TR-1ISSN…

    https://www.cl.cam.ac.uk/techreports/tr-titles.pdf
    27 Nov 2023: Technical ReportNumber 1. Computer Laboratory. UCAM-CL-TR-1ISSN 1476-2986. The JACKDAW database package. M.F. Challis. October 1974. 15 JJ Thomson AvenueCambridge CB3 0FDUnited Kingdomphone 44 1223 763500. https://www.cl.cam.ac.uk/. 1974 M.F.

  18. Cambridge University Reporter Special

    https://www.reporter.admin.cam.ac.uk/reporter/2008-09/special/03/22.html
    28 Jan 2022: 1985. HALSTEAD Sir Ronald MA CBE. 1987. MATHIAS Peter MA LITTD CBE FBA. ... WATSON Peter Gordon MA MB BCHIR. 1993. CORMACK George Carl MA MB CHB.

  19. Cambridge University Reporter Special

    https://www.reporter.admin.cam.ac.uk/reporter/2007-08/special/03/22.html
    28 Jan 2022: SPUFFORD Peter MA PHD LITTD FBA LIFE FELLOW. JACKSON James Anthony MA PHD FRS. ... WATSON Peter Gordon MA MB BCHIR. 1993. CORMACK George Carl MA MB CHB.

  20. topic.ISA_semantics.bib

    https://www.cl.cam.ac.uk/~pes20/papers/topic.ISA_semantics_bib.html
    23 May 2024: Mulligan and Christopher Pulte and Susmit Sarkar and Peter Sewell}, title = {An integrated concurrency and core-{ISA} architectural envelope definition, and test oracle, for {IBM} {POWER} multiprocessors}, abstract = {Weakly consistent ... Sewell, Thomas

  21. https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-RFC1807.txt

    https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-RFC1807.txt
    16 Jul 2024: BIB-VERSION:: CS-TR-v2.1 ID:: cam.ac.uk//UCAM-CL-TR-1 ENTRY:: October 23, 2002 ORGANIZATION:: University of Cambridge, Computer Laboratory TYPE:: Technical Report TITLE:: The JACKDAW database package AUTHOR:: Challis, M.F. DATE:: October 1974 PAGES::

  22. Cambridge University Reporter Special

    https://www.reporter.admin.cam.ac.uk/reporter/2008-09/special/03/8.html
    28 Jan 2022: WATSON Stephen Roger MA PHD LIFE FELLOW. 1969. SPREADBURY Peter James MA PHD LIFE FELLOW. ... CARNLEY Peter PHD. RHYS JONES Griff MA FWCMA FRSA. KELLY Frank PHD FRS.

  23. Reporter Copyright © 2001 The Chancellor, Masters and Scholars of the …

    https://www.reporter.admin.cam.ac.uk/reporter/2001-02/special/03/3.html
    29 Nov 2011: 1979. WOODHOUSE James MA PHD. BROWN Timothy Charles MA. LEADLAY Peter Francis MA PHD. ... OSTRIKER Jeremiah PHD. HEARN Donald Peter MA. 1967. WATSON James Dewey SCD.

  24. Reporter 5/10/00: QUEENS' COLLEGE

    https://www.reporter.admin.cam.ac.uk/reporter/2000-01/special/04/21.html
    29 Nov 2011: 1985. HALSTEAD Sir Ronald MA CBE. 1987. MATHIAS Peter MA LITTD CBE FBA. ... WATSON Peter Gordon MA MB BCHIR. 1987. SCARR Maurice Meynell MA GM.

  25. Reporter Copyright © 2001 The Chancellor, Masters and Scholars of the …

    https://www.reporter.admin.cam.ac.uk/reporter/2001-02/special/03/21.html
    29 Nov 2011: 1985. HALSTEAD Sir Ronald MA CBE. 1987. MATHIAS Peter MA LITTD CBE FBA. ... WATSON Peter Gordon MA MB BCHIR. 1987. SCARR Maurice Meynell MA GM.

  26. Department of Computer Science and Technology – Security Group: 2011

    https://www.cl.cam.ac.uk/research/security/seminars/archive/2011.html
    17 Jun 2024: 03 May 14:45CTSRD: Capability CPUs revisited / Peter Neumann, SRI International / Robert Watson, University of Cambridge.

  27. Reporter 2/10/03: QUEENS' COLLEGE

    https://www.reporter.admin.cam.ac.uk/reporter/2003-04/special/03/22.html
    29 Nov 2011: 1983. HOLMES Rev Jonathan Michael MA VETMB PHD. 1984. HAYNES Peter Howard MA PHD. ... WATSON Peter Gordon MA MB BCHIR. 1987. SCARR Maurice Meynell MA GM.

  28. Reporter Copyright © 2002 The Chancellor, Masters and Scholars of the …

    https://www.reporter.admin.cam.ac.uk/reporter/2002-03/special/03/22.html
    29 Nov 2011: 1983. HOLMES Rev Jonathan Michael MA VETMB PHD. 1984. HAYNES Peter Howard MA PHD. ... EVANS David Wainwright MA. WATSON Peter Gordon MA MB BCHIR. 1987.

  29. Reporter Special 7/10/99: Queens' College

    https://www.reporter.admin.cam.ac.uk/reporter/1999-2000/special/04/21.html
    29 Nov 2011: 1985. HALSTEAD Sir Ronald MA CBE. 1987. MATHIAS Peter MA LITTD CBE FBA. ... EVANS David Wainwright MA. WATSON Peter Gordon MA MB BCHIR. 1987.

  30. Amy Wilkinson - 2022 cohort | Harding Distinguished Postgraduate…

    https://www.hardingscholars.fund.cam.ac.uk/amy-wilkinson-2022-cohort
    25 Nov 2022: However, my interest in epigenetics and human reproduction was really cemented by undertaking exciting research projects in the labs of Professor Graham Burton, Dr Erica Watson, and Dr Peter Rugg-Gunn.
    By: Gabrielle Uncles

  31. sewellbib2

    https://www.cl.cam.ac.uk/~sf502/sewellbib2_abstracts.html
    29 Jun 2019: Robert N. M. Watson, Peter G. Neumann, Jonathan Woodruff, Michael Roe, Hesham Almatary, Jonathan Anderson, John Baldwin, David Chisnall, Brooks Davis, Nathaniel Wesley Filardo, Alexandre Joannou, Ben Laurie, A. ... Brooks Davis, Robert N. M. Watson,

  32. https://www2.mrc-lmb.cam.ac.uk/wp-json/wp/v2/pages/22

    https://www2.mrc-lmb.cam.ac.uk/wp-json/wp/v2/pages/22
    Peter and Mitton, Simon (Editors)brCambridge: Cambridge University Press, 2002brPaperback, 343pp, ISBN 0-521-78612-6brIncludes: ‘Francis Crick and James Watson’ by Robert Olby, ‘Molecular biology in Cambridge’ by Max ... emLondon: Current Biology

  33. Cambridge University Reporter Special

    https://www.reporter.admin.cam.ac.uk/reporter/2005-06/special/03/26.html
    28 Jan 2022: 1961. WATSON George Grimes MA. 1963. CHARLES James Anthony BSC ARSM MA SCD FRENG. ... WATSON Helen Elizabeth BA PHD. MCDERMOTT Joseph Peter MA PHD. LANE Christel Olga MA PHD.

  34. Causal, Adaptive, Distributed, and Efficient Tracing System (CADETS)…

    https://www.cl.cam.ac.uk/www.cl.cam.ac.uk/research/security/cadets/publications.html
    13 Jul 2017: Khilan Gudka, Robert N.M. Watson, Jonathan Anderson, David Chisnall, Brooks Davis, Ben Laurie, Ilias Marinos, Peter G. ... raw%}@inproceedings{gudka2015soaap, author = {Gudka, Khilan and Watson, Robert N.M. and Anderson, Jonathan and Chisnall, David and

  35. Complete spatial safety for C and C++ using CHERI capabilities

    https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-949.pdf
    6 Jul 2020: chitecture (Version 7)’ by Robert N. M. Watson, Peter G. Neumann, JonathanWoodruff, Michael Roe, Hesham Almatary, Jonathan Anderson, John Baldwin,David Chisnall, Brooks Davis, Nathaniel Wesley Filardo, Alexandre Joannou, BenLaurie, A. ... M. Watson,

  36. Exploring C Semantics and Pointer Provenance

    https://www.cl.cam.ac.uk/~km569/exploring_provenance.pdf
    8 Nov 2018: F. Gomes, Brooks Davis, Stephen Kell, Alexander Richardson, Robert N. M.Watson, and Peter Sewell. ... 67:12 Memarian, Gomes, Davis, Kell, Richardson, Watson, Sewell. usually involving one or more linking steps.

  37. Cambridge University Reporter Special

    https://www.reporter.admin.cam.ac.uk/reporter/2004-05/special/03/26.html
    28 Jan 2022: 1961. WATSON George Grimes MA. 1963. CHARLES James Anthony BSC ARSM MA SCD FRENG. ... GRIFFIN Roger Francis BA PHD SCD [1962]. 1973. BAYLISS-SMITH Timothy Peter MA PHD.

  38. Cambridge University Reporter Special

    https://www.reporter.admin.cam.ac.uk/reporter/2007-08/special/03/26.html
    28 Jan 2022: 1961. WATSON George Grimes MA. 1963. CHARLES James Anthony BSC ARSM MA SCD FRENG. ... WATSON Helen Elizabeth BA PHD. MCDERMOTT Joseph Peter MA PHD. LANE Christel Olga MA PHD.

  39. Cambridge University Reporter Special

    https://www.reporter.admin.cam.ac.uk/reporter/2006-07/special/03/26.html
    28 Jan 2022: 1961. WATSON George Grimes MA. 1963. CHARLES James Anthony BSC ARSM MA SCD FRENG. ... WATSON Helen Elizabeth BA PHD. MCDERMOTT Joseph Peter MA PHD. LANE Christel Olga MA PHD.

  40. Cambridge University Reporter Special

    https://www.reporter.admin.cam.ac.uk/reporter/2008-09/special/03/26.html
    28 Jan 2022: 1961. WATSON George Grimes MA. 1963. CHARLES James Anthony BSC ARSM MA SCD FRENG. ... WATSON Helen Elizabeth BA PHD. MCDERMOTT Joseph Peter MA PHD. LANE Christel Olga MA PHD.

  41. Cambridge University Reporter Special

    https://www.reporter.admin.cam.ac.uk/reporter/2009-10/special/03/26.html
    28 Jan 2022: 1961. WATSON George Grimes MA. 1963. CHARLES James Anthony BSC ARSM MA SCD FRENG. ... WATSON Helen Elizabeth BA PHD. MCDERMOTT Joseph Peter MA PHD. LANE Christel Olga MA PHD.

  42. Reporter 5/10/00: ST JOHN'S COLLEGE

    https://www.reporter.admin.cam.ac.uk/reporter/2000-01/special/04/25.html
    29 Nov 2011: WATSON Helen Elizabeth BA PHD. MCDERMOTT Joseph Peter MA PHD. LANE Christel Olga MA PHD. ... 1989. COX Sir David Roxbee MA. WALKER Rt Rev Peter Knight MA DD.

  43. Reporter 2/10/03: ST JOHN'S COLLEGE

    https://www.reporter.admin.cam.ac.uk/reporter/2003-04/special/03/26.html
    29 Nov 2011: LINEHAN Peter Anthony MA PHD FBA. 1967. MACFARLANE Alan James MSC MA PHD. ... 1973. BAYLISS-SMITH Timothy Peter MA PHD. 1974. GULL Stephen Frank MA PHD.

  44. Reporter Copyright © 2001 The Chancellor, Masters and Scholars of the …

    https://www.reporter.admin.cam.ac.uk/reporter/2001-02/special/03/25.html
    29 Nov 2011: WATSON Helen Elizabeth BA PHD. MCDERMOTT Joseph Peter MA PHD. LANE Christel Olga MA PHD. ... HARRIS John William Robert. PIKHURKO Oleg PHD. KöNIG Jason Peter BA MPHIL PHD.

  45. Position Paper:Defending Direct Memory Access with CHERI Capabilities

    https://www.cl.cam.ac.uk/~atm26/pubs/2020cheri-dma.pdf
    21 Oct 2020: Theodore Markettos, John Baldwin, Ruslan Bukin, Peter G. Neumann,Simon W. Moore, and Robert N. ... HASP’20, October 2020, Online A. Theodore Markettos, John Baldwin, Ruslan Bukin, Peter G.

  46. Reporter Copyright © 2002 The Chancellor, Masters and Scholars of the …

    https://www.reporter.admin.cam.ac.uk/reporter/2002-03/special/03/26.html
    29 Nov 2011: 1961. WATSON George Grimes MA. 1963. CHARLES James Anthony BSC ARSM MA SCD FRENG. ... WATSON Helen Elizabeth BA PHD. MCDERMOTT Joseph Peter MA PHD. LANE Christel Olga MA PHD.

  47. Reporter Special 7/10/99: St John's College

    https://www.reporter.admin.cam.ac.uk/reporter/1999-2000/special/04/25.html
    29 Nov 2011: 1961. WATSON George Grimes MA. 1963. CHARLES James Anthony BSC ARSM MA SCD FRENG. ... 1980. MIDGLEY David Robin DPHIL PHD. CLARKE Peter Frederick MA PHD LITTD FBA.

  48. Notices by the General Board - Cambridge University Reporter 6528

    https://www.reporter.admin.cam.ac.uk/reporter/2018-19/weekly/6528/section3.shtml
    28 Nov 2018: Professor Peter Leslie de Bolla. Professor Katharine Jill Ellis. Professor John Francis Kerrigan. ... Professor Caroline Alexandra Van Eck. Dr Peter John Harland (Secretary). Combined Faculty Committee Two.

  49. Cornucopia Reloaded: Load Barriers for CHERI Heap Temporal Safety

    https://www.cl.cam.ac.uk/research/security/ctsrd/pdfs/202404asplos-cornucopia-reloaded.pdf
    2 Mar 2024: Jessica ClarkeUniversity of Cambridge. UK. Peter RuggUniversity of Cambridge. UK. Brooks DavisSRI International. ... Moore, Peter G. Neumann, and RobertN. M. Watson. 2024. Cornucopia Reloaded: Load Barriers for CHERIHeap Temporal Safety.

  50. 50th celebration programme

    https://surgery.medschl.cam.ac.uk/files/2018/11/50th-celebration-programme.pdf
    25 Jan 2022: Monday 16th July 2018: Looking back 12:30 Registration and Lunch. 13:20 Welcome Chris Watson. ... 09:40 The liver donor: then and now Chris Watson. 10:00 Liver Preservation – emerging solutions Peter Friend.

  51. sewellbib2.bib

    https://www.cl.cam.ac.uk/~sf502/sewellbib2_bib.html
    29 Jun 2019: author = {Peter M. Sewell}, title = {Bisimulation is Not Finitely (First-Order) Equationally Axiomatisable}, conf = {LICS 1994}, booktitle = {Proceedings of the 9th IEEE Symposium on Logic in Computer Science (Paris)}, year = {1994}, ... topic =

Refine your results

Format

Date

Related searches for `Peter Watson`

By site

Search history

Recently clicked results

Recently clicked results

Your click history is empty.

Recent searches

Recent searches

Your search history is empty.