Boolean

Results: 2137



#Item
841C++ / Recursion / C++ classes / Fixed-point combinator / FO / Boolean algebra / Relational operator / Finitary relation / Distance from a point to a line / Theoretical computer science / Mathematics / Mathematical logic

Value Objects Brendan Eich <> Thursday, July 25, 13

Add to Reading List

Source URL: esdiscuss.org

Language: English
842Inspec / Computational and Mathematical Organization Theory / Journal of Mathematical Biology / Publishing / Academic publishing / Mass media

Leidimo metai: 2012; Institucijoje pareigas užimantys autoriai. I lygio padalinys: 580000 – VU Matematikos ir informatikos institutas; MOKSLINĖS PUBLIKACIJOS MONOGRAFIJOS 1. Jukna, Stasys. Boolean Function Complexity

Add to Reading List

Source URL: www.mii.lt

Language: English - Date: 2015-02-04 10:03:32
843Model theory / Boolean algebra / Propositional calculus / First-order logic / If and only if / Logic / Mathematical logic / Mathematics

Fall 2008 CMPT 310: Introduction to Artificial Intelligence Instructor: Greg Mori Assignment 3: Logic

Add to Reading List

Source URL: www.cs.sfu.ca

Language: English - Date: 2008-10-03 19:20:29
844Boolean algebra / C programming language / Data types / C++ / Boolean data type / Bitwise operation / C / FALSE / Expression / Computing / Software engineering / Computer programming

cba This is a chapter from the book System Design, Modeling, and Simulation using Ptolemy II This work is licensed under the Creative Commons Attribution-ShareAlike 3.0 Unported License. To view a copy of this license, v

Add to Reading List

Source URL: ptolemy.eecs.berkeley.edu

Language: English - Date: 2013-10-01 19:39:34
845Cross-platform software / Object-oriented programming / Null / SQL / C / Java / Boolean data type / Property / Comparison of C Sharp and Java / Computing / Software engineering / Computer programming

High-Level Expressions in Language L Hesam Samimi This material is based upon work supported in part by the National Science Foundation under Grant NoAny opinions, findings, and conclusions or recommendations

Add to Reading List

Source URL: www.vpri.org

Language: English - Date: 2015-01-21 19:16:01
846Networks / Science / Biology / Attractor network / Asynchronous cellular automaton / Bioinformatics / Boolean network / Logic

in Artificial Life VIII, Standish, Abbass, Bedau (eds)(MIT Presspp 1–8 1 Classification of Random Boolean Networks Carlos Gershenson†,‡

Add to Reading List

Source URL: alife8.alife.org

Language: English - Date: 2013-01-14 08:22:50
847Dynamical system / Cellular automata / Science / Structure / Nature / Attractor network / Cellular automaton / Boolean network / Attractor

The Ghost in the Machine: Basin of Attraction Fields of Disordered Cellular Automata Networks Andrew Wuensche

Add to Reading List

Source URL: www.santafe.edu

Language: English - Date: 2013-03-12 16:53:35
848Statistics / Baseflow / Hydrograph / Evapotranspiration / True quantified Boolean formula / F-test / Hydrology / Water / Earth

Hydrol. Earth Syst. Sci., 14, 159–169, 2010 www.hydrol-earth-syst-sci.net/ © Author(sThis work is distributed under the Creative Commons Attribution 3.0 License. Hydrology and

Add to Reading List

Source URL: www.hydrol-earth-syst-sci.net

Language: English - Date: 2014-12-04 02:34:45
849Circuit complexity / Computational complexity theory / Complexity classes / AC / Clique / Parity function / Boolean circuit / Matching / Circuit / Theoretical computer science / Mathematics / Graph theory

On Graph Complexity S . J U K N A† Universit¨ at Frankfurt, Institut f¨ ur Informatik

Add to Reading List

Source URL: lovelace.thi.informatik.uni-frankfurt.de

Language: English - Date: 2009-01-04 06:50:40
850Model theory / Philosophical logic / Automated theorem proving / Method of analytic tableaux / Abox / Structure / Boolean satisfiability problem / PSPACE-complete / Modal logic / Theoretical computer science / Mathematical logic / Mathematics

Journal of Automated Reasoning manuscript No. (will be inserted by the editor) PSpace Tableau Algorithms for Acyclic Modalized ALC Jia Tao · Giora Slutzki · Vasant Honavar

Add to Reading List

Source URL: www.cs.iastate.edu

Language: English - Date: 2011-06-14 00:05:06
UPDATE