Compositional Verification of Probabilistic Systems using Learning Lu Feng, Marta Kwiatkowska, David Parker Oxford University Computing Laboratory, Parks Road, Oxford, OX1 3QD Email: {lu.feng, marta.kwiatkowska, david.pa

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

Distributed Computing Prof. R. Wattenhofer Imperceptible Audio Communication App Most people carry their smartphones in their pockets wherever they go. These smartphones

Source URL: www.tik.ee.ethz.ch

• Computing
• Mobile computers
• Smartphones
• Classes of computers
• Technology
• Wireless networking
• Wireless
• Bluetooth
• Microphone
• Wi-Fi

Distributed Computing Prof. R. Wattenhofer Automatic Karaoke Song Annotation with Deep Learning Be it KTV or Singstar; karaoke is a pastime loved by many. However, creating new karaoke

Source URL: www.tik.ee.ethz.ch

• Educational technology
• Online education
• Open educational resources
• Education
• Human behavior
• Learning
• Reference
• Coursera
• Deep learning
• Karaoke
• Andrew Ng
• Udacity

Learning-Based Testing the Sliding Window Behavior of TCP Implementations Paul Fiter˘au-Bro¸stean?1 and Falk Howar2 1 Institute for Computing and Information Sciences, Radboud University, Nijmegen,

Source URL: www.falkhowar.de

• Transmission Control Protocol
• Constructible universe
• Algorithm
• Sliding window protocol
• Mathematics
• Dimension reduction
• Computing
• Philosophy of mathematics

Automated Verification of Concurrent Stochastic Games Marta Kwiatkowska1 , Gethin Norman2 , David Parker3 , and Gabriel Santos1 1 Department of Computing Science, University of Oxford, UK

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

• Mathematical analysis
• Temporal logic
• Mathematics
• Computation tree logic
• Logic in computer science
• Determinacy
• Distribution
• Linear temporal logic
• Universal representation

On Quantitative Software Verification Marta Kwiatkowska Oxford University Computing Laboratory, Parks Road, Oxford, OX1 3QD Abstract: Software verification has made great progress in recent years, resulting in several to

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

• Formal methods
• Model checkers
• Metaphysics
• Model checking
• Theoretical computer science
• PRISM model checker
• Computing
• Refinement
• Abstraction
• Markov chain
• Stochastic

Digital manufacturing technology and convenient access to High Performance Computing (HPC) in industry R&D are essential to increase the quality of our products and the competitiveness of our companies. Progress can onl

Source URL: www.cloudbroker.com

• Computing
• Cloud computing
• IT infrastructure
• Cloud infrastructure
• Amazon Web Services
• Computer cluster
• Amazon Elastic Compute Cloud
• Draft:OnScale

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

HES-SO | Master of Science in Engineering Cloud Computing — Platform as a Service Academic year

Source URL: mse-cloud.s3-website-eu-west-1.amazonaws.com

• Computing
• Java platform
• Java enterprise platform
• Software architecture
• Cross-platform software
• Google App Engine
• Serverless computing
• Java servlet
• Application server
• Java
• Cloud computing
• Web application

ITRS 2004 Preliminary Version Sequence Types for the π-calculus Sergio Maffeis 1 Department of Computing, Imperial College London,

Source URL: www.doc.ic.ac.uk

• Mathematical logic
• Mathematics
• Theoretical computer science
• Lambda calculus
• Deductive reasoning
• Natural deduction
• Proof theory
• Symbol
• System F
• -calculus
• Holomorphic functional calculus
• Security type system