IO - PDFSEARCH.IO - Document Search Engine

IO
Results: 17950

#	Item
241	A Securities Law Framework for Blockchain Tokens To estimate how likely a particular blockchain token is be a security under US federal securities law Refer to: full legal analysis Instructions Step 1: Copy to a new goog Add to Reading List Source URL: hacken.io Language: English - Date: 2017-10-05 12:06:50 Cryptocurrencies Ethereum Alternative currencies Blockchains Numismatics Economy Money Cross-platform software Initial coin offering Token Kin Draft:Bancor protocol
242	Jointly Learning Grounded Task Structures from Language Instruction and Visual Demonstration Changsong Liu1* , Shaohua Yang1* , Sari Saba-Sadiya1 , Nishant Shukla2 , Yunzhong He2 , Song-Chun Zhu2 , and Joyce Y. Chai1 1 Add to Reading List Source URL: shukla.io Language: English - Date: 2017-05-18 12:57:06 Genetic programming Grammar Grammar induction Inference Natural language processing Machine learning Algorithm Cognition Cognitive science Artificial intelligence
243	VARcrypt.io Utility Token Sale Event www.VARcoin.io Add to Reading List Source URL: icorating.com Language: English - Date: 2018-03-19 09:27:45 Cryptocurrencies Numismatics Communication Forward-looking statement Kin Token coin Economy Distributed computing
244	Alison Presmanes Hill, Ph.D. https://alison.rbind.io • @apreshill • Portland, OR EDUCATIONPh.D., Psychology (Developmental/Quantitative Methods & Evaluation), Vanderbilt Add to Reading List Source URL: alison.rbind.io Language: English Health Autism Abnormal psychology Disability Pervasive developmental disorders Psychiatric diagnosis ric Fombonne Autism Speaks Epidemiology of autism International Meeting for Autism Research Geraldine Dawson Eric Courchesne
245	Terms & Conditions (Disclaimer) for Twilight-coin.io 1. No Warranty and Binding Our Obligation The obligation of Twilight Studio Inc. (hereinafter referred to as “Company”) for this token sale is only to deliver TWC Add to Reading List Source URL: twilight-coin.io Language: English - Date: 2018-10-09 10:55:00 Cryptocurrency Decentralization Financial technology Uberisation
246	Hearing Your Voice is Not Enough: An Articulatory Gesture Based Liveness Detection for Voice Authentication Add to Reading List Source URL: acmccs.github.io Language: English - Date: 2017-12-30 21:51:59 Phonetics Computer access control Human voice Linguistics Human behavior Radar Wave mechanics Targeting Articulator Doppler radar Articulation Doppler effect
247	Arie Gurfinkel Department of Electrical and Computer Engineering University of Waterloo 200 University Ave. W., Waterloo, ON, N2L 3G1 Canada Add to Reading List Source URL: arieg.bitbucket.io Language: English - Date: 2018-10-19 18:15:18 Theoretical computer science Computer science Formal methods Computing Logic in computer science European Joint Conferences on Theory and Practice of Software Computer Aided Verification Software verification Formal verification Edmund M. Clarke Satisfiability modulo theories Verification
248	A Securities Law Framework for Blockchain Tokens To estimate how likely a particular blockchain token is be a security under US federal securities law Refer to: full legal analysis Instructions Step 1: Copy to a new goog Add to Reading List Source URL: hacken.io Language: English - Date: 2017-10-12 11:57:40 Cryptocurrencies Ethereum Alternative currencies Blockchains Numismatics Economy Money Cross-platform software Initial coin offering Token Kin Draft:Bancor protocol
249	The SCAR Project Semantic Coloring of Academic References Angelo Di Iorio1, Freddy Limpens1, Agata Rotondi1, Pascal Coupet2, Georgios Tsatsaronis2 1DASPLab - Digital and Semantic Publishing Laboratory (University of Bolo Add to Reading List Source URL: workshop-oc.github.io Language: English - Date: 2018-09-10 10:16:09 Computing Web services Web standards Data Knowledge representation Semantic Web Resource Description Framework SPARQL Part-of-speech tagging Training test and validation sets
250	Executable Counterexamples in Software Model Checking J. Gennari1 and A. Gurfinkel2 and T. Kahsai3 and J. A. Navas4 and E. J. Schwartz1 Presenter: Natarajan Shankar4 1 Carnegie Add to Reading List Source URL: seahorn.github.io Language: English - Date: 2018-08-03 20:31:21 Computing Computer programming C Data types Pointer Hooking Exec Nm Struct

UPDATE