Logic - PDFSEARCH.IO - Document Search Engine

Logic
Results: 27485

#	Item
891	On Solving Boolean Multilevel Optimization Problems∗ Josep Argelich INESC-ID Lisbon Add to Reading List Source URL: www.mancoosi.org Language: English - Date: 2012-12-16 04:54:55 Theoretical computer science Mathematics Computational complexity theory Operations research Logic in computer science Mathematical optimization NP-complete problems Boolean algebra Maximum satisfiability problem Boolean satisfiability problem Constraint satisfaction Solver
892	Aydin M o hse n i Contact Information address Department of Logic and Philosophy of Science Add to Reading List Source URL: aydinmohseni.com Language: English - Date: 2015-09-20 14:52:00 Formal sciences Logic Logic in computer science Mathematical logic Non-classical logic Philosophy Minneapolis College of Art and Design Mathematics Intuitionistic logic
893	Verified Peephole Optimizations for CompCert Eric Mullen Daryl Zuniga University of Washington, USA Add to Reading List Source URL: peek.uwplse.org Language: English - Date: 2016-08-08 16:17:02 Computing Software engineering Software Compiler optimizations Programming language implementation Compiler construction Formal methods Logic in computer science CompCert Low-level programming language Peephole optimization Formal verification
894	In pursuit of decidable ‘logical form’ Michael Minock TCS/CSC KTH Royal Institute of Technology, Stockholm, Sweden Abstract Add to Reading List Source URL: www2.lingfil.uu.se Language: English - Date: 2014-10-16 02:36:17 Logic Mathematical logic Theoretical computer science Natural language processing Formal methods Computability theory Artificial intelligence Decidability First-order logic Natural language understanding Natural language user interface Entityrelationship model
895	Service Unit Accounting and Finance Last updated: Q-Flow - Electronic Incoming Invoice Workflow University of Vienna Information Sheet for Purchasers Add to Reading List Source URL: www.logic.univie.ac.at Language: English - Date: 2015-08-04 06:15:44 Geography of Europe Economy Europe Invoice Vienna Value-added tax Austria
896	Description Logics: OWL and DAML+OIL Phillip Lord, Robert D. Stevens, Carole A. Goble, and Ian Horrocks Department of Computer Science University of Manchester, Oxford Road, Manchester Add to Reading List Source URL: homepages.cs.ncl.ac.uk Language: English - Date: 2015-12-15 11:14:30 Knowledge representation Knowledge engineering Ontology Information science Semantic Web Computing Knowledge Web Ontology Language Description logic Semantic reasoner Class Gene ontology
897	Comparison of Key/Value Store (KVS) in Software and Programmable Hardware John W. Lockwood, CEO: Algo-Logic Systems, Inc. http://Algo-Logic.com • • ( • 2255-D Martin Ave., Sant Add to Reading List Source URL: www.hotchips.org Language: English - Date: 2015-08-21 02:18:29 Computing Electrical engineering Reconfigurable computing Technology Networking hardware Data Plane Development Kit Fabless semiconductor companies Computer networking Field-programmable gate array Altera Nallatech Packet processing
898	Contractibility + transport ⇔ J Carlo Angiuli December 1, 2014 In MLTT, we usually define the identity type as a reflexive relation satisfying J: Γ`M :A Γ`N :A Add to Reading List Source URL: www.carloangiuli.com Language: English - Date: 2015-05-08 13:33:44 Proof theory Riemann surfaces Mathematics CurryHoward correspondence Logic in computer science Philosophy of computer science Type theory Generalised Whitehead product
899	2015 IEEE Symposium on Security and Privacy TinyGarble: Highly Compressed and Scalable Sequential Garbled Circuits Ebrahim M. Songhori∗ , Siam U. Hussain∗ , Ahmad-Reza Sadeghi† , Thomas Schneider† , Farinaz Kous Add to Reading List Source URL: www.ieee-security.org Language: English - Date: 2015-05-11 16:43:20 Electronic engineering Digital electronics Electronics Electronic design automation Electronic design Logic in computer science Cryptographic protocols Garbled circuit Boolean circuit Sequential logic Logic synthesis Standard cell
900	Practical reasoning John Broome University of Oxford For: Reason and Nature: Essays in the Theory of Rationality, edited by José Bermùdez and Alan Millar, Oxford University Press. This paper was written while I was a v Add to Reading List Source URL: users.ox.ac.uk Language: English - Date: 2002-08-01 11:47:14 Philosophy Logic Reasoning Abstraction Reason Inference Practical reason Normative Argument David Hume Isought problem Defeasible reasoning

UPDATE