Checkable Proofs for First-Order Theorem Proving Giles Reger1 , Martin Suda2 1 School of Computer Science, University of Manchester, UK 2 TU Wien, Vienna, Austria

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

• Software
• Automated theorem proving
• Theoretical computer science
• Formal methods
• TPTP
• Proof assistant
• Frama-C
• Theorem prover
• E theorem prover
• Theorem
• Isabelle

1 NNT : 2016SACLN058 Thèse de doctorat de l’Université Paris-Saclay

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

Symbolic Magnifying Lens Abstraction in Markov Decision Processes Pritam Roy1 David Parker2 Gethin Norman2 Luca de Alfaro1 Computer Engineering Dept, UC Santa Cruz, Santa Cruz, CA, USA 1 Oxford University Computing Labor

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

• Mathematics
• Dynamic programming
• Markov decision process
• Stochastic control
• Probability
• Mathematical analysis
• Reachability

Controller synthesis for MDPs and Frequency LTL\GU Vojtˇech Forejt1 , Jan Krˇc´al2 , and Jan Kˇret´ınsk´ y3 1

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

• Temporal logic
• Linear temporal logic
• Theoretical computer science
• Symbol
• Mathematical logic
• Computation tree logic

Protecting consumers from mis-selling of mobile services Schedule General Condition 23 on Sales and Marketing of Mobile Telephony Services

Source URL: trianglenetworks.co.uk

• Technology
• Mobile technology
• Information and communications technology
• Mobile telecommunications
• Deutsche Telekom
• Ofcom
• Postal system of the United Kingdom
• Television in the United Kingdom
• EE Limited
• Mobile phone
• Prepay mobile phone
• BT Group

fåîÉåíçêó ^ÅÅKVTNN táääá~ã=j~íÜÉëçå=m~éÉêë k~íáçå~ä=iáÄê~êó=çÑ=pÅçíä~åÇ

Source URL: www.nls.uk

LNBIStronger Computational Modelling of Signalling Pathways Using Both Continuous and Discrete-State Methods

Source URL: www.dcs.ed.ac.uk

• Stochastic simulation
• Biology
• Cell biology
• Scientific modeling
• PEPA
• Epidermal growth factor
• Simulation
• Scientific modelling
• Chemical kinetics
• Computer simulation

Decidability Results for Multi-objective Stochastic Games Romain Brenguier and Vojtˇech Forejt Department of Computer Science, University of Oxford, UK Abstract. We study stochastic two-player turn-based games in which

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

• Mathematical analysis
• Mathematical optimization
• Operations research
• Stochastic game
• Nash equilibrium
• Markov chain
• Determinacy
• Stochastic process
• Mathematics
• Analysis
• Multi-objective optimization

Why Information can be Free ˇ ce?† Ivana Caˇ ? Joanna J. Bryson†

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

• Computing
• Modeling and simulation
• Multi-agent systems
• Artificial intelligence
• Simulation software
• Complex systems theory
• Simulation
• NetLogo
• Agent-based model
• Intelligent agent
• Agent
• Economics

Who Am I? Secure Identity Registration on Distributed Ledgers Sarah Azouvi1 , Mustafa Al-Bassam1 , and Sarah Meiklejohn1 University College London {sarah.azouvi.13,mustafa.al-bassam.16,s.meiklejohn}@ucl.ac.uk

Source URL: smeiklej.com

• Cryptocurrencies
• Cryptography
• Economy
• Alternative currencies
• Computing
• Blockchains
• Decentralization
• Ethereum
• Bitcoin
• Public key infrastructure
• Smart contract
• Digital currency