1
Published 2010
Table of Contents: ... -- Automatic Parallelization of Recursive Functions Using Quantifier Elimination -- A Skeleton for Distributed...
View full text
Electronic eBook
2
Subjects: ...Algorithm Analysis and Problem Complexity. https://scigraph.springernature.com/ontologies/product...
View full text
Electronic eBook
3
Published 2007
Table of Contents: ... Cantilever with a Contact Boundary -- Frictional Impact of Planar Deformable Bodies -- Parallel Load Balanced...
View full text
Electronic eBook
4
Published 2014
Table of Contents: ... -- Computing Boolean Functions via Quantum Hashing -- Complexity of Promise Problems on Classical and Quantum...
View full text
Electronic eBook
5
Published 2015
Table of Contents: ... Monitoring and Synthesis -- Newton's Forward Difference Equation for Functions from Words to Words -- Degrees...
View full text
Electronic eBook
6
Published 2015
Table of Contents: ... Ordered Restarting Automata -- Reversible Languages -- Garbage Collection for Reversible Functional...
View full text
Electronic eBook
7
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
8
Published 2015
Table of Contents: ... -- Combinatorics on Words -- Complexity and Recursive Functions -- Compression, Inference, Pattern Matching...
View full text
Electronic eBook
9
Published 2013
Table of Contents: ... Quality Measures through Feature Extraction -- Towards Comprehensive Concept Description Based...
View full text
Electronic eBook
10
Published 2013
Table of Contents: ... Classifiers to Data Stream Classification -- Efficacy of Some Primary Discriminant Functions in Diagnosing...
View full text
Electronic eBook
11
Published 2013
Table of Contents: ... and Grammatical Evolution in a Trading System -- A Card Game Description Language -- Generating Map Sketches...
View full text
Electronic eBook
12
Published 2008
Table of Contents: ... Classification for Large-Scale Problems in the Legal Domain -- Fitted Natural Actor-Critic: A New Algorithm...
View full text
Electronic eBook
13
Published 2013
Table of Contents: ... Algorithm for Solving Multi-Objective Optimization Problems -- B-spline Surface Approximation Using...
View full text
Electronic eBook
14
Published 2012
Table of Contents: ... Algorithm for Efficient Solution of 2D and 3D Shape Matching Problems -- Local Search in Parallel Linear...
View full text
Electronic eBook
15
Published 2013
Table of Contents: ... Kernel PCA: A Monte Carlo Simulation Study -- SVM-SVDD: A New Method to Solve Data Description Problem...
View full text
Electronic eBook
16
Published 2013
Table of Contents: ...Complexity Dichotomy for Counting Problems.- Algorithms for Analyzing and Verifying Infinite-State...
View full text
Electronic eBook
17
Published 2006
Table of Contents: ... and Artificial Life -- Using Computational Intelligence and Parallelism to Solve an Industrial Design Problem...
View full text
Electronic eBook
18
Published 2014
Table of Contents: ...-Level Approach to Implementing Exact Real Arithmetic in the Functional Logic Programming Language Curry...
View full text
Electronic eBook
19
Published 2005
Table of Contents: ...Specification of Concurrent Embedded Control Systems -- Using Sequents for Description...
View full text
Electronic eBook
20
Published 2010
Table of Contents: ...: Open Problems in Theory and Practice -- Regret Minimization and Job Scheduling -- Lessons in Software...
View full text
Electronic eBook