Search
Search Funnelback University
- Refined by:
- Date: Past 3 months
31 -
40 of
149
search results for watson
Fully-matching results
-
Department of Computer Science and Technology: DSbD All Hands October …
https://www.cl.cam.ac.uk/research/security/ctsrd/cheri/workshops/2022.10dsbd/1 May 2024: 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. -
Department of Computer Science and Technology – Security Group:…
https://www.cl.cam.ac.uk/research/security/project-ideas.html3 May 2024: Security Group. Project ideas. The members of our group regularly supervise the CST Part II and Part III / MPhil ACS projects of local students. Several have web pages with suggestions for potential project topics:. Academic staff:. via CTSRD project -
PhDs Examined
https://www.cl.cam.ac.uk/~jac22/students-examined.htm28 May 2024: PhDs Examined. In US terms, this is students whose committee I was on, but for whom I wasn't the advisor. Weimin Weng, Reading, 1993. Stephen Wright, Ulster, 1995. Isabelle Chrisment, Nice/INRIA, 1996. Claude Castelluccia, Nice/INRIA, oct 1998. -
topic.Cerberus.bib
https://www.cl.cam.ac.uk/~pes20/papers/topic.Cerberus_bib.html23 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}, -
stelaCSF - A Unified Model of Contrast Sensitivity as the Function of …
https://www.cl.cam.ac.uk/~rkm38/pdfs/mantiuk2022_stelaCSF.pdf9 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]). -
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. -
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 -
Journal of Vision (20??) ?, 1–? http://journalofvision.org/?/?/? 1…
https://www.cl.cam.ac.uk/~rkm38/pdfs/ashraf2024_castleCSF.pdf8 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. -
stelaCSF - A Unified Model of Contrast Sensitivity as the Function of …
https://www.cl.cam.ac.uk/research/rainbow/projects/stelaCSF/mantiuk2022_stelaCSF.pdf9 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]).
Search history
Recently clicked results
Recently clicked results
Your click history is empty.
Recent searches
Recent searches
Your search history is empty.