GitHub - PDFSEARCH.IO - Document Search Engine

GitHub
Results: 3844

#	Item
221	Programming by Examples: Logical Reasoning meets Machine Learning NAMPI Workshop July 2018 Sumit Gulwani Add to Reading List Source URL: uclmr.github.io Language: English - Date: 2018-08-06 06:17:49 SUMIT Spreadsheet Computing Framework Symposium on Principles of Programming Languages Computer science Electrical engineering
222	Open citation content data Cirtec project (former CyrCitEc/CitEcCyr) Sergey Parinov, CEMI RAS and RANEPA Cirtec project is funded by Russian Presidential Add to Reading List Source URL: workshop-oc.github.io Language: English - Date: 2018-09-10 10:16:09 Publishing Knowledge Information science Academic publishing Scholarly communication Bibliometrics Knowledge representation Records management Citation Open access
223	AltGr-Ergo, a Graphical User Interface for the SMT Solver Alt-Ergo Sylvain Conchon Mohamed Iguernlala Add to Reading List Source URL: mebsout.github.io Language: English - Date: 2017-07-21 11:03:15 Theoretical computer science Mathematical logic Logic Formal methods Alt-Ergo Electronic design automation Logic in computer science NP-complete problems Satisfiability modulo theories Axiom First-order logic Solver
224	A Simplex-Based Extension of Fourier-Motzkin for Solving Linear Integer Arithmetic? Fran¸cois Bobot1 , Sylvain Conchon1 , Evelyne Contejean1 , Mohamed Iguernelala1 , Assia Mahboubi2 , Alain Mebsout1 , and Guillaume Melq Add to Reading List Source URL: mebsout.github.io Language: English - Date: 2017-07-21 11:03:15 Algebra Mathematics Linear algebra Affine geometry Linear programming Convex optimization Group theory Affine space Linear combination Simplex algorithm Equation solving Vector space
225	Stratis Coding Style Guidelines Last modified: Contents 1 Introduction Add to Reading List Source URL: stratis-storage.github.io Language: English - Date: 2018-09-28 20:16:45 Software engineering Computer programming Computing High-level programming languages Programming languages Cross-platform software Concurrent programming languages Procedural programming languages Python Coding conventions List comprehension Rust
226	Differentiable Inductive Logic Programming Richard Evans, Ed Grefenstette @LittleBimble, @egrefen https://jair.org/index.php/jair/article/view/11172 Add to Reading List Source URL: uclmr.github.io Language: English - Date: 2018-08-06 06:17:49 Computational neuroscience Machine learning Artificial intelligence Cybernetics Learning Applied mathematics Artificial neural networks Formal sciences Backpropagation Inductive programming
227	Exploiting sparsity in difference-bound matrices Graeme Gange1 , Jorge A. Navas2 , 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 Mathematics Abstract algebra Mathematical analysis Graph Graph theory Partial derivative Valuation Representation Voltage graph operator
228	Evading Classifiers by Morphing in the Dark Add to Reading List Source URL: acmccs.github.io Language: English - Date: 2017-12-30 21:51:58 Data analysis Statistics Statistical tests Probability and statistics Range Student's t-test
229	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
230	Caio Romão, Software Engineer https://caio.co https://github.com/caio My name is Caio (pronounce it like KAH-Yo). I’m a software engineer with a keen interest in Add to Reading List Source URL: caio.co Language: English - Date: 2018-10-20 07:03:36 Computing Technology Information and communications technology Computer programmers Software engineer Software engineering IBM Programmer

UPDATE