Kumar - PDFSEARCH.IO - Document Search Engine

Kumar
Results: 2574

#	Item
11	Community Interaction and Conflict on the Web Srijan Kumar William L. Hamilton Stanford University, USA Add to Reading List Source URL: stanford.edu Language: English - Date: 2018-03-28 13:23:28
12	Self-compilation and self-verification Ramana Kumar Peterhouse Add to Reading List Source URL: xrchz.net Language: English - Date: 2016-08-19 20:09:30 Software engineering Theoretical computer science Computing Formal methods Logic in computer science Proof assistants Compiler construction Automated theorem proving Formal verification HOL KeY ML
13	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
14	Validating QBF Validity in HOL4 Ramana Kumar and Tjark Weber ITPBerg en Dal) August 25, 2011 Add to Reading List Source URL: user.it.uu.se Language: English - Date: 2011-09-01 13:37:03 Mathematical logic Constructible universe Model theory Mathematics Predicate logic Generalizations of the derivative Smooth functions Logic operator Original proof of Gdel's completeness theorem
15	Structure and Dynamics of Signed Citation Networks Srijan Kumar University of Maryland Number of nodes Add to Reading List Source URL: gdac.uqam.ca Language: English - Date: 2017-10-04 00:47:19 Reference Knowledge Social networks Academic publishing Research Publishing Citation network Sentiment analysis Citation Balance theory Case citation
16	Understanding the Mirai Botnet Manos Antonakakis Tim April‡ Michael Bailey† Matthew Bernhard/ Elie Bursztein◦ Jaime Cochran. Zakir Durumeric/ J. Alex Halderman/ Luca Invernizzi◦ Michalis Kallitsis§ Deepak Kumar Add to Reading List Source URL: mbernhard.com Language: English - Date: 2017-08-15 20:35:58 Botnets Computing Cybercrime Cyberwarfare Denial-of-service attacks Linux malware Computer network security Mirai BASHLITE Internet of things TR-069 Denial-of-service attack
17	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:42 Human behavior Deception Communication World Wide Web Hoax Disinformation Twitter Misinformation Reliability of Wikipedia Sockpuppet Block Internet troll
18	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:39:07 Internet manipulation and propaganda Internet trolling Deception Sockpuppet Human behavior
19	Launch of KISAN Project and Hailstorm App Hon’ble Minister of State for Agriculture & Farmers’ Welfare, Dr. Sanjeev Kumar Balyan today launched KISAN Project [C(K)rop Insurance using Space technology And geoiNformati Add to Reading List Source URL: www.ncfc.gov.in Language: English - Date: 2016-07-22 07:47:16
20	Dr. Rajiv Kumar Tayal Executive Director Ph: Email: IUSSTF Add to Reading List Source URL: www.sric.iitkgp.ac.in Language: English - Date: 2017-07-11 07:10:36

UPDATE