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 2010
Table of Contents: ... for the LeadingOnes Problem -- Mirrored Sampling and Sequential Selection for Evolution Strategies -- Optimisation...
View full text
Electronic eBook
3
Published 2013
Table of Contents: ... for Fourth-Order Elliptic Problems , by Karel Segeth --  Upper Bound for the Approximation Error...
View full text
Electronic eBook
4
Published 2014
Table of Contents: ... -- On the Fekete-Szegö Problem for Certain Subclass of Analytic Functions -- Bi-Objective Scheduling on Parallel...
View full text
Electronic eBook
5
Published 2005
Table of Contents: ... Searching Amidst Uncertainty -- Logic Functions of the Genomic Cis-regulatory Code -- Structural DNA...
View full text
Electronic eBook
6
Published 2014
Table of Contents: ... -- Computing Boolean Functions via Quantum Hashing -- Complexity of Promise Problems on Classical and Quantum...
View full text
Electronic eBook
7
Published 2014
Table of Contents: ... -- Task Allocation in Ant Colonies -- Agreement Problems -- Communication-Efficient Randomized Consensus...
View full text
Electronic eBook
8
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
9
Published 2006
Table of Contents: ... Group Problems -- Canonical Decomposition of a Regular Factorial Language -- Acyclic Bidirected and Skew...
View full text
Electronic eBook
10
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
11
Published 2015
Table of Contents: ... of multiobjective optimization algorithms: quality indicators and the attainment function -- Theory and Hyper...
View full text
Electronic eBook
12
Published 2013
Table of Contents: ... -- A Heuristic Algorithm for the Set Multicover Problem with Generalized Upper Bound Constraints -- A...
View full text
Electronic eBook
13
Published 2015
Table of Contents: ... Based Adaptive Oblivious Transfer with Access Control -- Three-Round Public-Coin Bounded-Auxiliary-Input...
View full text
Electronic eBook
14
Published 2008
Table of Contents: ... and Pyramids -- The Maximum Independent Set Problem in Planar Graphs -- When Ignorance Helps: Graphical...
View full text
Electronic eBook
15
Published 2006
Table of Contents: ... -- On the Complexity of Parallel Hardness Amplification for One-Way Functions -- Secret Sharing and Multi-party...
View full text
Electronic eBook
16
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
17
Published 2008
Table of Contents: ... Well-Mixed Function with Circuit Complexity 5n ±o(n): Tightness of the Lachish-Raz-Type Bounds -- A...
View full text
Electronic eBook
18
Published 2010
Table of Contents: ... Pathetic Lower Bounds -- Testing Boolean Function Isomorphism -- Better Size Estimation for Sparse Matrix...
View full text
Electronic eBook
19
Published 2010
Table of Contents: ... on Constrained Minimum Enclosing Circle Problem -- Searching for an Axis-Parallel Shoreline -- Bounded Length, 2...
View full text
Electronic eBook
20
Published 2015
Table of Contents: ...Verified, Practical Upper Bounds for State Space Diameters -- Formalization of Error-correcting...
View full text
Electronic eBook