IS-IS - PDFSEARCH.IO - Document Search Engine

IS-IS
Results: 915390

#	Item
311	From First-order Temporal Logic to Parametric Trace Slicing Giles Reger and David Rydeheard University of Manchester, Manchester, UK Abstract. Parametric runtime verification is the process of verifying properties of ex Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2016-07-20 12:50:18 Temporal logic Formal languages Logic Metalogic Mathematical logic Linear temporal logic Mathematics Model theory Symbol Computation tree logic Interpretation Well-formed formula
312	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
313	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
314	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
315	MEDIA GUIDE 2018 www.coincentral.com CoinCentral is an international authority in the cryptocurrency and blockchain space. Add to Reading List Source URL: coincentral.com Language: English - Date: 2018-10-23 11:26:31 Loyal Legion of Loggers and Lumbermen United States home front during World War I Ethereum
316	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
317	Editorial Webinars Converge360 is offering targeted editorial Webinars that simply require sponsorship. These high-quality editorial events are run by our editorial staff and are on-point for sponsors who will reap the r Add to Reading List Source URL: converge360.com Language: English - Date: 2018-09-10 16:59:39 Educational technology Teleconferencing Web conferencing Sponsor
318	The website www.seedcapital.dk (hereinafter referred to as the ”website”) is provided and owned by SEED Capital, Matrikel1, Højbro Plads 8-10, 1200 København K, CVR nohereinafter “SEED”). When you u Add to Reading List Source URL: 37.60.232.207 Language: English - Date: 2018-06-19 12:31:36 Computing World Wide Web Internet privacy Software engineering Web analytics Terms of service Computer access control HTTP cookie Google Analytics AdWords Google Search Session
319	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
320	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

UPDATE