1
Published 2010
Table of Contents: ... -- Automatic Parallelization of Recursive Functions Using Quantifier Elimination -- A Skeleton for Distributed...
View full text
Electronic eBook
2
Published 2013
Table of Contents: ... for Fourth-Order Elliptic Problems , by Karel Segeth --  Upper Bound for the Approximation Error...
View full text
Electronic eBook
3
Published 2013
Table of Contents: ...-Contractive Maps, h Function and the Maximally regular Graph: A new methodology for data mining; Massimo...
View full text
Electronic eBook
4
Published 2015
Table of Contents: ... of multiobjective optimization algorithms: quality indicators and the attainment function -- Theory and Hyper...
View full text
Electronic eBook
5
Published 2013
Table of Contents: ... -- A Heuristic Algorithm for the Set Multicover Problem with Generalized Upper Bound Constraints -- A...
View full text
Electronic eBook
6
Published 2006
Table of Contents: ... the Eigenvalue Problem for the One-Dimensional Schrödinger Equation -- Reducing Computational Costs in the Basic...
View full text
Electronic eBook
7
Published 2008
Table of Contents: ... and Pyramids -- The Maximum Independent Set Problem in Planar Graphs -- When Ignorance Helps: Graphical...
View full text
Electronic eBook
8
Published 2015
Table of Contents: ...Verified, Practical Upper Bounds for State Space Diameters -- Formalization of Error-correcting...
View full text
Electronic eBook
9
Published 2010
Table of Contents: ... -- Creating an Upper-Confidence-Tree Program for Havannah -- Randomized Parallel Proof-Number Search -- Hex...
View full text
Electronic eBook
10
Published 2013
Table of Contents: ...Invited Talks -- The Proof-Search Problem between Bounded-Width Resolution and Bounded-Degree Semi...
View full text
Electronic eBook
11
Published 2013
Table of Contents: ... and Parallelization to Improve the Application of the APH Hamiltonian in Reactive Scattering.- Multi Reference versus...
View full text
Electronic eBook
12
Published 2005
Table of Contents: ... Satisfiability Problem -- New Bit-Parallel Indel-Distance Algorithm -- Dynamic Application Placement Under...
View full text
Electronic eBook
13
Published 2010
Table of Contents: ... Polynomial Time Complexity -- New Upper Bounds on the Average PTF Density of Boolean Functions -- Session 4A...
View full text
Electronic eBook
14
Published 2013
Table of Contents: ... -- Recognizing Conversational Interaction Based on 3D Human Pose -- Upper-Body Pose Estimation Using Geodesic...
View full text
Electronic eBook
15
Published 2005
Table of Contents: ... Double-Base Chains -- Multiparty Computation -- Upper Bounds on the Communication Complexity of Optimally...
View full text
Electronic eBook
16
Published 2006
Table of Contents: ... for Axis-Parallel Rectangles -- Single Machine Precedence Constrained Scheduling Is a Vertex Cover Problem...
View full text
Electronic eBook
17
Published 2015
Table of Contents: ... for Improvement of Upper Limb Motor Impairment and Function -- Constraint- Induced Movement Therapy...
View full text
Electronic eBook
18
Published 2015
Table of Contents: ... and Gabriel Pantoja -- Dimensional synthesis of a planar parallel manipulator applied to upper limb...
View full text
Electronic eBook
19
Published 2008
Table of Contents: ... -- The Complexity of Boolean Formula Minimization -- Optimal Cryptographic Hardness of Learning Monotone Functions...
View full text
Electronic eBook
20
Published 2007
Table of Contents: ... Rules Based on Extended Function Dependency -- A Problem Oriented Approach to Data Mining in Distributed...
View full text
Electronic eBook