Proof - PDFSEARCH.IO - Document Search Engine

Proof
Results: 11440

#	Item
391	Proof, beliefs, and algorithms through the lens of sum-of-squares Finding a sparse vector in a subspace The sparsest vector problem is the following: • Input: A subspace V ⊆ Rn of dimension k + 1 (given in the form Add to Reading List Source URL: sumofsquares.org - Date: 2016-11-17 19:44:26
392	Proof, beliefs, and algorithms through the lens of sum-of-squares 1 The sos algorithm over general domains So far our focus has been on the task of optimizing some n-variate Add to Reading List Source URL: sumofsquares.org - Date: 2016-11-17 19:44:26
393	A Proposal for a New Foundation for Proof Theory Alessio Guglielmi University of Bath 11 March 2016 Add to Reading List Source URL: cs.bath.ac.uk - Date: 2016-03-11 05:26:39
394	A Mechanical Soundness Proof for Subtyping Over Recursive Types Timothy Jones David J. Pearce School of Engineering and Computer Science Victoria University of Wellington, New Zealand {tim,djp}@ecs.vuw.ac.nz Add to Reading List Source URL: homepages.ecs.vuw.ac.nz - Date: 2016-06-28 21:00:30
395	Proof, beliefs, and algorithms through the lens of sum-of-squares 1 Unique Games and Small Set Expansion The Unique Games Conjecture (UGC) (Khotstates that for every Add to Reading List Source URL: sumofsquares.org - Date: 2016-11-30 18:56:07
396	Foundational proof certificates in first-order logic Zakaria Chihani, Dale Miller, and Fabien Renaud INRIA and LIX, Ecole Polytechnique, Palaiseau, France Abstract. It is the exception that provers share and trust each o Add to Reading List Source URL: www.lix.polytechnique.fr - Date: 2013-05-22 10:58:51
397	A Generalised cut-elimination Procedure through Subatomic Proof Systems Andrea Aler Tubella (joint work with Alessio Guglielmi) University of Bath Add to Reading List Source URL: aalertubelladotcom.files.wordpress.com - Date: 2016-04-12 16:45:01
398	A Subatomic Proof System Alessio Guglielmi (joint work with Andrea Aler Tubella) University of Bath 29th September 2014 Add to Reading List Source URL: cs.bath.ac.uk - Date: 2014-10-09 07:24:37
399	Generalising Cut-Elimination through Subatomic Proof Systems or The Math Stuff That I Do Andrea Aler Tubella University of Bath Add to Reading List Source URL: aalertubelladotcom.files.wordpress.com - Date: 2016-08-08 13:39:19
400	Proof, beliefs, and algorithms through the lens of sum-of-squares Mathematical background and pre work Mathematical background We will not assume a lot of mathematical background in this course but will use some basic n Add to Reading List Source URL: www.sumofsquares.org - Date: 2016-12-20 01:42:59

UPDATE