Boolean - PDFSEARCH.IO - Document Search Engine

Boolean
Results: 2137

#	Item
531	Boolean Formula-based Branch Prediction for Future Technologies Daniel A. Jim´enez Dept. of Computer Sciences The University of Texas at Austin Austin, TX 78712 Add to Reading List Source URL: research.ac.upc.edu Language: English - Date: 2002-03-20 08:47:57 Branch predictor Boolean algebra Alpha 21264 CPU cache Branch misprediction Lookup table Boolean function Boolean circuit Computing Computer architecture Computer hardware
532	Programming for MSc Part I Part 2: Scalar Data Types (c) Introduction to Boolean Algebra Operations Add to Reading List Source URL: herbert.the-little-red-haired-girl.org Language: English - Date: 2009-07-29 03:21:47 C programming language Data types C++ Primitive types Procedural programming languages Typedef C syntax Enumerated type C Computer programming Computing Software engineering
533	Robust, Web and Terabyte Retrieval with Hummingbird SearchServerTM at TREC 2004 Stephen Tomlinson Hummingbird Ottawa, Ontario, Canada Add to Reading List Source URL: trec.nist.gov Language: English Search engine indexing Precision and recall Document retrieval Tf*idf Enterprise search Extended Boolean model Relevance feedback Information science Information retrieval Relevance
534	On the possibility of faster SAT algorithms Mihai Pˇatra¸scu∗ AT&T Labs Florham Park, NJ Ryan Williams† Add to Reading List Source URL: www.stanford.edu Language: English - Date: 2009-11-12 23:47:30 NP-complete problems Logic in computer science Exponential time hypothesis 2-satisfiability Boolean satisfiability problem Conjunctive normal form Time complexity Parameterized complexity Dominating set Theoretical computer science Computational complexity theory Applied mathematics
535	Kodkod for Alloy Users Emina Torlak and Greg Dennis Massachusetts Institute of Technology Computer Science and Artificial Intelligence Laboratory Cambridge, MA 02139 {emina, Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2014-08-13 19:26:58 NP-complete problems Alloy Analyzer Massachusetts Institute of Technology Recreational mathematics Alloy N1 road N postcode area Sudoku Boolean satisfiability problem Theoretical computer science Mathematics Formal methods
536	Preventing Arithmetic Overflows in Alloy Aleksandar Milicevic and Daniel Jackson Computer Science and Artificial Intelligence Laboratory Massachusetts Institute of Technology {aleks, dnj}@csail.mit.edu Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2012-05-26 11:29:50 Semantics Boolean algebra Predicate logic Propositional calculus FO Predicate Quantification Interpretation Negation Logic Mathematical logic Mathematics
537	CCCG 2010, Winnipeg MB, August 9–11, 2010 Any Monotone Boolean Function Can Be Realized by Interlocked Polygons Erik D. Demaine∗ Martin L. Demaine∗ Add to Reading List Source URL: cccg.ca Language: English - Date: 2010-07-19 10:46:17 Mathematics 3D computer graphics Euclidean plane geometry Polygon Simple polygon Monotonic function Mathematical analysis Geometry Polygons
538	R E ACT ! An Interactive Tool for Hybrid Planning in Robotics Zeynep Dogmus, Volkan Patoglu and Esra Erdem Faculty of Engineering and Natural Sciences, Sabancı University, ˙Istanbul, Turkey Email: {zeynepdogmus,vpatogl Add to Reading List Source URL: faculty.cua.edu Language: English - Date: 2015-05-26 14:10:44 Logic programming Automated planning and scheduling Formal methods Reasoning Action description language Answer set programming Action language Algorithm Boolean satisfiability problem Theoretical computer science Applied mathematics Artificial intelligence
539	Computable Information Content and Boolean Networks Dynamics C. Bonanno1 G. Menconi2 V. Benci1 P. Cerrai3 Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2012-09-20 14:36:40 Philosophy of thermal and statistical physics Information Bioinformatics Boolean network Logic Entropy Lossless data compression Knowledge Science Information theory Cybernetics
540	A Max-Plus Model of Asynchronous Cellular Automata Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2015-03-31 16:26:33 Boolean network Asynchrony Computer architecture Science 8I SIGNAL Cell Asynchronous cellular automaton Cellular automata Cellular automaton Mathematics

UPDATE