Boolean - PDFSEARCH.IO - Document Search Engine

Boolean
Results: 2137

#	Item
711	PDF Document Add to Reading List Source URL: geog.ucsb.edu Language: English - Date: 2011-07-21 01:25:15 Semantics Philosophy of language Symbol grounding Symbolism Function Language Boolean algebra Axiom Mathematics Logic Linguistics
712	On a weakness of the Tu-Deng function and its repair Claude Carlet ∗ Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2009-12-08 06:03:26 Algebra Field theory Bent function Combinatorics Cryptography E-function Algebraic normal form Field Algebraic geometry Abstract algebra Mathematics Boolean algebra
713	hiJaC Contracts in a State-rich Timed Process Algebra Kun Wei, Jim Woodcock and Ana Cavalcanti Department of Computer Science University of York Add to Reading List Source URL: www.cs.york.ac.uk Language: English - Date: 2013-02-26 07:24:06 Boolean algebra Mathematical logic Communicating sequential processes Process calculus Circus Process calculi
714	LNCSFrom Black-Box Learning Objects to Glass-Box Learning Objects Add to Reading List Source URL: www.philippe-fournier-viger.com Language: English - Date: 2009-07-06 06:38:03 Cognitive psychology Boolean algebra Science Information Ontology Tbox Abox
715	(FINAL) FFIEC101Published Validity Edits.xls Series Effective Effective Type of Start Date End Date Change Add to Reading List Source URL: www.ffiec.gov Language: English - Date: 2015-04-07 10:04:43 Software engineering Null Test Statistical hypothesis testing Boolean data type /dev/null 0 C Computing Nothing Statistics
716	Microsoft Word - 1d1_Nakano.doc Add to Reading List Source URL: www.iioa.org Language: English - Date: 2008-07-31 06:40:23 Input-output model Regional science Production function Function Waste Matrix Boolean algebra Science Mathematics Functions and mappings Algebraic logic
717	Observability concepts in abstract data type specification, 30 years later? Donald Sannella1 and Andrzej Tarlecki2,3 1 Laboratory for Foundations of Computer Science, University of Edinburgh Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2008-04-25 03:41:02 Abstract algebra Universal algebra Formal languages Boolean algebra Measure theory Sigma-algebra Structure Parity of a permutation Dual Mathematics Model theory Mathematical logic
718	Specification of FlatZinc Nicholas Nethercote Version 0.8 1 Add to Reading List Source URL: www.minizinc.org Language: English - Date: 2008-05-30 04:26:48 Data types Procedural programming languages Primitive data type Literal ALGOL 68 Boolean data type Array data type C ECL programming language Software engineering Computing Computer programming
719	Negative Ternary Set-Sharing Eric Trias,1,2, Jorge Navas,1 Elena S. Ackley,1 Stephanie Forrest1 , and M. Hermenegildo1,3 1 University of New Mexico, USA Air Force Institute of Technology, USA Add to Reading List Source URL: www.clip.dia.fi.upm.es Language: English - Date: 2008-11-02 22:57:41 Formal languages Boolean algebra Character encoding String FO Finitary relation Binary decision diagram Mathematics Theoretical computer science Combinatorics
720	An Algorithm for Affine Approximation of Binary Decision Diagrams Kevin Henshall∗ Peter Schachte∗ Add to Reading List Source URL: cjtcs.cs.uchicago.edu Language: English - Date: 2011-06-03 17:31:41 Artificial neuron Tiny Encryption Algorithm Complete Boolean algebra FO Applied mathematics Boolean algebra Mathematics Boolean function

UPDATE