Boolean - PDFSEARCH.IO - Document Search Engine

Boolean
Results: 2137

#	Item
361	On the Virtue of Succinct Proofs: Amplifying Communication Complexity Hardness to Time-Space Trade-offs in Proof Complexity [Extended Abstract] Trinh Huynh Add to Reading List Source URL: www.complexity.ethz.ch Language: English - Date: 2012-03-28 07:53:42 Theoretical computer science Computational complexity theory Mathematics Automated theorem proving Logic in computer science Rules of inference Resolution Proof complexity Conflict-Driven Clause Learning Boolean algebra Exponential time hypothesis PP
362	Supersaturation in the Boolean lattice Andrew P. Dove∗ Jerrold R. Griggs† Jean-Sébastien Sereni§ Ross J. Kang‡ Add to Reading List Source URL: iti.mff.cuni.cz Language: English - Date: 2016-02-04 05:53:39
363	Synaptic Specicity Between Embryonic Motoneurons and Muscles Are Mediated by "Boolean" Combinatorial Mechanisms Among Recognition Molecules Yoshiki Hotta Add to Reading List Source URL: www.jsbi.org Language: English - Date: 1998-01-09 02:50:06 Neurophysiology Nervous system Neuroanatomy Efferent neurons Skeletal muscle Synaptogenesis Motor neuron Neuron Neuromuscular junction Acetylcholine Axon RP3
364	The List-Decoding Size of Fourier-Sparse Boolean Functions∗ Ishay Haviv† Oded Regev‡ Add to Reading List Source URL: www2.mta.ac.il Language: English - Date: 2015-12-04 09:46:53
365	Optimal Base Encodings for Pseudo-Boolean Constraints? Michael Codish1 , Yoav Fekete1 , Carsten Fuhs2 , and Peter Schneider-Kamp3 1 Department of Computer Science, Ben Gurion University of the Negev, Israel Add to Reading List Source URL: verify.rwth-aachen.de Language: English - Date: 2015-04-16 09:50:00
366	Solving Systems of Boolean Polynomials Using Binary Decision Diagrams Oleksandr Kazymyrov1 Håvard Raddum2 ! ! Add to Reading List Source URL: www.gstl.itu.edu.tr Language: English - Date: 2014-10-20 08:27:34
367	Boolean decision problems with competing interactions on scale-free networks: Critical thermodynamics Helmut G. Katzgraber,1, 2 Katharina Janzen,3, 4 and Creighton K. Thomas1, 5 arXiv:1202.1153v2 [cond-mat.dis-nn] 13 Sep Add to Reading List Source URL: arxiv.org Language: English - Date: 2012-09-16 20:31:08
368	Under consideration for publication in Theory and Practice of Logic Programming 1 Inference and Learning in Probabilistic Logic Programs using Weighted Boolean Formulas Add to Reading List Source URL: lirias.kuleuven.be Language: English - Date: 2015-10-02 18:17:34
369	Tradeoffs between Incentive Mechanisms in Boolean Games Add to Reading List Source URL: ijcai.org Language: English - Date: 2016-03-04 22:00:39
370	Genome Informatics 16(2): 225–Reconstruction of Gene Regulatory Networks under the Finite State Linear Model Add to Reading List Source URL: www.jsbi.org Language: English - Date: 2005-12-28 06:18:56 Biology Systems biology Bioinformatics Systems science Networks Gene expression Molecular biology Gene regulatory network Gene Biological network Boolean network Promoter

UPDATE