Automatically Calculating Quantitative Integrity Measures for Imperative Programs Tom Chothia1 , Chris Novakovic1 , and Rajiv Ranjan Singh2 1 2

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

• Information theory
• Information flow
• Mutual information
• Conditional mutual information
• Conditional entropy

c Copyright 2014 Tom Bergan Avoiding State-Space Explosion in Multithreaded Programs with

Source URL: homes.cs.washington.edu

• Abstract interpretation
• Computer science
• Symbolic execution
• Thread
• Algorithm
• Computing
• Electrical engineering
• Computer engineering

Calculating Quantitative Integrity and Security for Imperative Programs Tom Chothia1 , Chris Novakovic1 , and Rajiv Ranjan Singh2 1 2

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

• Information theory
• Information
• Information flow
• Mutual information
• Conditional entropy
• Conditional mutual information
• Quicken Interchange Format
• Metaphysics
• Knowledge

LeakWatch: Estimating Information Leakage from Java Programs Tom Chothia1 , Yusuke Kawamoto2? , and Chris Novakovic1 1 School of Computer Science, University of Birmingham, UK

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

• Information theory
• Statistical theory
• Mathematics
• Mathematical analysis
• Entropy
• Mutual information
• Expected value
• Confidence interval
• Information flow
• Binomial distribution
• Conditional entropy
• Quantities of information

Trading Performance for Stability in Markov Decision Processes Tom´asˇ Br´azdil∗ , Krishnendu Chatterjee† , Vojtˇech Forejt‡∗ , and Anton´ın Kuˇcera∗ ∗ Faculty of Informatics, Masaryk University ({xbr

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

LDOW2016: 9th Workshop on Linked Data on the Web Sören Auer Tom Heath University of Bonn, DE

Source URL: gdac.uqam.ca

• Computing
• Semantic Web
• World Wide Web Consortium
• Data management
• Linked data
• Resource Description Framework
• RDFa
• Web Ontology Language
• Big data
• Amit Sheth
• Semantic publishing
• PoolParty Semantic Suite

Assessing the interconnectedness between cross-border shadow banking systems Tom Fong Hong Kong Monetary Authority Angela Sze

Source URL: www.hkimr.org

• Banking
• Economy
• Finance
• Money
• Bank
• Economic history of Italy
• Shadow banking system

The Satisfiability Problem for Probabilistic CTL Tom´asˇ Br´azdil Vojtˇech Forejt Jan Kˇret´ınsk´y

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

• Theoretical computer science
• Mathematics
• Logic in computer science
• Mathematical analysis
• Temporal logic
• Generalizations of the derivative
• Computation tree logic
• Boolean satisfiability problem
• Symbol
• Model theory
• 120-cell
• Distribution

Results from Tom K. Wong1 et al., 2018 National DACA Study Survey fieldedton = 1,050 Methodology Economic Integration

Source URL: cdn.americanprogress.org

• Deferred Action for Childhood Arrivals
• Demographics of the United States
• Undocumented youth in the United States
• Retirement
• Demography
• United States
• Population

Reachability in Recursive Markov Decision Processes ? Tom´aˇs Br´azdil, V´aclav Broˇzek, Vojtˇech Forejt, Anton´ın Kuˇcera Faculty of Informatics, Masaryk University, Botanick´

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

• Mathematical analysis
• Mathematics
• Measure theory
• Boolean algebra
• Experiment
• Sigma-algebra
• Symbol
• Differential topology
• Lifting theory
• Jet bundle