131![CLARK COUNTY BOARD OF ELECTIONS Board Members Ted McClenen, Chairperson Lynda Smith Max Cordle David Hartley Director Jason Baker Deputy Director Amber Lopez December 2, 2016 CLARK COUNTY BOARD OF ELECTIONS Board Members Ted McClenen, Chairperson Lynda Smith Max Cordle David Hartley Director Jason Baker Deputy Director Amber Lopez December 2, 2016](https://www.pdfsearch.io/img/d10cc1a716e4c81586ccdb0b45659fe0.jpg) | Add to Reading ListSource URL: clark.ohioboe.com- Date: 2017-04-21 08:14:30
|
---|
132![A Tale of Two Erasure Codes in HDFS Mingyuan Xia, McGill University; Mohit Saxena, Mario Blaum, and David A. Pease, IBM Research Almaden https://www.usenix.org/conference/fast15/technical-sessions/presentation/xia This A Tale of Two Erasure Codes in HDFS Mingyuan Xia, McGill University; Mohit Saxena, Mario Blaum, and David A. Pease, IBM Research Almaden https://www.usenix.org/conference/fast15/technical-sessions/presentation/xia This](https://www.pdfsearch.io/img/3bfe6b736b568b06202aa6825dd5559a.jpg) | Add to Reading ListSource URL: www.usenix.orgLanguage: English - Date: 2016-02-20 22:28:51
|
---|
133![Dissent in Numbers: Making Strong Anonymity Scale David Isaac Wolinsky, Henry Corrigan-Gibbs, and Bryan Ford Yale University Aaron Johnson U.S. Naval Research Laboratory Dissent in Numbers: Making Strong Anonymity Scale David Isaac Wolinsky, Henry Corrigan-Gibbs, and Bryan Ford Yale University Aaron Johnson U.S. Naval Research Laboratory](https://www.pdfsearch.io/img/d8351a8e6b3c973155252f8da1c83918.jpg) | Add to Reading ListSource URL: www.usenix.orgLanguage: English |
---|
134![NuCypher KMS: 分布式密钥管理系统 Michael Egorov∗ 和 MacLane Wilkison† NuCypher David Nuñez‡ NICS 实 验 室, 马 拉 加 大 学, 西 班 牙 NuCypher KMS: 分布式密钥管理系统 Michael Egorov∗ 和 MacLane Wilkison† NuCypher David Nuñez‡ NICS 实 验 室, 马 拉 加 大 学, 西 班 牙](https://www.pdfsearch.io/img/ddb9fb0a4bd1a4565cb9277c0578cadb.jpg) | Add to Reading ListSource URL: www.nucypher.comLanguage: Chinese |
---|
135![CLARK COUNTY BOARD OF ELECTIONS Board Members Ted McClenen, Chairperson Lynda Smith Max Cordle David Hartley Director Jason Baker Deputy Director Amber Lopez December 2, 2016 CLARK COUNTY BOARD OF ELECTIONS Board Members Ted McClenen, Chairperson Lynda Smith Max Cordle David Hartley Director Jason Baker Deputy Director Amber Lopez December 2, 2016](https://www.pdfsearch.io/img/c26b3f558253e6e23546c77541cb8e00.jpg) | Add to Reading ListSource URL: clark.ohioboe.com- Date: 2017-04-21 08:14:27
|
---|
136![1 Poster: HoneyBot- A Honeypot for Robotic Systems Celine Irvene, Member, IEEE, David Formby, Member, IEEE, Sam Litchfield, Member, IEEE, and Raheem Beyah, Senior Member, IEEE 1 Poster: HoneyBot- A Honeypot for Robotic Systems Celine Irvene, Member, IEEE, David Formby, Member, IEEE, Sam Litchfield, Member, IEEE, and Raheem Beyah, Senior Member, IEEE](https://www.pdfsearch.io/img/1a06ee2c909b4e50a52a8f248f04fb32.jpg) | Add to Reading ListSource URL: www.ieee-security.orgLanguage: English - Date: 2017-05-07 21:48:38
|
---|
137![CLARK COUNTY BOARD OF ELECTIONS Board Members Lynda Smith, Chairperson Ted A. McClenen Max Cordle David Hartley Deputy Director Jason Baker February 8, 2016 The Board will hold a regular meeting on Tu CLARK COUNTY BOARD OF ELECTIONS Board Members Lynda Smith, Chairperson Ted A. McClenen Max Cordle David Hartley Deputy Director Jason Baker February 8, 2016 The Board will hold a regular meeting on Tu](https://www.pdfsearch.io/img/7f57ee94954a43b643c02e8cc9c10aae.jpg) | Add to Reading ListSource URL: clark.ohioboe.com- Date: 2017-04-21 08:13:56
|
---|
138![Mining Method Handle Graphs for Efficient Dynamic JVM Languages Shijie Xu, David Bremner Daniel Heidinga Mining Method Handle Graphs for Efficient Dynamic JVM Languages Shijie Xu, David Bremner Daniel Heidinga](https://www.pdfsearch.io/img/4007008cf1d2077a9e6f77930fbed3a2.jpg) | Add to Reading ListSource URL: xushijie.github.ioLanguage: English - Date: 2018-09-18 22:05:07
|
---|
139![Compositional Verification of Probabilistic Systems using Learning Lu Feng, Marta Kwiatkowska, David Parker Oxford University Computing Laboratory, Parks Road, Oxford, OX1 3QD Email: {lu.feng, marta.kwiatkowska, david.pa Compositional Verification of Probabilistic Systems using Learning Lu Feng, Marta Kwiatkowska, David Parker Oxford University Computing Laboratory, Parks Road, Oxford, OX1 3QD Email: {lu.feng, marta.kwiatkowska, david.pa](https://www.pdfsearch.io/img/91a55978232df96da9f59fab6bc3cb8a.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2010-08-20 07:50:57
|
---|
140![Automated Verification of Concurrent Stochastic Games Marta Kwiatkowska1 , Gethin Norman2 , David Parker3 , and Gabriel Santos1 1 Department of Computing Science, University of Oxford, UK Automated Verification of Concurrent Stochastic Games Marta Kwiatkowska1 , Gethin Norman2 , David Parker3 , and Gabriel Santos1 1 Department of Computing Science, University of Oxford, UK](https://www.pdfsearch.io/img/59defa8fbc23388317b1ce2192c8cafe.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2018-06-25 05:08:25
|
---|