1
Published 2005
Table of Contents: ...Arithmetic over Function Fields: A Cohomological Approach -- Algebraic Stacks Whose Number...
View full text
Electronic eBook
2
Published 2005
Table of Contents: ... Reconstruction Using Type Equations -- Correctness of Non-determinism Analyses in a Parallel-Functional Language...
View full text
Electronic eBook
3
Subjects: ...Circuits and Systems. https://scigraph.springernature.com/ontologies/product-market-codes/T24068...
View full text
Electronic eBook
4
Published 2012
Subjects: ...Numerical and Computational Physics, Simulation. https://scigraph.springernature.com/ontologies...
View full text
Electronic eBook
5
Table of Contents: ...Algebraic Preliminaries -- Integration of Rational Functions -- Differential Fields -- The Order...
View full text
Electronic eBook
6
Published 2012
Table of Contents: ... Sequencing -- Massively Parallel Sequencing Approaches for Characterization of Structural Variation....
View full text
Electronic eBook
7
Published 2006
Table of Contents: ...Implementions -- Parallel Programming Models for Irregular Algorithms -- Basic Approach to Parallel...
View full text
Electronic eBook
8
Published 2010
Table of Contents: ... in Distributed Environments by Simultaneous Fragmentation and Allocation -- Parallel Architectures -- Function...
View full text
Electronic eBook
9
Table of Contents: ...Introduction -- Preliminaries and Definitions -- Randomized Encoding of Functions -- Cryptography...
View full text
Electronic eBook
10
Published 2014
Table of Contents: ...-Level Approach to Implementing Exact Real Arithmetic in the Functional Logic Programming Language Curry...
View full text
Electronic eBook
11
Published 2014
Table of Contents: ...: An Analytical Approach -- An Eigen decomposition Method for Protein Structure Alignment -- Functional Interplay...
View full text
Electronic eBook
12
Published 2005
Table of Contents: ...-Throughput Proteome Annotation Pipeline -- Genome-Wide Functional Annotation Environment for Thermus...
View full text
Electronic eBook
13
Published 2008
Table of Contents: ... Parallelism in the Phylogenetic Likelihood Function with MPI, Pthreads, and OpenMP: A Performance Study...
View full text
Electronic eBook
14
Published 2010
Table of Contents: ...: The Determinants of Success -- Exploring the Media Mix during IT-Offshore Project -- Parallel Transitions...
View full text
Electronic eBook
15
Published 2008
Table of Contents: ...-on-Tangent vs. Tangent-on-Reverse for Second Differentiation of Constrained Functionals -- Parallel Reverse...
View full text
Electronic eBook
16
Published 2012
Table of Contents: ...-Compensating Technology for Disturbing Torque of Space Swing Camera -- Matrix Multiplication Parallelization...
View full text
Electronic eBook
17
Published 2014
Table of Contents: ... Screening Experiments -- CUDAGRN: Parallel Speedup of Inferring Large Gene Regulatory -- Networks from...
View full text
Electronic eBook
18
Published 2015
Table of Contents: ...Neural Networks and Their Applications -- Parallel approach to the Levenberg-Marquardt learning...
View full text
Electronic eBook
19
Published 2012
Table of Contents: ...From the Contents: Lyapunov Functionals and Matrices for Neutral Type Time Delay Systems...
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