GitHub - PDFSEARCH.IO - Document Search Engine

GitHub
Results: 3844

#	Item
81	A Tool for Intersecting Context-Free Grammars and Its Applications Graeme Gange1 , Jorge A. Navas2(B) , Peter Schachte1 , Harald Søndergaard1 , and Peter J. Stuckey1 1 2 Add to Reading List Source URL: jorgenavas.github.io Language: English - Date: 2018-10-25 12:43:22 Formal languages Language Culture Grammar Context-free grammar Formal grammar Context-free language Regular language Regular grammar Model checking Conjunctive grammar
82	Improving Neural Program Synthesis with Inferred Execution Traces Richard Shin 1 * Illia Polosukhin 2 Dawn Song 1 1. Introduction Add to Reading List Source URL: uclmr.github.io Language: English - Date: 2018-08-06 06:17:49 Computational neuroscience Artificial neural networks Applied mathematics Cybernetics Neuroscience Convolutional neural network Feature learning Deep learning Karel Neural network Long short-term memory Machine learning
83	JFP 27, e19, 29 pages, 2017 https://doi.orgS0956796817000107 1 Add to Reading List Source URL: jeapostrophe.github.io Language: English - Date: 2018-10-23 12:14:23 Mathematics Mathematical logic Theoretical computer science Enumerative combinatorics Enumeration Ordering Lambda calculus Type theory Enumerated type Recursively enumerable set Combinatory logic
84	JOURNAL OF SOFTWARE, VOL. 8, NO. 3, MARCHAutomated Breakpoint Generation for Debugging Cheng Zhang1,3 , Juyuan Yang2 , Dacong Yan4 , Shengqian Yang4 , Yuting Chen2 Add to Reading List Source URL: dacongy.github.io Language: English - Date: 2017-06-27 01:04:15 Debugging Computer programming Software engineering Computing Breakpoint Debugger Switch statement TeX Program slicing Wing IDE
85	Inférence d’invariants pour le model checking de systèmes paramétrés Alain Mebsout LRI, Université Paris-Sud Soutenance de thèse Add to Reading List Source URL: mebsout.github.io Language: French - Date: 2017-07-21 11:03:15
86	Verifying MPI Applications with Mc SimGrid The Anh Pham, Thierry Jéron, Martin Quinson Univ. Rennes Inria CNRS IRISA (France) Correctness 2017 Denver, Colorado Add to Reading List Source URL: correctness-workshop.github.io Language: English - Date: 2017-11-14 22:52:13 Psychometrics Design of experiments Statistical hypothesis testing Test Psychology Education Parallel computing Human behavior
87	Designing a Secret Handshake: Authenticated Key Exchange as a Capability System Dominic Tarr July 10, 2015 Abstract Capability Based Security is a conceptual framework for designing Add to Reading List Source URL: dominictarr.github.io Language: English - Date: 2015-07-10 14:55:46 Cryptography Public-key cryptography Transport Layer Security Key management Public key infrastructure Man-in-the-middle attack Secure Shell Forward secrecy Elliptic-curve DiffieHellman Replay attack Cryptographic protocol Handshaking
88	A Touch of Evil: High-Assurance CryptographicHardware from Untrusted Components Add to Reading List Source URL: acmccs.github.io Language: English - Date: 2017-12-30 21:51:58 Cryptography Hardware Trojan RSA Public-key cryptography Key ElGamal encryption Digital signature Advantage Encryption
89	VOLUME 2: BPGen: An Automated Breakpoint Generator for Debugging Add to Reading List Source URL: dacongy.github.io Language: English - Date: 2017-06-27 01:04:15 Debugging Computer programming Software engineering Computing Breakpoint Debugger Wing IDE Switch statement Delta debugging Program slicing X86 debug register
90	DolphinAttack: Inaudible Voice Commands Add to Reading List Source URL: acmccs.github.io Language: English - Date: 2017-12-30 21:51:58 Computing Humancomputer interaction Signal processing Electrical engineering Broadcast engineering Radio communications Microphone Sound recording Radio receiver Frequency modulation Modulation Speech recognition

UPDATE