IO - PDFSEARCH.IO - Document Search Engine

IO
Results: 17950

#	Item
441	Extending SMTCoq, a Certified Checker for SMT (Extended Abstract) Burak Ekici Guy Katz Add to Reading List Source URL: mebsout.github.io Language: English - Date: 2017-07-21 11:03:15 Theoretical computer science Mathematical logic Mathematics Formal methods Logic in computer science Electronic design automation NP-complete problems Proof assistants Satisfiability modulo theories Automated theorem proving Coq Propositional calculus
442	BUILDING A REGULATED INVESTMENT PLATFORM AND SECURITY TOKEN EXCHANGE FOR START-UPS AND SMEs WHITEPAPER Q4 2018 AUTHORS D. ACHOUR, L. ALDOORY, H. KHOURY, Add to Reading List Source URL: kambio.io Language: English - Date: 2018-10-18 01:47:10 Economy Finance Money Corporate finance Entrepreneurship Equity securities Stock market Private equity Venture capital Crowdfunding Investor Security
443	Deborah L. Estrin Cornell Tech 2 West Loop Road New York, New York 10044 Add to Reading List Source URL: destrin.smalldata.io Language: English - Date: 2018-10-22 18:10:48
444	PRIVACY POLICY Your privacy is important to Tomatos Inc. (“company”, “us”, “our”, or“we”). Personal information you provide or we collect about you when you engage with company in connection with your pur Add to Reading List Source URL: ttcoin.io Language: English - Date: 2018-03-26 03:57:41 Terms of service Data security Privacy Information governance Law Internet privacy Data protection Privacy policy HTTP cookie Information privacy Personally identifiable information
445	Practical Semantic Test Simplification Sai Zhang University of Washington, USA Abstract—We present a technique that simplifies tests at the Add to Reading List Source URL: zhang-sai.github.io Language: English - Date: 2015-05-05 00:58:34 Software testing Software development Software engineering Computing Debugging Program slicing Unit testing Test automation
446	Yellow Paper: Nebulas Rank Nebulas Research June 2018 Version:1.0.1 Add to Reading List Source URL: nebulas.io Language: English - Date: 2018-07-22 16:52:14 Cryptocurrencies Blockchains Alternative currencies Economy Concurrent computing Distributed computing Decentralization Bitcoin Ethereum Smart contract NEM Proof-of-stake
447	A Unified Framework for Human-Robot Knowledge Transfer Nishant Shukla, Caiming Xiong and Song-Chun Zhu Center for Vision, Cognition, Learning and Autonomy University of California, Los Angeles, USA Abstract Add to Reading List Source URL: shukla.io Language: English - Date: 2017-05-18 12:57:06 Metaphysics Cybernetics Logic Computational neuroscience Human behavior Robotics Human communication Humanrobot interaction Multimodal interaction Image segmentation Artificial intelligence Knowledge
448	IOHK \| DATA PROTECTION POLICY \| iohk.io Add to Reading List Source URL: static.iohk.io Language: English - Date: 2018-10-18 06:47:45 Data security Law Information Data protection Information privacy Privacy Mass surveillance Data retention General Data Protection Regulation Computer security Database Personally identifiable information
449	Towards A Framework for Mobile Behavior Change Research Fabian Okeke Cornell Tech, Cornell University New York, New York Add to Reading List Source URL: destrin.smalldata.io Language: English - Date: 2018-10-22 18:10:48 Computing Technology Classes of computers Mobile computers Humancomputer interaction Cloud clients Smartphones Mobile phones Ubiquitous computing Persuasive technology Mobile app Wearable computer
450	PDF Document Add to Reading List Source URL: shukla.io - Date: 2017-09-01 17:24:30

UPDATE