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
Published 2006
Table of Contents: ...Implementions -- Parallel Programming Models for Irregular Algorithms -- Basic Approach to Parallel...
View full text
Electronic eBook
4
Subjects: ...Special purpose computers....
View full text
Electronic eBook
5
Published 2012
Subjects: ...Numerical and Computational Physics, Simulation. https://scigraph.springernature.com/ontologies...
View full text
Electronic eBook
6
Table of Contents: ...Introduction -- Preliminaries and Definitions -- Randomized Encoding of Functions -- Cryptography...
View full text
Electronic eBook
7
Table of Contents: ...Algebraic Preliminaries -- Integration of Rational Functions -- Differential Fields -- The Order...
View full text
Electronic eBook
8
Published 2010
Table of Contents: ... Linear Array -- Parallel Prefix Computation in the Recursive Dual-Net -- A Two-Phase Differential...
View full text
Electronic eBook
9
Published 2010
Table of Contents: ... Functions by Generic Symbolic Convexity Tests -- Term Cancellations in Computing Floating-Point Gröbner...
View full text
Electronic eBook
10
Published 2012
Table of Contents: ... Intersection Multiplicities -- A Note on the Space Complexity of Fast D-Finite Function Evaluation -- Inversion...
View full text
Electronic eBook
11
Published 2008
Table of Contents: ...Algorithms and Implementations -- Computing the Minkowski Value of the Exponential Function over a...
View full text
Electronic eBook
12
Published 2012
Table of Contents: ... Sequencing -- Massively Parallel Sequencing Approaches for Characterization of Structural Variation....
View full text
Electronic eBook
13
Published 2007
Table of Contents: ... Division Characterise P -- Balancing Performance, Flexibility, and Scalability in a Parallel Computing...
View full text
Electronic eBook
14
Published 2015
Table of Contents: ... Derivative Automata -- A Note on the Computable Categoricity of l^p Spaces -- n the Computational Content...
View full text
Electronic eBook
15
Published 2013
Table of Contents: ... Loci and Envelopes -- ML4PG in Computer Algebra Verification -- Pervasive Parallelism in Highly...
View full text
Electronic eBook
16
Published 2014
Table of Contents: ...-borne Phased Array Radar --  A Second-order Algorithm for Curve Parallel Projection on Parametric...
View full text
Electronic eBook
17
by Kogan, Boris Ja., Kogan, Boris Ja.
Published 2010
Table of Contents: ...Mathematical Modeling and Computer Simulation -- Electrophysiological and Electrochemical...
View full text
Electronic eBook
18
Published 2005
Table of Contents: ...-Throughput Proteome Annotation Pipeline -- Genome-Wide Functional Annotation Environment for Thermus...
View full text
Electronic eBook
19
Published 2015
Table of Contents: ...Neural Networks and Their Applications -- Parallel approach to the Levenberg-Marquardt learning...
View full text
Electronic eBook
20
Published 2008
Table of Contents: ... Causality Approach to Explore Causal Networks Derived From Multi-parameter Data -- Functional Evolution...
View full text
Electronic eBook