Finite Horizon Analysis of Markov Automata Dissertation zur Erlangung des akademischen Grades des Doktors der Ingenieurwissenschaften (Dr.-Ing.) der Fakultät für Mathematik und Informatik der Universität des Saarlande

Source URL: cgi.csc.liv.ac.uk

• Markov models
• Concurrency
• Graph theory
• Markov chain
• Stochastic
• Petri net
• Computing
• Mathematics
• Formal methods

Abstraction Refinement for Probabilistic Software Mark Kattenbelt, Marta Kwiatkowska, Gethin Norman, and David Parker Oxford University Computing Laboratory, Parks Road, Oxford, OX1 3QD Abstract. We present a methodolog

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

• Metaphysics
• Formal methods
• Theoretical computer science
• Modal logic
• Philosophical logic
• Predicate abstraction
• Markov decision process
• Logic
• Refinement
• Abstraction
• Krivine machine

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
• Compulsory education
• Tenth grade
• Vocational education
• Education in Germany
• Ninth grade
• Student
• Hauptschule
• State school
• Apprenticeship

PDF Document

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

SCAN2018@TOKYO : Sep. 14th Time Program Venue

Source URL: scan2018.oishi.info.waseda.ac.jp

• Building
• Identifiers
• Storey

Bisimilarity of Probabilistic Pushdown Automata Vojtěch Forejt1 , Petr Jančar2 , Stefan Kiefer1 , and James Worrell1 1 2 Department of Computer Science, University of Oxford, UK

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

• Formal languages
• Mathematics
• Theoretical computer science
• Models of computation
• Discrete mathematics
• Nested word
• Words
• Bisimulation
• Distribution
• Deterministic pushdown automaton

The Alan Turing Institute SME Consultation Understanding the data science and artificial intelligence (AI) needs of UK SMEs The Alan Turing Institute has commenced work to better understand and engage with small and medi

Source URL: www.turing.ac.uk

• Economy
• Business
• Mathematics
• Alan Turing
• Small and medium-sized enterprises
• Gay men
• Artificial intelligence
• European Digital SME Alliance

PDF Document

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

• Mathematical proof
• Isabelle

Isolating JavaScript with Filters, Rewriting, and Wrappers Sergio Maffeis1 , John C. Mitchell2 , and Ankur Taly2 1 Imperial College London

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

• Software engineering
• Computing
• Computer programming
• Functional languages
• Control flow
• High-level programming languages
• Programming language comparisons
• Programming language syntax
• Eval
• JavaScript
• Scope
• Dynamic programming language

Precise client-side protection against DOM-based Cross-Site Scripting Ben Stock FAU Erlangen-Nuremberg Sebastian Lekies

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

• Computing
• Software engineering
• Computer programming
• Functional languages
• Web programming
• HTML
• Hacking
• Cross-site scripting
• Ajax
• JavaScript
• Code injection
• HTTP cookie