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

Characterizing and Subsetting Big Data Workloads Zhen Jia1,2 , Jianfeng Zhan 1 1*

Source URL: prof.ict.ac.cn

• Computing
• Big data
• Computer architecture
• Hadoop
• Cloud infrastructure
• Central processing unit
• Computer memory
• Apache Software Foundation
• Translation lookaside buffer
• CPU cache
• Vertica
• Apache Hadoop

24/7 place recognition by view synthesis Akihiko Torii Relja Arandjelovi´c Josef Sivic Masatoshi Okutomi Tomas Pajdla Tokyo Tech∗ INRIA† INRIA† Tokyo Tech∗

Source URL: www.ok.ctrl.titech.ac.jp

• Computer vision
• Feature detection
• Image search
• Conference on Computer Vision and Pattern Recognition
• Visual Word
• Visual descriptor
• Feature
• Structure from motion
• View
• Histogram of oriented gradients

guard sets for onion routing Jamie Hayes - joint work with George Danezis University College London

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

• Computing
• Internet
• Free software
• Dark web
• Cryptographic protocols
• Tor
• Onion routing
• Relay

Using Routers to Build Logic Circuits: How Powerful is BGP? Marco Chiesa? Luca Cittadini? ?

Source URL: www0.cs.ucl.ac.uk

Generating steganographic images via adversarial training Jamie Hayes and George Danezis

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

• Cryptography
• Steganography
• Steganalysis
• Bit numbering
• Deep learning
• Public-key cryptography
• RSA
• Generative adversarial network
• Artificial neural network
• Steganographic file system
• BPCS-Steganography

First Year Report Ivan Perez University of Nottingham 2

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

• Computing
• Graphical user interfaces
• Software
• System software
• Programming paradigms
• Widget toolkits
• Reactive programming
• Widget
• Functional programming
• Ext JS
• Software widget
• User interface markup language

Logical Methods in Computer Science Vol. 4 (4:, pp. 1–21 www.lmcs-online.org Submitted Published

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

• Experiment
• Mathematical optimization
• Vilfredo Pareto
• Microeconomics
• Multi-objective optimization
• Multiple-criteria decision analysis
• Probability space
• Event
• Markov decision process
• Pareto efficiency
• Mathematical analysis
• Economics

Psychol Stud (January–March):98–107 DOIs12646ORIGINAL ARTICLE Individual Self, Relational Self, Collective Self: Hierarchical

Source URL: www.southampton.ac.uk

• Psychology
• Metaphysics
• Social psychology
• Self
• Identity
• Positive mental attitude
• Happiness
• Motivation
• Self-knowledge
• Self-esteem
• Self-enhancement
• Self-image

Industrial Use of ACL2: Applications, Achievements, Challenges, and Directions J Strother Moore and Marijn J.H. Heule Department of Computer Science The University of Texas at Austin {moore,marijn}@cs.utexas.edu

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

• Software engineering
• Computer programming
• Theoretical computer science
• Automated theorem proving
• Lisp
• ACL2
• Formal methods
• Logic in computer science
• Robert S. Boyer