GitHub - PDFSEARCH.IO - Document Search Engine

GitHub
Results: 3844

#	Item
131	A Coq Library For Internal Verification of Running-Times Jay McCarthy University of Massachusetts at Lowell Burke Fetscher, Max S. New, Daniel Feltey, Robert Bruce Findler Northwestern University Add to Reading List Source URL: jeapostrophe.github.io Language: English - Date: 2018-10-23 12:14:23 Computer programming Software engineering Type theory Computing Functional programming Adjoint functors Monad HindleyMilner type system Variety Redblack tree List
132	Verifying the Floating-Point Computation Equivalence of Manually and Automatically Differentiated Code — 1st International Workshop on Software Correctness for HPC Applications, Nov 12, 2017, CO, USA Add to Reading List Source URL: correctness-workshop.github.io Language: English - Date: 2017-11-14 22:52:13 Computing Software engineering Computer programming X86 instructions MOVAPD X86 instruction listings J Compiler MOVDDUP
133	Article-level metrics: a comparison between publishers Colin Batchelor Data Science Bologna, September 2018 Add to Reading List Source URL: workshop-oc.github.io Language: English - Date: 2018-09-10 10:16:09 Publishing Citation metrics Academic publishing Open access journals Scholarly communication Article-level metrics ELife Metrics PLOS
134	Apostolos Pyrgelis Personal Data Place and Date of Birth: Citizenship: Address: Mobile Phone: Add to Reading List Source URL: mex2meou.github.io Language: English - Date: 2018-05-18 07:48:54 Administrative regions of Greece Human rights Patras Tourism in Greece Internet privacy Wireless sensor network Privacy Geography of Greece
135	1 Interval Analysis and Machine Arithmetic: Why Signedness Ignorance Is Bliss GRAEME GANGE, JORGE A. NAVAS, PETER SCHACHTE, HARALD SØNDERGAARD, and PETER J. STUCKEY, The University of Melbourne, Australia Add to Reading List Source URL: jorgenavas.github.io Language: English - Date: 2018-10-25 12:43:22 Mathematics Computer arithmetic Algebra Abstract algebra Abstract interpretation Interval arithmetic Two's complement Interval Signedness Logarithm Modular arithmetic Division by zero
136	A Coq Library For Internal Verification of Running-Times Jay McCarthy University of Massachusetts at Lowell Burke Fetscher, Max S. New, Daniel Feltey, Robert Bruce Findler Northwestern University Add to Reading List Source URL: jeapostrophe.github.io Language: English - Date: 2018-10-23 12:14:23 Computer programming Software engineering Type theory Computing Functional programming Adjoint functors Monad HindleyMilner type system Variety Redblack tree List
137	Imitation Learning of Hierarchical Programs via Variational Inference Roy Fox * 1 Richard Shin * 1 Pieter Abbeel 1 Ken Goldberg 1 2 Dawn Song 1 Ion Stoica 1 The design of controllers that operate in dynamical systems to Add to Reading List Source URL: uclmr.github.io Language: English - Date: 2018-08-06 06:17:49 Artificial intelligence Computational neuroscience Machine learning Learning Artificial neural networks Market research Convolutional neural network Outline of machine learning MNIST database Supervised learning Variational Bayesian methods Bayesian network
138	MHDeS: Deduplicating Method Handle Graphs for Efficient Dynamic JVM Language Implementations Shijie Xu and David Bremner Daniel Heidinga Add to Reading List Source URL: xushijie.github.io Language: English - Date: 2018-09-18 22:05:07 High German languages Middle High German MHG Equivalence relation Just-in-time compilation
139	SMT-Based Model Checking for Recursive Programs ⋆ Anvesh Komuravelli, Arie Gurfinkel, and Sagar Chaki Carnegie Mellon University, Pittsburgh, PA, USA Abstract. We present an SMT-based symbolic model checking algorithm Add to Reading List Source URL: seahorn.github.io Language: English - Date: 2018-08-03 20:31:21 Mathematics Symbol 120-cell Craig interpolation Computability theory Fiber bundles Differential topology
140	Neural Network-based Graph Embedding for Cross-Platform Binary Code Similarity Detection Add to Reading List Source URL: acmccs.github.io Language: English - Date: 2017-12-30 21:51:59 Graph theory Mathematics Topological graph theory Discrete mathematics Planar graphs Artificial neural network Deep learning Graph embedding Graph Neural architecture search

UPDATE