Soundness - PDFSEARCH.IO - Document Search Engine

Soundness
Results: 384

#	Item
31	LNCSBatch Proofs of Partial Knowledge Add to Reading List Source URL: homes.soic.indiana.edu Language: English - Date: 2016-05-12 20:00:31 Cryptography Mathematics Computational complexity theory Proof theory Zero-knowledge proof Proof of knowledge IP Soundness Distribution
32	Chapter 3 Simple Types We study simple types in this chapter, We first formalize a simply-typed programming language L0 and then establish its type soundness, setting some machinery for development in the following chap Add to Reading List Source URL: www.cs.bu.edu Language: English - Date: 2009-12-18 13:56:03 Computability theory Lambda calculus Theoretical computer science Computer science Mathematics Academia Proof theory
33	July 27, 2016 Daiwa Securities Group Inc. Report Regarding Consolidated Capital Adequacy Ratio And Consolidated Leverage Ratio Situation of Soundness in Management as of March 31, 2016 Add to Reading List Source URL: www.daiwa-grp.jp Language: English - Date: 2016-07-27 02:00:07 Economy Finance Money Banking Systemic risk Insurance Daiwa Securities Group Capital requirement Derivative Credit rating agency Basel II Capital adequacy ratio
34	An Eﬃcient Parallel Repetition Theorem Johan H˚ astad1 , Rafael Pass2, Douglas Wikstr¨ om3 , and Krzysztof Pietrzak4 1 KTH, Stockholm, supported by ERC grant Add to Reading List Source URL: www.nada.kth.se Language: English - Date: 2012-05-30 08:53:38 Computational complexity theory Cryptography Theory of computation Probabilistic complexity theory IP Zero-knowledge proof Soundness PP Entropy NP Randomized algorithm Interactive proof system
35	The Focused Calculus of Structures Kaustuv Chaudhuri, Nicolas Guenot, and Lutz Straßburger INRIA & LIX/École Polytechnique Route de Saclay, 91128 Palaiseau, France {kaustuv,nguenot,lutz}@lix.polytechnique.fr Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2011-06-22 07:54:11 Logic Proof theory Mathematical logic Sequent Linear logic Cut-elimination theorem Noncommutative logic Rule of inference Soundness Natural deduction CurryHoward correspondence
36	Joint Committee on Performance Evaluation and Expenditure Review (PEER) The Mississippi Legislature Action Brief: The Public Employees’ Retirement System: 2015 Update on Financial Soundness, Delays in Application Proce Add to Reading List Source URL: www.peer.state.ms.us Language: English - Date: 2015-12-22 09:26:25 Finance Money Economy Insurance Actuarial science Demography Pension PERS Canada Pension Plan
37	June 29, 2016 Daiwa Securities Group Inc. Report Regarding Consolidated Liquidity Coverage Ratio Situation of Soundness in Liquidity Management as of Fourth Quarter in Fiscal Year 2015 Add to Reading List Source URL: www.daiwa-grp.jp Language: English - Date: 2016-06-29 02:05:41 Money Economy Finance Systemic risk Banking Financial markets Financial risk Liquidity risk Market liquidity Asset Asset liability management Basel III
38	J. Cryptol: 116–135 DOI: s00145x Parallel Repetition of Computationally Sound Protocols Revisited∗ Krzysztof Pietrzak Add to Reading List Source URL: www.nada.kth.se Language: English - Date: 2012-05-30 09:00:34 Complexity classes Cryptography Computational complexity theory Proof of knowledge IP Quantum complexity theory Soundness NP Commitment scheme PSPACE PP Security parameter
39	January 29, 2016 Daiwa Securities Group Inc. Report Regarding Situation of Soundness in Management as of September 30, 2015 Add to Reading List Source URL: www.daiwa-grp.jp Language: English - Date: 2016-01-29 01:05:30 Banking Financial economics Financial accounting Generally Accepted Accounting Principles Financial markets Daiwa Securities Group Capital requirement Balance sheet Capital adequacy ratio Tier 1 capital Derivative Equity
40	February 16, 2016 Daiwa Securities Group Inc. Report Regarding Consolidated Liquidity Coverage Ratio Situation of Soundness in Liquidity Management as of third Quarter in Fiscal Year 2015 Add to Reading List Source URL: www.daiwa-grp.jp Language: English - Date: 2016-03-02 01:00:18 Systemic risk Banking Financial markets Market liquidity Asset liability management Liquidity crisis