Boolean

Results: 2137



#Item
761Character encoding / Physics / Mathematics / Fourier analysis / Fourier transform / Joseph Fourier

Friedgut–Kalai–Naor theorem for slices of the Boolean cube Yuval Filmus˚ Institute for Advanced Study, Princeton, NJ October 15, 2014 Abstract

Add to Reading List

Source URL: www.cs.toronto.edu

Language: English - Date: 2014-10-15 11:15:14
762Initialisms / XYZ / Elementary algebra / Triangle geometry / Boolean algebra / Associative property / Mathematics / Algebra / Geometry

American Computer Science LeagueIntermediate Division

Add to Reading List

Source URL: www.acsl.org

Language: English - Date: 2011-07-30 11:53:35
763Associative property / Boolean algebra / Initialisms / XYZ / Elementary algebra

American Computer Science League Classroom Division Contest #3

Add to Reading List

Source URL: www.acsl.org

Language: English - Date: 2011-07-30 11:53:33
764Data analysis / Variance / Sampling / Random variable / Variable / Statistical hypothesis testing / Interpretation / Random walk / Boolean satisfiability problem / Statistics / Mathematics / Probability theory

From Sampling to Model Counting

Add to Reading List

Source URL: www.ijcai.org

Language: English - Date: 2009-01-13 06:27:57
765Computing / Partial differential equations / Importance sampling / Variance reduction / Lookup table / Monte Carlo integration / Boolean satisfiability problem / Monte Carlo methods / Theoretical computer science / Mathematics

Approximate Counting by Sampling the Backtrack-free Search Space Vibhav Gogate and Rina Dechter Donald Bren School of Information and Computer Science, University of California, Irvine, CA 92697, {vgogate,dechter}@ics.uc

Add to Reading List

Source URL: sami.ics.uci.edu

Language: English - Date: 2007-08-17 19:31:44
766Artificial intelligence / Learning / Decision tree learning / Boolean model / Statistical classification / Decision tree model / Random forest / Machine learning / Decision trees / Computational statistics

Texture Classification based on the Boolean Model and its Application to Hep-2 Cells

Add to Reading List

Source URL: www.data-mining-tutorial.de

Language: English - Date: 2009-10-09 07:21:17
767Information retrieval / Software engineering / Boolean expression / Boolean data type / C / Google Search / Web search engine / Logical connective / Search engine / Information science / Boolean algebra / Computing

Conducting A Boolean Search A Boolean expression is a complex query that uses Boolean operators to combine keywords typically in Google or other search engine. The Boolean operators set the conditions for a search. The

Add to Reading List

Source URL: stg.mpcug.net.au

Language: English - Date: 2015-04-04 01:56:26
768Programming language theory / Type theory / C++ / Program analysis / Type system / ALGOL 68 / Primitive data type / Enumerated type / Boolean data type / Computing / Data types / Software engineering

Specification of Zinc and MiniZinc Zinc version (rotdMiniZinc version 1.2 Nicholas Nethercote Kim Marriott

Add to Reading List

Source URL: www.minizinc.org

Language: English - Date: 2010-11-11 04:11:19
769Algebraic structures / Boolean algebra / E-function / Number theory / Algebraic normal form / Degree of a continuous mapping / Field / Abstract algebra / Mathematics / Algebra

On the Boolean functions With Maximum Possible Algebraic Immunity : Construction and A Lower Bound of the Count Abstract. This paper gives a construction method which can get a large class of Boolean functions with maxim

Add to Reading List

Source URL: eprint.iacr.org

Language: English - Date: 2006-04-07 22:30:07
770Formal methods / Electronic design automation / Logic in computer science / NP-complete problems / Model checking / Data types / Boolean satisfiability problem / Ada / Pointer / Computing / Software engineering / Theoretical computer science

Saturn: A SAT-based Tool for Bug Detection? Yichen Xie and Alex Aiken Computer Science Department Stanford University {yxie,aiken}cs.stanford.edu

Add to Reading List

Source URL: theory.stanford.edu

Language: English - Date: 2005-05-20 18:05:46
UPDATE