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 2007
Table of Contents: ...Basic Principles of Parallel-Imaging Techniques -- MRI from k-Space to Parallel Imaging -- Basic...
View full text
Electronic eBook
3
Published 2014
Table of Contents: ... Scanning Point Clouds -- A Novel Approach to the Common Due-Date Problem on Single and Parallel Machines...
View full text
Electronic eBook
4
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
5
Published 2014
Table of Contents: ...-Connectivity Problem with Pure Membrane Computing Techniques -- Simulating Turing Machines...
View full text
Electronic eBook
6
Published 2014
Subjects: ...Algorithm Analysis and Problem Complexity. https://scigraph.springernature.com/ontologies/product...
View full text
Electronic eBook
7
Published 2010
Table of Contents: ...Invited Talk -- The First 30 Years of Cryptographic Hash Functions and the NIST SHA-3 Competition...
View full text
Electronic eBook
8
Published 2006
Table of Contents: ... -- Parallel Key-Insulated Public Key Encryption -- Provably Secure Steganography with Imperfect Sampling...
View full text
Electronic eBook
9
Published 2010
Table of Contents: ...FOPARA 2009 -- Comparing Cost Functions in Resource Analysis -- Improvements to a Resource Analysis...
View full text
Electronic eBook
10
Published 2008
Table of Contents: ... Subgroup Problem -- An O *(3.523k ) Parameterized Algorithm for 3-Set Packing -- Indistinguishability...
View full text
Electronic eBook
11
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
12
Published 2014
Table of Contents: ... and Budgeted Maximum Coverage Problems in Bipartite Graphs -- Perfect Pipelining for Streaming Large File...
View full text
Electronic eBook
13
Published 2015
Table of Contents: ...-Order Functional Intermediate Language for Verified Compilers -- Autosubst: Reasoning with de Bruijn...
View full text
Electronic eBook
14
Published 2015
Table of Contents: ... for the Metric Case of the Minimum Sum-Requirement Communication Spanning Tree Problem -- Constant Approximation...
View full text
Electronic eBook
15
Published 2010
Table of Contents: ... -- Connectedness of Offset Digitizations in Higher Dimensions -- Curvature Estimation for Discrete Curves Based...
View full text
Electronic eBook
16
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
17
Published 2015
Table of Contents: ... -- Superconvergence of Some Linear and Quadratic Functionals for Higher-order Finite Elements -- Time Step...
View full text
Electronic eBook
18
Published 2005
Table of Contents: ...Invited Papers -- Genome Halving Problem Revisited -- Verifying Probabilistic Procedural Programs...
View full text
Electronic eBook
19
Published 2013
Table of Contents: ... on Crossbar Topology for Parallel Applications in MPSoC.- Modelling Higher Dimensional Data for GIS Using...
View full text
Electronic eBook
20
Published 2006
Table of Contents: ... for Uncapacitated Facility Location Problem -- A Direct Application of Ant Colony Optimization to Function...
View full text
Electronic eBook