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

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

BPOE-9 Call for Papers -------------------------------- The Ninth Workshop on Big Data Benchmarks, Performance Optimization, and Emerging Hardware (BPOE-9) Web: http://prof.ict.ac.cn/bpoe-9/

Source URL: prof.ict.ac.cn

• Data management
• Chinese Academy of Sciences
• University of the Chinese Academy of Sciences
• Big data
• International Conference on Architectural Support for Programming Languages and Operating Systems
• Benchmark
• Database
• Computing
• Data
• Information

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

VSTTE 2008 Verified Software: Theories, Tools, Experiments October 6 to 9 Toronto All talks, tutorials, and panels take place in the Champagne

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

• Harbourfront
• PATH
• Toronto Transit Commission
• Ontario
• Yonge Street
• Union station
• King station
• Queens Quay
• Queen station
• Gardiner Expressway
• Bay station

AC P M | AC A R R WEBINAR The ACPM Webinar Program provides ACPM Members with an opportunity to provide ACPM Members and non-members with easy access to timely, relevant and educational online sessions. ACPM will manage

Source URL: www.acpm.com

• ACPM
• Web conferencing

Evaluation of RSVP and Mobility-aware RSVP Using Performance Evaluation Process Algebra Hao Wang and David I. Laurenson Jane Hillston

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

• Internet architecture
• Computing
• Network architecture
• Internet
• Quality of service
• Teletraffic
• Resource Reservation Protocol
• Network protocols
• Integrated services
• Mobile IP
• Handover
• RSVP