Boolean - PDFSEARCH.IO - Document Search Engine

Boolean
Results: 2137

#	Item
211	Overt Subspaces of Rn Paul Taylor 29 June 2014 This is a rough draft Add to Reading List Source URL: www.paultaylor.eu Language: English - Date: 2014-06-29 16:29:38 General topology Subspace topology Continuous function Base Metric space Compact space Banach space Coherent topology Complete metric space Sheaf Boolean algebra Topological space
212	On Crown-free Set Families, Diffusion State Difference, and Non-uniform Hypergraphs Edward Boehnlein Let La(n, H) denote the cardinality of the largest family on the Boolean lattice that does not contain H as a subposet. Add to Reading List Source URL: www.gradschool.sc.edu Language: English - Date: 2016-08-01 11:18:55 Graph theory Bipartite graph Random graph Almost surely Hypergraphs
213	Prof. Dr.-Ing. Jörg Raisch Add to Reading List Source URL: www.control.tu-berlin.de Language: English - Date: 2016-04-14 04:40:28 Systems biology Bioinformatics Molecular biology Finite automata Gene expression Gene regulatory network Boolean network Synthetic biology Gene
214	Building a Search Engine Model with Morphological Normalization Support 1 ˇ Jure Miji´c1 , Bojana Dalbelo Baˇsi´c1 , Jan Snajder 1 Add to Reading List Source URL: hnk.ffzg.hr Language: English - Date: 2012-11-27 12:07:35 Natural language processing Information retrieval Full text search Query expansion Ranking Vector space model Search engine indexing Document retrieval Stop words Index term Extended Boolean model Book:Information retrieval
215	Efficiently Evaluating Complex Boolean Expressions Marcus Fontoura Suhas Sadanandan Jayavel Shanmugasundaram Sergei Vassilvitski Erik Vee Srihari Venkatesan Jason Zien Yahoo! Research, 701 First Ave., Sunnyvale, CA 94089 Add to Reading List Source URL: fontoura.org Language: English - Date: 2010-03-16 13:13:45 Recursion Binary trees Knowledge representation Computability theory B-tree Binary expression tree Tree traversal Disjunctive normal form Tree Parallel Tree Contraction Interval tree
216	Aachen Department of Computer Science Technical Report SAT Encodings: From Constraint-Based Termination Add to Reading List Source URL: sunsite.informatik.rwth-aachen.de Language: English - Date: 2012-10-02 11:28:08 Logic in computer science Mathematical logic Aachen RWTH Aachen University Termination analysis Boolean satisfiability problem NP-completeness Algorithm Rewriting
217	Lexicographic Beliefs and Assumption∗ Eddie Dekel† Amanda Friedenberg‡ Marciano Siniscalchi§ Add to Reading List Source URL: www.public.asu.edu Language: English - Date: 2016-05-09 14:51:10 Measure theory Probability theory Boolean algebra Sigma-algebra Measure Determinacy Model theory
218	Genome Informatics 12: 272–Identifying Genetic Network Using Experimental Time Series Data by Boolean Algorithm Add to Reading List Source URL: www.jsbi.org Language: English - Date: 2002-01-17 03:51:05 Systems biology Bioinformatics Networks Gene expression Gene regulatory network Theoretical computer science Boolean Algorithm Biological network MAD
219	Airbus A320 Braking as Predicate-Action Diagrams Peter B. Ladkin Universit¨at Bielefeld, Technische Fakult¨at Postfach, DBielefeld Add to Reading List Source URL: www.rvs.uni-bielefeld.de Language: English - Date: 2006-03-01 22:29:59 Autobrake Spoiler Thrust lever Brake Air brake Parking brake Predicate Boolean
220	sets-graph-msuc-opt.ipeps Add to Reading List Source URL: tmancini.di.uniroma1.it Language: English - Date: 2008-12-16 11:04:43 Logic in computer science Automated theorem proving Constraint programming Boolean algebra Propositional calculus Unsatisfiable core Boolean satisfiability problem Resolution Maximum satisfiability problem Satisfiability Package manager Debian

UPDATE