Boolean - PDFSEARCH.IO - Document Search Engine

Boolean
Results: 2137

#	Item
161	A MDL4BMF: Minimum Description Length for Boolean Matrix Factorization PAULI MIETTINEN, Max-Planck Institute for Informatics JILLES VREEKEN, Max-Planck Institute for Informatics, Saarland University, University of Antwer Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2014-05-09 10:45:37 Algebra Mathematics Linear algebra Matrix theory Numerical linear algebra Multivariate statistics Dimension reduction Non-negative matrix factorization Matrix Singular value decomposition Principal component analysis Factorization
162	Controlling Boolean Logic and DHCP Ike Antkare International Institute of Technology United Slates of Earth Add to Reading List Source URL: membres-lig.imag.fr Language: English - Date: 2014-01-09 04:24:29 Actor model Concurrent computing
163	Controlling The Real World With Computers ::. Control And Embedded Systems .:: Table Of Contents Previous: Boolean Logic - AND, OR, XOR, NAND, NOR, NXOR Next: Programming Part 3 Add to Reading List Source URL: learn-c.com Language: English - Date: 2016-02-02 18:33:30 Software engineering Computer programming Computing C Light-emitting diode Signage Data types Pulse-width modulation Sizeof Infinite loop Foreach loop Const
164	Runtime Analysis of the (µ+1) EA on Simple Pseudo-Boolean Functions Carsten Witt∗ FB Informatik, LS 2, Universit¨at Dortmund, 44221 Dortmund, Germany Add to Reading List Source URL: ls2-www.cs.uni-dortmund.de Language: English - Date: 2007-02-02 05:18:09 Video game development Cybernetics Evolution Evolutionary algorithm Mu Electronic Arts Gaming Software development
165	Full Papers IDC 2015 Medford, MA, USA Reverse Scaffolding: A Constructivist Design Architecture for Mathematics Learning Add to Reading List Source URL: ccl.northwestern.edu Language: English - Date: 2016-05-03 12:24:06 Education Educational psychology Educational technology Conceptual model Boolean algebra Learning theory Scaffold Object Process Methodology Instructional design Instructional scaffolding
166	APPLICATIONS OF LATTICE THEORY TO AUTOMATED CODING AND DECODING Lawrence H. Cox Add to Reading List Source URL: mapcontext.com Language: English - Date: 2008-08-29 22:42:09 Mathematics Algebra Abstract algebra Algebraic structures Lattice theory Lattice Partition of a set Boolean algebra Sheaf Universe Vertex operator algebra Named set theory
167	Counterexample Guided Abstraction Refinement Algorithm for Propositional Circumscription Mikol´ aˇs Janota1 , Radu Grigore2, and Joao Marques-Silva3 1 Add to Reading List Source URL: www.mancoosi.org Language: English - Date: 2012-12-16 04:54:55 Logic Mathematics Abstraction Mathematical logic Logical truth Propositional calculus Formal languages Automated theorem proving Substitution Constructible universe Well-formed formula Boolean satisfiability problem
168	Apt-pbo: Solving the Software Dependency Problem using Pseudo-Boolean Optimization Paulo Trezentos Inês Lynce Add to Reading List Source URL: www.mancoosi.org Language: English - Date: 2012-12-16 04:54:55 Software Computer architecture System software Dpkg Archive formats Ubuntu Debian Package manager Software distribution Advanced Packaging Tool Deb RPM Package Manager
169	KEK GRID CA Certificate and CRL Profile VerMarch 4, 2015 Add to Reading List Source URL: gridca.kek.jp Language: English - Date: 2015-03-02 02:37:53 Computing Data types Primitive types Character encoding String Null Lightweight Directory Access Protocol Value Hash function Boolean data type
170	PDF Document Add to Reading List Source URL: meetings.mpi-forum.org Language: English - Date: 2015-02-15 00:30:02 Software engineering Computing Computer programming Data types Parameter Const Boolean data type Objective-C Foreach loop Null Fortran 95 language features Comparison of data serialization formats

UPDATE