Soundness - PDFSEARCH.IO - Document Search Engine

Soundness
Results: 384

#	Item
131	This document is scheduled to be published in the Federal Register onand available online at http://federalregister.gov/a, and on FDsys.gov BILLING CODE: P Add to Reading List Source URL: www.carh.org Language: English - Date: 2015-03-25 14:33:08 Economy of the United States Housing Law Federal Housing Finance Agency Freddie Mac Fannie Mae Housing and Economic Recovery Act Conservatorship Federal Housing Enterprises Financial Safety and Soundness Act Affordable housing Mortgage industry of the United States Subprime mortgage crisis
132	Lecture 18 - Zero Knowledge (cont), identification protocols Boaz Barak April 7, 2010 Reading Boneh-Shoup chapter 18. Review Protocol QR Add to Reading List Source URL: www.cs.princeton.edu Language: English - Date: 2010-04-07 12:26:01 Proof of knowledge IP Soundness Alice and Bob NP XTR Zero-knowledge proof Cryptographic protocols Cryptography Applied mathematics
133	LICENSING AND SUPERVISION OF INSURANCE BUSINESS Corporate Governance Directives No. SIB/…./2015 Whereas, corporate governance plays a vital role in maintaining the safety and soundness of financial system in general an Add to Reading List Source URL: www.nbe.gov.et Language: English - Date: 2015-01-02 07:54:50 Private law Committees Management Auditing Board of directors Audit committee Chief executive officer Internal audit Corporations law Corporate governance Business
134	Soundness Verification of Unit 4 Reactor Building at Fukushima Daiichi Nuclear Power Station May 16, 2012 Tokyo Electric Power Company Add to Reading List Source URL: www4.tepco.co.jp Language: English - Date: 2012-05-17 03:21:58 geology geomorphology Spent fuel pool Technology Nondestructive testing Concrete Schmidt hammer
135	Soundness Verification Results of Unit 4 Reactor Building at Fukushima Daiichi Nuclear Power Station May 25, 2012 Tokyo Electric Power Company Add to Reading List Source URL: www4.tepco.co.jp Language: English - Date: 2012-05-25 20:25:24 Building Elevator Storey
136	Interactive proofs with competing teams of no-signaling provers Add to Reading List Source URL: cjtcs.cs.uchicago.edu Language: English - Date: 2013-07-24 10:11:20 NEXPTIME IP NP Soundness KeY Logic programming Interactive proof system Zero-knowledge proof Theoretical computer science Applied mathematics Complexity classes
137	Soundness and its Role in Bug Detection Systems Yichen Xie Mayur Naik Brian Hackett Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2005-07-07 17:38:30 Proof theory Software engineering Soundness Mathematical logic Usability Programming language Type system Compiler optimization Software bug Deduction Logic Model theory
138	Improved Soundness for QMA with Multiple Provers Add to Reading List Source URL: cjtcs.cs.uchicago.edu Language: English - Date: 2013-01-14 01:47:53 Quantum complexity theory QMA Probabilistic complexity theory Proof theory Model theory IP Probabilistically checkable proof Cook–Levin theorem Time complexity Theoretical computer science Computational complexity theory Applied mathematics
139	Down with kinds: adding dependent heterogeneous equality to FC (Extended Version) Stephanie Weirich Justin Hsu Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2014-07-10 05:47:14 Entailment Logical consequence Metalogic Soundness Logic Deduction Proof theory
140	Composition of Zero-Knowledge Proofs with Efficient Provers∗ Eleanor Birrell† Salil Vadhan‡ Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2009-12-07 14:26:58 Cryptographic protocols Complexity classes Interactive proof system Zero-knowledge proof Proof of knowledge Quantum complexity theory IP NP Soundness Theoretical computer science Computational complexity theory Cryptography