Proposal for a Standardization of Mathematical Function Implementation in Floating-Point Arithmetic David Defour Guillaume Hanrot Jean-Michel Muller

Source URL: perso.ens-lyon.fr

• Computer arithmetic
• Arithmetic
• Mathematics
• Computer architecture
• Rounding
• IEEE 754
• Double-precision floating-point format
• Interval arithmetic
• Significant figures
• NaN
• Sine
• Signed zero

Quantitative Multi-Objective Verification for Probabilistic Systems Vojtˇech Forejt1 , Marta Kwiatkowska1 , Gethin Norman2 , David Parker1 , and Hongyang Qu1 1 2

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

• Temporal logic
• Theoretical computer science
• Mathematical analysis
• Linear temporal logic
• Mathematics
• Computation tree logic
• Omega language
• Distribution

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

Source URL: clark.ohioboe.com

Assume-Guarantee Verification for Probabilistic Systems Marta Kwiatkowska1 , Gethin Norman2 , David Parker1 , and Hongyang Qu1 1 2

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

• Theoretical computer science
• Temporal logic
• Logic in computer science
• Linear temporal logic
• Finite automata
• PRISM model checker
• Randomized algorithm
• Computation tree logic
• PP
• Model checking
• Formal verification
• Probabilistic automaton

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-

Source URL: inl.info.ucl.ac.be

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

Source URL: clark.ohioboe.com

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 URL: www.netsec.ethz.ch

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

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

• Dynamic programming
• Markov decision process
• Stochastic control
• Symbol
• PP
• Probability and statistics
• Probability
• Theoretical computer science
• Models of computation

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

Source URL: clark.ohioboe.com

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

Source URL: ccrjustice.org

• Law
• Government
• Foreign relations
• Anti-corporate activism
• Dissent
• Freedom of expression
• Labour law
• Political terminology
• Whistleblower
• Edward Snowden
• WikiLeaks
• European Convention on Human Rights