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