The SeaHorn Verification Framework? Arie Gurfinkel1 , Temesghen Kahsai2 , Anvesh Komuravelli3 , and Jorge A. Navas4 1 3

Source URL: jorgenavas.github.io

• Software engineering
• Software
• Computing
• Logic in computer science
• Programming language semantics
• Logic programming
• Compilers
• LLVM
• Abstract interpretation
• Constraint logic programming
• Operational semantics
• Clang

Luca Melis Curriculum Vitae Computer Science Dept, University College London Gower Street, London WC1E 6BT

Source URL: lucamelis.github.io

• Cryptography
• Computing
• Security engineering
• Crime prevention
• Information governance
• National security
• Secure communication
• Differential Privacy
• Post-quantum cryptography
• Privacy
• Information security
• Internet privacy

GPDB 5.x PSQL Quick Reference General \copyright \g [FILE] or ; \h [NAME] \q

Source URL: gpdb.docs.pivotal.io

• Computing
• Software
• Cross-platform software
• Combinatorics
• Character encoding
• String
• PostgreSQL

Qualified VotersJOY) Email Address

Source URL: support.joyso.io

Presence Attestation: The Missing Link in Dynamic Trust Bootstrapping

Source URL: acmccs.github.io

Synthesis of Differentiable Functional Programs for Lifelong Learning Lazar Valkov 1 Dipak Chaudhari 2 Akash Srivastava 1 Charles Sutton 1 Swarat Chaudhuri 2 1. Summary Differentiable programming languages (Paszke et al

Source URL: uclmr.github.io

• Computational neuroscience
• Applied mathematics
• Cybernetics
• Mathematics
• Cognitive science
• Artificial intelligence
• Computational statistics
• Artificial neural networks
• Neural network
• Outline of machine learning
• Machine learning
• Shortest path problem

Auto-encoding Logic Programs Sebastijan Dumanˇci´c 1 Tias Guns 2 Wannes Meert 1 Hendrik Blockleel 1 1. Introduction Although deep learning (Goodfellow et al., 2016) has

Source URL: uclmr.github.io

• Software engineering
• Computer programming
• Computing
• Artificial neural network
• Computational neuroscience
• Market research
• Market segmentation
• Mathematical psychology
• Autoencoder
• Feature learning
• Logic programming
• Prolog

Computable Analysis, Hybrid Automata, and Decision Procedures (Extended Thesis Abstract) Sicun Gao 1 1.1

Source URL: scungao.github.io

• Computability theory
• Mathematics
• Mathematical logic
• Theory of computation
• Computable number
• Decision problem
• Computable function
• NC
• Continuous function
• First-order logic
• Real closed field
• Limit of a function

LevPredict A fully collateralized decentralised Ethereum-based binary and multi-category prediction market model Leverj.io V0.3 April 26, 2018 Scope

Source URL: www.leverj.io

• Ethereum
• Cryptocurrencies
• Blockchains
• Alternative currencies
• Concurrent computing
• Distributed computing
• Numismatics
• ERC-20
• Kin
• Augur
• ETH Zurich
• Token coin

Rethinking Soot for Summary-Based Whole-Program Analysis Dacong Yan Guoqing Xu Atanas Rountev

Source URL: dacongy.github.io

• Static program analysis
• Software engineering
• Computing
• Programming language theory
• Control flow analysis
• Soot
• Call graph
• Compiler
• Analysis
• Data-flow analysis
• SIGPLAN
• Java