Boolean - PDFSEARCH.IO - Document Search Engine

Boolean
Results: 2137

#	Item
561	Journal of Universal Computer Science, vol. 11, no), submitted: , accepted: 4/6/05, appeared: © J.UCS Model Checking, Automated Abstraction, and Compositional Verification of Rebeca Mod Add to Reading List Source URL: jucs.org Language: English - Date: 2006-11-02 05:53:39 Rebec FO Mathematical logic Mathematics Boolean algebra Theoretical computer science Boolean data type
562	Chapter 14 Algebra Table of Contents Before We Begin TIMSS .............................................................................................................................. 357 Findings ..................... Add to Reading List Source URL: www.center.edu Language: English - Date: 2012-12-23 19:23:44 Emmy Noether Lie algebra Trends in International Mathematics and Science Study Area Mathematics education Ring theory Boolean algebra Algebra tile Mathematics Education Algebra
563	Applications and Challenges in Satisfiability Modulo Theories Leonardo de Moura Microsoft Research One Microsoft Way Redmond, WA 98052 Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2011-09-16 13:35:41 Formal methods Mathematics Electronic design automation Logic in computer science NP-complete problems Satisfiability Modulo Theories Z3 Boolean satisfiability problem First-order logic Theoretical computer science Constraint programming Applied mathematics
564	Toward Local Search Programming: LocalSolver 1.0 Thierry Benoist1 , Bertrand Estellon2 , Fr´ed´eric Gardi1 , Karim Nouioua2 1 2 Add to Reading List Source URL: tbenoist.pagesperso-orange.fr Language: English - Date: 2011-03-16 02:41:44 Computing Constraint programming Search algorithm Mathematical optimization Solver Local search Boolean data type Travelling salesman problem ALGOL 68 Operations research Software engineering Theoretical computer science
565	Models and Strategies for Variants of the Job Shop Scheduling Problem Diarmuid Grimes1 and Emmanuel Hebrard2,3 1 3 Add to Reading List Source URL: homepages.laas.fr Language: English - Date: 2011-09-27 04:15:08 Applied mathematics Mathematics Constraint programming Job shop scheduling Boolean satisfiability problem Open shop scheduling Scheduling Shifting bottleneck heuristic Operations research Theoretical computer science Mathematical optimization
566	Artificial Intelligence in Medicine – 254 Using Boolean reasoning to anonymize databases Aleksander Øhrn a,, Lucila Ohno-Machado b,1 a Knowledge Systems Group, Department of Computer and Information Sc Add to Reading List Source URL: dsg.harvard.edu Language: English* - Date: 2001-01-10 11:57:24 XK Structure Boolean algebra Implicant Vehicle Identification Number
567	Faster Secure Two-Party Computation Using Garbled Circuits Yan Huang David Evans University of Virginia Add to Reading List Source URL: www.usenix.org Language: English - Date: 2011-06-09 13:31:32 Computational complexity theory Logic gates Circuit complexity Secure multi-party computation Levenshtein distance XOR gate Boolean circuit Circuit Adder Theoretical computer science Applied mathematics Cryptographic protocols
568	Quick3270 configuration file description (ecf) Version 4.37 – January 2013 Remarks. - Quick3270 settings can be saved to a configuration file (.ecf) or to the registry. Add to Reading List Source URL: www.dn-computing.com Language: English - Date: 2015-02-04 18:49:26 Computer keyboard Boolean data type Cursor Windows Registry Null Function key Software Computing Insert key Humanâ€“computer interaction
569	Chapter 7 Exercises Exercise 1: Open the “7.2 Train Strike” model (on http://bayesianrisk.com/models.html). Enter the observations T= false in both parts of the model and run the model. Do the same for T=true, N=true Add to Reading List Source URL: www.bayesianrisk.com Language: English - Date: 2013-07-31 14:00:05 Boolean algebra Boolean data type Computing
570	The Network Operator Method for Synthesis of Intelligent Control System Jose Miguel Atiencia Villagomez Askhat Diveev Add to Reading List Source URL: www.genetic-programming.org Language: English - Date: 2013-06-23 23:01:08 Abstract algebra Symbol Function Vertex operator algebra Residuated Boolean algebra Mathematics Algebraic structures Functions and mappings

UPDATE