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

Towards inferring environment models for control functions from recorded signal data Henrik Peters, Falk Howar, Andreas Rausch Clausthal University of Technology, Department of Informatics Julius-Albert-Str. 4, 38678 Cla

Source URL: www.falkhowar.de

• Finite-state machine
• Image segmentation
• Machine learning
• Cellular automata
• Finite automata
• Automata theory
• Cognition
• Cognitive science
• Artificial intelligence

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

Jamie Hayes Contact Information University College London Dept. of Computer Science

Source URL: www.homepages.ucl.ac.uk

• Computing
• Internet
• Free software
• Adversarial machine learning
• Computer security
• Machine learning
• Privacy
• Internet privacy
• Deep learning
• Tor

Program Synthesis using Abstraction Refinement XINYU WANG, University of Texas at Austin, USA ISIL DILLIG, University of Texas at Austin, USA RISHABH SINGH, Microsoft Research, USA We present a new approach to example-gu

Source URL: rishabhmit.bitbucket.io

• Theoretical computer science
• Metaphysics
• Mathematical logic
• Temporal logic
• Computability theory
• Model theory
• Formal languages
• Finite-state machine
• Computation tree logic
• Abstraction
• Abstract interpretation
• IP

Suggesting Valid Hole Fits for Typed-Holes (Experience Report) Matthías Páll Gissurarson Chalmers University of Technology, Sweden

Source URL: mpg.is

• Software engineering
• Programming language theory
• Computing
• Type theory
• Data types
• Functional languages
• Type systems
• Lambda calculus
• HindleyMilner type system
• Haskell
• Agda
• Dependent type

The Potential of Interference-Based Proof Systems Marijn J.H. Heule and Benjamin Kiesl The University of Texas at Austin and Vienna University of Technology ARCADE in Gothenburg, Sweden

Source URL: www.cs.utexas.edu

• Mathematical logic
• Mathematics
• Theoretical computer science
• Automated theorem proving
• Logic in computer science
• Methods of proof
• Boolean algebra
• Mathematical proofs
• Proof complexity
• Boolean satisfiability problem

Practical Template-Algebraic Side Channel Attacks with Extremely Low Data Complexity Yossef Oren, Ofir Weisse and Avishai Wool Cryptography and Network Security Lab School of Electrical Engineering Tel-Aviv University, R

Source URL: www.ofirweisse.com

• Statistical classification
• Coding theory
• Computer arithmetic
• Error detection and correction
• Machine learning
• Computing
• Naive Bayes classifier
• Learning
• Advanced Encryption Standard
• Block cipher
• Bit array
• Hamming

Complex Patterns in Dynamic Attributed Graphs Rina Singh, Jeffrey A. Graves, Douglas A. Talbert Department of Computer Science Tennessee Technological University Cookeville, TN USA

Source URL: gdac.uqam.ca

• Graph theory
• Mathematics
• Discrete mathematics
• Directed graph
• Graph
• Centrality
• Topological graph theory
• Degree
• Sequence
• Sequential pattern mining
• Directed acyclic graph
• Pathwidth