Probabilistic Mobile Ambients Marta Kwiatkowskaa , Gethin Norman∗,a , David Parkera , Maria Grazia Vigliottib a Oxford University Computing Laboratory, Wolfson Building, Parks Road, Oxford, OX1 3QD of Computing, Imperi

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

• Mathematics
• Mathematical logic
• Theoretical computer science
• Logic in computer science
• Temporal logic
• Process calculi
• Ambient calculus
• Computation tree logic
• Bisimulation
• Propositional calculus
• Distribution
• Well-formed formula

Challenge: Recombinant Computing and the Speakeasy Approach W. Keith Edwards, Mark W. Newman, Jana Sedivy, Trevor Smith Shahram Izadi

Source URL: trevor.smith.name

• Computing
• Object-oriented programming
• Software engineering
• Computer programming
• Inter-process communication
• Component-based software engineering
• ISO standards
• Web services
• Interface
• User interface
• Communication protocol
• Loose coupling

SUBMISSION TO TRANSACTION ON MOBILE COMPUTING 1 SPATE: Small-group PKI-less Authenticated Trust Establishment

Source URL: precision.moscito.org

• Cryptography
• Key management
• Public-key cryptography
• Public key infrastructure
• Web of trust
• Authentication
• Computer security
• Email encryption
• Public key certificate
• Bluetooth
• Computer network
• Password

Compress-and-Conquer for Optimal Multicore Computing Zhijing G. Mou Sinovate, LLC Abstract

Source URL: thev.net

VERA: A Platform for Veracity Estimation over Web Data Mouhamadou Lamine Ba, Laure Berti-Equille, Kushal Shah, Hossam M. Hammady Qatar Computing Research Institute Hamad Bin Khalifa University Doha, Qatar

Source URL: gdac.uqam.ca

• Metaphysics
• Data management
• Computational linguistics
• Big data
• Technology forecasting
• Transaction processing
• Truth
• Data integration
• Natural language processing

Power Signatures of High-Performance Computing Workloads Jacob Combs, Jolie Nazor, Rachelle Thysell, Fabian Santiago, Matthew Hardwick, Lowell Olson, Suzanne Rivoire Department of Computer Science Sonoma State University

Source URL: rivoire.cs.sonoma.edu

• Computing
• Cluster analysis
• Data mining
• Geostatistics
• Data analysis
• Computational statistics
• Hierarchical clustering
• K-means clustering
• Computer cluster
• Consensus clustering
• Spectral clustering

A polynomial time algorithm for computing the HNF of a module over the integers of a number field Jean-François Biasse Claus Fieker

Source URL: www.lix.polytechnique.fr

∗ Quantitative Verification: Models, Techniques and Tools Marta Kwiatkowska Oxford University Computing Laboratory Parks Road, Oxford OX1 3QD, UK

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

• Temporal logic
• Theoretical computer science
• Mathematics
• Linear temporal logic
• Probability
• Computation tree logic
• IP
• Probabilistic CTL
• PRISM model checker
• Markov decision process
• Model checking
• Markov chain

Stochastic Games for Verification of Probabilistic Timed Automata Marta Kwiatkowska, Gethin Norman, and David Parker Oxford University Computing Laboratory, Parks Road, Oxford, OX1 3QD Abstract. Probabilistic timed auto

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

• Dynamic programming
• Markov decision process
• Stochastic control
• Symbol
• PP
• Probability and statistics
• Probability
• Theoretical computer science
• Models of computation

Behavioral Non-portability in Scientific Numeric Computing Yijia Gu1(B) , Thomas Wahl1 , Mahsa Bayati2(B) , and Miriam Leeser2 1 2

Source URL: www.ccs.neu.edu

• Theoretical computer science
• Theory of computation
• Computer programming
• Mathematics
• Computability theory
• Digital signal processing
• Computer arithmetic
• Algorithm
• Mathematical logic
• Recursion
• Multiplyaccumulate operation
• Time complexity