IO - PDFSEARCH.IO - Document Search Engine

IO
Results: 17950

#	Item
71	The SeaHorn Verification Framework? Arie Gurfinkel1 , Temesghen Kahsai2 , Anvesh Komuravelli3 , and Jorge A. Navas4 1 3 Add to Reading List Source URL: jorgenavas.github.io Language: English - Date: 2018-10-25 12:43:22 Software engineering Software Computing Logic in computer science Programming language semantics Logic programming Compilers LLVM Abstract interpretation Constraint logic programming Operational semantics Clang
72	Luca Melis Curriculum Vitae Computer Science Dept, University College London Gower Street, London WC1E 6BT Add to Reading List Source URL: lucamelis.github.io Language: English - Date: 2018-03-26 13:20:58 Cryptography Computing Security engineering Crime prevention Information governance National security Secure communication Differential Privacy Post-quantum cryptography Privacy Information security Internet privacy
73 $GPDB 5.x PSQL Quick Reference General \copyright \g [FILE] or ; \h [NAME] \q$	GPDB 5.x PSQL Quick Reference General \copyright \g [FILE] or ; \h [NAME] \q Add to Reading List Source URL: gpdb.docs.pivotal.io Language: English - Date: 2018-10-22 17:43:50 Computing Software Cross-platform software Combinatorics Character encoding String PostgreSQL
74	Qualified VotersJOY) Email Address Add to Reading List Source URL: support.joyso.io Language: Portuguese - Date: 2018-05-10 06:44:32
75	Presence Attestation: The Missing Link in Dynamic Trust Bootstrapping Add to Reading List Source URL: acmccs.github.io Language: English - Date: 2017-12-30 21:51:59
76	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 Add to Reading List Source URL: uclmr.github.io Language: English - Date: 2018-08-06 06:17:49 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
77	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 Add to Reading List Source URL: uclmr.github.io Language: English - Date: 2018-08-06 06:17:49 Software engineering Computer programming Computing Artificial neural network Computational neuroscience Market research Market segmentation Mathematical psychology Autoencoder Feature learning Logic programming Prolog
78	Computable Analysis, Hybrid Automata, and Decision Procedures (Extended Thesis Abstract) Sicun Gao 1 1.1 Add to Reading List Source URL: scungao.github.io Language: English - Date: 2018-09-27 16:37:21 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
79	LevPredict A fully collateralized decentralised Ethereum-based binary and multi-category prediction market model Leverj.io V0.3 April 26, 2018 Scope Add to Reading List Source URL: www.leverj.io Language: English Ethereum Cryptocurrencies Blockchains Alternative currencies Concurrent computing Distributed computing Numismatics ERC-20 Kin Augur ETH Zurich Token coin
80	Rethinking Soot for Summary-Based Whole-Program Analysis Dacong Yan Guoqing Xu Atanas Rountev Add to Reading List Source URL: dacongy.github.io Language: English - Date: 2017-06-27 01:04:15 Static program analysis Software engineering Computing Programming language theory Control flow analysis Soot Call graph Compiler Analysis Data-flow analysis SIGPLAN Java