Declarative Game Programming Distilled Tutorial Henrik Nilsson Ivan Perez

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

• Software engineering
• Declarative programming
• Computing
• Functional programming
• Programming paradigms
• Evaluation strategy
• Functional reactive programming
• Digital signal processing
• Formal methods
• Arrow
• International Conference on Functional Programming
• Signal

LIPIcs Leibniz International Proceedings in Informatics Continuous-Time Stochastic Games with Time-Bounded Reachability

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

• Mathematics
• Mathematical analysis
• Group theory
• Geometric group theory
• Measure theory
• Boolean algebra
• Experiment
• Sigma-algebra
• Determinacy
• Kazhdan's property
• Jet bundle
• Orbifold

Handling Multiword Expressions in Causality Estimation Shota Sasaki, Sho Takase, Naoya Inoue, Naoaki Okazaki, Kentaro Inui Tohoku University {sasaki.shota, naoya-i, okazaki, inui}@ecei.tohoku.ac.jp .

Source URL: aclweb.org

• Metaphysics
• Linguistics
• Causality
• Conditionals
• Philosophy of science
• Idiom
• Causal reasoning
• Lexical item

The Protection of Information in Computer Systems JEROME H. SALTZER, SENIOR MEMBER, IEEE, AND MICHAEL D. SCHROEDER, MEMBER, IEEE Invited Paper Abstract - This tutorial paper explores the mechanics of

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

• Computer security
• Security engineering
• Prevention
• Security
• Crime prevention
• Cryptography
• Information governance
• National security
• Password
• Operating system
• Protection ring
• Capability-based security

Fraud Proofs: Maximising Light Client Security and Scaling Blockchains with Dishonest Majorities Mustafa Al-Bassam1 , Alberto Sonnino1 , and Vitalik Buterin2 1

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

FLIP the (Flow) Table: Fast LIghtweight Policy-preserving SDN Updates Stefano Vissicchio∗ , Luca Cittadini† ∗ Universit´e catholique de Louvain † RomaTre University

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

• Network flow problem
• Physics
• Internet architecture
• Flow network
• Routing
• Work

PRISM: Probabilistic Model Checking for Performance and Reliability Analysis Marta Kwiatkowska, Gethin Norman and David Parker Oxford University Computing Laboratory, Wolfson Building, Parks Road, Oxford, OX1 3QD {marta.

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

• Markov processes
• Probability
• Markov models
• Model checkers
• PRISM model checker
• Model checking
• Markov reward model
• Markov chain
• Markov decision process
• Probabilistic CTL
• Prism

Advances and Challenges of Probabilistic Model Checking Marta Kwiatkowska Gethin Norman David Parker Computing Laboratory Department of Computing Science

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

• Statistical randomness
• Temporal logic
• Theoretical computer science
• Probability
• Markov models
• Model checkers
• Markov processes
• Model checking
• PRISM model checker
• Markov decision process
• Linear temporal logic
• Computation tree logic

Microsoft Word - fpw_scanj_revision.doc

Source URL: econ.lse.ac.uk

• Education
• Human behavior
• Educational stages
• Tertiary education
• Training
• Apprenticeship
• Occupations
• Vocational education
• Electrician
• Vocational school
• Master craftsman