Boolean - PDFSEARCH.IO - Document Search Engine

Boolean
Results: 2137

#	Item
241	Economics and Computation ECONand CPSCProfessor Dirk Bergemann and Professor Joan Feigenbaum Lecture IV Add to Reading List Source URL: zoo.cs.yale.edu Language: English - Date: 2008-10-07 04:07:53 Complexity classes Computational complexity theory Boolean algebra Structural complexity theory NP-complete problems Boolean satisfiability problem NP PP Reduction True quantified Boolean formula Exponential time hypothesis P
242	Land surface process modelling with PCRaster Python Release 2.5 Derek Karssenberg Add to Reading List Source URL: karssenberg.geo.uu.nl Language: English - Date: 2015-03-24 10:53:24 Boolean algebra Boolean data type Boolean Data type Cursor Scala
243	Empirical Issues in Syntax and Semantics 8 O. Bonami & P. Cabredo Hofherr (eds, pp. 27–51 http://www.cssp.cnrs.fr/eiss8 Move and accommodate: Add to Reading List Source URL: www.cssp.cnrs.fr Language: English - Date: 2011-02-21 12:14:01 Semantics Philosophy of language Quantification Predicate logic Pragmatics Presupposition Definite description Quantifier Proposition Generalized quantifier Accommodation Boolean algebra
244	Interactive Constrained Boolean Matrix Factorization Nelson Mukuze PauIi Miettinen Max-Planck-Institut für Informatik Add to Reading List Source URL: poloclub.gatech.edu Language: English - Date: 2016-07-22 15:05:21 Matrix theory Multivariate statistics Numerical linear algebra Matrix Factorization Algorithm Non-negative matrix factorization Principal component analysis
245	System Description: iProver – An Instantiation-Based Theorem Prover for First-Order Logic Konstantin Korovin? The University of Manchester School of Computer Science Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2008-10-30 19:06:51 Automated theorem proving Logic in computer science Constraint programming Logic programming Rules of inference Resolution Boolean satisfiability problem Clause Small clause Reasoning system English relative clauses Unit propagation
246	KEK GRID CA Certificate and CRL Profile VerJun 11, 2009 Add to Reading List Source URL: gridca.kek.jp Language: English - Date: 2009-06-10 21:47:17 Data types Primitive types Character encoding String Lightweight Directory Access Protocol Value Null Boolean data type
247	Introduction to Smalltalk - Chapter 4 - True and False objects, blocks, selection and iteration  Ivan TomekChapter 4 - True and False objects, blocks, selection and iteration Overview In this chapter, we begi Add to Reading List Source URL: sdmeta.gforge.inria.fr Language: English - Date: 2014-10-09 10:38:17 Object-oriented programming languages Smalltalk Conditional Boolean data type Objective-C Self Closure Eval C Sharp Go Relational operator Message passing
248	On Specifying Boolean Functions by Labelled Examples Martin Anthony and Graham Brightwell Department of Statistical and Mathematical Sciences London School of Economics Add to Reading List Source URL: www.maths.lse.ac.uk Language: English - Date: 2003-07-02 03:41:24 Statistical theory Estimation theory M-estimators Ordinary differential equations Operator theory Sufficient statistic Heat equation
249	Boolean Operations using Generalized Winding Numbers Alec Jacobson Columbia University Abstract Add to Reading List Source URL: arxiv.org Language: English - Date: 2016-01-31 20:35:54 3D computer graphics Mesh generation Triangle geometry Algebraic topology Complex analysis Winding number Triangle mesh Triangle
250	Quadratization of Symmetric Pseudo-Boolean Functions Martin Anthonya , Endre Borosb , Yves Cramac , Aritanan Gruberd,∗ a Department of Mathematics, London School of Economics and Political Science, UK. Add to Reading List Source URL: www.maths.lse.ac.uk Language: English - Date: 2015-12-10 05:21:39 Algebraic structures Polynomials Mathematical optimization Pseudo-Boolean function Symmetric functions Ring Symmetric matrix Boolean algebra Elementary symmetric polynomial

UPDATE