1
Published 2010
Table of Contents: ... Problem Using an Adaptive Hybrid VNS/SA Approach -- Testing the Dinosaur Hypothesis under Empirical...
View full text
Electronic eBook
2
Published 2007
Table of Contents: ... to Dispersive Electromagnetic Problem -- Strategies for Development of a Parallel Program for Protoplanetary...
View full text
Electronic eBook
3
Published 2010
Table of Contents: ... Grove and Its Distributed Performance -- A Massively Parallel Hardware for Modular Exponentiations Using...
View full text
Electronic eBook
4
Published 2010
Table of Contents: ... -- Automatic Parallelization of Recursive Functions Using Quantifier Elimination -- A Skeleton for Distributed...
View full text
Electronic eBook
5
by Freeman, Adam., Freeman, Adam.
Published 2010
Table of Contents: ... Tasks -- Parallel Loops -- Parallel LINQ -- Testing and Debugging -- Common Parallel Algorithms....
View full text
Electronic eBook
6
Published 2013
Table of Contents: ...Invited Talks -- The Proof-Search Problem between Bounded-Width Resolution and Bounded-Degree Semi...
View full text
Electronic eBook
7
Published 2008
Table of Contents: ...: The Unibus System -- Tutorial -- EuroPVM/MPI Full-Day Tutorial. Using MPI-2: A Problem-Based Approach...
View full text
Electronic eBook
8
Published 2013
Table of Contents: ...Foreword --  Preface --  Part I Numerical Methods for Nonlinear Problems --  The Finite Element...
View full text
Electronic eBook
9
Published 2005
Table of Contents: ... Explicit Pareto Ranking -- Parallelization of Multi-objective Evolutionary Algorithms Using Clustering...
View full text
Electronic eBook
10
Published 2005
Table of Contents: ... Version Space Algorithm for Acquiring Constraint Satisfaction Problems -- Estimation of Mixture Models...
View full text
Electronic eBook
11
by Kozen, Dexter C., Kozen, Dexter C.
Published 2006
Table of Contents: ... -- The Circuit Value Problem -- The Knaster-Tarski Theorem -- Alternation -- Problems Complete for PSPACE...
View full text
Electronic eBook
12
Published 2015
Table of Contents: ...The Effect of Distinct Geometric Semantic Crossover Operators in Regression Problems -- Learning...
View full text
Electronic eBook
13
Published 2010
Table of Contents: ... and Tengely -- Sieving for Pseudosquares and Pseudocubes in Parallel Using Doubly-Focused Enumeration...
View full text
Electronic eBook
14
Published 2006
Table of Contents: ... Computational Scheme for Testing Admissibility of Nilpotent Orbits of Real Lie Groups of Inner Type -- Efficient...
View full text
Electronic eBook
15
Published 2010
Table of Contents: ... Recognition of Fabric Weave Patterns Using Texture Orientation Features -- Evaluating of on Demand Bandwidth...
View full text
Electronic eBook
16
Published 2008
Table of Contents: ... Subgroup Problem -- An O *(3.523k ) Parameterized Algorithm for 3-Set Packing -- Indistinguishability...
View full text
Electronic eBook
17
Published 2010
Table of Contents: ... Genetic Algorithm Based Test Case Generation Using Sequence Diagrams -- LACAIS: Learning Automata Based...
View full text
Electronic eBook
18
Published 2005
Table of Contents: ... Rule-Table for Function Approximation by Use of Symbolic Regression in 1D and 2D Cases -- Parallel...
View full text
Electronic eBook
19
Published 2014
Table of Contents: ... Matchgates -- Testing Probability Distributions Underlying Aggregated Data -- Parallel Repetition...
View full text
Electronic eBook
20
Published 2005
Table of Contents: ...Invited Papers -- Genome Halving Problem Revisited -- Verifying Probabilistic Procedural Programs...
View full text
Electronic eBook