Boolean - PDFSEARCH.IO - Document Search Engine

Boolean
Results: 2137

#	Item
881	Chapter 3 Associative Lambek Calculus The general shape of the CG theory of natural language syntax is that natural language can be modeled as language-specific lexicons, which consider of axioms in the proof theory bei Add to Reading List Source URL: www.purelytheoretical.com Language: English - Date: 2013-11-13 00:43:56 Propositional calculus Boolean algebra Complexity classes Mathematical constructivism Non-classical logic Categorial grammar NP Intuitionistic logic Natural deduction Logic Mathematical logic Theoretical computer science
882	THE MORPHOSYNTAX OF NEGATION IN COLONIAL VALLEY ZAPOTEC* Carolyn Jane Anderson McGill University [removed] Brook Danielle Lillehaugen Add to Reading List Source URL: ssila.org Language: English - Date: 2015-02-18 03:43:44 Negation Logic Linguistics Mathematical logic Zapotec languages Boolean algebra Negative
883	CS 243 Lecture 11 Binary Decision Diagrams (BDDs) in Pointer Analysis 1. Datalog BDD 2. BDDs Add to Reading List Source URL: dragonbook.stanford.edu Language: English - Date: 2008-09-08 14:03:58 Model checking Mathematics Theoretical computer science Boolean algebra Diagrams Binary decision diagram
884	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:12 Boolean algebra Diagrams Binary decision diagram Model checking Monica S. Lam Datalog Pointer analysis Algorithm Pointer Computing Mathematics Software engineering
885	TICS-1168; No. of Pages 6 Review The acquisition of Boolean concepts Geoffrey P. Goodwin1 and Philip N. Johnson-Laird2,3 Add to Reading List Source URL: mentalmodels.princeton.edu Language: English - Date: 2013-02-21 16:45:04 Cognitive science Cognitive psychology Information science Mental model Scientific modeling Thought Concept learning Analogy Boolean algebra Ethology Mind Philosophy of mind
886	TinyLEGO: An Interactive Garbling Scheme for Maliciously Secure Two-party Computation Tore Kasper Frederiksen, Thomas P. Jakobsen, Jesper Buus Nielsen, and Roberto Trifiletti ??? Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2015-04-04 01:46:16 Mathematical logic XOR gate OR gate Commitment scheme Boolean circuit AND gate Exclusive or Verifiable computing Logic gates Theoretical computer science Mathematics
887	Synthetic Reasoning and the Reverse Engineering of Boolean Circuits N. Y. Louis Lee ([removed]) Department of Psychology, Princeton University Princeton, NJ[removed]USA P. N. Johnson-Laird (phil@princeton Add to Reading List Source URL: mentalmodels.princeton.edu Language: English - Date: 2012-06-14 22:38:47 Cognitive science Human–machine interaction Switch Mental model Network switch Computational complexity theory Problem solving Ethology Mind Information
888	Microsoft Word - CIW_Exam Objectives 1D0-437.doc Add to Reading List Source URL: www.ciwcertified.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
889	Private Circuits: Securing Hardware against Probing Attacks Yuval Ishai1 , Amit Sahai2 , and David Wagner3 1 Technion — Israel Institute of Technology,? [removed] Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2015-01-21 19:48:40 Digital circuits Pseudorandomness Circuit complexity Electronic engineering NC Circuit Electronic circuit Boolean circuit State Theoretical computer science Applied mathematics Computational complexity theory
890	Generating Exact- and Ranked Partially-Matched Answers to Questions in Advertisements Rani Qumsiyeh Maria S. Pera Add to Reading List Source URL: vldb.org Language: English - Date: 2011-11-23 01:03:10 Data management Computational linguistics Natural language processing Artificial intelligence applications Question answering Database normalization Boolean algebra Vector space model SQL Information science Information retrieval Science

UPDATE