Boolean - PDFSEARCH.IO - Document Search Engine

Boolean
Results: 2137

#	Item
231	Frozen variables in random boolean constraint satisfaction problems Michael Molloy and Ricardo Restrepo Department of Computer Science, University of Toronto 10 King’s College Road, Toronto, ON July 3, 2012 Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2012-07-03 16:07:59 Constraint programming Constraint satisfaction problem Structure Hypergraph Model theory
232	A Pseudo-Boolean Framework for Computing Rearrangement Distances between Genomes with Duplicates S´ebastien Angibaud∗ Guillaume Fertin† St´ephane Vialette§ Add to Reading List Source URL: pagesperso.lina.univ-nantes.fr Language: English - Date: 2009-07-03 08:57:17 Algebraic logic Boolean algebra
233	LETTER Communicated by Surya Ganguli Connectivity, Dynamics, and Memory in Reservoir Computing with Binary and Analog Neurons Add to Reading List Source URL: www.gatsby.ucl.ac.uk Language: English - Date: 2014-10-13 19:51:12 Dynamical systems Functional analysis Mathematical physics Statistical mechanics Computational neuroscience Lyapunov exponent Boolean network Artificial neural network Chaos theory Perturbation theory
234	VALIDITY IN SENTENTIAL LOGIC. Add to Reading List Source URL: dl.dropboxusercontent.com Language: English Propositional calculus Logical consequence Boolean algebra Classical logic Semantics Truth table Tautology Validity Logical equivalence Argument Deductive reasoning If and only if
235	¨ DES SAARLANDES UNIVERSITAT FR 6.2 – Informatik Christoph Weidenbach Lecture “Automated Reasoning” Add to Reading List Source URL: resources.mpi-inf.mpg.de Language: English - Date: 2013-08-19 07:46:27 Logic programming Automated theorem proving Logic in computer science Formal methods Theoretical computer science Unification Lambda calculus Boolean satisfiability problem Conjunctive normal form
236	RESEARCHCONTRIBUTIONS Artificial Intelligence and Language Processing Add to Reading List Source URL: aml.media.mit.edu Language: English - Date: 2011-07-13 14:33:31 Boolean algebra Formal methods Theoretical computer science Implicant Disjunctive normal form IP Lambda calculus Vector space Boolean satisfiability problem Bayesian network
237	Reuse It Or Lose It: More Efficient Secure Computation Through Reuse of Encrypted Values Benjamin Mood Yale University Add to Reading List Source URL: work.debayangupta.com Language: English - Date: 2014-08-25 13:51:41 Circuit complexity Complexity classes Secure multi-party computation Computational complexity theory Digital circuits Circuit Boolean circuit CC Hash function NC
238	Controlling Boolean Logic and DHCP Ike Antkare International Institute of Technology United Slates of Earth Add to Reading List Source URL: membres-lig.imag.fr Language: English - Date: 2014-01-09 04:24:28 Actor model Concurrent computing Dwight D. Eisenhower Ike Stan
239	WORKING PAPER N° Dynamically consistent CEU preferences ANDRE LAPIED, PASCAL TOQUEBEUF Add to Reading List Source URL: www.tepp.eu Language: English - Date: 2015-07-01 09:43:33 Measure theory Probability theory Boolean algebra Sigma-algebra Dynamical system
240	Computing Fundamentals Flow Control Salvatore Filippone–2015 Add to Reading List Source URL: people.uniroma2.it Language: English - Date: 2015-03-30 10:14:38 Procedural programming languages Conditional Boolean data type C Switch statement Statement For loop Block Control table JavaScript syntax

UPDATE