Search

Search Funnelback University

Search powered by Funnelback
11 - 60 of 86 search results for `James Watson`
  1. Fully-matching results

  2. Achievements - MRC Laboratory of Molecular Biology

    https://www2.mrc-lmb.cam.ac.uk/achievements/
    Thumbnail for Achievements - MRC Laboratory of Molecular Biology 7 Feb 2024: One of the world's leading research institutes, our scientists are working to advance understanding of biological processes at the molecular level - providing the knowledge needed to solve key problems in human health. Search this website.
  3. Peter Sewell: group bibliography by date

    https://www.cl.cam.ac.uk/~pes20/papers/sewellandgroupbib2.html
    23 May 2024: Brooks Davis, Robert N. M. Watson, Alexander Richardson, Peter G. Neumann, Simon W. ... Kayvan Memarian, Justus Matthiesen, James Lingard, Kyndylan Nienhuis, David Chisnall, Robert N.M.
  4. Recordings - MRC Laboratory of Molecular Biology

    https://www2.mrc-lmb.cam.ac.uk/about-lmb/archive/recordings/
    Thumbnail for Recordings - MRC Laboratory of Molecular Biology 21 Jul 2023: Isaac Asimov introduces James Watson and Francis Crick in the story of the structure of DNA, 8 July 1974. ... Discovering the double helix. James Watson talks about the discovery of the double helix in a lecture at Cold Spring Harbor Laboratory, November
  5. EMBO Awards - MRC Laboratory of Molecular Biology

    https://www2.mrc-lmb.cam.ac.uk/achievements/embo-awards/
    Thumbnail for EMBO Awards - MRC Laboratory of Molecular Biology 10 Jan 2024: EMBO Awards & Honours The European Molecular Biology Organisation (EMBO) was founded in 1964 to promote molecular biology in Europe.  Its aim is to
  6. N3005: A Provenance-aware Memory Object Model for C. Working ...

    https://www.cl.cam.ac.uk/~pes20/papers/topic.WG14.html
    23 May 2024: Kayvan Memarian, Justus Matthiesen, James Lingard, Kyndylan Nienhuis, David Chisnall, Robert N.M. ... M. Watson. ISO SC22 WG14 N2013, March 2016. [ N2012: Clarifying the C memory object model, Kayvan Memarian and Peter Sewell.
  7. 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.
  8. Bart Barrell (1944-2023) - MRC Laboratory of Molecular Biology

    https://www2.mrc-lmb.cam.ac.uk/bart-barrell-1944-2023/
    Thumbnail for Bart Barrell (1944-2023) - MRC Laboratory of Molecular Biology 6 Dec 2023: Physiology or Medicine Prize to Francis Crick, James Watson and Maurice Wilkins for determining the structure of DNA, and the 1962 Chemistry Prize to Max Perutz and John Kendrew for their ... Bart’s funeral service will be held at St. James’ Church,
  9. Royal Society Awards - MRC Laboratory of Molecular Biology

    https://www2.mrc-lmb.cam.ac.uk/achievements/royal-society-awards/
    Thumbnail for Royal Society Awards - MRC Laboratory of Molecular Biology 16 May 2024: Royal Society Awards & Honours The Royal Society is a Fellowship of the world's most eminent scientists and is the oldest scientific academy in
  10. Academy of Medical Sciences - MRC Laboratory of Molecular Biology

    https://www2.mrc-lmb.cam.ac.uk/achievements/academy-medical-sciences/
    Thumbnail for Academy of Medical Sciences - MRC Laboratory of Molecular Biology 21 May 2024: Academy of Medical Sciences The Academy of Medical Sciences is an independent body in the UK that represents the diverse spectrum of medical science –
  11. CN: Verifying systems C code with separation-logic refinement types.…

    https://www.cl.cam.ac.uk/~pes20/papers/topic.Cerberus.html
    23 May 2024: Kayvan Memarian, Justus Matthiesen, James Lingard, Kyndylan Nienhuis, David Chisnall, Robert N.M. ... Watson, and Peter Sewell. In PLDI 2016, PLDI 2016 Distinguished Paper award.
  12. LMB Nobel Prizes - MRC Laboratory of Molecular Biology

    https://www2.mrc-lmb.cam.ac.uk/achievements/lmb-nobel-prizes/
    Thumbnail for LMB Nobel Prizes - MRC Laboratory of Molecular Biology 21 Jul 2023: LMB Nobel Prizes Nobel Prizes are international awards administered by the Nobel Foundation in Stockholm, Sweden. They are awarded annually for
  13. Cerberus

    https://www.cl.cam.ac.uk/~pes20/cerberus/
    1 Oct 2023: Kayvan Memarian, Justus Matthiesen, James Lingard, Kyndylan Nienhuis, David Chisnall, Robert N.M. ... David Chisnall and Robert N. M. Watson contributed to the discussion of CHERI semantics.
  14. 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.
  15. Joan A. Steitz Postdoc Prize - MRC Laboratory of Molecular Biology

    https://www2.mrc-lmb.cam.ac.uk/achievements/steitz-postdoc-prize/
    Thumbnail for Joan A. Steitz Postdoc Prize - MRC Laboratory of Molecular Biology 24 Oct 2023: Joan A. Steitz Postdoc 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
  16. Perutz Student Prize - MRC Laboratory of Molecular Biology

    https://www2.mrc-lmb.cam.ac.uk/achievements/lmb-student-prize/
    Thumbnail for Perutz Student Prize - MRC Laboratory of Molecular Biology 24 Oct 2023: 2002. Marijn Ford, Chris Murawsky, James Ogle, Damon Page, Barry Thompson. ... 2001. Andrew Carter, Michael Pacold, Sin Urban, James Whyte. 2000. Richard Bayliss, Bill Clemons, Lucy Holt, Eric Tse.
  17. 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
  18. 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
  19. ELVER

    https://www.cl.cam.ac.uk/~pes20/index-elver.html
    23 May 2024: M. Watson, and Peter Sewell. In ESOP 2022. [ Relaxed virtual memory in Armv8-A. ... Brooks Davis, Robert N. M. Watson, Alexander Richardson, Peter G. Neumann, Simon W.
  20. 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: Kayvan Memarian, Justus Matthiesen, James Lingard, Kyndylan Nienhuis, David Chisnall, Robert N.M. ... M. Watson. ISO SC22 WG14 N2013, March 2016. [. N2012: Clarifying the C memory object model, Kayvan Memarian and Peter Sewell.
  21. topic.Cerberus.bib

    https://www.cl.cam.ac.uk/~pes20/papers/topic.Cerberus_bib.html
    23 May 2024: inproceedings{Cerberus-PLDI16, author = { Kayvan Memarian and Justus Matthiesen and James Lingard and Kyndylan Nienhuis and David Chisnall and Robert N.M. ... Watson and Peter Sewell }, title = {Into the depths of {C}: elaborating the de facto standards},
  22. LMB Nobel Facts - MRC Laboratory of Molecular Biology

    https://www2.mrc-lmb.cam.ac.uk/achievements/lmb-nobel-prizes/nobel-facts/
    Thumbnail for LMB Nobel Facts - MRC Laboratory of Molecular Biology 21 Jul 2023: 1962 - Francis Crick & Jim Watson (Physiology or Medicine). 1958 - Fred Sanger (Chemistry). ... In 1962, the LMB was awarded 2 separate Nobel Prizes: Francis Crick and Jim Watson (Physiology or Medicine), and Max Perutz and John Kendrew (Chemistry).
  23. CN: Verifying systems C code with separation-logic refinement types.…

    https://www.cl.cam.ac.uk/~pes20/papers/topic.Cerberus_abstracts.html
    23 May 2024: Kayvan Memarian, Justus Matthiesen, James Lingard, Kyndylan Nienhuis, David Chisnall, Robert N.M. ... Watson, and Peter Sewell. In PLDI 2016, PLDI 2016 Distinguished Paper award.
  24. 1982 - Aaron Klug - MRC Laboratory of Molecular Biology

    https://www2.mrc-lmb.cam.ac.uk/achievements/lmb-nobel-prizes/1982-aaron-klug/
    Thumbnail for 1982 - Aaron Klug - MRC Laboratory of Molecular Biology 21 Jul 2023: 1982 Chemistry Prize - Aaron Klug “for his development of crystallographic electron microscopy and his structural elucidation of biologically important
  25. 1980 - Fred Sanger - MRC Laboratory of Molecular Biology

    https://www2.mrc-lmb.cam.ac.uk/achievements/lmb-nobel-prizes/1980-fred-sanger/
    Thumbnail for 1980 - Fred Sanger - MRC Laboratory of Molecular Biology 21 Jul 2023: 1980 Chemistry Prize - Fred Sanger “for their contributions concerning the determination of base sequences in nucleic acids”
  26. 1997 - John Walker - MRC Laboratory of Molecular Biology

    https://www2.mrc-lmb.cam.ac.uk/achievements/lmb-nobel-prizes/1997-john-walker/
    Thumbnail for 1997 - John Walker - MRC Laboratory of Molecular Biology 21 Jul 2023: 1997 Chemistry Prize - John Walker “for their elucidation of the enzymatic mechanism underlying the synthesis of adenosine triphosphate (ATP)”
  27. 1958 - Fred Sanger - MRC Laboratory of Molecular Biology

    https://www2.mrc-lmb.cam.ac.uk/achievements/lmb-nobel-prizes/1958-fred-sanger/
    Thumbnail for 1958 - Fred Sanger - MRC Laboratory of Molecular Biology 21 Jul 2023: 1958 Chemistry Prize - Fred Sanger “for his work on the structure of proteins, especially that of insulin”
  28. Nobel Prize winners - Churchill College

    https://www.chu.cam.ac.uk/about/our-story/nobel-prize-winners/
    Thumbnail for Nobel Prize winners - Churchill College 18 Sep 2023: James Watson (Overseas Fellow 1962) Physiology/Medicine. 1962: ‘Co–discovering the structure of DNA’.
  29. Department of Computer Science and Technology – CTSRD: Publications

    https://www.cl.cam.ac.uk/research/security/ctsrd/publications.html
    2 Mar 2024: Boston, MA, USA, November 5-8, 2017. Robert N. M. Watson, Peter G. ... Robert N. M. Watson, Steven J. Murdoch, Khilan Gudka, Jonathan Anderson, Peter G.
  30. 2017 - Richard Henderson - MRC Laboratory of Molecular Biology

    https://www2.mrc-lmb.cam.ac.uk/achievements/lmb-nobel-prizes/2017-richard-henderson/
    Thumbnail for 2017 - Richard Henderson - MRC Laboratory of Molecular Biology 21 Jul 2023: 2017 Chemistry Prize - Richard Henderson "for developing cryo-electron microscopy for the high-resolution structure determination of biomolecules in
  31. topic.cheri.bib

    https://www.cl.cam.ac.uk/~pes20/papers/topic.cheri_bib.html
    23 May 2024: techreport{UCAM-CL-TR-927, author = {Watson, Robert N. M. and Neumann, Peter G. ... Norton and Moore, Simon W. and Neumann, Peter G. and Ian Stark and Watson, Robert N.
  32. Department of Computer Science and Technology: CHERI Publications

    https://www.cl.cam.ac.uk/research/security/ctsrd/cheri/cheri-publications.html
    2 Mar 2024: Boston, MA, USA, November 5-8, 2017. Robert N. M. Watson, Peter G. ... Robert N. M. Watson, Jonathan Woodruff, Michael Roe, Simon W. Moore, Peter G.
  33. Special collections - Churchill College

    https://www.chu.cam.ac.uk/campus-facilities/college-library/special-collections/
    Thumbnail for Special collections - Churchill College 1 Aug 2023: Information about the special collections held by Churchill College Library, including the Napoleon Collection, Academic Skills & Wellbeing collections.
  34. https://www.cl.cam.ac.uk/~jps79/movies-original.tinydb.json

    https://www.cl.cam.ac.uk/~jps79/movies-original.tinydb.json
    3 Oct 2023: id": "nm2111404", "name": "Sandro Forte"}, {"person_id": "nm3017782", "name": "Maximianno Cobra"}, {"person_id": "nm0923118", "name": "James Duhamel"}]}, "5": {"movie_id": "tt0017925", "title": "The General", "year": 1926, "type": "movie", "minutes":
  35. Curriculum VitaePeter Michael Sewell October 4, 2023…

    https://www.cl.cam.ac.uk/~pes20/cv.pdf
    4 Oct 2023: Peter Sewell (PI), Robin Milner (CI), James Leifer (co-author).£ 190 814. ... Brooks Davis, Robert N. M. Watson, Alexander Richardson, Peter G.Neumann, Simon W.
  36. PowerPoint Presentation

    www.damtp.cam.ac.uk/user/pvl/u3ac_heidelberg_2023.pdf
    17 Aug 2023: Ernest Rutherford (1906)John Cockcroft & Ernest Walton (1951)Francis Crick & James Watson (1962)Roger Penrose (2020). ... Francis Crick and James Watson. Crick was a physicist who during WW2 worked on the development of mines.
  37. HPS: Part IB exam papers 2010

    https://www.hps.cam.ac.uk/files/past-ib-2010.pdf
    24 Jul 2023: twentieth‐century physics? 11. Why did James Watson and Francis Crick hope to solve the problems of . biology using the “sharp, non‐emotional thinking” of physics and chemistry? (Watson).
  38. Formal Mechanised Semantics of CHERI C: Capabilities, Provenance, and …

    https://www.cl.cam.ac.uk/~pes20/papers/topic.cheri_abstracts.html
    23 May 2024: Brooks Davis, Robert N. M. Watson, Alexander Richardson, Peter G. Neumann, Simon W. ... Kayvan Memarian, Justus Matthiesen, James Lingard, Kyndylan Nienhuis, David Chisnall, Robert N.M.
  39. Cambridge University Reporter Special No 3 (2023-24) - Fellows of the …

    https://www.reporter.admin.cam.ac.uk/reporter/2023-24/special/03/
    21 Dec 2023: 2016. Mortier Richard phd president. 1962. Munro Alan James ma phd emeritus fellow. ... Watson James Dewey kbe scd frs. 1980. Attenborough Sir David Frederick om ch cvo cbe ma frs.
  40. Why Cambridge? - Trinity Hall Cambridge

    https://www.trinhall.cam.ac.uk/study-with-us/why-cambridge/
    Thumbnail for Why Cambridge? - Trinity Hall Cambridge 30 Oct 2023: As well as college Bars, there are plenty of pubs in Cambridge, including the famous Eagle pub where Francis Crick announced that he and James Watson had discovered the ‘secret of
  41. LMB Alumni List - MRC Laboratory of Molecular Biology

    https://www2.mrc-lmb.cam.ac.uk/about-lmb/lmb-alumni/alumni/
    Thumbnail for LMB Alumni List - MRC Laboratory of Molecular Biology 11 Jun 2024: Dr Jan Drijfhout 1985. Dr Jacques Drouin 1976-1979. James Drummond 2021-2023. ... Dr Michael Graeb 2009-2013. Dr James Graham 1974-1979. Miles Graham 2022.
  42. topic.WG14.bib

    https://www.cl.cam.ac.uk/~pes20/papers/topic.WG14_bib.html
    23 May 2024: year = 2016, txt = {}, project = {}, optnote = {}, optannote = {}, topic = {WG14} }.. @inproceedings{Cerberus-PLDI16, author = { Kayvan Memarian and Justus Matthiesen and James Lingard and Kyndylan Nienhuis and David Chisnall and Robert N.M.
  43. 18 Jul 2023: 1. CN: Verifying Systems C Code with Separation-LogicRefinement TypesCHRISTOPHER PULTE, University of Cambridge, UKDHRUV C. MAKWANA, University of Cambridge, UKTHOMAS SEWELL, University of Cambridge, UKKAYVAN MEMARIAN, University of Cambridge,
  44. Great British Railway Journeys visits LMB to learn about the…

    https://www2.mrc-lmb.cam.ac.uk/great-british-railway-journeys-visits-lmb-to-learn-about-the-significance-of-the-discovery-of-the-structure-of-dna/
    Thumbnail for Great British Railway Journeys visits LMB to learn about the significance of the discovery of the structure of DNA - MRC Laboratory of Molecular Biology 17 Jul 2023: of the double helix structure of DNA by James Watson and Francis Crick.
  45. Life writing at Churchill Archives Centre - Churchill Archives Centre

    https://archives.chu.cam.ac.uk/collections/research-guides/life-writing-churchill-archives-centre/
    22 Feb 2024: Working with autobiographies, by reading James Olney’s Autobiography: Essays Theoretical and Critical and Sidonie Smith and Julia Watson’s Women, Autobiography, Theory: A Reader.
  46. Queens' Library New eBooks

    https://www.queens.cam.ac.uk/files/downloads/new_ebooks_23_01-04.html
    3 Oct 2023: Edited By Wendy James, David Mills. Berg, 2020. Platform: Taylor & Francis eBooks. ... Platform: JSTOR. ArchitectureE. James West. University of Illinois Press, 2022. Platform: Ebook Central.
  47. Introduction UKRI Medical Research Council (MRC) scientists in…

    https://www.mrl.ims.cam.ac.uk/wp-content/uploads/2020/07/ACTIVITY-BOOK-2020.pdf
    15 Feb 2024: This structure was discovered by LMB scientists, James Watson and Francis Crick, following work by Rosalind Franklin and Maurice Wilkins.
  48. PDF - The impact of SARS on China’s human resources: implications for …

    https://www.jbs.cam.ac.uk/wp-content/uploads/2020/08/wp0602.pdf
    9 Jul 2023: Working Paper Series 02/2006 The impact of SARS on China’s human resources:. implications for the labour market and level of. unemployment in the service sector in Beijing,. Guangzhou and Shanghai. Lee, G.O.M. and Warner, M. These papers are
  49. PDF - The structure of serendipity - working paper

    https://www.jbs.cam.ac.uk/wp-content/uploads/2020/08/wp0507.pdf
    9 Jul 2023: James Watson. and Francis Crick were awarded the Nobel Prize for this discovery in 1962. ... Watson’s. loosely related work on TMV seemed to support a helical structure.
  50. 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.
  51. CHERI Rigorous Engineering

    https://www.cl.cam.ac.uk/research/security/ctsrd/cheri/cheri-formal-b.html
    3 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.

Refine your results

Format

Search history

Recently clicked results

Recently clicked results

Your click history is empty.

Recent searches

Recent searches

Your search history is empty.