Modelling Dynamic Web Data ? Philippa Gardner, Sergio Maffeis ∗ Department of Computing 180 Queen’s Gate, South Kensington Campus, Imperial College London SW7 2AZ, UK.

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

• Process calculi
• Theoretical computer science
• -calculus
• Process calculus
• Computability theory
• Markov models
• Computer science
• Normal distribution
• Cognitive science
• Algorithm characterizations

Defining Recursive Functions in Isabelle/HOL Alexander Krauss Abstract This tutorial describes the use of the function package, which provides general recursive function definitions for Isabelle/HOL. We start with very

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

• Computer programming
• Recursion
• Mathematical logic
• Software engineering
• Computability theory
• Theory of computation
• Theoretical computer science
• -recursive function
• Recursive definition
• Well-founded relation
• Functional programming
• Pattern matching

Selecting the Selection? Kryˇstof Hoder, Giles Reger1 , Martin Suda1 , and Andrei Voronkov1,2,3 1 2

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

• Logic
• Automated theorem proving
• Propositional calculus
• Mathematical logic
• Logic programming
• Mathematics
• Rules of inference
• Resolution
• Clause
• Literal
• Unit propagation
• E theorem prover

Zero Returns to Compulsory Schooling in Germany: Evidence and Interpretation Jörn-Ste¤en Pischke LSE Till von Wachter

Source URL: econ.lse.ac.uk

• Education
• Secondary education
• Educational stages
• Tertiary education
• Ninth grade
• Tenth grade
• Education in Germany
• Twelfth grade
• Hauptschule
• Vocational education
• Compulsory education
• Student

Chemical and Odour Removal of the UltraStream Water Treatment System

Source URL: alkaway.co.uk

• Chemistry
• Chemical elements
• Water pollution
• Drinking water
• Water
• Tap water
• Water filter
• Arsenic
• Magnesium in biology
• Water treatment
• Chlorine

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

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