1
Published 2005
Table of Contents: ...Mapping Problems with Finite-Domain Variables to Problems with Boolean Variables -- Mapping...
View full text
Electronic eBook
2
Table of Contents: ... and Standardized Goal-Seeker -- Solver System Applications -- Traveling Salesman Problem: E-C-C Problem...
View full text
Electronic eBook
3
Published 2007
Table of Contents: ...SAT: Past and Future -- Encodings of Problems in Effectively Propositional Logic -- Efficient...
View full text
Electronic eBook
4
Published 2006
Table of Contents: ... 3. Applications -- Applications of SAT Solvers to Cryptanalysis of Hash Functions -- Functional...
View full text
Electronic eBook
5
Published 2012
Table of Contents: ... -- Generating Functions of Timed Languages -- The Robust Set Problem: Parameterized Complexity and Approximation...
View full text
Electronic eBook
6
Published 2006
Table of Contents: ... Satisfaction Problems -- On the Representation of Kleene Algebras with Tests -- From Three Ideas in TCS...
View full text
Electronic eBook
7
Published 2014
Table of Contents: ...Model-Based Testing for Functional and Security Test Generation -- Model-Based Security Engineering...
View full text
Electronic eBook
8
Table of Contents: ...Independent functional observations -- The functional linear model -- Dependent functional data...
View full text
Electronic eBook
9
Published 2006
Table of Contents: ... -- Approximation Algorithms for 2-Stage Stochastic Optimization Problems -- The Number of Crossing Free...
View full text
Electronic eBook
10
Published 2005
Table of Contents: ...Invited Papers -- Genome Halving Problem Revisited -- Verifying Probabilistic Procedural Programs...
View full text
Electronic eBook
11
Published 2005
Table of Contents: ... with Pairs Problem -- Non-disclosure for Distributed Mobile Code -- Quantitative Models and Implicit...
View full text
Electronic eBook
12
Table of Contents: ...Multiple Hypothesis Testing -- Test Statistics Null Distribution -- Overview of Multiple Testing...
View full text
Electronic eBook
13
Table of Contents: ... -- MOEA Test Suites -- MOEA Testing and Analysis -- MOEA Theory and Issues -- Applications -- MOEA...
View full text
Electronic eBook
14
Table of Contents: ...Problems and Tricks -- Number Theory -- Some Applications of Elementary Number Theory -- Ideas...
View full text
Electronic eBook
15
Table of Contents: .... The Fixed Point Problem -- 10. Sequences of Functions -- Bibliography -- Index....
View full text
Electronic eBook
16
Table of Contents: ... generator -- Confidence interval about the mean using the TINV function and hypothesis testing -- One-group...
View full text
Electronic eBook
17
Published 2007
Table of Contents: ...” -- Keynote Speech: “Foundations of Experimental Economics, Economic Design and Applications” -- The Past...
View full text
Electronic eBook
18
Table of Contents: ... -- Confidence Interval About the Mean Using the TINV Function and Hypothesis Testing -- One-Group t-Test...
View full text
Electronic eBook
19
Table of Contents: ... Function -- 12. Rock Properties for FRACOD Modelling -- 13. FRACOD Verification Tests -- 14. Application...
View full text
Electronic eBook
20
Published 2007
Table of Contents: ... -- Practical Problems in Equating Test Scores: A Practitioner’s Perspective -- Potential Solutions to Practical...
View full text
Electronic eBook