Boolean - PDFSEARCH.IO - Document Search Engine

Boolean
Results: 2137

#	Item
891	Discrete Dynamical Networks and their Attractor Basins Andrew Wuensche Santa Fe Institute, 1399 Hyde Park Road, Santa Fe, New Mexico[removed]USA, [removed], http://www.santafe.edu/∼wuensch/ Add to Reading List Source URL: uncomp.uwe.ac.uk Language: English - Date: 2002-05-01 15:56:03 Philosophy of thermal and statistical physics Thermodynamic entropy Attractor Rule 30 Chaos theory Entropy Self-organization Physics Probability and statistics Science Cellular automaton Boolean network
892	Pragmatic Unit Testingin Java 8 with JUnit Add to Reading List Source URL: media.pragprog.com Language: English - Date: 2015-03-17 11:35:55 Extreme programming Software testing Unit testing Andy Hunt Boolean data type Dave Thomas Code refactoring The Pragmatic Programmer Criterion Computing Computer programming Software engineering
893	Boolean operations on feature-based models Yvon Gardan Christian Minich Estelle Perrin Add to Reading List Source URL: wscg.zcu.cz Language: English - Date: 2003-01-06 09:18:10 Algebraic logic Boolean algebra Solid modeling Constructive solid geometry Feature Symmetry Mathematics Boolean algebras canonically defined 3D computer graphics Computer-aided design Geometry
894	SMT Solvers Theory & Practice Leonardo de Moura [removed] Microsoft Research Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2006-11-12 03:14:38 Model theory Electronic design automation Formal methods Logic in computer science NP-complete problems Satisfiability Modulo Theories Structure Well-formed formula Boolean satisfiability problem Mathematics Theoretical computer science Logic
895	Efficient Querying of Inconsistent Databases with Binary Integer Programming ∗ Phokion G. Kolaitis Add to Reading List Source URL: www.vldb.org Language: English - Date: 2013-06-29 06:26:31 Conjunctive query Theoretical computer science Boolean conjunctive query Relational database SQL FO Stable model semantics Relational model Database theory Data management Computing
896	Overview of Fourier sampling over the Boolean cube Eric Blais University of Waterloo October 18, 2014 Add to Reading List Source URL: groups.csail.mit.edu Language: English - Date: 2014-10-20 10:20:12 Joseph Fourier Generalized functions Unitary operators Fourier transform Fourier inversion theorem Fourier series Fractional Fourier transform Mathematical analysis Fourier analysis Integral transforms
897	E MPIRICAL A NALYSIS OF L OCAL S EARCH A LGORITHMS AND P ROBLEM D IFFICULTY IN S ATISFIABILITY by Dave Tae Shik Yoon Add to Reading List Source URL: tidel.mie.utoronto.ca Language: English - Date: 2006-09-14 13:48:35 Mathematics Applied mathematics Operations research Boolean algebra WalkSAT Boolean satisfiability problem Local search Mathematical optimization Satisfiability Theoretical computer science Constraint programming Logic in computer science
898	Microsoft Word - CIW_Exam Objectives 1D0-437.doc Add to Reading List Source URL: www.ciwcareeracademy.com Language: English - Date: 2010-05-27 16:00:11 Cross-platform software Procedural programming languages Data types Perl Scripting languages C Regular expression Boolean data type Variable Software engineering Computing Computer programming
899	Associative Memory Networks for Beyond Boolean Computing Danny Voils Portland State University January 27, 2014 Add to Reading List Source URL: web.cecs.pdx.edu Language: English - Date: 2014-01-28 14:57:16 Computer memory Computer networking Content-addressable memory Computer Heterogeneous computing Scalability Multi-core processor ACT-R Computing Computer architecture Electronics
900	Decomposing English and and or Linmin Zhang ([removed]), Department of Linguistics, New York University Background: English and and or are traditionally analyzed as boolean operators u and t (von Stechow 1974, Add to Reading List Source URL: nels45.mit.edu Language: English - Date: 2014-10-28 01:13:59 Μ operator Constructible universe Function Software engineering Computing Mathematics Fold Recursion

UPDATE