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 2012
Table of Contents: ... of Genomic Structural Variation in Mammals -- Structural Genetic Variation in the Context of Somatic...
View full text
Electronic eBook
3
Published 2005
Table of Contents: ... Grid Service Chain Model -- A Performance-Based Parallel Loop Self-scheduling on Grid Computing...
View full text
Electronic eBook
4
Subjects: ...Microsoft and .NET. https://scigraph.springernature.com/ontologies/product-market-codes/I29030...
View full text
Electronic eBook
5
Table of Contents: ... Management -- Imperative and Object-Oriented Programs -- Functional Programs -- Logic Programs -- Parallel...
View full text
Electronic eBook
6
Published 2014
Table of Contents: ... and Applications -- Generating Good Span n Sequences Using Orthogonal Functions in Nonlinear Feedback Shift...
View full text
Electronic eBook
7
Published 2015
Table of Contents: ...: unnecessary or essential?.-Characterizing Synthetic Biology through Its Novel and Enhanced Functionalities...
View full text
Electronic eBook
8
Published 2010
Table of Contents: ...FOPARA 2009 -- Comparing Cost Functions in Resource Analysis -- Improvements to a Resource Analysis...
View full text
Electronic eBook
9
Published 2014
Table of Contents: ... -- Computing Boolean Functions via Quantum Hashing -- Complexity of Promise Problems on Classical and Quantum...
View full text
Electronic eBook
10
Published 2014
Table of Contents: ...: An Analytical Approach -- An Eigen decomposition Method for Protein Structure Alignment -- Functional Interplay...
View full text
Electronic eBook
11
Published 2008
Table of Contents: ...-on-Tangent vs. Tangent-on-Reverse for Second Differentiation of Constrained Functionals -- Parallel Reverse...
View full text
Electronic eBook
12
Published 2012
Table of Contents: ... activities in the Turkish-German migration context -- Mari-Liis Jakobson, Pauliina Järvinen-Alenius, Pirkko...
View full text
Electronic eBook
13
Published 2015
Table of Contents: ... for Static Deadlock Prevention -- Automatically Partitioning Data to Facilitate the Parallelization...
View full text
Electronic eBook
14
Published 2014
Table of Contents: ... Expression and Function in Mammalian Oocytes and Early Embryos -- Genetic Lineage Tracing Analysis...
View full text
Electronic eBook
15
Published 2015
Table of Contents: ... in Computer Aided Design -- Software Framework for Modular Machine Learning Systems -- Parallel cost function...
View full text
Electronic eBook
16
Published 2013
Table of Contents: ...Extending DNA-Sticker Arithmetic to Arbitrary Size Using Staples -- Parallel Computation Using...
View full text
Electronic eBook
17
Published 2008
Table of Contents: ... Alias to Detect Null Pointer Dereference -- A Partial Order Reduction Technique for Parallel Timed...
View full text
Electronic eBook
18
Subjects: ...Computational Mathematics and Numerical Analysis. https://scigraph.springernature.com/ontologies...
View full text
Electronic eBook
19
Published 2010
Table of Contents: ... -- Possibility Theory and Formal Concept Analysis: Context Decomposition and Uncertainty Handling -- A Parallel...
View full text
Electronic eBook
20
Published 2006
Table of Contents: ... Order Functional Programs -- Combining Typing and Size Constraints for Checking the Termination...
View full text
Electronic eBook