Including Revision 1 dated May 2012 and Revision 2 dated May 2012 Including Revision 1 dated May 2012 and Revision 2 dated May 2012

Source URL: mutcd.fhwa.dot.gov

• Transport
• Traffic signs
• Land transport
• Road transport
• Manual on Uniform Traffic Control Devices
• Speed limit
• Street name sign
• Warning sign
• Crossbuck
• Road signs in the United States
• Radar speed sign

Efficient String-Commitment from Weak Bit-Commitment Kai-Min Chung1, , Feng-Hao Liu2, , Chi-Jen Lu3 , and Bo-Yin Yang3 1 2

Source URL: precision.moscito.org

• Cryptography
• Public-key cryptography
• Commitment scheme
• Secret sharing
• Computational hardness assumption
• Digital signature
• Entropy
• XTR

General Terms and Conditions of ITEMIS AG for Software Licenses itemis AG Version 2.0.1, General Terms and Conditions of ITEMIS AG for Software Licenses

Source URL: legal.itemis.com

• Itemis
• YAKINDU Statechart Tools
• Application software
• Software license

Monthly Labour Economics Report for May 2016 Summary on Labour Economic Conditions Employment in the labour market for May 2016, showed employment of 10,347,954 workers in the social security system (Section 33), a 2.80

Source URL: www.mol.go.th

• Economy
• Labour law
• Social programs
• Welfare economics
• Social justice
• Unemployment
• Yoy
• Microeconomics
• Labour economics
• Economics
• Workforce
• Labour Party

Federal Register / Vol. 66, NoFriday, November 2, Notices Accordingly, the Exchange is proposing to amend its Guidelines to permit

Source URL: 34.232.160.87

• Trucking industry in the United States
• Road safety
• Transport
• Federal Motor Carrier Safety Administration
• Fuel tank
• African Growth and Opportunity Act

Reachability Analysis of Deep Neural Networks with Provable Guarantees Wenjie Ruan1 , Xiaowei Huang2 , Marta Kwiatkowska1 Department of Computer Science, University of Oxford, UK 2 Department of Computer Science, Univers

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

• Artificial neural networks
• Mathematics
• Computational neuroscience
• Applied mathematics
• Mathematical analysis
• Lipschitz continuity
• operator
• Continuous function
• Gradient descent
• Convolutional neural network
• Rectifier
• Deep learning

Multi-objective discounted reward verification in graphs and MDPs Krishnendu Chatterjee1 , Vojtˇech Forejt2 , and Dominik Wojtczak3 1 2

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

• Mathematical analysis
• Mathematics
• Dynamic programming
• Markov decision process
• Stochastic control
• Sigma-algebra

What is a Trace? A Runtime Verification Perspective Giles Reger1 1 2

Source URL: www.cs.man.ac.uk

• Debugging
• Logic in computer science
• Runtime verification
• Software optimization
• Computing
• Instrumentation
• Tracing
• Information technology management
• Management

nfer – A Notation and System for Inferring Event Stream Abstractions? Sean Kauffman1 , Klaus Havelund2 , and Rajeev Joshi2 1 2

Source URL: rjoshi.org

• Mathematics
• Arithmetic
• Interval
• Bracket
• E1

SUPREME COURT OF COLORADO 2 East 14th Ave. Denver, COOriginal Proceeding Pursuant to Colo. Rev. Stat. § Appeal from the Ballot Title Board

Source URL: www.courts.state.co.us