Stochastic Analysis of Chemical Reaction Networks Using Linear Noise ApproximationI Luca Cardellia,b,∗, Marta Kwiatkowskaa,∗, Luca Laurentia,∗ a Department of Computer Science, University of Oxford

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

• Mathematical analysis
• Statistical randomness
• Metaphysics
• Stochastic processes
• Generalized functions
• Stochastic simulation
• Distribution
• Dynamical system
• Markov chain

Poster: Design of Backdoor on Android Devices Junsung Cho, Geumhwan Cho, Sangwon Hyun and Hyoungshick Kim Department of Computer Science and Engineering, Sungkyunkwan University, Republic of Korea Email: {js.cho, geumhwa

Source URL: www.ieee-security.org

• Computing
• Cyberwarfare
• Computer security
• Cryptography
• Cybercrime
• Computer network security
• Backdoor
• Rootkits
• Google Play
• Android
• Firebase
• Password

CAV 2007 19th International Conference on Computer-Aided Verification July 2007, Berlin, Germany SMT 2007:

Source URL: www.lsi.upc.edu

• Theoretical computer science
• Logic in computer science
• Formal methods
• Mathematical logic
• Mathematics
• Electronic design automation
• NP-complete problems
• Constraint programming
• Boolean satisfiability problem
• Satisfiability modulo theories
• Horn clause
• Satisfiability

Software Bug Localization with Markov Logic Sai Zhang Congle Zhang Department of Computer Science & Engineering

Source URL: zhang-sai.github.io

• Logic
• Mathematical logic
• Non-classical logic
• Markov logic network
• Software testing
• Probabilistic logic
• Software bug
• Code coverage
• Debugging
• Inference
• First-order logic
• Buggy

Automatic Verification of Competitive Stochastic Systems Taolue Chen, Vojtˇech Forejt, Marta Kwiatkowska, David Parker, and Aistis Simaitis Department of Computer Science, University of Oxford, Oxford, UK

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

• Mathematics
• Mathematical analysis
• Temporal logic
• Computation tree logic
• Logic in computer science
• Distribution
• Symbol
• Constructible universe
• Linear temporal logic
• Craig interpolation

A Personal View of Average-Case Complexity Russell Impagliazzo Computer Science and Engineering UC, San Diego 9500 Gilman Drive La Jolla, CA

Source URL: www.karlin.mff.cuni.cz

• Computational complexity theory
• Complexity classes
• Analysis of algorithms
• Mathematical optimization
• Structural complexity theory
• P versus NP problem
• NP
• Average-case complexity
• Computational complexity
• Reduction
• Randomized algorithm
• BPP

Efficient Interpolation for the Theory of Arrays (work in progress) Jochen Hoenicke and Tanja Schindler∗ Department of Computer Science, University of Freiburg

Source URL: smt-workshop.cs.uiowa.edu

• Software engineering
• Computer programming
• Computing
• Interpolation
• Video
• Video signal
• Craig interpolation
• Pure
• Foreach loop

Learning a Static Analyzer from Data Pavol Bielik, Veselin Raychev, and Martin Vechev Department of Computer Science, ETH Z¨ urich, Switzerland {pavol.bielik, veselin.raychev, martin.vechev}@inf.ethz.ch

Source URL: files.sri.inf.ethz.ch

• Applied mathematics
• Cognition
• Cybernetics
• Learning
• Machine learning
• Artificial neural network
• Analysis
• Algorithm
• Mathematics

Die Datenschleuder Das wissenschaftliche Fachblatt für Datenreisende Ein Organ des Chaos Computer Club Ein Sicherheitsproblem bei ihrer EC-Karte ist aufgetreten.

Source URL: ds.ccc.de

Stochastic Hillclimbing as a Baseline Method for Evaluating Genetic Algorithms Ari Juels Department of Computer Science

Source URL: pdfs.semanticscholar.org

• Genetic algorithms
• Evolutionary algorithms
• Artificial intelligence
• Applied mathematics
• Cybernetics
• Mathematical optimization
• Mathematics
• Genetic programming
• Algorithm
• Crossover