Stanford - PDFSEARCH.IO - Document Search Engine

Stanford
Results: 23609

#	Item
51	Vector Lane Threading Suzanne Rivoire, Rebecca Schultz, Tomofumi Okuda†, Christos Kozyrakis Electrical Engineering Department Stanford University {rivoire,rschultz,tokuda,kozyraki}@stanford.edu 8 Add to Reading List Source URL: rivoire.cs.sonoma.edu Language: English - Date: 2017-05-29 18:44:50 Computer architecture Concurrent computing Computing Parallel computing Central processing unit Flynn's taxonomy Microprocessors Superscalar processor SIMD Vector processor Scalar processor Automatic vectorization
52	The use of theorem-proving techniques in question-answering systems by C. C O R D E L L G R E E N and BERTRAM RAPHAEL Stanford Research Institute Menlo Park, California Add to Reading List Source URL: www.kestrel.edu Language: English - Date: 2011-11-16 13:36:18 Logic Mathematics Mathematical logic Metalogic Model theory Syntax Well-formed formula First-order logic Resolution Logic programming Tautology
53	Bulletproofs: Short Proofs for Confidential Transactions and More Benedikt B¨ unz∗1 , Jonathan Bootle†2 , Dan Boneh‡1 , Andrew Poelstra§3 , Pieter Wuille¶3 , and Greg Maxwellk 1 Add to Reading List Source URL: web.stanford.edu Language: English - Date: 2018-06-28 10:34:47 Cryptography Cryptocurrencies Alternative currencies Bitcoin Decentralization Cryptographic protocols Non-interactive zero-knowledge proof Zero-knowledge proof Proof of knowledge NP Soundness IP
54	11 Theorem-Proving by Resolution as a Basis for Question-Answering Systems Cordell Green Stanford Research Institute Menlo Park. California Add to Reading List Source URL: www.kestrel.edu Language: English - Date: 2011-11-14 21:00:52 Mathematical logic Logic Model theory Metalogic Predicate logic Formal methods Resolution First-order logic Skolem normal form Automated theorem proving Quantifier Axiom
55	Malicious Behavior on the Web: Characterization and Detection Srijan Kumar (@srijankr) Justin Cheng (@jcccf) Jure Leskovec (@jure) Slides are available at http://snap.stanford.edu/www2017tutorial/ Add to Reading List Source URL: snap.stanford.edu Language: English - Date: 2017-04-03 00:44:44 Human behavior Internet manipulation and propaganda Internet trolling Deception Sockpuppet World Wide Web Internet culture Internet troll Trolling Troll
56	Characterization of TCC on Chip-Multiprocessors Austen McDonald, JaeWoong Chung, Hassan Chafi, Chi Cao Minh, Brian D. Carlstrom Lance Hammond, Christos Kozyrakis, Kunle Olukotun Computer Systems Laboratory Stanford Unive Add to Reading List Source URL: www.austenmcdonald.com Language: English - Date: 2016-01-26 12:43:51 Computing Concurrent computing Cache coherency Computer architecture Transaction processing Cache Parallel computing Concurrency control CPU cache MESI protocol Cache coherence Victim cache
57	Progress on the SPN Chatbot: Handling compound and domain-specific queries Zi Yin Vin Sachidananda Add to Reading List Source URL: platformlab.stanford.edu Language: English - Date: 2018-06-18 15:29:58 Chatbot Instant messaging Natural language parsing
58	TESTIMONY OF Kathryn Haun Rodriguez Former Assistant U.S. Attorney, U.S. Department of Justice, Lecturer in Law on Cybercrime and Digital Currency, Stanford University Current Member of the Board of Directors, Coinbase Add to Reading List Source URL: financialservices.house.gov Language: English - Date: 2017-06-08 09:25:33 Cryptocurrencies Economy Alternative currencies Money Finance Bitcoin Decentralization Digital currencies Virtual currency Mt. Gox Money laundering Blockchain
59	Pocket: Ephemeral Storage for Serverless Analytics Ana Klimovic, Yawen Wang, Christos Kozyrakis, Patrick Stuedi, Animesh Trivedi, Jonas Pfefferle Stanford University & IBM Research Add to Reading List Source URL: platformlab.stanford.edu Language: English - Date: 2018-09-10 17:18:02 Computing Computer memory Computer architecture Cloud computing Serverless computing Non-volatile memory Dynamic random-access memory Computer data storage AWS Lambda Random-access memory Ferroelectric RAM
60	Semantics-aware program sampling Pratiksha Thaker Stanford University Add to Reading List Source URL: www.microsoft.com Language: English - Date: 2018-01-04 02:53:23 Mathematical analysis Probability theory Statistical theory Categorical data Categorical distribution Uniform distribution Bayesian network Infinitely divisible probability distributions

UPDATE