Soundness

Results: 384



#Item
41Consumer Financial Protection Bureau / Corporate crime / United States federal banking legislation / Consumer protection / Plain language / Financial regulation / Richard Cordray / Financial literacy / Consumer Financial Protection Safety and Soundness Improvement Act / Mortgage Choice Act

Message from Richard Cordray Director of the CFPB The Consumer Financial Protection Bureau must submit an annual report on how it does plain writing. This is our fifth annual report, which fulfills this duty under the P

Add to Reading List

Source URL: www.consumerfinance.gov

Language: English
42Proof theory / Non-classical logic / Model theory / Philosophical logic / Deductive reasoning / Sequent / Cut-elimination theorem / Soundness / Linear logic / Propositional calculus / First-order logic / Rule of inference

Focused and Synthetic Nested Sequents Kaustuv Chaudhuri, Sonia Marin, and Lutz Straßburger ´ Inria & LIX/Ecole polytechnique, France {kaustuv.chaudhuri,sonia.marin,lutz.strassburger}@inria.fr

Add to Reading List

Source URL: www.lix.polytechnique.fr

Language: English - Date: 2016-01-11 07:50:10
43Loans / Mortgage broker / Mortgage loan

September 22, 2011 Vetting the Lender By VI CKI E ELM ER BEFORE buying a house, borrowers will undoubtedly do a thorough check of the property, examining its structural soundness and the surrounding neighborhood, among

Add to Reading List

Source URL: www.upfrontmortgagebrokers.org

Language: English - Date: 2012-02-26 02:00:00
44Computational complexity theory / Proof of knowledge / NP / IP / Soundness / PP / Certificate / XTR / Zero-knowledge proof / ZPP

ETH Zurich, Department of Computer Science FS 2015 Prof. Dr. Ueli Maurer Dr. Martin Hirt Sandro Coretti

Add to Reading List

Source URL: www.crypto.ethz.ch

Language: English - Date: 2015-03-16 06:09:39
45Multiplication / Elementary arithmetic / Mathematics education / Binary operations / Mathematical notation / Multiplication algorithm / Arithmetic / Division algorithm / Grid method multiplication / Algorithm / Natural number / Matrix

Review of Mathematical Soundness Background Notes for WA State Curriculum Study W. Stephen Wilson, Ph.D. A few standards have been chosen for close scrutiny of their mathematical development. There is no time to do this

Add to Reading List

Source URL: www.math.jhu.edu

Language: English - Date: 2014-09-07 11:01:16
46Banking / Systemic risk / Financial markets / Market liquidity / Asset liability management / Basel III

August 10, 2016 Daiwa Securities Group Inc. Report Regarding Consolidated Liquidity Coverage Ratio Situation of Soundness in Liquidity Management as of First Quarter in Fiscal Year 2016

Add to Reading List

Source URL: www.daiwa-grp.jp

Language: English - Date: 2016-08-10 02:07:38
47Proof theory / Deductive reasoning / Logic programming / Soundness

An Essence of SSReflect Iain Whiteside, David Aspinall, and Gudmund Grov CISA, School of Informatics University of Edinburgh Edinburgh EH8 9AB, Scotland

Add to Reading List

Source URL: homepages.inf.ed.ac.uk

Language: English - Date: 2013-01-09 06:40:19
48Process management / Process modeling / Process theory / Systems engineering / 3D modeling / Business process modeling / Soundness / Petri net

On the suitability of correctness criteria for business process models BPM 2005 Juliane Dehnert, Fraunhofer ISST Berlin

Add to Reading List

Source URL: bpm2005.loria.fr

Language: English - Date: 2005-09-12 10:45:10
49

PRB Guidelines for Actuarial Soundness (Adopted September 28, The funding of a pension plan should reflect all plan obligations and assets. 2. The allocation of the normal cost portion of the contributions shoul

Add to Reading List

Source URL: www.prb.state.tx.us

- Date: 2014-05-22 13:12:37
    50Proof theory / Zero-knowledge proof / IP / Soundness / BPP / Computational complexity theory / Probabilistic complexity theory / ArthurMerlin protocol / Proof of knowledge

    On the Composition of Public-Coin Zero-Knowledge Protocols Rafael Pass1 , Wei-Lung Dustin Tseng1 , and Douglas Wikström2 1 2

    Add to Reading List

    Source URL: www.nada.kth.se

    Language: English - Date: 2012-05-30 08:52:23
    UPDATE