GitHub - PDFSEARCH.IO - Document Search Engine

GitHub
Results: 3844

#	Item
51	An extensible ad hoc interface between Lean and Mathematica Robert Y. Lewis Carnegie Mellon University Pittsburgh, PA, USA Add to Reading List Source URL: pxtp.github.io Language: English - Date: 2017-09-19 19:50:55 Computing Software engineering Computer programming Functional programming Subroutines Computability theory Theoretical computer science Computer algebra systems Pattern matching Wolfram Mathematica Expr Anonymous function
52	SMTCoq: A plug-in for integrating SMT solvers into Coq? Burak Ekici1 , Alain Mebsout1 , Cesare Tinelli1 , Chantal Keller2 , Guy Katz3 , Andrew Reynolds1 , and Clark Barrett3 t Add to Reading List Source URL: mebsout.github.io Language: English - Date: 2017-07-21 11:03:15 Theoretical computer science Mathematics Formal methods Mathematical logic Logic in computer science Electronic design automation NP-complete problems Boolean algebra Satisfiability modulo theories Coq Solver Proof assistant
53	Automatically Synthesizing SQL Queries from Input-Output Examples Sai Zhang Yuyin Sun Add to Reading List Source URL: zhang-sai.github.io Language: English - Date: 2015-05-05 00:58:34 Data management Information retrieval Computing SQL keywords SQL Query languages Database management systems Database theory Select Null Update Join
54	Software Bug Localization with Markov Logic Sai Zhang Congle Zhang Department of Computer Science & Engineering Add to Reading List Source URL: zhang-sai.github.io Language: English - Date: 2015-05-05 00:58:34 Logic Mathematical logic Non-classical logic Markov logic network Software testing Probabilistic logic Software bug Code coverage Debugging Inference First-order logic Buggy
55	Scalable Fine-Grained Proofs for Formula Processing Haniel Barbosa1,2(B) , Jasmin Christian Blanchette3,1,4 , and Pascal Fontaine1 1 Université de Lorraine, CNRS, Inria, LORIA, Nancy, France Add to Reading List Source URL: pxtp.github.io Language: English - Date: 2017-09-19 19:50:55 Mathematical logic Logic Mathematics Predicate logic Computability theory Models of computation First-order logic Lambda calculus Term Quantifier Natural deduction CurryHoward correspondence
56	A Collaborative Framework for Non-Linear Integer Arithmetic Reasoning in Alt-Ergo Sylvain Conchon∗ Mohamed Iguernelala∗,∗∗ Alain Mebsout∗ ∗ LRI, Universit´ Add to Reading List Source URL: mebsout.github.io Language: English - Date: 2017-07-21 11:03:15 Mathematics Algebra Theoretical computer science Logic in computer science Satisfiability modulo theories Alt-Ergo Modular arithmetic Ring Rewriting Linear programming First-order logic Interval arithmetic
57	From Open Citation Data to Linked Open Data: a prototype at the ERC Diego Chialva ERC Executive Agency Unit A1 Add to Reading List Source URL: workshop-oc.github.io Language: English - Date: 2018-09-10 10:16:09 Semantic Web Information science Computing Information Knowledge representation Technical communication Knowledge engineering Ontology Geographic information system Linked data Open data Web Ontology Language
58	The SeaHorn Verification Framework? Arie Gurfinkel1 , Temesghen Kahsai2 , Anvesh Komuravelli3 , and Jorge A. Navas4 1 3 Add to Reading List Source URL: seahorn.github.io Language: English - Date: 2018-08-03 20:31:21 Software engineering Software Computing Logic in computer science Programming language semantics Logic programming Compilers LLVM Abstract interpretation Constraint logic programming Operational semantics Clang
59	Pattern-based Synthesis of Synchronization for the C++ Memory Model Yuri Meshman Noam Rinetzky Add to Reading List Source URL: practicalsynthesis.github.io Language: English - Date: 2018-01-15 09:26:26 Concurrency control Computing Computer architecture Computer programming Synchronization Linearizability Memory barrier Parallel computing Mutual exclusion Critical section Lock Thread
60	Towards a common philosophy of explanation for artificial and biological intelligence Jessica A Thompson () International Laboratory for Brain, Music and Sound (BRAMS) Montreal Institute for Learni Add to Reading List Source URL: thompsonj.github.io Language: English - Date: 2018-09-05 18:08:48 Metaphysics Cognitive science Neuroscience Computational neuroscience Cognitive neuroscience Philosophy of science Emergence Mind Neurophilosophy Theory Neural network Occam's razor

UPDATE