Boolean - PDFSEARCH.IO - Document Search Engine

Boolean
Results: 2137

#	Item
511	Algorithms Lecture 4: Efficient Exponential-Time Algorithms [Fa’14] Wouldn’t the sentence “I want to put a hyphen between the words Fish and And and And and Chips in my Fish-And-Chips sign.” have been clearer if Add to Reading List Source URL: web.engr.illinois.edu Language: English - Date: 2014-12-28 09:02:22 NP-complete problems Analysis of algorithms Graph coloring Graph theory Time complexity Boolean satisfiability problem Randomized algorithm MAXEkSAT One-in-three 3SAT Theoretical computer science Computational complexity theory Mathematics
512	Cost-Optimal Execution of Boolean Query Trees with Shared Streams Henri Casanova1 , Lipyeow Lim1 , Yves Robert2,3 , Fr´ed´eric Vivien2 , and Dounia Zaidouni2 1. University of Hawai‘i at Manoa, Honolulu, USA {henric\|l Add to Reading List Source URL: navet.ics.hawaii.edu Language: English - Date: 2014-01-31 19:34:04 Tree Search algorithms Graph theory Information science Binary search tree Pruning R-tree Artificial intelligence Heuristic
513	Qualitative Comparative Analysis A Discussion of Interpretations G. Rohwer January 2008 Add to Reading List Source URL: www.stat.ruhr-uni-bochum.de Language: English - Date: 2014-02-26 08:39:04 Elementary mathematics Boolean algebra Statistical models Randomness Stochastic process Qualitative comparative analysis Implicant Differential equation Regression analysis Statistics Mathematics Econometrics
514	SAT and Hybrid models of the Car Sequencing problem Christian Artigues1,2 , Emmanuel Hebrard1,2 , Valentin Mayer-Eichberger3,4 , Mohamed Siala1,5 , and Toby Walsh3,4 1 CNRS, LAAS, 7 avenue du colonel Roche, FToul Add to Reading List Source URL: homepages.laas.fr Language: English - Date: 2014-02-14 15:26:57 Computer programming Local consistency Backtracking Constraint learning Propagator Boolean satisfiability problem Constraint programming Theoretical computer science Software engineering
515	Bent Function Synthesis by Means of Cartesian Genetic Programming Radek Hrbacek and Vaclav Dvorak Brno University of Technology, Faculty of Information Technology Bozetechova 2, 61266 Brno, Czech republic Add to Reading List Source URL: www.genetic-programming.org Language: English - Date: 2014-07-05 17:13:53 Mathematical optimization Evolutionary algorithms Genetic algorithms Bent function Boolean function Balanced boolean function Digital electronics Genetic programming Circuit Boolean algebra Mathematics Cryptography
516	Causal Interpretations Conditional on Surviving G. Rohwer (JulyAbstract. The article discusses how to think of the causal effect of a treatment X, realized at age t, on an outcome variable Y , whose values only ex Add to Reading List Source URL: www.stat.ruhr-uni-bochum.de Language: English - Date: 2015-02-20 13:01:30 Information theory Causality Conditionals Philosophy of science Independence Random variable Variable Boolean algebra Differential equation Mathematics Probability theory Elementary mathematics
517	SAT 2009 competitive events booklet: preliminary version Organizers SAT competition: Daniel Le Berre, Olivier Roussel, Laurent Simon PB competition: Vasco Manquinho, Olivier Roussel Max-SAT competition: Josep Argelich, C Add to Reading List Source URL: www.cril.univ-artois.fr Language: English - Date: 2009-09-30 10:44:43 Logic in computer science Automated theorem proving Numerical software Electronic design automation Formal methods Boolean satisfiability problem 2-satisfiability Satz GRASP Theoretical computer science Mathematics Applied mathematics
518	Synthesizing and Verifying Plans for Constrained Workflows: Transferring Tools from Formal Methods Jason Crampton Michael Huth Add to Reading List Source URL: icaps11.icaps-conference.org Language: English - Date: 2013-04-15 04:52:48 Management Logic Model theory Linear temporal logic Temporal logic Workflow Satisfiability YAWL Boolean satisfiability problem Mathematical logic Workflow technology Theoretical computer science
519	Binary Addition on Cellular Automata Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2013-03-26 14:31:28 Propositional calculus Exclusive or Logic Binary numeral system Cellular automaton Logarithm Summation Mathematics Abstract algebra Boolean algebra
520	Reference Card Jean-Raymond Abrial and Thai Son Hoang April 2008 Contents Add to Reading List Source URL: www.fm2008.abo.fi Language: English - Date: 2008-06-10 09:27:26 Propositional calculus Boolean algebra Semantics Logical connectives First-order logic Negation Deduction theorem Equational logic Logic Mathematical logic Mathematics

UPDATE