Motivation FO-LTLf Slicing

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

• Mathematical logic
• Logic
• Quantification
• Complexity classes
• Finite model theory
• Mathematics
• Predicate logic
• Philosophical logic
• Quantifier
• FO
• Universal quantification
• Well-formed formula

Rigorous Reachability Analysis and Domain Decomposition of Taylor Models Martin Berz and Kyoko Makino Department of Physics and Astronomy Michigan State University

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

• Numerical methods for ordinary differential equations
• Domain decomposition methods
• Numerical analysis
• Numerical software
• Mathematical analysis
• PROPT

Approximation of Probabilistic Reachability for Chemical Reaction Networks using the Linear Noise Approximation∗ Luca Bortolussi3 , Luca Cardelli1,2 , Marta Kwiatkowska2 , and Luca Laurenti2 1

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

• Statistical randomness
• Mathematical analysis
• Probability theory
• Stochastic processes
• Markov models
• Graph theory
• Markov chain
• Stochastic differential equations
• Distribution
• Stochastic simulation
• Normal distribution
• Decomposition of spectrum

spp.sagepub.com/contentfull

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

• Psychology
• Neuroscience
• Behavior
• Motivation
• Ego depletion
• Ego psychology
• Sleep
• Sleep deprivation
• Impulsivity
• Self-control
• Aggression
• Roy Baumeister

On the Quality of BGP Route Collectors for iBGP Policy Inference Luca Cittadini∗ Stefano Vissicchio† Benoit Donnet§ ∗ Roma Tre University † Universit´e catholique de Louvain § Universit´e de Li`ege

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

• Internet architecture
• Routing
• Computing
• Network architecture
• Internet
• Internet Standards
• Border Gateway Protocol
• Route reflector
• Router
• IP routing
• Autonomous system
• Default-free zone

Learning Universal Adversarial Perturbations with Generative Models Jamie Hayes & George Danezis UCL

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

• Artificial neural network
• Computational neuroscience
• Market research
• Market segmentation
• Mathematical psychology
• ResNet
• Adversarial system
• Applied mathematics

Central Control over Distributed Routing fibbing.net Stefano Vissicchio UCLouvain

Source URL: inl.info.ucl.ac.be

• Computing
• Network architecture
• Information and communications technology
• OpenFlow
• Multiprotocol Label Switching
• Scalability
• Robustness
• Software-defined networking

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

State-Aware Performance Analysis with eXtended Stochastic Probes Allan Clark and Stephen Gilmore University of Edinburgh, Scotland Abstract. We define a mechanism for specifying performance queries which

Source URL: www.dcs.ed.ac.uk

• PEPA
• Process calculi
• Process calculus
• Client

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