Abstraction Refinement for Probabilistic Software Mark Kattenbelt, Marta Kwiatkowska, Gethin Norman, and David Parker Oxford University Computing Laboratory, Parks Road, Oxford, OX1 3QD Abstract. We present a methodolog

Source URL: qav.comlab.ox.ac.uk

• Metaphysics
• Formal methods
• Theoretical computer science
• Modal logic
• Philosophical logic
• Predicate abstraction
• Markov decision process
• Logic
• Refinement
• Abstraction
• Krivine machine

HONG KONG INSTITUTE FOR MONETARY RESEARCH THE FLOW-PERFORMANCE RELATIONSHIP IN EMERGING MARKET BOND FUNDS David Leung and Max Kwong

Source URL: www.hkimr.org

• Finance
• Economy
• Money
• Funds
• Investment
• Mathematical finance
• Institutional investors
• Index fund
• Mutual fund
• Bond
• Investment management
• Rate of return

CLARK COUNTY BOARD OF ELECTIONS Board Members  Ted A. McClenen, Chairperson  Lynda Smith  David Hartley  Max Cordle Director  Jason Baker Deputy Director  Amber Lopez January 31, 2017 The Board will hol

Source URL: clark.ohioboe.com

Empirically Revisiting the Test Independence Assumption Sai Zhang, Darioush Jalali, Jochen Wuttke, Kıvanç Muşlu, Wing Lam, Michael D. Ernst, David Notkin University of Washington

Source URL: zhang-sai.github.io

• Design of experiments
• Psychometrics
• Statistical hypothesis testing
• Software testing
• Measurement

Board Members: Sue DeVoe Allen, Chairperson Lynda Smith ▪ David Hartley ▪ John Pickarski Director: Jason Baker ▪ Deputy Director: Amber Lopez PRESS RELEASE Wednesday, August 22, 2018

Source URL: clark.ohioboe.com

• Elections
• Voting
• Politics
• Absentee ballot
• Early voting
• Precinct
• Electronic voting

MD5 considered harmful today Creating a rogue CA certificate December 30, 2008 Alexander Sotirov, Marc Stevens, Jacob Appelbaum, Arjen Lenstra, David Molnar, Dag Arne Osvik, Benne de Weger

Source URL: infoscience.epfl.ch

• Cryptography
• Public-key cryptography
• Cryptographic hash functions
• Key management
• Cryptographic protocols
• Public key infrastructure
• MD5
• X.509
• Public key fingerprint
• Collision resistance
• MerkleDamgrd construction
• SHA-2

NuCypher: A proxy re-encryption network to empower privacy in decentralized systems Michael Egorov,∗ David Nuñez,† and MacLane Wilkison‡ NuCypher (Dated: June 19, 2018) NuCypher is a decentralized Key Management S

Source URL: www.nucypher.com

• Cryptography
• Public-key cryptography
• Key management
• Public key infrastructure
• Proxy re-encryption
• Identity-based cryptography
• Encryption
• Symmetric-key algorithm
• Key generation
• Integrated Encryption Scheme
• Hybrid cryptosystem
• Cipher

A Framework for Verification of Software with Time and Probabilities Marta Kwiatkowska1 , Gethin Norman2 , and David Parker1 1 2

Source URL: qav.comlab.ox.ac.uk

• Mathematical analysis
• Mathematics
• Constructible universe
• Distribution

Office of Research Administration FY17 Annual Report (ORA) Dr. David L. Wynes, Vice President for Research Administration Melanie Lawrence, Chief Business Officer for Research Administration FY17 Annual Report – Office

Source URL: www.or.emory.edu

• Druid Hills
• Georgia
• Emory University
• V-12 Navy College Training Program
• OSP

CLARK COUNTY BOARD OF ELECTIONS Board Members  Ted A. McClenen, Chairperson  Lynda Smith  David Hartley  Max Cordle Director  Jason Baker Deputy Director  Amber Lopez September 15, 2016 The Board will h

Source URL: clark.ohioboe.com