Nordic Journal of Computing On the Expressive Power of Polyadic Synchronisation in π-calculus∗ Marco Carbone BRICS†

Source URL: www.doc.ic.ac.uk

• Process calculi
• Mathematics
• Theoretical computer science
• Logic
• -calculus
• Computability theory
• Number theory
• Process calculus
• Join-calculus
• Lambda calculus
• Distribution
• Substitution

From First-order Temporal Logic to Parametric Trace Slicing Giles Reger and David Rydeheard University of Manchester, Manchester, UK Abstract. Parametric runtime verification is the process of verifying properties of ex

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

• Temporal logic
• Formal languages
• Logic
• Metalogic
• Mathematical logic
• Linear temporal logic
• Mathematics
• Model theory
• Symbol
• Computation tree logic
• Interpretation
• Well-formed formula

Snarky Signatures: Minimal Signatures of Knowledge from Simulation-Extractable SNARKs

Source URL: www0.cs.ucl.ac.uk

• Cryptocurrencies
• Private currencies
• Computing
• Cryptography
• Zcash
• Decentralization
• Information
• Blockchain
• Data
• Anonymity
• Bitcoin Private

Playing Stochastic Games Precisely Taolue Chen1 , Vojtˇech Forejt1 , Marta Kwiatkowska1 , Aistis Simaitis1 , Ashutosh Trivedi2 , and Michael Ummels3 1 Department of Computer Science, University of Oxford, Oxford, UK

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

• Mathematics
• Measure theory
• Boolean algebra
• Experiment
• Sigma-algebra
• Determinacy
• Abstract algebra
• Stochastic game
• -automaton
• Lie algebras
• Lifting theory
• Littelmann path model

PDF Document

Source URL: www.cl.cam.ac.uk

• Software
• Proof assistants
• Computing
• Logic in computer science
• JEdit
• Isabelle
• Standard ML
• Plug-in
• Selection
• Logic for Computable Functions
• HOL
• Isabel

Smart Contracts for Bribing Miners Patrick McCorry, Alexander Hicks, and Sarah Meiklejohn University College London {p.mccorry,alexander.hicks.16,s.meiklejohn}@ucl.ac.uk Abstract. We present three smart contracts that a

Source URL: smeiklej.com

• Cryptocurrencies
• Bitcoin
• Blockchains
• Economy
• Money
• Computing
• Alternative currencies
• Digital currencies
• Ethereum
• Fork
• Mining pool
• Smart contract

PDF Document

Source URL: www.trinity.ox.ac.uk

Second International Competition on Runtime Verification CRV 2015 Yli`es Falcone1 , Dejan Nickovic2 , Giles Reger3 , and Daniel Thoma4 1

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

• Computing
• Cross-platform software
• Logic in computer science
• Runtime verification
• Benchmark
• Standard Performance Evaluation Corporation
• Computer performance
• Java

Mixture Density Networks Christopher M. Bishop Neural Computing Research Group Dept. of Computer Science and Applied Mathematics Aston University

Source URL: publications.aston.ac.uk

• Mathematical analysis
• Probability and statistics
• Probability theory
• Machine learning
• Computational neuroscience
• Computational statistics
• Artificial neural networks
• Bayesian statistics
• Gaussian function
• Mixture model
• Mixture distribution
• Joint probability distribution

Motivation Edits Better than Verdicts Adding Labels

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