GitHub - PDFSEARCH.IO - Document Search Engine

GitHub
Results: 3844

#	Item
161	Invariants for Finite Instances and Beyond Sylvain Conchon∗† Amit Goel‡ Sava Krsti´c‡ Add to Reading List Source URL: mebsout.github.io Language: English - Date: 2017-07-21 11:03:15 120-cell Reachability FO Tiny Encryption Algorithm Mathematics Discrete mathematics Mathematical logic
162	Theory Learning and Logical Rule Induction with Neural Theorem Proving Andres Campero 1 Aldo Pareja 2 Tim Klinger 2 Josh Tenenbaum 1 Sebastian Riedel 3 1. Introduction A hallmark of human cognition is the ability to con Add to Reading List Source URL: uclmr.github.io Language: English - Date: 2018-08-06 06:17:49 Logic Reasoning Inductive reasoning Predicate logic Mathematical logic Predicate Propositional calculus Inference Universal quantification Axiom
163	Université Paris-Sud École Doctorale d’Informatiqe Laboratoire de Recherche en Informatiqe Discipline : Informatiqe Add to Reading List Source URL: mebsout.github.io Language: French - Date: 2017-07-21 11:03:15
164	Change Impact Analysis for AspectJ Programs Sai Zhang, Zhongxian Gu, Yu Lin and Jianjun Zhao Shanghai Jiao Tong University Change Impact Analysis for AspectJ Programs • AspectJ’s specific constructs requires adaptin Add to Reading List Source URL: zhang-sai.github.io Language: English - Date: 2015-05-05 00:58:35 Software development Aspect-oriented software development Computing Aspect-oriented programming AspectJ Pointcut Join point Aspect Change impact analysis Compiler
165	Pool: Scalable On-Demand Secure Computation Service Against Malicious Adversaries Add to Reading List Source URL: acmccs.github.io Language: English - Date: 2017-12-30 21:51:59 Logic gates Cryptographic protocols Circuit complexity Theoretical computer science Complexity classes Garbled circuit Theory of computation Secure multi-party computation Multiplexer XOR gate OR gate NC
166	Combined Static and Dynamic Automated Test Generation Add to Reading List Source URL: zhang-sai.github.io Language: English - Date: 2015-05-05 00:58:34
167	Uncovering Performance Problems in Java Applications with Reference Propagation Profiling 1 Dacong Yan1 Add to Reading List Source URL: dacongy.github.io Language: English - Date: 2017-06-27 01:04:15 Computing Compiler optimizations Software engineering Data types Memory management Escape analysis Static program analysis Tree Heap Garbage Static single assignment form Node
168	δ-Complete Decision Procedures for Satisfiability over the Reals⋆ Sicun Gao, Jeremy Avigad, and Edmund M. Clarke Carnegie Mellon University, Pittsburgh, PAAbstract. We introduce the notion of “δ-complete de Add to Reading List Source URL: scungao.github.io Language: English - Date: 2018-09-27 16:37:21 Theoretical computer science Computability theory Computational complexity theory Theory of computation Constructivism Fourier analysis Formal methods Computable number Computable analysis Computable function NC Modulus of continuity
169	Counter Simulations via Higher Order Quantifier Elimination: a preliminary report Silvio Ghilardi Elena Pagani Add to Reading List Source URL: pxtp.github.io Language: English - Date: 2017-09-19 19:50:55 Logic Formal languages Philosophy Mathematical logic Interpretation Philosophy of mind Semantics Substitution Model theory Symbol IP operator
170	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: seahorn.github.io Language: English - Date: 2018-08-03 20:31:21 Mathematics Abstract algebra Mathematical analysis Graph Graph theory Partial derivative Valuation Representation Voltage graph operator

UPDATE