51![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 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](https://www.pdfsearch.io/img/abee46186a84a424bf790b8f8bd73d4b.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2008-10-24 07:08:14
|
---|
52![HONG KONG INSTITUTE FOR MONETARY RESEARCH THE FLOW-PERFORMANCE RELATIONSHIP IN EMERGING MARKET BOND FUNDS David Leung and Max Kwong HONG KONG INSTITUTE FOR MONETARY RESEARCH THE FLOW-PERFORMANCE RELATIONSHIP IN EMERGING MARKET BOND FUNDS David Leung and Max Kwong](https://www.pdfsearch.io/img/a8bb369c27bb4ab2698607d2a66455d7.jpg) | Add to Reading ListSource URL: www.hkimr.orgLanguage: English - Date: 2018-01-25 21:40:50
|
---|
53![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 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](https://www.pdfsearch.io/img/01b0043ca025326717f55fe644b634d2.jpg) | Add to Reading ListSource URL: clark.ohioboe.com- Date: 2017-04-21 08:13:56
|
---|
54![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 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](https://www.pdfsearch.io/img/2412c87241ec3c7d044bf31e19ba226e.jpg) | Add to Reading ListSource URL: zhang-sai.github.ioLanguage: English - Date: 2015-05-05 00:58:35
|
---|
55![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 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](https://www.pdfsearch.io/img/9a874594086702bc9bf5de623858d56a.jpg) | Add to Reading ListSource URL: clark.ohioboe.comLanguage: English - Date: 2018-08-22 11:06:10
|
---|
56![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 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](https://www.pdfsearch.io/img/83dac54b9d817a742735b4365c37555b.jpg) | Add to Reading ListSource URL: infoscience.epfl.chLanguage: English - Date: 2018-01-29 20:02:27
|
---|
57![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 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](https://www.pdfsearch.io/img/6ef2290de19f5ffcc83c28c42aae4474.jpg) | Add to Reading ListSource URL: www.nucypher.comLanguage: English |
---|
58![A Framework for Verification of Software with Time and Probabilities Marta Kwiatkowska1 , Gethin Norman2 , and David Parker1 1 2 A Framework for Verification of Software with Time and Probabilities Marta Kwiatkowska1 , Gethin Norman2 , and David Parker1 1 2](https://www.pdfsearch.io/img/1cc74f365717e9679f27172e2df43a28.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2010-09-08 19:38:18
|
---|
59![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 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](https://www.pdfsearch.io/img/466a0c88da0330f1ffbcc8f64e15af6c.jpg) | Add to Reading ListSource URL: www.or.emory.eduLanguage: English - Date: 2018-10-16 09:01:14
|
---|
60![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 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](https://www.pdfsearch.io/img/b707c7d91380a5d8cabf4dd57848de23.jpg) | Add to Reading ListSource URL: clark.ohioboe.com- Date: 2017-04-21 08:14:20
|
---|