Permissive Controller Synthesis for Probabilistic Systems Klaus Dr¨ ager3 , Vojtˇech Forejt1 , Marta Kwiatkowska1 , David Parker2 , and Mateusz Ujma1 1

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

• Linear temporal logic
• Temporal logic
• Control theory
• Applied mathematics
• Systems science
• Mathematics

We know (nearly) nothing! But can we learn? Stephan Schulz DHBW Stuttgart

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

• Theoretical computer science
• School of Computer Science
• University of Manchester
• Software
• Automated theorem proving
• Logic in computer science
• Mathematical logic
• E theorem prover
• Prover9
• Vampire
• Andrei Voronkov
• Geoff Sutcliffe
• Rewriting

Noname manuscript No. (will be inserted by the editor) Programming Discrete Distributions with Chemical Reaction Networks Luca Cardelli · Marta Kwiatkowska · Luca Laurenti

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

• Mathematics
• Mathematical analysis
• Poisson distribution
• Distribution
• Markov chain
• Valuation
• Binomial distribution
• Probability distribution
• Random variable

Farewell to Servers: Hardware, Software, and Network Approaches towards Datacenter Resource Disaggregation Yiying Zhang

Source URL: prof.ict.ac.cn

Stroboscope: Declarative Network Monitoring on a Budget Olivier Tilmans Université catholique de Louvain

Source URL: inl.info.ucl.ac.be

Resource disaggregation for the 99% Irina Calciu, Aasheesh Kolli, Jayneel Gandhi, Stanko Novakovic, Marcos K. Aguilera, Rajesh Venkatasubramanian, Pratap Subrahmanyam

Source URL: workshops.inf.ed.ac.uk

• Computing
• Central processing unit
• Pool
• System resource
• Thread

Modelling the Influence of RKIP on the ERK Signalling Pathway Using the Stochastic Process Algebra PEPA Muffy Calder1 , Stephen Gilmore2 , and Jane Hillston2 1

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

• Signal transduction
• Cell signaling
• Protein kinase inhibitors
• MAPK/ERK pathway
• Raf kinase inhibitor protein
• RAF kinase
• Metabolic pathway
• Pathway
• C-Raf

Analysis of a Gossip Protocol in PRISM Marta Kwiatkowska, Gethin Norman and David Parker Oxford University Computing Laboratory, Wolfson Building, Parks Road, Oxford, OX1 3QD ABSTRACT Gossip protocols have been proposed

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

• Network architecture
• Distributed computing
• Gossip protocol
• PRISM model checker
• Computing
• Application software
• Distributed data storage
• Software
• Game theory

Calibrating the Classifier: Siamese Neural Network Architecture for End-to-End Arousal Recognition from ECG Andrea Patan`e and Marta Kwiatkowska Department of Computer Science, University of Oxford

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

• Artificial neural networks
• Computational neuroscience
• Applied mathematics
• Neuroscience
• Cybernetics
• Computational statistics
• Market research
• Deep learning
• Heart rate variability
• Emotion recognition
• Recurrent neural network
• Affective computing

Agent Verification Workshop — Panel University of Liverpool, 11th September 2015 Agent Verification Workshop — Panel Panelists:

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