IO - PDFSEARCH.IO - Document Search Engine

IO
Results: 17950

#	Item
511	PDF Document Add to Reading List Source URL: cityofzion.io - Date: 2018-10-19 05:53:54
512	Differentiable Inductive Logic Programming Richard Evans, Ed Grefenstette @LittleBimble, @egrefen https://jair.org/index.php/jair/article/view/11172 Add to Reading List Source URL: uclmr.github.io Language: English - Date: 2018-08-06 06:17:49 Computational neuroscience Machine learning Artificial intelligence Cybernetics Learning Applied mathematics Artificial neural networks Formal sciences Backpropagation Inductive programming
513	Program Synthesis using Abstraction Refinement XINYU WANG, University of Texas at Austin, USA ISIL DILLIG, University of Texas at Austin, USA RISHABH SINGH, Microsoft Research, USA We present a new approach to example-gu Add to Reading List Source URL: rishabhmit.bitbucket.io Language: English - Date: 2018-06-25 09:59:57 Theoretical computer science Metaphysics Mathematical logic Temporal logic Computability theory Model theory Formal languages Finite-state machine Computation tree logic Abstraction Abstract interpretation IP
514	doi:Spreadsheet Data Manipulation Using Examples By Sumit Gulwani, William R. Harris, and Rishabh Singh Add to Reading List Source URL: rishabhmit.bitbucket.io Language: English - Date: 2018-06-25 09:59:57 Computing Software engineering Computer programming Formal languages Comparison of programming languages Expr String Spreadsheet Regular expression Parsing AWK Scheme
515	Pixie Shopping Street (PixieCoin) White Paper Version: V.0.9 PixieCoin Team Add to Reading List Source URL: pixiecoin.io Language: English - Date: 2018-03-21 03:22:10 Game design Software Computing Massively multiplayer online games Windows games PXC Pixie Virtual world Club Penguin The Kore Gang Online shopping Second Life
516	통통 지갑 설치 및 이용 가이드 1. 통통지갑 설치하기 1. 구글플레이 / 앱스토어를 이용하여 Add to Reading List Source URL: ttcoin.io Language: Korean - Date: 2018-09-04 00:49:20
517	How to add HKN token to MyEtherWallet Add to Reading List Source URL: hacken.io Language: English - Date: 2018-03-06 08:22:42
518	PDF Document Add to Reading List Source URL: cityofzion.io - Date: 2018-10-19 05:53:54
519	Learning Component Interfaces with May and Must Abstractions Rishabh Singh1, , Dimitra Giannakopoulou2 , and Corina P˘ as˘areanu2 1 Add to Reading List Source URL: rishabhmit.bitbucket.io Language: English - Date: 2018-06-25 09:59:57 Computing Combinatorics Formal languages Software engineering Character encoding String Abstraction Component-based software engineering
520	Exploiting sparsity in difference-bound matrices Graeme Gange1 , Jorge A. Navas2 , Peter Schachte1 , Harald Søndergaard1 , and Peter J. Stuckey1 1 2 Add to Reading List Source URL: jorgenavas.github.io Language: English - Date: 2018-10-25 12:43:22 Mathematics Abstract algebra Mathematical analysis Graph Graph theory Partial derivative Valuation Representation Voltage graph operator

UPDATE