Proof - PDFSEARCH.IO - Document Search Engine

Proof
Results: 11440

#	Item
431	Computational Soundness of (Interactive) Zero-Knowledge Proof Systems in the Presence of Active Adversaries Yusuke Kawamoto1 (Jointly with Gergei Bana2 and Hideki Sakurada3) 1 Add to Reading List Source URL: www.rcis.aist.go.jp - Date: 2009-04-13 05:46:31
432	Proof, beliefs, and algorithms through the lens of sum-of-squares 1 Cheeger’s inequality Let G be a d-regular graph with vertex set V = [n]. For a vertex Add to Reading List Source URL: sumofsquares.org - Date: 2016-11-17 19:44:26
433	22 JanuaryERC Proof of Concept grants 2015 Examples of projects Harnessing bionic silkworms Add to Reading List Source URL: erc.europa.eu - Date: 2016-01-22 05:54:35
434	Jason M Rute* (), University Park, PAApplication of computable continuous model theory to a question in proof theory. There are many ways to express that a sequence converges. They Add to Reading List Source URL: www.ams.org - Date: 2015-08-29 00:40:53
435	Proof, beliefs, and algorithms through the lens of sum-of-squares 1 An integrality gap for the planted clique problem The Planted Clique problem (sometimes referred to as the hidden clique Add to Reading List Source URL: sumofsquares.org - Date: 2016-11-17 19:44:26
436	I. P ROOFS OF L EMMAS 7, 8, AND 10 A. Proof of Lemma 7 Proof: First, write the first order conditions for fd and f † , and let ui , vi + wi : 0 = Λ∇N (fd ) + Add to Reading List Source URL: 18798-presscdn-pagely.netdna-ssl.com - Date: 2016-08-15 19:17:47
437	Proof, beliefs, and algorithms through the lens of sum-of-squares 1 Introduction The terms “Algebra” and “Algorithm” both originate from the same Add to Reading List Source URL: www.sumofsquares.org - Date: 2016-11-17 19:44:26
438	Barrier Proof April 21, 2016 This document gives the Iris version of the specification and proof of the barrier originally presented in Add to Reading List Source URL: plv.mpi-sws.org - Date: 2016-11-09 09:18:07
439	Isabelle/Isar — a versatile environment for human-readable formal proof documents Markus M. Wenzel Lehrstuhl f¨ur Software & Systems Engineering Institut f¨ Add to Reading List Source URL: mediatum.ub.tum.de
440	ERC Proof of Concept GrantConsolidaded DeadlinesLast Name First Name Add to Reading List Source URL: erc.europa.eu - Date: 2016-01-22 05:50:49

UPDATE