71![Pareto Curves for Probabilistic Model Checking Vojtˇech Forejt1 , Marta Kwiatkowska1 , and David Parker2 1 2 Department of Computer Science, University of Oxford, UK Pareto Curves for Probabilistic Model Checking Vojtˇech Forejt1 , Marta Kwiatkowska1 , and David Parker2 1 2 Department of Computer Science, University of Oxford, UK](https://www.pdfsearch.io/img/1c341bb13b932479a2bb79495145a571.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2012-06-29 07:04:13
|
---|
72![An ISP-Scale Deployment of TapDance Sergey Frolov1 , Fred Douglas3 , Will Scott5 , Allison McDonald5 , Benjamin VanderSloot5 , Rod Hynes6 , Adam Kruger6 , Michalis Kallitsis4 , David G. Robinson7 , Steve Schultze2 , Niki An ISP-Scale Deployment of TapDance Sergey Frolov1 , Fred Douglas3 , Will Scott5 , Allison McDonald5 , Benjamin VanderSloot5 , Rod Hynes6 , Adam Kruger6 , Michalis Kallitsis4 , David G. Robinson7 , Steve Schultze2 , Niki](https://www.pdfsearch.io/img/0d803ae1b1f89c99bf63e85b3bb974a6.jpg) | Add to Reading ListSource URL: www.usenix.orgLanguage: English |
---|
73![An ISP-Scale Deployment of TapDance Sergey Frolov1 , Fred Douglas3 , Will Scott5 , Allison McDonald5 , Benjamin VanderSloot5 , Rod Hynes6 , Adam Kruger6 , Michalis Kallitsis4 , David G. Robinson7 , Steve Schultze2 , Niki An ISP-Scale Deployment of TapDance Sergey Frolov1 , Fred Douglas3 , Will Scott5 , Allison McDonald5 , Benjamin VanderSloot5 , Rod Hynes6 , Adam Kruger6 , Michalis Kallitsis4 , David G. Robinson7 , Steve Schultze2 , Niki](https://www.pdfsearch.io/img/4eb4f9013519d0e6310348875c729ec6.jpg) | Add to Reading ListSource URL: benvds.comLanguage: English - Date: 2018-09-18 11:06:16
|
---|
74![CLARK COUNTY BOARD OF ELECTIONS Board Members Ted A. McClenen, Chairperson Lynda Smith Max Cordle David Hartley Director Jason Baker May 13, 2016 The Board will be in session during the Special Congre CLARK COUNTY BOARD OF ELECTIONS Board Members Ted A. McClenen, Chairperson Lynda Smith Max Cordle David Hartley Director Jason Baker May 13, 2016 The Board will be in session during the Special Congre](https://www.pdfsearch.io/img/1b5184982c366a6330548e7b71eb8183.jpg) | Add to Reading ListSource URL: clark.ohioboe.com- Date: 2017-04-21 08:14:03
|
---|
75![Verification of Markov Decision Processes using Learning Algorithms? Tom´asˇ Br´azdil1 , Krishnendu Chatterjee2 , Martin Chmel´ık2 , Vojtˇech Forejt3 , Jan Kˇret´ınsk´y2 , Marta Kwiatkowska3 , David Parker4 , a Verification of Markov Decision Processes using Learning Algorithms? Tom´asˇ Br´azdil1 , Krishnendu Chatterjee2 , Martin Chmel´ık2 , Vojtˇech Forejt3 , Jan Kˇret´ınsk´y2 , Marta Kwiatkowska3 , David Parker4 , a](https://www.pdfsearch.io/img/5934d7192fe666b759508ed74986fa25.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2015-03-30 13:03:10
|
---|
76![THE HISTORY OF STANDARD ML IDEAS, PRINCIPLES, CULTURE David MacQueen University of Chicago (Emeritus) THE HISTORY OF STANDARD ML IDEAS, PRINCIPLES, CULTURE David MacQueen University of Chicago (Emeritus)](https://www.pdfsearch.io/img/78291c4211cadc3d2249e48ec3061b51.jpg) | Add to Reading ListSource URL: sml-family.orgLanguage: English - Date: 2016-04-04 09:33:37
|
---|
77![Homomorphic Proxy Re-Authenticators and Applications to Verifiable Multi-User Data Aggregation David Derler, Sebastian Ramacher, and Daniel Slamanig April 2017—FC 2017, Sliema, Malta Homomorphic Proxy Re-Authenticators and Applications to Verifiable Multi-User Data Aggregation David Derler, Sebastian Ramacher, and Daniel Slamanig April 2017—FC 2017, Sliema, Malta](https://www.pdfsearch.io/img/bae41b4da9437d7a89e0eb2882cbdbc6.jpg) | Add to Reading ListSource URL: david.derler.infoLanguage: English - Date: 2018-10-15 14:18:42
|
---|
78![CLARK COUNTY BOARD OF ELECTIONS Board Members Sue DeVoe Allen, Chairperson Lynda Smith David Hartley John Pickarski Director Jason Baker Deputy Director Amber Lopez December 15, 2017 The Board wil CLARK COUNTY BOARD OF ELECTIONS Board Members Sue DeVoe Allen, Chairperson Lynda Smith David Hartley John Pickarski Director Jason Baker Deputy Director Amber Lopez December 15, 2017 The Board wil](https://www.pdfsearch.io/img/564ad9d1b2677ec0630a92c311fbb633.jpg) | Add to Reading ListSource URL: clark.ohioboe.com- Date: 2018-08-15 15:33:13
|
---|
79![CLARK COUNTY BOARD OF ELECTIONS Board Members Ted A. McClenen, Chairperson Lynda Smith Max Cordle David Hartley Director Jason Baker Deputy Director Amber Lopez November 16, 2016 The Board will be CLARK COUNTY BOARD OF ELECTIONS Board Members Ted A. McClenen, Chairperson Lynda Smith Max Cordle David Hartley Director Jason Baker Deputy Director Amber Lopez November 16, 2016 The Board will be](https://www.pdfsearch.io/img/2b6656f46680d1748319904168d0b697.jpg) | Add to Reading ListSource URL: clark.ohioboe.com- Date: 2017-04-21 08:14:24
|
---|
80![Generating compact MTBDD-representations from Probmela specifications Frank Ciesinski1 , Christel Baier1 , Marcus Gr¨oßer1 , David Parker2 1 Generating compact MTBDD-representations from Probmela specifications Frank Ciesinski1 , Christel Baier1 , Marcus Gr¨oßer1 , David Parker2 1](https://www.pdfsearch.io/img/8813a6e4f33f1e4b1d852aad8b5102d9.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2008-05-28 08:04:09
|
---|