Boolean - PDFSEARCH.IO - Document Search Engine

Boolean
Results: 2137

#	Item
551	ICS 1F — Winter 1998 — Midterm Name: Student ID: Add to Reading List Source URL: www.ics.uci.edu Language: English - Date: 1998-02-10 16:51:49 Mathematical logic Propositional calculus Semantics Digital circuits Binary arithmetic Binary numeral system Boolean circuit Truth table FO Mathematics Boolean algebra Theoretical computer science
552	Small, Stupid, and Scalable: Secure Computing with Faerieplay∗ Alexander Iliev Sean W. Smith Add to Reading List Source URL: www.cs.dartmouth.edu Language: English - Date: 2010-11-08 12:53:14 Secure multi-party computation Circuit complexity Circuit Lookup table Boolean circuit Advantage Randomized algorithm Blinding Field-programmable gate array Theoretical computer science Applied mathematics Computational complexity theory
553	1 Evaluation of Query Formulations in the Negotiated Query Reﬁnement Process of Legal e-Discovery: UMKC at TREC 2007 Legal Track Feng C. Zhao, Yugyung Lee, Deep Medhi Add to Reading List Source URL: trec.nist.gov Language: English - Date: 2008-02-11 09:14:36 Relevance Vector space model Search engine Extended Boolean model Information retrieval Relevance feedback Query expansion
554	THE EFFICIENT SYMBOLIC TOOLS PACKAGE Robert Meolic, Tatjana Kapus, Zmago Brezoˇcnik Faculty of Electrical Engineering and Computer Science University of Maribor Smetanova ul. 17, SI-2000 Maribor, Slovenia E-mail: fmeoli Add to Reading List Source URL: research.meolic.com Language: English - Date: 2013-12-04 04:28:45 Systems engineering Theoretical computer science Diagrams Formal methods Binary decision diagram Model checking Formal verification Boolean function Verification Boolean algebra Mathematics Mathematical logic
555	UKWDA Training: CIW Web Development Series Perl Specialist Exam Objectives [Exam 1D0-437]  Add to Reading List Source URL: training.ukwda.org Language: English - Date: 2012-09-08 06:05:23 Data types Cross-platform software Procedural programming languages Perl Primitive types C Boolean data type Subroutine SQL Computing Software engineering Computer programming
556	Proofs and Refutations, and Z3 Leonardo de Moura and Nikolaj Bjørner Microsoft Research Abstract Z3 [3] is a state-of-the-art Satisfiability Modulo Theories (SMT) solver freely available from Microsoft Research. It solv Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2009-07-21 19:11:06 Formal methods Metalogic Logic in computer science Electronic design automation NP-complete problems Satisfiability Modulo Theories Boolean satisfiability problem Conjunctive normal form Mathematical proof Mathematics Theoretical computer science Logic
557	Software Engineering and Automated Deduction Willem Visser Nikolaj Bjørner Natarajan Shankar Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2014-05-07 12:02:12 Formal methods Automated theorem proving Logic in computer science NP-complete problems Model checking Satisfiability Modulo Theories Boolean satisfiability problem KeY First-order logic Theoretical computer science Logic Mathematical logic
558	Relevance Logic John MacFarlane—Philosophy 142 March 29, 2011 1 Add to Reading List Source URL: johnmacfarlane.net Language: English - Date: 2011-03-29 14:48:50 Logical consequence Deduction Boolean algebra Entailment Disjunctive syllogism Validity Modus ponens Disjunctive normal form Relevance logic Logic Rules of inference Propositional calculus
559	A Hidden Herbrand Theorem: Combining the Object and Logic Paradigms Joseph Goguen Dept. Computer Science & Engineering University of California, San Diego Add to Reading List Source URL: cseweb.ucsd.edu Language: English - Date: 2001-11-18 00:50:05 Mathematical structures Algebraic structures Algebras Algebra over a field Structure Term algebra Boolean algebra Universal enveloping algebra Clifford algebra Abstract algebra Algebra Mathematics
560	A Constraint Solver for Software Engineering: Finding Models and Cores of Large Relational Specifications by Emina Torlak Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2014-08-13 19:26:58 NP-complete problems Constraint programming Logic in computer science Propositional calculus Unsatisfiable core Electronic design automation Boolean satisfiability problem Symmetry Satisfiability Theoretical computer science Mathematics Applied mathematics

UPDATE