Tight Parallel Repetition Theorems for Public-Coin Arguments using KL-divergence Kai-Min Chung1,⋆ and Rafael Pass2,⋆⋆ 1 Academia Sinica

Source URL: eprint.iacr.org

• Statistical theory
• Kullback–Leibler divergence
• Thermodynamics
• Soundness
• Mathematics
• IP
• Information theory
• Proof theory
• Logic
• Science

Proving Compilers Correct Formal Certification of a Compiler Back-end X. Leroy; POPL ’06 Automated Soundness Proofs for Dataflow Analyses and Transformations via Local Rules S. Lerner, T. Millstein, E. Rice, and C. Cha

Source URL: www.cs.cmu.edu

• Compiler
• Programming language implementation
• Principles of Programming Languages
• Compilers
• Software
• Compiler construction
• Computing

Restructuring the Banking System to Improve Safety and Soundness

Source URL: www.fdic.gov

• Banking
• Financial institutions
• Financial crises
• Financial markets
• Bank regulation in the United States
• Shadow banking system
• Bank
• Federal Reserve System
• Investment banking
• Economics
• Finance
• Financial economics

The US Embassy, Khartoum has a requirement to hire a qualified Consultant to assess the structural soundness and safety of four residential units at the Presidential Villas, and, if needed, suggest corrective actions to

Source URL: photos.state.gov

HUD’s AFFORDABLE LENDING GOALS FOR FANNIE MAE AND FREDDIE MAC

Source URL: www.huduser.org

• Freddie Mac
• Government-sponsored enterprise
• United States Department of Housing and Urban Development
• Federal Housing Administration
• Mortgage-backed security
• Federal Housing Enterprises Financial Safety and Soundness Act
• Community Reinvestment Act
• Affordable housing
• Government-owned corporation
• Mortgage industry of the United States
• Economy of the United States
• Fannie Mae

MICHIGAN EDUCATION TRUST - PLANS B AND C ACTUARIAL SOUNDNESS VALUATION REPORT AS OF SEPTEMBER 30, 2013 December 20, 2013

Source URL: michigan.gov

• Science
• Demography
• Actuary
• Economics
• Valuation
• American Academy of Actuaries
• Texas Tomorrow Fund
• IAS 19
• Insurance
• Actuarial science
• Finance

The National Flood Insurance Program: Factors Affecting Actuarial Soundness

Source URL: www.cbo.gov

• Investment
• Financial institutions
• Institutional investors
• National Flood Insurance Program
• Flood insurance
• Actuarial science
• Risk purchasing group
• Flood Insurance Reform Act
• Insurance
• Financial economics
• Types of insurance

WHERE AN APPROVAL IS ISSUED TO RE FLOOR A WALLED SILO NEITHER THE MINISTER OR ANY OFFICIAL OF THE FARM DEVELOPMENT SERVICE SHALL ACCEPT RESPONSIBILITY OR BE LI.~LE IN ANY WAY FOR THE SOUNDNESS OR OTHERWISE OF ANY SILO WA

Source URL: www.agriculture.gov.ie

• Concrete
• Silo
• Properties of concrete
• Shallow foundation
• Silage
• Asphalt
• Floor
• Formwork
• Building materials
• Construction
• Architecture

ECB LAMFALUSSY FELLOWSHIP PROGRAMME How does competition affect efficiency and soundness in ­banking?

Source URL: www.ecb.europa.eu

• European Central Bank
• Bank
• Central bank
• Industrial organization
• Euro
• Efficiency
• Competition
• Economics
• European Union
• Thought

Actuarial Soundness & the Health Insurer Fee The Balanced Budget Act of 1997 requires states to pay Medicaid health plans actuarially sound rates – payments adequate to cover medical costs, administration, taxes & fees

Source URL: www.mhpa.org

• Medicaid
• 111th United States Congress
• Government
• Health
• Politics
• Medicare
• Patient Protection and Affordable Care Act
• Health insurance
• Social Security
• Healthcare reform in the United States
• Federal assistance in the United States
• Presidency of Lyndon B. Johnson