Is-a - PDFSEARCH.IO - Document Search Engine

Is-a
Results: 413593

#	Item
151	Diceland Consolidated Special Effect Rules A supplement for the Diceland Paper Dice Game available from _http://www.diceland.com_ Document version: 2008-May-23 This document is a supplement for Diceland players. It is a Add to Reading List Source URL: wanderinghorse.net Language: English - Date: 2018-10-25 11:40:39 Gaming Human behavior Diceland Entertainment Dice Cheapass Games
152	Financial Services Firm Case Study About The Firm The firm is a large US-based mutual fund investment company consisting of a number of investment teams in a variety of locations throughout the world all under a single Add to Reading List Source URL: appery.io Language: English - Date: 2014-07-31 13:08:43 Computing Software Computer architecture Information management Portal software Records management technology SharePoint Mobile app Android BlackBerry Limited Appsbar
153	Abstract: The EOS.IO software introduces a new blockchain architecture designed to enable vertical and horizontal scaling of decentralized applications. This is achieved by creating an operating system-like construct upo Add to Reading List Source URL: icorating.com Language: English - Date: 2018-03-19 09:30:15 Cryptocurrencies Blockchains Concurrent computing Alternative currencies Computing Distributed computing Decentralization Cross-platform software EOS.IO Ethereum Smart contract Bitcoin
154	Abstract The AdEx team is building the next generation online ad exchange that is based on blockchain technology. Our goal is to provide a more efficient, intuitive and transparent advertising platform. Our aim is to di Add to Reading List Source URL: www.adex.network Language: English - Date: 2018-08-07 10:23:23 Marketing Online advertising Cryptocurrencies Advertising Market economics) Targeted advertising Blockchain Bitcoin Ad serving Ethereum Advertising network ternity
155	Natural Language to Structured Query Generation via Meta-Learning Po-Sen Huang 1 Chenglong Wang 2 Rishabh Singh 3 * Wen-tau Yih 4 Xiaodong He 5 * 1. Introduction Conventional supervised training is a pervasive paradigm Add to Reading List Source URL: uclmr.github.io Language: English - Date: 2018-08-06 06:17:49 Machine learning Learning Artificial intelligence Meta learning Support vector machine Supervised learning Training test and validation sets
156	Verification of Fault-Tolerant Protocols with Sally Bruno Dutertre, Dejan Jovanovi´c, and Jorge A. Navas Computer Science Laboratory, SRI International Abstract. Sally is a model checker for infinite-state systems that Add to Reading List Source URL: jorgenavas.github.io Language: English - Date: 2018-10-25 12:43:22 Algorithm Mathematical logic Theoretical computer science IP Model checking Mathematics Machine learning
157	ON A VANISHING THEOREM OF S. SAITO AND K. SATO by Jean-Baptiste Teyssier Introduction This text is an expanded version of a talk given for the Winter research seminar Add to Reading List Source URL: jbteyssier.com Language: English - Date: 2014-11-25 15:38:07 Algebra Abstract algebra Mathematics Algebraic geometry Cohomology theories Homological algebra Sheaf theory Algebraic topology Divisor tale cohomology Chow group Sheaf
158	The future is here Project Ubin: SGD on Distributed Ledger A report developed with the contributions of Bank of America Merrill Lynch, BCS Information Systems, Credit Suisse, DBS Bank, HSBC, J.P. Morgan, Mitsubishi UFJ F Add to Reading List Source URL: www.mas.gov.sg Language: English - Date: 2017-05-26 06:14:36 Blockchains Cryptocurrencies Concurrent computing Computing Economy Alternative currencies Bitcoin Distributed computing Distributed ledger R3 DLT Digital currency
159	SMT Techniques for Fast Predicate Abstraction Shuvendu K. Lahiri? , Robert Nieuwenhuis?? , and Albert Oliveras?? Abstract. Predicate abstraction is a technique for automatically extracting finite-state abstractions for s Add to Reading List Source URL: www.lsi.upc.edu Language: English - Date: 2006-06-09 05:24:28 Mathematical logic Mathematics Theoretical computer science Formal methods Electronic design automation Logic in computer science NP-complete problems Boolean algebra Satisfiability modulo theories Boolean satisfiability problem 120-cell Predicate

UPDATE