Boolean - PDFSEARCH.IO - Document Search Engine

Boolean
Results: 2137

#	Item
901	Classifying Cellular Automata Automatically; Finding gliders, filtering, and relating space-time patterns, attractor basins, and the Z parameter. Andrew Wuensche Santa Fe Institute, 1399 Hyde Park Road, Santa Fe, New Mex Add to Reading List Source URL: uncomp.uwe.ac.uk Language: English - Date: 2002-05-01 15:56:39 Mathematics Boolean network Chaos theory Structure Cellular automaton Approximations of π Phase portrait Pi Attractor network Mathematical analysis Dynamical systems Attractor
902	Analyzing Sentiment while Accounting for Negation Scope and Strength Alexander Hogenboom Paul van Iterson Bas Heerschop Flavius Frasincar Add to Reading List Source URL: allserv.kahosl.be Language: English - Date: 2011-10-03 02:58:16 Science Mathematics Boolean algebra Rhetoric Natural language processing Negation Sentiment analysis Yes and no Existence Grammar Linguistics Semantics
903	A Binary Dance Workshop Andrea Hawksley Communications Design Group SAP Labs, San Francisco, CA, USA [removed] Add to Reading List Source URL: andreahawksley.com Language: English - Date: 2014-05-21 21:28:51 Abstract algebra Boolean algebra Computer arithmetic Binary numeral system Elementary arithmetic Bitwise operation Exclusive or Adder XOR gate Binary arithmetic Arithmetic Mathematics
904	CHAPTER TRUTH TABLES, LOGIC, AND PROOFS ■ 1.1 Add to Reading List Source URL: www.macrotex.net Language: English - Date: 2002-12-01 12:22:21 Mathematics Abstract algebra Logical connectives Semantics Truth table Negation If and only if Vacuous truth Tautology Logic Propositional calculus Boolean algebra
905	Adaptive Local Search for Boolean Optimization Problems Add to Reading List Source URL: www.nik.no Language: English - Date: 2003-10-14 08:10:53 Theoretical computer science Mathematical optimization Stochastic programming Vehicle routing problem Stochastic differential equation Stochastic process Operations research Applied mathematics Mathematics
906	CONTEXT-SENSITIVE POINTER ANALYSIS USING BINARY DECISION DIAGRAMS A DISSERTATION SUBMITTED TO THE DEPARTMENT OF COMPUTER SCIENCE AND THE COMMITTEE ON GRADUATE STUDIES Add to Reading List Source URL: suif.stanford.edu Language: English - Date: 2007-04-01 19:35:11 Boolean algebra Diagrams Binary decision diagram Model checking Datalog Monica S. Lam Algorithm Pointer Stack Computing Software engineering Programming language theory
907	Mem Cogn[removed]:266–279 DOI[removed]s13421[removed]Reasoning from connectives and relations between entities Robert Mackiewicz & Philip N. Johnson-Laird Add to Reading List Source URL: mentalmodels.princeton.edu Language: English - Date: 2012-09-30 19:08:07 Propositional calculus Reasoning Boolean algebra Binary operations Logical connectives Logical biconditional Mental model Validity Inference Logic Science Knowledge
908	Microsoft PowerPoint - iccad08-tutorial-ALL [Compatibility Mode] Add to Reading List Source URL: www.ece.vt.edu Language: English - Date: 2012-10-24 15:39:27 Formal methods Program logic Logic in computer science Electronic design automation NP-complete problems Hoare logic Boolean satisfiability problem Control flow Correctness Theoretical computer science Applied mathematics Mathematics
909	Entity with Attributes View Add to Reading List Source URL: www.programmableweb.com Language: English - Date: 2010-03-12 19:58:35 Computing Variables Boolean data type Mathematics Data types Software engineering Type theory
910	c 2015 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promo Add to Reading List Source URL: www.sosy-lab.org Language: English - Date: 2015-04-14 05:36:42 Diagrams Algorithm Theoretical computer science Binary decision diagram Economic model Model checking Function Mathematics Boolean algebra Mathematical logic

UPDATE