Boolean - PDFSEARCH.IO - Document Search Engine

Boolean
Results: 2137

#	Item
831	A Phase Transition-Based Perspective on Multiple Instance Kernels Romaric Gaudel1,2 , Mich`ele Sebag1 , and Antoine Cornu´ejols3 1 CNRS − INRIA − Univ. Paris-Sud, FOrsay, France Add to Reading List Source URL: www.lri.fr Language: English - Date: 2007-11-19 08:56:00 Support vector machine Machine learning Constraint programming Satisfiability Active learning Constraint satisfaction problem PP Boolean satisfiability problem Theoretical computer science Statistical classification Applied mathematics
832	Using Connectors and Boolean Operators with the Main Legal Databases Grammatical connectors which allow you to search for words and phrases within a specified distance of each other can also help to provide more relevant Add to Reading List Source URL: www.innertemplelibrary.org.uk Language: English - Date: 2014-10-09 11:36:01 Literature Westlaw Evidence law LexisNexis Lexis Hearsay Law Legal research Online law databases
833	Preliminary Thoughts on Ultracomputer Programming Style by J.T. Schwartz Ultracomputer Research Laboratory Courant Institute of Mathematical Sciences 715 Broadway, 10th Floor Add to Reading List Source URL: www.multimedialibrary.com Language: English - Date: 2014-03-05 11:07:09 Bitonic sorter Ken Batcher Computing Boolean algebra Quasigroup Map Software engineering Mathematics Higher-order functions Nonassociative algebra
834	A Decision Procedure for a Sublanguage of Set Theory Involving Monotone, Additive, and Multiplicative Functions. I. The Two-Level Case. Calogero G. Zarba () LORIA and INRIA-Lorraine 615, rue du Jardin Botan Add to Reading List Source URL: www.multimedialibrary.com Language: English - Date: 2014-03-05 12:40:27 Logic in computer science Model theory Boolean algebra Boolean satisfiability problem Electronic design automation Interpretation Symbol Function Mathematics Theoretical computer science Mathematical logic
835	CIS 27P Java for Programmers Class 3 Arithmetic Operators + Add to Reading List Source URL: www.bartholo.com Language: English - Date: 2001-10-15 00:56:03 Binary arithmetic C programming language Procedural programming languages Bitwise operation Boolean algebra C++ Control flow Operators in C and C++ Augmented assignment Software engineering Computer programming Computing
836	in Artificial Life VIII, Standish, Abbass, Bedau (eds)(MIT Presspp 28–32 1 Do Artificial Ants March in Step? Ordered Asynchronous Processes and Modularity in Biological Systems Add to Reading List Source URL: alife8.alife.org Language: English - Date: 2013-01-14 08:20:21 Science Boolean network Electrical circuits Cellular automaton Asynchrony Actor model Asynchronous system Mathematical and theoretical biology Cellular automata Synchronization Asynchronous cellular automaton
837	Temporal Boolean Network Models of Genetic Networks and Their Inference from Gene Expression Time Series Adrian Silvescu and Vasant Honavar Articial Intelligence Research Laboratory Department of Computer Science and Gr Add to Reading List Source URL: www.cs.iastate.edu Language: English - Date: 2000-12-04 18:40:44 Gene expression Networks Systems biology Gene regulatory network Boolean network Boolean function Gene Boolean data type Biology Boolean algebra Molecular biology
838	Joseph MuscatOrdered Sets The morphisms on a relation (digraph) Add to Reading List Source URL: staff.um.edu.mt Language: English - Date: 2012-11-15 05:04:30 Order theory Lattice theory Algebraic structures General topology Functions and mappings Distributive lattice Ideal Filter Boolean algebra Mathematics Abstract algebra Structure
839	Exploring the Computational Tradeoff of more Reasoning and Less Searching Fahiem Bacchus Dept. Of Computer Science University Of Toronto Toronto, Ontario Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2002-05-15 13:05:48 Applied mathematics Formal methods Logic in computer science Constraint programming Boolean algebra Boolean satisfiability problem Resolution Unit propagation Clause Theoretical computer science Automated theorem proving Mathematics

UPDATE