Boolean - PDFSEARCH.IO - Document Search Engine

Boolean
Results: 2137

#	Item
681	An Equational Approach to Secure Multi-party Computation∗ Daniele Micciancio† Stefano Tessaro‡ January 12, 2013 Add to Reading List Source URL: cseweb.ucsd.edu Language: English - Date: 2013-09-26 16:14:53 Secure multi-party computation Computing Universal composability Communications protocol Verifiable secret sharing Boolean algebra Π-calculus Consensus Cryptographic protocols Data Information
682	Supporting Non-membership Proofs with Bilinear-map Accumulators Ivan Damg˚ard ∗ University of Aarhus Denmark Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2008-12-22 03:42:39 Set theory Boolean algebra Complete Boolean algebra Forcing Order theory Tree Mathematical logic Large cardinals Mathematics
683	Negative Concord in Georgian Aurore González Harvard University Negative Concord (NC) is a phenomenon refering to cases where multiple occurrences of morphologically negative constituents express semantically a single n Add to Reading List Source URL: eastcoastfive.files.wordpress.com Language: English - Date: 2015-03-24 10:40:03 Mathematics Negation Rhetoric Boolean algebra Double negative Language Logic programming Yes and no Grammar Semantics Linguistics
684	Saturn: A Scalable Framework for Error Detection using Boolean Satisfiability Yichen Xie and Alex Aiken Stanford University This article presents Saturn, a general framework for building precise and scalable static error Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2006-08-21 19:57:13 Formal methods Boolean algebra Symbol Entailment Interpretation Boolean satisfiability problem Logic Theoretical computer science Model theory
685	3. Extrapolation and its LimitsWhy should the unobserved part of reality resemble the observed part? Unobserved emeralds could just as easily be blue, as green. This is a puzzle about type 1 or “inductive” Add to Reading List Source URL: www.philosophy.ox.ac.uk Language: English - Date: 2012-05-17 04:38:09 Boolean algebra Binary operations Mathematical logic Truth table Contraposition Modal logic Negation Material conditional Truth Logic Propositional calculus Philosophical logic
686	HAMPI: A Solver for Word Equations over Strings, Regular Expressions, and Context-Free Grammars ADAM KIEZUN, Brigham and Women’s Hospital / Harvard Medical School VIJAY GANESH, Massachusetts Institute of Technology SHA Add to Reading List Source URL: pgbovine.net Language: English - Date: 2014-01-03 23:24:44 Theoretical computer science SQL injection SQL Hampi Context-free grammar String Constraint programming Boolean satisfiability problem Formal grammar Formal languages Computing Software engineering
687	Double Dose of Double-Negation Translations Olivier Hermant CRI, MINES ParisTech June 2, 2014 Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2014-12-23 09:38:50 Propositional calculus Boolean algebra Non-classical logic Logic in computer science Cut-elimination theorem Intuitionistic logic Sequent calculus Sequent First-order logic Mathematical logic Logic Proof theory
688	/home/lwb/beta/doc/ref/ref_lwb2.dvi Add to Reading List Source URL: www.lwb.unibe.ch Language: English - Date: 2010-05-10 07:17:13 Boolean algebra Logical connectives Classical logic Well-formed formula Negation Logic Propositional calculus Mathematical logic
689	Cybernetics and Human Knowing. Vol. 21, no. 4, p. 3 Intentionally Left Blank Catani, F. HClouds #16. Digital photomontage; 44 x 33 in. Add to Reading List Source URL: www.chkjournal.org Language: English - Date: 2014-12-06 10:39:25 Logic Mathematical logic Algebra Boolean algebra Laws of Form Stuart Umpleby Photomontage Aesthetics Cybernetics Science Mathematics Academia
690	J. R. Soc. Interface, S85–S94 doi:rsiffocus Published online 28 May 2008 REVIEW Add to Reading List Source URL: www.itp.uni-bremen.de Language: English - Date: 2011-08-10 05:51:03 Systems biology Bioinformatics Gene expression Gene regulatory network Knowledge Boolean network Complex network Artificial neuron Self-organization Networks Science Biology

UPDATE