1
Published 2010
Table of Contents: ... Width Formulas -- Proof Complexity of Propositional Default Logic -- Automated Testing and Debugging...
View full text
Electronic eBook
2
Published 2005
Table of Contents: ... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...
View full text
Electronic eBook
3
... and a Bonferroni test for pairwise comparisons were used to assess the intervention's efficacy. Before...
View full text
Article
4
Published 2010
Table of Contents: ... -- Research Issues in the Automated Testing of Ajax Applications -- Essential Performance Drivers in Native...
View full text
Electronic eBook
5
Published 2006
Table of Contents: ... n -- Linear-Time Algorithms for Two Subtree-Comparison Problems on Phylogenetic Trees...
View full text
Electronic eBook
6
Published 2007
Table of Contents: ... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...
View full text
Electronic eBook
7
Published 2010
Table of Contents: ... Environment and its Comparison -- Ubiquitous Data Management in a Personal Information Environment...
View full text
Electronic eBook
8
Published 2006
Table of Contents: ...Comparison Maps for Relatively Free Resolutions -- A Symbolic-Numeric Approach for Solving...
View full text
Electronic eBook
9
Published 2010
Table of Contents: ... Population Using Pooled DNA -- Pathway-Based Functional Analysis of Metagenomes -- Hierarchical Generative...
View full text
Electronic eBook
10
Published 2008
Table of Contents: ... for the Maximum Node-Capacitated Multiflow Problem -- Linear Time Planarity Testing and Embedding of Strongly...
View full text
Electronic eBook
11
Published 2010
Table of Contents: ... Framework for Cerebral CT Perfusion Imaging Methods Comparison -- Application of the Laplacian Pyramid...
View full text
Electronic eBook
12
Published 2008
Table of Contents: ... Test Functions with Multiple Global Optima -- Choosing Leaders for Multi-objective PSO Algorithms Using...
View full text
Electronic eBook
13
Published 2014
Table of Contents: ...) -- Estimating a Rasch Model via Fuzzy Empirical Probability Functions -- Scale Reliability Evaluation for a...
View full text
Electronic eBook
14
Published 2010
Table of Contents: ...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...
View full text
Electronic eBook
15
Published 2010
Table of Contents: ... and Decision Tree -- RDFa Ontology-Based Architecture for String-Based Web Attacks: Testing and Evaluation...
View full text
Electronic eBook
16
Published 2005
Table of Contents: ... Beach County -- Bayesian Functional Estimation of Hazard Rates for Randomly Right Censored Data Using...
View full text
Electronic eBook
17
by Albert, Jim., Albert, Jim.
Published 2007
Table of Contents: ... -- to Bayesian Computation -- Markov Chain Monte Carlo Methods -- Hierarchical Modeling -- Model Comparison...
View full text
Electronic eBook
18
Published 2007
Table of Contents: ... Evaluation of Different Approaches -- Modeling, Analysis and Testing of Safety Issues - An Event-Based...
View full text
Electronic eBook
19
Published 2005
Table of Contents: ... Constraints -- A Comparison of Methods for the Computation of Affine Lower Bound Functions for Polynomials...
View full text
Electronic eBook
20
Published 2015
Table of Contents: ...Binary Bat Algorithm: On the Efficiency of Mapping Functions When Handling Binary Problems Using...
View full text
Electronic eBook