2 2

Results: 835450



#Item
1Transport / 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

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

Add to Reading List

Source URL: mutcd.fhwa.dot.gov

Language: English - Date: 2012-04-30 19:02:00
2Cryptography / Public-key cryptography / Commitment scheme / Secret sharing / Computational hardness assumption / Digital signature / Entropy / XTR

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

Add to Reading List

Source URL: precision.moscito.org

Language: English - Date: 2011-03-20 04:03:37
3Itemis / YAKINDU Statechart Tools / Application software / Software license

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

Add to Reading List

Source URL: legal.itemis.com

Language: English - Date: 2018-08-08 08:21:48
4Economy / Labour law / Social programs / Welfare economics / Social justice / Unemployment / Yoy / Microeconomics / Labour economics / Economics / Workforce / Labour Party

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

Add to Reading List

Source URL: www.mol.go.th

Language: English - Date: 2016-07-12 09:04:39
5Trucking industry in the United States / Road safety / Transport / Federal Motor Carrier Safety Administration / Fuel tank / African Growth and Opportunity Act

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

Add to Reading List

Source URL: 34.232.160.87

Language: English - Date: 2001-12-04 14:16:38
6Artificial neural networks / Mathematics / Computational neuroscience / Applied mathematics / Mathematical analysis / Lipschitz continuity / operator / Continuous function / Gradient descent / Convolutional neural network / Rectifier / Deep learning

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

Add to Reading List

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

Language: English - Date: 2018-05-14 04:41:41
7Mathematical analysis / Mathematics / Dynamic programming / Markov decision process / Stochastic control / Sigma-algebra

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

Add to Reading List

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

Language: English - Date: 2013-12-01 11:49:36
8Debugging / Logic in computer science / Runtime verification / Software optimization / Computing / Instrumentation / Tracing / Information technology management / Management

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

Add to Reading List

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

Language: English - Date: 2016-10-13 07:25:09
9Mathematics / Arithmetic / Interval / Bracket / E1

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

Add to Reading List

Source URL: rjoshi.org

Language: English - Date: 2018-01-10 13:23:57
10Supreme Court of the United States

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

Add to Reading List

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

Language: English - Date: 2018-04-17 11:24:24
    UPDATE