Synthesis for Multi-Objective Stochastic Games: An Application to Autonomous Urban Driving Taolue Chen, Marta Kwiatkowska, Aistis Simaitis, and Clemens Wiltsche Department of Computer Science, University of Oxford, Unite

Source URL: www.prismmodelchecker.org

• Mathematical analysis
• Mathematics
• Statistical randomness
• Measure theory
• Boolean algebra
• Experiment
• Sigma-algebra
• Markov chain
• Determinacy
• Linear temporal logic
• Stochastic game
• Markov decision process

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

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

Closed-loop quantitative verification of rate-adaptive pacemakers Marta Kwiatkowska1, Nicola Paoletti2, Andrea Patanè1 1) University of Oxford (UK); 2) Stony Brook University (USA) Closed-loop model

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

• Cardiac electrophysiology
• Medicine
• Physiology
• Circulatory system
• Artificial cardiac pacemaker
• QT interval
• Electrocardiography
• Heart arrhythmia
• Cardiac pacemaker
• Atrioventricular block
• Pacing

Benjamin Bronni PARTITION #1 15. 11. – Opening on 14 November, 2017 at 6 pm G99 Gallery, The House of the Lords of Kunštát, Dominikánská 9, Brno Curator: Marta Fišerová Cwikl

Source URL: www.dum-umeni.cz

Marta Besantini Nasce a Ferrara nelA seguito di una formazione artistica, un’esperienza di alcuni anni di artista itinerante dello spettacolo e artigiana d’arte, si trasferisce in Francia per dodici anni dove

Source URL: www.totemartifestival.com

TIBET PAVILION project by Ruggero Maggi Santa Marta Congressi – SpazioPorto – Venice 9 maggio – 2 agosto 2015 Under the Patronage of the Municipality of Venice Tibet Pavilion, curated by Ruggero Maggi, participates

Source URL: www.padiglionetibet.com

Organisers: Bartholomew Ryan, Marta Faustino, Antonio Cardiello International Conference / Conferência Internacional with the collaboration of Casa Fernando Pessoa

Source URL: www.ifilnova.pt

Workshop on Interdisciplinary Methods for Therapeutic and Diagnostic Human Robot Interaction Marta Capiluppi, University of Verona, Italy Agnieszka Wykowska, Luleå University of Technology, Sweden,

Source URL: metropolis.scienze.univr.it