Cam Gordon - PDFSEARCH.IO - Document Search Engine

Cam Gordon
Results: 39

#	Item
1	Background reading on Hoare Logic Mike Gordon Learning Guide for the CST Part II course. The examinable material in the course Hoare Logic consists of what is actually presented in the lectures. This document aims to pro Add to Reading List Source URL: www.cl.cam.ac.uk - Date: 2012-04-04 07:18:24
2	Gaussian Process Regression Networks Andrew Gordon Wilson mlg.eng.cam.ac.uk/andrew University of Cambridge Add to Reading List Source URL: www.cs.cmu.edu - Date: 2014-09-11 09:47:07
3	Kernels for Automatic Pattern Discovery and Extrapolation Andrew Gordon Wilson mlg.eng.cam.ac.uk/andrew University of Cambridge Add to Reading List Source URL: www.cs.cmu.edu - Date: 2014-09-11 09:47:09
4	Bayesian Optimization using Student-t Processes Andrew Gordon Wilson Department of Engineering Cambridge University Add to Reading List Source URL: mlg.eng.cam.ac.uk Language: English - Date: 2013-11-28 13:08:41
5	A general theory of type-and-effect systems via universal algebra Ohad Kammar Gordon Plotkin Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2013-04-26 12:49:15
6	2000 Paper 3 Question 6 Computer Design Gordon Moore’s law originally applied to memory size (in bits), but also applies to processor speed (in MIPS). However, main memory access latency does not follow Moore’s law. Add to Reading List Source URL: www.cl.cam.ac.uk - Date: 2014-06-09 10:17:33
7	FAQ for Proof Producing Synthesis in HOL Konrad Slind, Scott Owens, Juliano Iyoda, Mike Gordon [Project web page: http://www.cl.cam.ac.uk/ ∼mjcg/dev/] 1 Add to Reading List Source URL: www.cl.cam.ac.uk - Date: 2006-02-15 16:31:44
8	Robin Milner – Verification, Languages, and Concurrency Andrew D. Gordon, Microsoft Research Robert Harper, Carnegie Mellon University John Harrison, Intel Corporation Alan Jeffrey, Bell Labs Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2011-10-18 12:40:33
9	Robin Milner 1934–2010 Verification, Languages, and Concurrency Andrew D. Gordon Robert Harper Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2011-10-18 12:43:43
10	Dynamics and Relativity Professor Gordon Ogilvie Mathematical Tripos, Part IA Lent Term 2015 Add to Reading List Source URL: www.damtp.cam.ac.uk Language: English - Date: 2015-02-11 06:30:04

UPDATE