101![Proposal for a Standardization of Mathematical Function Implementation in Floating-Point Arithmetic David Defour Guillaume Hanrot Jean-Michel Muller Proposal for a Standardization of Mathematical Function Implementation in Floating-Point Arithmetic David Defour Guillaume Hanrot Jean-Michel Muller](https://www.pdfsearch.io/img/a73407626bb7674c7a77467de437755a.jpg) | Add to Reading ListSource URL: perso.ens-lyon.frLanguage: English - Date: 2005-01-20 09:50:18
|
---|
102![Quantitative Multi-Objective Verification for Probabilistic Systems Vojtˇech Forejt1 , Marta Kwiatkowska1 , Gethin Norman2 , David Parker1 , and Hongyang Qu1 1 2 Quantitative Multi-Objective Verification for Probabilistic Systems Vojtˇech Forejt1 , Marta Kwiatkowska1 , Gethin Norman2 , David Parker1 , and Hongyang Qu1 1 2](https://www.pdfsearch.io/img/34e0adfbbdfee9af5dec087ee886f9ed.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2012-01-11 18:39:29
|
---|
103![CLARK COUNTY BOARD OF ELECTIONS Board Members Ted A. McClenen, Chairperson Lynda Smith Max Cordle David Hartley Director Jason Baker June 10, 2016 The Board will complete the Official Canvass of the J CLARK COUNTY BOARD OF ELECTIONS Board Members Ted A. McClenen, Chairperson Lynda Smith Max Cordle David Hartley Director Jason Baker June 10, 2016 The Board will complete the Official Canvass of the J](https://www.pdfsearch.io/img/4997defd2040c00f2ddf4a2e4da7bb11.jpg) | Add to Reading ListSource URL: clark.ohioboe.com- Date: 2017-04-21 08:14:05
|
---|
104![Assume-Guarantee Verification for Probabilistic Systems Marta Kwiatkowska1 , Gethin Norman2 , David Parker1 , and Hongyang Qu1 1 2 Assume-Guarantee Verification for Probabilistic Systems Marta Kwiatkowska1 , Gethin Norman2 , David Parker1 , and Hongyang Qu1 1 2](https://www.pdfsearch.io/img/d893592ac2222a27957298aeecadeed1.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2010-04-16 06:37:28
|
---|
105![SCMon: Leveraging Segment Routing to Improve Network Monitoring Franc¸ois Aubry, David Lebrun, Stefano Vissicchio, Minh Thanh Khong, Yves Deville, Olivier Bonaventure ICTEAM, Universit´e catholique de Louvain, Louvain- SCMon: Leveraging Segment Routing to Improve Network Monitoring Franc¸ois Aubry, David Lebrun, Stefano Vissicchio, Minh Thanh Khong, Yves Deville, Olivier Bonaventure ICTEAM, Universit´e catholique de Louvain, Louvain-](https://www.pdfsearch.io/img/508f526bada1e85d5703824685f3f25e.jpg) | Add to Reading ListSource URL: inl.info.ucl.ac.beLanguage: English - Date: 2018-05-31 05:55:26
|
---|
106![CLARK COUNTY BOARD OF ELECTIONS Board Members Sue DeVoe Allen, Chairperson Lynda Smith David Hartley John Pickarski Director Jason Baker Deputy Director Amber Lopez July 18, 2017 CLARK COUNTY BOARD OF ELECTIONS Board Members Sue DeVoe Allen, Chairperson Lynda Smith David Hartley John Pickarski Director Jason Baker Deputy Director Amber Lopez July 18, 2017](https://www.pdfsearch.io/img/f334d83f7e6703b76d5a83494c687738.jpg) | Add to Reading ListSource URL: clark.ohioboe.com- Date: 2017-07-18 14:23:06
|
---|
107![Source Accountability with Domain-brokered Privacy Taeho Lee, Christos Pappas, David Barrera, Pawel Szalachowski, Adrian Perrig ETH Zürich {kthlee, pappasch, david.barrera, psz, adrian.perrig}@inf.ethz.ch ABSTRACT Source Accountability with Domain-brokered Privacy Taeho Lee, Christos Pappas, David Barrera, Pawel Szalachowski, Adrian Perrig ETH Zürich {kthlee, pappasch, david.barrera, psz, adrian.perrig}@inf.ethz.ch ABSTRACT](https://www.pdfsearch.io/img/704e9b57f48d3e1a3b1c29f18e8b4bc5.jpg) | Add to Reading ListSource URL: www.netsec.ethz.chLanguage: English |
---|
108![Stochastic Games for Verification of Probabilistic Timed Automata Marta Kwiatkowska, Gethin Norman, and David Parker Oxford University Computing Laboratory, Parks Road, Oxford, OX1 3QD Abstract. Probabilistic timed auto Stochastic Games for Verification of Probabilistic Timed Automata Marta Kwiatkowska, Gethin Norman, and David Parker Oxford University Computing Laboratory, Parks Road, Oxford, OX1 3QD Abstract. Probabilistic timed auto](https://www.pdfsearch.io/img/9f9940c799424b6e3fe17faf8701609f.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2010-04-16 06:37:28
|
---|
109![CLARK COUNTY BOARD OF ELECTIONS Board Members Sue DeVoe Allen, Chairperson Lynda Smith David Hartley John Pickarski Director Jason Baker Deputy Director Amber Lopez June 26, 2017 The Board will ho CLARK COUNTY BOARD OF ELECTIONS Board Members Sue DeVoe Allen, Chairperson Lynda Smith David Hartley John Pickarski Director Jason Baker Deputy Director Amber Lopez June 26, 2017 The Board will ho](https://www.pdfsearch.io/img/dd5d450df2030af728cb4ec6994a9e6c.jpg) | Add to Reading ListSource URL: clark.ohioboe.com- Date: 2017-06-26 08:11:11
|
---|
110![Call for Submissions on the Protection of Sources and Whistleblowers by the United Nations Special Rapporteur on the promotion and protection of the right to freedom of opinion and expression, David Kaye Written Submissi Call for Submissions on the Protection of Sources and Whistleblowers by the United Nations Special Rapporteur on the promotion and protection of the right to freedom of opinion and expression, David Kaye Written Submissi](https://www.pdfsearch.io/img/fe5d2dbb3a21ead0cb2f2f1cde243795.jpg) | Add to Reading ListSource URL: ccrjustice.orgLanguage: English - Date: 2015-06-26 15:45:52
|
---|