Boolean - PDFSEARCH.IO - Document Search Engine

Boolean
Results: 2137

#	Item
461	FACULTY OF ARTS DEPARTMENT OF PHILOSOPHY PHIL 279 Lec 02/03 — “Logic I” Fall Term 2010 Course Outline Add to Reading List Source URL: ucalgary.ca Language: English - Date: 2014-07-27 06:36:15 Education Predicate logic Semantics Logic in computer science Boolean algebra First-order logic Valuation Tutorial Homework Logic Mathematical logic Model theory
462	Treewidth in Verification: Local vs. Global⋆ Andrea Ferrara1 , Guoqiang Pan2 , and Moshe Y. Vardi2 1 DIS - Universit`a di Roma ”La Sapienza” Via Salaria 113, 00198 Roma, Italy Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2005-09-30 15:47:37 Tree decomposition Path decomposition Width Boolean satisfiability problem Graph theory Theoretical computer science Graph operations
463	The University of Calgary Department of Philosophy Philosophy 279L05 LOGIC I Winter 2004 — Richard Zach Add to Reading List Source URL: ucalgary.ca Language: English - Date: 2008-10-27 16:48:33 Science Predicate logic Semantics Boolean algebra Valuation First-order logic Interpretation Tutorial Homework Logic Mathematical logic Model theory
464	Dynamical systems analysis of stack filters Matti Nykter1,2 , Juha Kesseli3,2, Ilya Shmulevich1 1 Institute for Systems Biology, Seattle, WA, 98103, USA of Signal Processing, Tampere University of Technology, Add to Reading List Source URL: www.cs.tut.fi Language: English - Date: 2009-06-17 12:41:09 Electronic engineering Boolean algebra Logic Linear filter Artificial neuron Boolean network Filter Monotonic function Electronic filter Mathematics Mathematical analysis Filter theory
465	ForSpec ForSpec Reference Manual June 24, 2001 Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2007-06-26 03:17:52 C programming language Data types Boolean algebra FO Finite model theory C syntax C Enumerated type Bit array Computing Computer programming Software engineering
466	2013 IEEE Symposium on Security and Privacy Circuit Structures for Improving Efﬁciency of Security and Privacy Tools Samee Zahur and David Evans University of Virginia [samee, evans]@virginia.edu Add to Reading List Source URL: www.ieee-security.org Language: English - Date: 2013-04-05 19:56:51 Abstract data types Electronic engineering Stack Computational complexity theory Circuit Electronic circuit Secure multi-party computation Boolean circuit Lookup table Computing Theoretical computer science Electronics
467	PRL 100, week ending 8 FEBRUARYPHYSICAL REVIEW LETTERS Add to Reading List Source URL: www.cs.tut.fi Language: English - Date: 2008-12-05 21:08:44 Cybernetics Structure Science Network theory Graph theory Boolean network Degree distribution Complex systems Self-organization Systems theory Systems Mathematics
468	Evolving Sensitivity Balances Boolean Networks Jamie X. Luo1,2, Matthew S. Turner1,2* 1 Centre for Complexity Science, University of Warwick, Coventry, West Midlands, United Kingdom, 2 Department of Physics, University o Add to Reading List Source URL: homepages.warwick.ac.uk Language: English - Date: 2012-05-15 15:28:54 Networks Stem cells Gene regulatory network Systems biology Attractor Cellular differentiation Boolean network Outline of cell biology Robustness Biology Developmental biology Cell biology
469	2013 IEEE Symposium on Security and Privacy Pinocchio: Nearly Practical Verifiable Computation Bryan Parno Jon Howell Microsoft Research Add to Reading List Source URL: www.ieee-security.org Language: English - Date: 2013-04-05 19:56:30 Algebra Verifiable computing NP IP Boolean algebra Abstract algebra Polynomials Mathematics
470	AG8 SUBATOMIC LOGIC Alessio Guglielmi (TU Dresdenupdated on Add to Reading List Source URL: cs.bath.ac.uk Language: English - Date: 2007-12-18 10:38:04 Non-classical logic Boolean algebra Propositional calculus Substructural logic Linear logic Structural rule Modal logic Cut-elimination theorem Negation Logic Mathematical logic Proof theory

UPDATE