Search
Search Funnelback University
- Refined by:
- Date: Past 3 months
51 -
60 of
328
search results for watson
Fully-matching results
-
Publications - Institute of Metabolic Science-Metabolic Research…
https://www.mrl.ims.cam.ac.uk/research/publications/23 Feb 2024: 2023 Jan;5(1):1-4. doi: 10.1038/s42255-022-00721-7. PMID:36609721. Dore R, Watson L, Hollidge S, Krause C, Sentis SC, Oelkrug R, Geißler C, Johann K, ... 2023 Jun;25(6):431-436. doi: 10.1089/dia.2023.0042. PMID:36880866. Watson L, Cole TJ, Lyons G, -
Department of Computer Science and Technology: ASPLOS 2022 - CHERI…
https://www.cl.cam.ac.uk/research/security/ctsrd/cheri/workshops/2022asplos/1 May 2024: 2016-2021 Robert N. M. Watson. Information provided by Robert Watson. -
CN: Verifying systems C code with separation-logic refinement types.…
https://www.cl.cam.ac.uk/~pes20/papers/topic.Cerberus_abstracts.html23 May 2024: M. Watson, and Peter Sewell. In POPL 2019, Proc. ACM Program. ... Watson, and Peter Sewell. In PLDI 2016, PLDI 2016 Distinguished Paper award. -
Research Associate (Social Science) - Department of Public Health and …
https://www.phpc.cam.ac.uk/blog/research-associate-social-science/23 Feb 2024: Lynette Watson: phpc.admin@medschl.cam.ac.uk or by post to Department of Public Health and Primary Care, Strangeways Research Laboratory, Worts Causeway, Cambridge CB1 8RN. -
Academic Consultants | Department of Oncology
https://www.oncology.cam.ac.uk/directory/consultants23 Feb 2024: Search site. Department of Oncology. Academic ConsultantsOur Academic Consultants undertake academic research in addition to their clinical duties. Professor of Precision Breast Cancer Medicine. Academic Consultant in Medical Oncology. Director of -
sewellandgroupbib2.bib
https://www.cl.cam.ac.uk/~pes20/papers/sewellandgroupbib2_bib.html23 May 2024: sewellandgroupbib2.bib.. @article{physics4, author = {M. E. Woods and B. J. Hopkins and G. F. Matthews and G. M. McCracken and P. M. Sewell and H. Fahrang}, title = {An Investigation of the Secondary-Electron Emission of Carbon Samples Exposed to a -
Emily Jones - Department of Public Health and Primary Care
https://www.phpc.cam.ac.uk/people/departmental-administration/emily-jones/23 Feb 2024: Quick Links. For staff. For alumni. For business. Colleges & departments. Libraries & facilities. Museums & collections. Email & phone search. Site Search. Site Search. Emily Jones. Professional Services Team. Department of Public Health and -
sewellandgroupbib2
https://www.cl.cam.ac.uk/~pes20/papers/sewellandgroupbib2_abstracts.html23 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. -
Group Leaders | Cambridge Cardiovascular
https://www.cardiovascular.cam.ac.uk/sd-classification/group-leaders23 Feb 2024: Search site. Cambridge Cardiovascular. Group LeadersConsultant Radiologist. Professor. University Lecturer in Haematological Genomics. Professor. BHF Professor of Cardiovascular Sciences. Head of the Section of Cardiovascular and Respiratory Medicine -
Jezz Martin - Department of Public Health and Primary Care
https://www.phpc.cam.ac.uk/people/departmental-administration/jezz-martin/23 Feb 2024: Quick Links. For staff. For alumni. For business. Colleges & departments. Libraries & facilities. Museums & collections. Email & phone search. Site Search. Site Search. Jezz Martin. Professional Services Team. Department of Public Health and
Search history
Recently clicked results
Recently clicked results
Your click history is empty.
Recent searches
Recent searches
Your search history is empty.