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
31 - 80 of 134 search results for watson

  1. Fully-matching results

  2. topic.Cerberus.bib

    https://www.cl.cam.ac.uk/~pes20/papers/topic.Cerberus_bib.html
    23 May 2024: Watson and Peter Sewell }, title = {Into the depths of {C}: elaborating the de facto standards}, abstract = { C remains central to our computing infrastructure. ... M. Watson and Peter Sewell}, title = {Exploring {C} Semantics and Pointer Provenance},

  3. stelaCSF - A Unified Model of Contrast Sensitivity as the Function of …

    https://www.cl.cam.ac.uk/~rkm38/pdfs/mantiuk2022_stelaCSF.pdf
    9 Apr 2024: We model the drop of sensitivity with eccentricity 𝑒 in the sameway as [Watson 2018]:. ... The plots representisosurfaces at which 𝑆 = 1 (note that this is different from the pyramidsshown in [Watson and Ahumada 2016]).

  4. sewellandgroupbib2

    https://www.cl.cam.ac.uk/~pes20/papers/sewellandgroupbib2_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.

  5. sewellandgroupbib2.bib

    https://www.cl.cam.ac.uk/~pes20/papers/sewellandgroupbib2_bib.html
    23 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

  6. Department of Computer Science and Technology: Wheeler Lectures

    https://www.cl.cam.ac.uk/seminars/wheeler/andrew-herbert/
    4 Apr 2024: Robert Watson, CHERI: Secure Software. 2016 Department of Computer Science and Technology, University of Cambridge.

  7. Journal of Vision (20??) ?, 1–? http://journalofvision.org/?/?/? 1…

    https://www.cl.cam.ac.uk/~rkm38/pdfs/ashraf2024_castleCSF.pdf
    8 Apr 2024: Watson, 2018). (3) (3). Chromatic pyramid of visibility (b) (Watson, 2021) (3) (3). ... minance, while the extended version (Watson, 2018) adds stimulus. area and retinal eccentricity parameters.

  8. stelaCSF - A Unified Model of Contrast Sensitivity as the Function of …

    https://www.cl.cam.ac.uk/research/rainbow/projects/stelaCSF/mantiuk2022_stelaCSF.pdf
    9 Apr 2024: We model the drop of sensitivity with eccentricity 𝑒 in the sameway as [Watson 2018]:. ... The plots representisosurfaces at which 𝑆 = 1 (note that this is different from the pyramidsshown in [Watson and Ahumada 2016]).

  9. 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

  10. 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. ... A. Theodore Markettos, Robert N. M. Watson, Simon W. Moore, Peter Sewell, and Peter G.

  11. Ross Anderson's Home Page

    https://www.cl.cam.ac.uk/~rja14/
    27 Mar 2024: Ross Anderson. shows that the randomness tests long used to check random number generators for use in cryptographic key generation are inadequate for machine learning, where some applications make heavy use of random inputs about which very specific

  12. Peter Haynes: Publications

    www.damtp.cam.ac.uk/user/phh/pubs.html
    22 Apr 2024: J. Atmos. Sci., 73, 1903-1922. Boland, E.J.D., Haynes, P.H., Shuckburgh, E.F., Watson, A.J., Messias, M.-J., Ledwell, J.R.

  13. Department of Computer Science and Technology: Honours

    https://www.cl.cam.ac.uk/misc/honours/
    19 Apr 2024: Peter co-leads, along with Robert Watson and Simon Moore here in Cambridge and Peter Neumann at SRI International, the CHERI cybersecurity project.

  14. Alastair Beresford The Computer Laboratory,Dept of Computer Science…

    https://www.cl.cam.ac.uk/~arb33/cv/AlastairBeresford.pdf
    27 May 2024: Jointly with Prof.Anderson and Drs Watson and Hutchings. (2014–2022). Computer Security: Current Applications and Research an MPhil and Part III coursefocusing on contemporary themes in computer security. ... Jointly with Prof. Andersonand Dr Watson.

  15. https://entrepreneurship.blog.jbs.cam.ac.uk/tag/futurist/feed/

    https://entrepreneurship.blog.jbs.cam.ac.uk/tag/futurist/feed/
    14 May 2024: of-futures-thinking/ https://entrepreneurship.blog.jbs.cam.ac.uk/2022/11/20/introducing-the-4ps-model-of-futures-thinking/#respond Richard Watson Sun, 20 Nov 2022 11:00:00 0000 ... p pemRichard Watson, Futurist in Residence, Cambridge Judge

  16. Department of Computer Science and Technology: CHERITech'24

    https://www.cl.cam.ac.uk/research/security/ctsrd/cheri/workshops/2024cheritech/
    1 May 2024: Session 1: Industry Applications, Chair: Robert N. M. Watson. 09:30 - 09:40. ... Welcome, introduction, and brief update. Robert N. M. Watson. 09:40 - 10:10.

  17. Alastair Beresford---Curriculum Vitae

    https://www.cl.cam.ac.uk/~arb33/cv/
    27 May 2024: Jointly with Prof. Anderson and Drs Watson and Hutchings. (2014--2022). Computer Security: Current Applications and Research an MPhil and Part III course focusing on contemporary themes in computer security. ... Jointly with Prof. Anderson and Dr Watson.

  18. Isla: Integrating full-scale ISA semantics and axiomatic concurrency…

    https://www.cl.cam.ac.uk/~pes20/papers/topic.ISA_semantics_abstracts.html
    23 May 2024: M. Watson, and Peter Sewell. In ESOP 2022. [Memory safety bugs continue to be a major source of security vulnerabilities in our critical infrastructure.

  19. Department of Computer Science and Technology – Security Group: 2002

    https://www.cl.cam.ac.uk/research/security/seminars/archive/2002.html
    17 Jun 2024: Watson Research Center, NY. Lecture Theatre 2, William Gates Building. In the first part of this talk, I will present results of a systematic investigation of leakage of compromising information via

  20. New Members - Homerton College

    https://review.homerton.cam.ac.uk/membership/new-members/
    Thumbnail for New Members - Homerton College 22 Mar 2024: Cameron Watson. Genomic Medicine. Elizabeth Wheen. Applied Criminology, Penology and Management.

  21. Supplementary of ColorVideoVDP: A visual difference predictor for…

    https://www.cl.cam.ac.uk/~rkm38/pdfs/mantiuk2024_ColorVideoVDP_supplementary.pdf
    1 May 2024: metrics. Contrast transducer. The dierence between two band-limited im-. ages in Watson and Solomon’s [Watson and Solomon 1997] masking. ... Vision Research 39, 10 (may 1999), 1823–1831.https://doi.org/10.1016/S0042-6989(98)00219-3. AB Watson and JA

  22. Department of Computer Science and Technology – Security Group: 2017

    https://www.cl.cam.ac.uk/research/security/seminars/archive/2017.html
    17 Jun 2024: M. Watson - University of Cambridge, Computer Laboratory. Lecture Theatre 1, Computer Laboratory.

  23. An introduction to Flow Matching · Cambridge MLG Blog

    https://mlg.eng.cam.ac.uk/blog/2024/01/20/flow-matching.html
    12 Apr 2024: Figure 1: Protein generated by RFDiffusion (Watson et al., 2023). Figure 2: Image from DALL-E 3 (Betker et al., 2023). ... Watson, Joseph L. and Juergens, David and Bennett, Nathaniel R. and Trippe, Brian L.

  24. ColorVideoVDP: A visual difference predictor for image, video and…

    https://www.cl.cam.ac.uk/~rkm38/pdfs/mantiuk2024_ColorVideoVDP.pdf
    1 May 2024: Visual Dierence Predictors. The visual dierence predictors (VDPs),such as DCTune [Watson 1993], VDP [Daly 1993], HDR-VDP-2 [Man-tiuk et al. ... Instead, we set VG = 2 and V5 = 2to represent the energy summation across the spatial dimensionsand frames

  25. topic.ISA_semantics.bib

    https://www.cl.cam.ac.uk/~pes20/papers/topic.ISA_semantics_bib.html
    23 May 2024: Sewell, Thomas and Armstrong, Alasdair and Esswood, Lawrence and Stark, Ian and Barnes, Graeme and Watson, Robert N.

  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. 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.

  28. Department of Computer Science and Technology: EuroSys 2016 - CHERI…

    https://www.cl.cam.ac.uk/research/security/ctsrd/cheri/workshops/2016eurosys/
    1 May 2024: Robert N. M. Watson (University of Cambridge). Simon W. Moore (University of Cambridge). ... John Redford (Broadcom). 2016-2021 Robert N. M. Watson. Information provided by Robert Watson.

  29. elver.bib

    https://www.cl.cam.ac.uk/~pes20/elver_bib.html
    23 May 2024: optrecent = {true}, elver = {true} }.. @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.

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

    https://www.cl.cam.ac.uk/teaching/2324/R209/
    10 May 2024: Neville-Neil, and Robert N. M. Watson. 'Chapter 5 - Security', The Design and Implementation of the FreeBSD Operating System, 2nd Edition, Pearson Education, Boston, MA, USA, September 2014.

  31. https://entrepreneurship.blog.jbs.cam.ac.uk/tag/cambridge/feed/

    https://entrepreneurship.blog.jbs.cam.ac.uk/tag/cambridge/feed/
    14 May 2024: jbs.cam.ac.uk/2021/08/20/back-to-the-future/#respond Richard Watson Fri, 20 Aug 2021 14:06:40 0000 Innovation Technology AI Cambridge Cambridge Colleges Futurist innovation Nobel ... www.jbs.cam.ac.uk/wp-content/uploads/2021/06/watson-richard-229x205-1.jp

  32. 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: LMB Alumni List This is an alphabetical listing of past members of the LMB, complete with tenure dates. The list has been compiled by cross-referencing

  33. Prediction of Total and Regional Body Composition from 3D ...

    mi.eng.cam.ac.uk/~cipolla/archive/Publications/article/2024-4-Body-composition.pdf
    23 Apr 2024: Prediction of Total and Regional Body Composition from 3D BodyShape. Chexuan Qiao1, Emanuella De Lucia Rolfe2, Ethan Mak1, Akash Sengupta1, RichardPowell2, Laura P. E. Watson3, Steven B. Heymsfield4, John Shepherd5, Nick Wareham2,. Soren Brage2, and

  34. Provenance file edited reformatted

    https://www.lib.cam.ac.uk/files/provenance_file_edited_reformatted_0.pdf
    16 Apr 2024: CCC.25.1232 Bezirk (Vienna, Austria). Fortbildungsschulrat. Lehrlingsbücherei 15. Stamp: 'Fortbildungsschulrat für Wien 2. Lehrlingsbücherei 15, Hütteldorferstraße 7-17'. Gg.16.86A G Y. Provenance: A G Y (?), monogram, 'Sel, & Cam', ('Edwards

  35. DOMINIC WELSH (1938–2023) GEOFFREY R. GRIMMETT If the principal ...

    https://www.statslab.cam.ac.uk/~grg/papers/welsh1.pdf
    1 May 2024: His 39 years as a Fellow have been exceeded by only few in recent times,including by his colleague Philip Watson (Fellow, 1950–1993), with whomDominic shared the privilege of teaching

  36. PUBLICATIONS OF GEOFFREY KHAN Monograph Publications 1 Studies in ...

    https://www.ames.cam.ac.uk/sites/www.ames.cam.ac.uk/files/publications_of_geoffrey_khan_2024.pdf
    8 May 2024: Weninger, M. Streck and J. Watson; de Gruyter Mouton, 2011). 5. ... Watson and Jan Retsö (eds.), Relative Clauses and Genitive Constructions in Semitic.

  37. Earth Sciences Alumni Day Saturday 11 May 2024 Dear ...

    https://www.esc.cam.ac.uk/files/geocam_spring_2024_issue_21_single_web.pdf
    25 Apr 2024: The afternoon begins with registration and refreshments in the Watson Gallery (ground floor common room) between 1:30pm and 2pm and closes with a drinks reception in the Sedgwick Museum at

  38. 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.

  39. 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.

  40. HISTORICAL TRIPOS lecture list reformatted

    https://www.hist.cam.ac.uk/sites/default/files/inline-files/HISTORICAL%20TRIPOS%20lecture%20list%20reformatted_22.pdf
    28 Mar 2024: 11 F. 11 . O10: The Global South from 1750 to the present day  PROF SEN, DR WATSON & OTHERS  (Twelve lectures, weeks 1‐2, 4‐5 and 7‐8) F. ... 10 W. 12 . O10: The Global South from 1750 to the present day  PROF SEN,

  41. 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

  42. https://entrepreneurship.blog.jbs.cam.ac.uk/author/richard-watson/feed…

    https://entrepreneurship.blog.jbs.cam.ac.uk/author/richard-watson/feed/
    14 May 2024: Richard Watson, Author at The Entrepreneurship Centre blog https://entrepreneurship.blog.jbs.cam.ac.uk/author/richard-watson/ Thu, 09 Feb 2023 18:42:32 0000 en-GB hourly 1 ... wordpress.org/?v=6.5.5

  43. CN: Verifying systems C code with separation-logic refinement types.…

    https://www.cl.cam.ac.uk/~pes20/papers/topic.Cerberus.html
    23 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.

  44. https://entrepreneurship.blog.jbs.cam.ac.uk/tag/nobel-prize/feed/

    https://entrepreneurship.blog.jbs.cam.ac.uk/tag/nobel-prize/feed/
    14 May 2024: future/ https://entrepreneurship.blog.jbs.cam.ac.uk/2021/08/20/back-to-the-future/#respond Richard Watson Fri, 20 Aug 2021 14:06:40 0000 Innovation Technology AI Cambridge Cambridge ... www.jbs.cam.ac.uk/wp-content/uploads/2021/06/watson-richard-229x205-1

  45. Easter Termcard 2024

    https://www.clare.cam.ac.uk/sites/default/files/2024-03/Easter%20Termcard%202024.pdf
    20 Mar 2024: RESPONSES Caitlin Obee (Clare 2018) PSALMS 128 (Goss); 129 (Garrett) READINGS Mark XIV: 43–52; 53–65 CANTICLES Watson in E ANTHEM Bairstow Save us, O Lord.
    By: Graham Ross

  46. Easter Termcard 2024

    https://www.clare.cam.ac.uk/sites/default/files/2024-03/Easter%20Termcard%202024_0.pdf
    20 Mar 2024: RESPONSES Caitlin Obee (Clare 2018) PSALMS 128 (Goss); 129 (Garrett) READINGS Mark XIV: 43–52; 53–65 CANTICLES Watson in E ANTHEM Bairstow Save us, O Lord.
    By: Graham Ross

  47. PART IIA – 2024-2025 Paper B1a - Intermediate Hebrew ...

    https://www.divinity.cam.ac.uk/files/part_iia_detailed_paper_descriptions_-_2024-25.pdf
    10 Jun 2024: Jexiteers’, who left the community, entertained ‘docetic’, ‘epiphanic’ views rather than strongly incarnational view, although some scholars (Käsemann and Watson) believe Johannine christology itself is docetist. ... Francis Watson, Paul,

  48. • Modular homes for people experiencing homelessness in Cambridge: ...

    https://www.landecon.cam.ac.uk/sites/default/files/2024-05/Cambbridge_resident_experiences.pdf
    28 May 2024: •. Modular homes for people. experiencing homelessness. in Cambridge: resident. experiences. Dr Gemma Burgess. Dr Johannes Lenhard. Dr Richmond Ehwi. Dr Kwadwo Oti-Sarpong. Eana Meng. October 2021. September 2021. Principal Investigators: Dr Gemma

  49. Deception and defense from machine learning to supply chains

    https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-994.pdf
    10 May 2024: Technical ReportNumber 994. Computer Laboratory. UCAM-CL-TR-994ISSN 1476-2986. Deception and defense frommachine learning to supply chains. Nicholas Boucher. May 2024. 15 JJ Thomson AvenueCambridge CB3 0FDUnited Kingdomphone 44 1223 763500.

  50. Lent Term, 2015 ElectromagnetismUniversity of Cambridge Mathematical…

    www.damtp.cam.ac.uk/user/tong/em/electro.pdf
    27 Apr 2024: Lent Term, 2015. ElectromagnetismUniversity of Cambridge Mathematical Tripos. David Tong. Department of Applied Mathematics and Theoretical Physics,. Centre for Mathematical Sciences,. Wilberforce Road,. Cambridge, CB3 OBA, UK.

  51. Case study: AVPN

    https://www.jbs.cam.ac.uk/wp-content/uploads/2024/04/csp-case-study-avpn-2024.pdf
    17 Apr 2024: Copyright 2024 University of Cambridge. This case was prepared as the basis for class discussion rather than to illustrate either effective or ineffective handling of an administrative situation. No part of this publication may be reproduced, used

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.