Io - PDFSEARCH.IO - Document Search Engine

Io
Results: 17950

#	Item
341	Practical Semantic Test Simplification Sai Zhang University of Washington A typical testing workflow Add to Reading List Source URL: zhang-sai.github.io Language: English - Date: 2015-05-05 00:58:35 Computer programming Object-oriented programming Software engineering GNUstep NeXT Objective-C
342	The TypTop System: Personalized Typo-Tolerant Password Checking Add to Reading List Source URL: acmccs.github.io Language: English - Date: 2017-12-30 21:51:59 Cryptography Computer access control Computer security Password Salt Challengeresponse authentication Crypt Brute-force attack Key derivation function Passphrase OTPW
343	MagNet: a Two-Pronged Defense against Adversarial Examples Add to Reading List Source URL: acmccs.github.io Language: English - Date: 2017-12-30 21:51:58 Machine learning Learning Artificial intelligence Artificial neural networks Computational neuroscience Autoencoder Unsupervised learning Adversarial machine learning Statistical classification Deep learning Classifier Softmax function
344	Towards Self-Verification in Finite Difference Code Generation Jan H¨ uckelheim1 , Ziqing Luo2 , Fabio Luporini1 ,Navjot Kukreja1 , Michael Lange1 , Gerard Gorman1 , Stephen Siegel2 , Matthew Dwyer3 , Paul Hovland4 Add to Reading List Source URL: correctness-workshop.github.io Language: English - Date: 2017-11-14 22:52:13 Computing Computer programming Software engineering Operator theory Fortran OpenMP Parallel computing Hermitian adjoint Adjoint
345	Nishant Shukla Notes March 7, 2017 Add to Reading List Source URL: shukla.io Language: English - Date: 2017-05-18 12:57:06 Computability theory Models of computation Lambda calculus Theoretical computer science Formal methods
346	Angelika Tsivinskaya Center for Institutional Analysis of Science & Education, European University at Saint Petersburg Introduction Results Add to Reading List Source URL: workshop-oc.github.io Language: English - Date: 2018-09-10 10:16:09 Bibliometrics Information science Publishing Academic publishing Citation indices Online databases College and university rankings Web of Science Scientometrics Citation index Izvestiya Vysshikh Uchebnykh Zavedenii. Radioelektronika Funding of science
347	MODsense TM An integrated and secure temperature monitoring solution. Qualified for monitoring medicinal product distribution. Add to Reading List Source URL: modum.io Language: English - Date: 2018-08-27 08:42:31 Computing Computer architecture Technology Wireless networking Smartphones Bluetooth Bluetooth Low Energy Indoor positioning system Restriction of Hazardous Substances Directive Monitoring Android
348	RobustFill: Neural Program Learning under Noisy I/O Add to Reading List Source URL: rishabhmit.bitbucket.io Language: English - Date: 2018-06-25 09:59:57 Computational neuroscience Artificial neural networks Applied mathematics Cognitive science Neuroscience Computational statistics Market research Mathematical psychology Neural network Machine learning Recurrent neural network Memory
349	PDF Document Add to Reading List Source URL: static.airbridge.io Language: Korean - Date: 2018-04-30 03:00:00
350	XFindBugs: eXtended FindBugs for AspectJ Haihao Shen, Sai Zhang, Jianjun Zhao, Jianhong Fang, Shiyuan Yao School of Software, Shanghai Jiao Tong University 800 Dongchuan Road, Shanghai, China {haihaoshen, saizhan Add to Reading List Source URL: zhang-sai.github.io Language: English - Date: 2015-05-05 00:58:34 Software development Computing Aspect-oriented software development Software engineering Aspect-oriented programming AspectJ Pointcut FindBugs Join point Spring Framework Cross-cutting concern Software design pattern

UPDATE