Public

Results: 935553



#Item
41Birthday Honours / Enchanted Island / New Year Honours

BYO 2018 Programme.qxp_Layout:29 Page 73 We would like to thank... Everyone who has supported British Youth Opera in 2017 andSupported using public funding by

Add to Reading List

Source URL: www.byo.org.uk

Language: English - Date: 2018-09-02 03:44:45
42106th United States Congress / African Growth and Opportunity Act / Sub-Saharan Africa / Title 19 of the United States Code / Africa / Generalized System of Preferences / Foreign relations of the United States / World / Economy

PUBLIC LAW 108–274—JULY 13, 2004 AGOA ACCELERATION ACT OF 2004 VerDate 11-MAY-2000

Add to Reading List

Source URL: otexa.trade.gov

Language: English - Date: 2009-02-10 12:38:58
43Computational science / Applied mathematics / Modeling and simulation / Scientific modeling / Simulation / Computer simulation / Control theory / Self-driving car / Systems science

Utilizing S-TaLiRo as an Automatic Test Generation Framework for Autonomous Vehicles Cumhur Erkan Tuncali, Theodore P. Pavlic and Georgios Fainekos Abstract— This paper proposes an approach to automatically generating

Add to Reading List

Source URL: www.public.asu.edu

Language: English - Date: 2018-02-08 19:28:54
44Survey methodology / Measurement / Sampling / Response rate / Scientific method

Survey of Burma/Myanmar Public Opinion March 9 – April 1, 2017 Detailed Methodology •

Add to Reading List

Source URL: www.iri.org

Language: English - Date: 2018-01-29 10:31:53
45Temporal logic / Algebraic structures / Mathematics / Mathematical logic / Theoretical computer science / Linear temporal logic / Logic in computer science / Computation tree logic / MVS / Boolean domain / Boolean algebra / Finite-state machine

Optimal Multi-Valued LTL Planning for Systems with Access Right Levels Mohammad Hekmatnejad, and Georgios Fainekos Abstract— We propose a method for optimal Linear Temporal Logic (LTL) planning under incomplete or unce

Add to Reading List

Source URL: www.public.asu.edu

Language: English - Date: 2018-02-27 19:23:46
46Temporal logic / Algebraic structures / Mathematics / Logic / Metaphysics / Linear temporal logic / Logic in computer science / Computation tree logic / Non-classical logic / Model checking / Many-valued logic / Lattice

Temporal Logic Control under Incomplete or Conflicting Information Georgios Fainekos, and Herbert G. Tanner Abstract— Temporal logic control methods have provided a viable path towards solving the single- and multi-rob

Add to Reading List

Source URL: www.public.asu.edu

Language: English - Date: 2018-02-08 16:28:11
47Disability / Reasonable accommodation / Discrimination / Human behavior / Behavior / Human rights / Americans with Disabilities Act / Draft:Anti-Corruption and Public Integrity Act

§ TITLE 42—THE PUBLIC HEALTH AND WELFARE AMENDMENTS 2008—ParPub. L. 110–325 struck out ‘‘with a disability’’ after ‘‘individual’’ in heading and the first two

Add to Reading List

Source URL: www.gpo.gov

Language: English - Date: 2018-04-26 06:22:17
48Internal Revenue Code / United States Code

PUBLIC LAW 110–436—OCT. 16, 2008 kgrant on POHRRP4G1 with PUBLAW ANDEAN TRADE PREFERENCE EXTENSION

Add to Reading List

Source URL: 34.232.160.87

Language: English - Date: 2008-12-16 10:04:00
49Cryptography / Secure multi-party computation / Authenticated encryption / Ciphertext indistinguishability / Public-key cryptography / Cryptographic protocol / Encryption / Digital signature / Standard model / Key / Advantage

Fairness in an Unfair World: Fair Multiparty Computation from public Bulletin Boards Arka Rai Choudhuri Johns Hopkins University Matthew Green

Add to Reading List

Source URL: eprint.iacr.org

Language: English - Date: 2017-11-10 07:57:54
UPDATE