Rob - PDFSEARCH.IO - Document Search Engine

Rob
Results: 6351

#	Item
1	Poster: Fingerprinting Hidden Service Circuits from a Tor Middle Relay Marc Juarez Rob Jansen Add to Reading List Source URL: www.ieee-security.org Language: English - Date: 2017-06-21 13:36:21 Dark web Computing Internet Secure communication Cryptographic protocols Information and communications technology Fingerprinting algorithms Tor .onion Internet privacy Operation Onymous Computer network
2	Deep Neural Networks Predict Category Typicality Ratings for Images Brenden M. Lake Wojciech Zaremba Rob Fergus Add to Reading List Source URL: cims.nyu.edu Language: English - Date: 2015-05-04 15:17:21 Computational neuroscience Artificial intelligence Applied mathematics Artificial neural networks Neuroscience Cybernetics Neural network software Neural networks Convolutional neural network AlexNet Deep learning ImageNet
3	Did a sleeping pill make her tweet it? Talking Points Rob Rogers, Pittsburgh Post-Gazette / Courtesy of AAEC Between the lines Add to Reading List Source URL: nieonline.com Language: English - Date: 2018-05-31 16:07:16 GABAA receptor positive allosteric modulators Nonbenzodiazepines Hypnotics Culture Sanofi Child sexual abuse Roseanne Barr Roseanne Television in the United States Zolpidem Series Barr
4	Rob Rogers, Pittsburgh Post-Gazette / Courtesy of AAEC Draw your own conclusions Study the drawing and add a caption to this wordless cartoon. There is no wrong answer, so just be creative! Add to Reading List Source URL: nieonline.com - Date: 2018-06-15 22:44:54
5	Journal of Automated Reasoning manuscript No. (will be inserted by the editor) Self-Formalisation of Higher-Order Logic Semantics, Soundness, and a Verified Implementation Ramana Kumar · Rob Arthan · Add to Reading List Source URL: cakeml.org Language: English - Date: 2015-12-16 14:53:21 Mathematical logic Mathematics Logic Logic in computer science Proof assistants Model theory Proof theory Foundations of mathematics ZermeloFraenkel set theory HOL Gdel's completeness theorem Gdel's incompleteness theorems
6	Temporal Logic Control under Incomplete or Conflicting Information Georgios Fainekos, and Herbert G. Tanner Abstract— Temporal logic control methods have provided a viable path towards solving the single- and multi-rob Add to Reading List Source URL: www.public.asu.edu Language: English - Date: 2018-02-08 16:28:11 Temporal logic Algebraic structures Mathematics Logic Metaphysics Linear temporal logic Logic in computer science Computation tree logic Non-classical logic Model checking Many-valued logic Lattice
7	Artist fired after cartoons rejected Talking Points Rob Rogers / Courtesy of AAEC Between the lines Add to Reading List Source URL: nieonline.com Language: English - Date: 2018-06-15 22:44:54 Rob Rogers Editorial cartoonist AAEC J. P. Trostle
8	HOL with Definitions: Semantics, Soundness, and a Verified Implementation Ramana Kumar1 , Rob Arthan2 , Magnus O. Myreen1 , and Scott Owens3 2 1 Add to Reading List Source URL: cakeml.org Language: English - Date: 2014-04-20 08:49:44 Mathematical logic Metalogic Logic Model theory Logic in computer science Proof theory Proof assistants Programming language semantics HOL Operational semantics Gdel's completeness theorem Type theory
9	Rob Rogers, Pittsburgh Post-Gazette / Courtesy of AAEC Draw your own conclusions Study the drawing and add a caption to this wordless cartoon. There is no wrong answer, so just be creative! Add to Reading List Source URL: nieonline.com - Date: 2018-05-31 16:07:17
10	Effective Attacks and Provable Defenses for Website Fingerprinting Tao Wang, University of Waterloo; Xiang Cai, Rishab Nithyanand, and Rob Johnson, Stony Brook University; Ian Goldberg, University of Waterloo https://www Add to Reading List Source URL: www.usenix.org Language: English - Date: 2016-02-20 08:19:38 Computing Internet Internet security Secure communication Free software Transmission Control Protocol Tor Support vector machine