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

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

454773_1_En_2_PartFrontmatter

Source URL: link.springer.com

MB Type One-Person Font License (1) This license covers one person: you, the license owner. Below, I’ll shorten this to “you.” (2) I, Matthew Butterick (d/b/a MB Type), own the fonts delivered with this license. Be

Source URL: typographyforlawyers.com

• Digital typography
• Typography
• Typesetting
• Writing
• Web design
• Web typography
• World Wide Web
• Digital media
• Graphic design
• Font
• Google Fonts
• TrueType

Plasma 1. What’s wrong? 2. What’s happening now? 3. Plasmafication!

Source URL: edcon.io

A Bit-fixing PRF with O(1) Collusion-Resistance from LWE Alex Davidson1,? and Ryo Nishimaki2 1 2

Source URL: eprint.iacr.org

• Cryptography
• Mathematics
• Number theory
• Post-quantum cryptography
• Spectral theory
• Algebra
• Distribution
• Pseudorandom function family
• Learning with errors
• Jordan normal form
• Decomposition of spectrum