1
Published 2014
Table of Contents: ... -- Computing Boolean Functions via Quantum Hashing -- Complexity of Promise Problems on Classical and Quantum...
View full text
Electronic eBook
2
Published 2005
Table of Contents: ... Version Space Algorithm for Acquiring Constraint Satisfaction Problems -- Estimation of Mixture Models...
View full text
Electronic eBook
3
Published 2008
Table of Contents: ... Algorithm for the Maximum 3-Cover Problem -- Positional Strategies for Higher-Order Pushdown Parity Games...
View full text
Electronic eBook
4
Published 2010
Table of Contents: ... Operative Solutions -- Parallel and Distributed Computing -- Application of the Location and Tracking System...
View full text
Electronic eBook
5
Published 2014
Table of Contents: ... Screening Experiments -- CUDAGRN: Parallel Speedup of Inferring Large Gene Regulatory -- Networks from...
View full text
Electronic eBook
6
Published 2012
Table of Contents: ... Problem -- A New Algorithm for Long Integer Cube Computation with Some Insight into Higher Powers...
View full text
Electronic eBook
7
Published 2012
Table of Contents: ... and Stochastic Methods for Modeling Highly Heterogeneous Media Robust Solvers for Symmetric Positive Definite...
View full text
Electronic eBook
8
Published 2005
Table of Contents: ...Invited Papers -- Genome Halving Problem Revisited -- Verifying Probabilistic Procedural Programs...
View full text
Electronic eBook
9
Published 2006
Table of Contents: ... of the Parallel Knock-Out Problem -- Reconfigurations in Graphs and Grids -- -Varieties, Actions and Wreath...
View full text
Electronic eBook
10
Published 2010
Table of Contents: ... Systems -- Stabilization Criterion Based on New Lyapunov Functional Candidate for Networked Control...
View full text
Electronic eBook
11
Published 2010
Table of Contents: ... for Continuous Optimization Problems -- An Efficient Optimization Method for Revealing Local Optima of Projection...
View full text
Electronic eBook
12
Published 2005
Table of Contents: ... Sphere Cut Branch Decompositions -- An Algorithm for the SAT Problem for Formulae of Linear Length...
View full text
Electronic eBook
13
Published 2014
Table of Contents: ... -- On Parallel Lines in Noisy Forms -- Metrics and Dissimilarities -- Metric Learning in Dissimilarity Space...
View full text
Electronic eBook
14
Published 2013
Table of Contents: ...Complexity Dichotomy for Counting Problems.- Algorithms for Analyzing and Verifying Infinite-State...
View full text
Electronic eBook
15
Published 2013
Table of Contents: ... Algorithm for Solving Multi-Objective Optimization Problems -- B-spline Surface Approximation Using...
View full text
Electronic eBook
16
Published 2010
Table of Contents: ...Graphs of Grammars – Derivations as Parallel Processes -- MTTool Software Tool and Low Complexity...
View full text
Electronic eBook
17
Published 2005
Table of Contents: ... Parallel Automata -- Optimal State Assignment of Asynchronous Parallel Automata -- Design of Embedded...
View full text
Electronic eBook
18
Table of Contents: ... Takagi‒Sugeno Fuzzy Positive Systems -- Stabilization of Delayed T-S Fuzzy Positive Systems -- Robust...
View full text
Electronic eBook
19
Published 2014
Table of Contents: ... Climbing Memetic Algorithm -- Using base position errors in an entropy-based evaluation function...
View full text
Electronic eBook
20
Published 2012
Table of Contents: ...From the Contents: Lyapunov Functionals and Matrices for Neutral Type Time Delay Systems...
View full text
Electronic eBook