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
Published 2008
Table of Contents: ... Alias to Detect Null Pointer Dereference -- A Partial Order Reduction Technique for Parallel Timed...
View full text
Electronic eBook
6
Published 2008
Table of Contents: ...-on-Tangent vs. Tangent-on-Reverse for Second Differentiation of Constrained Functionals -- Parallel Reverse...
View full text
Electronic eBook
7
Published 2014
Table of Contents: ... -- Computing Boolean Functions via Quantum Hashing -- Complexity of Promise Problems on Classical and Quantum...
View full text
Electronic eBook
8
Published 2014
Table of Contents: ...: An Analytical Approach -- An Eigen decomposition Method for Protein Structure Alignment -- Functional Interplay...
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
Table of Contents: ... Management -- Imperative and Object-Oriented Programs -- Functional Programs -- Logic Programs -- Parallel...
View full text
Electronic eBook
11
Published 2014
Table of Contents: ... and Applications -- Generating Good Span n Sequences Using Orthogonal Functions in Nonlinear Feedback Shift...
View full text
Electronic eBook
12
Published 2011
Table of Contents: ... for functional analysis of plant-nematode interactions -- 6. Genome analysis of plant parasitic nematodes -- 7...
View full text
Electronic eBook
13
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
14
Published 2014
Subjects: ...Philosophy of Science. https://scigraph.springernature.com/ontologies/product-market-codes/E34000...
View full text
Electronic eBook
15
Published 2015
Table of Contents: ...: unnecessary or essential?.-Characterizing Synthetic Biology through Its Novel and Enhanced Functionalities...
View full text
Electronic eBook
16
Published 2006
Table of Contents: ... Order Functional Programs -- Combining Typing and Size Constraints for Checking the Termination...
View full text
Electronic eBook
17
Published 2015
Table of Contents: ... in Computer Aided Design -- Software Framework for Modular Machine Learning Systems -- Parallel cost function...
View full text
Electronic eBook
18
Published 2010
Table of Contents: ... Operative Solutions -- Parallel and Distributed Computing -- Application of the Location and Tracking System...
View full text
Electronic eBook
19
Published 2013
Table of Contents: ...Extending DNA-Sticker Arithmetic to Arbitrary Size Using Staples -- Parallel Computation Using...
View full text
Electronic eBook
20
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