University - PDFSEARCH.IO - Document Search Engine

University
Results: 634567

#	Item
281	A full version of this paper is available at https://papernot.fr/files/extending-distillation.pdf Poster: Extending Defensive Distillation Nicolas Papernot and Patrick McDaniel Pennsylvania State University {ngp5056,mcd Add to Reading List Source URL: www.ieee-security.org Language: English - Date: 2017-05-14 02:41:14 Computational neuroscience Chemistry Applied mathematics Artificial neural networks Phase transitions Statistics Scientific modeling Design of experiments Deep learning Distillation Outlier Surrogate model
282	Poster: An Analysis of Targeted Password Guessing Using Neural Networks Huan Zhou, Qixu Liu, Fangjiao Zhang Institute of Information Engineering, Chinese Academy of Sciences School of Cyber Security, University of Chines Add to Reading List Source URL: www.ieee-security.org Language: English - Date: 2017-05-13 08:13:56 Cryptography Obfuscation Computer security Password Security Cyberwarfare Salt Identity management Password policy Password fatigue
283	DIY Hosting for Online Privacy Shoumik Palkar and Matei Zaharia Stanford University Before: A Federated Internet The Internet and its protocols were designed to be federated Add to Reading List Source URL: platformlab.stanford.edu Language: English - Date: 2018-06-18 15:29:57 Computing Cloud infrastructure Cloud computing IT infrastructure Serverless computing Information and communications technology Email
284	Poster：A New Approach to Detecting Ransomware with Deception Yun Feng, Chaoge Liu, Baoxu Liu Institute of Information Engineering, Chinese Academy of Sciences School of Cyber Security, University of Chinese Academy of Add to Reading List Source URL: www.ieee-security.org Language: English - Date: 2017-05-24 15:44:20 Security Security breaches Prevention Ransomware Cybercrime Malware Locky Computer security
285	Cost-Based Learning for Planning Srinivas Nedunuri and William R. Cook Douglas R. Smith Dept. of Computer Science, University of Texas at Austin Add to Reading List Source URL: www.kestrel.edu Language: English - Date: 2014-10-03 20:52:55 Logic Mathematics Automated theorem proving Logic programming Mathematical logic Logical truth Propositional calculus Substitution Measure theory operator Decomposition of spectrum
286	McGill University School of Computer Science Sable Research Group WebAssembly and JavaScript Challenge: Numerical program performance using Add to Reading List Source URL: www.sable.mcgill.ca Language: English - Date: 2018-03-15 14:14:31 Software Computing Web programming Web browsers Mozilla Cloud clients Portable software JavaScript Asm.js Firefox Microsoft Edge Google Chrome
287	WWW2005 Organizers International World Wide Web Conference Committee Keio University Add to Reading List Source URL: www2005.org Language: English - Date: 2016-11-06 16:33:49 Economy of Japan Technology Business Fuyo Group Ricoh Fuji Xerox Xerox Oki Electric Industry World Wide Web Consortium Hitachi NEC
288	Chemical Reaction Network Designs for Asynchronous Logic Circuits∗ Luca Cardelli1,2 , Marta Kwiatkowska1 , and Max Whitby1 1 Department of Computer Science, University of Oxford Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2016-06-17 04:03:10 Electronic engineering Logic gates Digital electronics Electrical engineering Electronics Electrical circuits Digital systems Clock signal C-element Asynchronous circuit Sequential logic Flip-flop
289	Verifying Team Formation Protocols with Probabilistic Model Checking? Taolue Chen, Marta Kwiatkowska, David Parker, and Aistis Simaitis Department of Computer Science, University of Oxford, Wolfson Building, Parks Road, Add to Reading List Source URL: www.prismmodelchecker.org Language: English - Date: 2012-05-10 09:21:45 Probability Dynamic programming Markov decision process Stochastic control PRISM model checker Reinforcement learning Probabilistic CTL Application software
290	Checkable Proofs for First-Order Theorem Proving Giles Reger1 , Martin Suda2 1 School of Computer Science, University of Manchester, UK 2 TU Wien, Vienna, Austria Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2017-08-08 03:28:45 Software Automated theorem proving Theoretical computer science Formal methods TPTP Proof assistant Frama-C Theorem prover E theorem prover Theorem Isabelle

UPDATE