Quantitative Verification and Strategy Synthesis for Stochastic Games M´aria Svoreˇnov´a and Marta Kwiatkowska Abstract— Design and control of computer systems that operate in uncertain, competitive or adversarial,

Source URL: www.prismmodelchecker.org

• Mathematical analysis
• Mathematics
• Measure theory
• Boolean algebra
• Experiment
• Sigma-algebra
• Determinacy
• Stochastic game
• Linear temporal logic
• Markov chain
• Markov decision process

Microsoft Word - OpenAIRE2020_D3.3.docx

Source URL: www.coar-repositories.org

• Academic publishing
• Publishing
• Open access
• Knowledge
• Scholarly communication
• Communication
• Research
• JISC
• Institutional repository
• Open-access repository
• OpenDOAR
• COnnecting REpositories

Frobenius Additive Fast Fourier Transform Wen-Ding Li Ming-Shing Chen Po-Chun Kuo

Source URL: precision.moscito.org

Poster: PredicTor: Predicting Fast Circuits For A Faster User Experience in Tor Armon Barton, Mohsen Imani, Matthew Wright, and Jiang Ming I. I NTRODUCTION Tor is a low-latency anonymity system designed for TCPbased appl

Source URL: www.ieee-security.org

• Computing
• Internet
• Statistical classification
• Free software
• Dark web
• Secure communication
• Tor
• Relay
• K-nearest neighbors algorithm
• Outline of machine learning
• Bandwidth
• .tor

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

Alloy as an Introduction to Formal Methods

Source URL: alloytools.org

SPONSORSHIP PACK 2018 WELCOME! Thank you for downloading the WordCamp Manchester 2018 sponsorship pack. This pack provides an overview of the options we have available, should you be interested in investing some of you

Source URL: 2018.manchester.wordcamp.org

• Software
• Digital media
• Computing
• Social media
• Social networking services
• Blog software
• WordPress
• Blog
• Manchester
• Instagram
• Twitter

Here’s a sigh for the try in vain to get in your vein... MAY 2008 Send stuff to A new presence on the airwaves For almost two decades the FM dial in London has been awash with illegal radio

Source URL: www.randomartists.org

• Music
• Breakcore
• The Organ
• 9
• Therapy
• The King Blues
• Awake

PDF Document

Source URL: africandrumminglaws.org

Exceptionalism and Exemptionalism: Framing US Public Opinion on the International Criminal Court* Kelebogile Zvobgo† October 17, 2018 Abstract

Source URL: www.saramitchell.org

• Foreign relations
• Law
• Government
• International Criminal Court
• Foreign relations of the United States
• American exceptionalism
• Framing
• International criminal law
• Genocide