1
Publié 2005
Table des matières: ...Arithmetic over Function Fields: A Cohomological Approach -- Algebraic Stacks Whose Number...
Accéder au texte intégral
Électronique eBook
2
Publié 2005
Table des matières: ... Reconstruction Using Type Equations -- Correctness of Non-determinism Analyses in a Parallel-Functional Language...
Accéder au texte intégral
Électronique eBook
3
Publié 2006
Table des matières: ...Implementions -- Parallel Programming Models for Irregular Algorithms -- Basic Approach to Parallel...
Accéder au texte intégral
Électronique eBook
4
Sujets: ...Special purpose computers....
Accéder au texte intégral
Électronique eBook
5
Publié 2012
Sujets: ...Numerical and Computational Physics, Simulation. https://scigraph.springernature.com/ontologies...
Accéder au texte intégral
Électronique eBook
6
Table des matières: ...Introduction -- Preliminaries and Definitions -- Randomized Encoding of Functions -- Cryptography...
Accéder au texte intégral
Électronique eBook
7
Table des matières: ...Algebraic Preliminaries -- Integration of Rational Functions -- Differential Fields -- The Order...
Accéder au texte intégral
Électronique eBook
8
Publié 2010
Table des matières: ... Linear Array -- Parallel Prefix Computation in the Recursive Dual-Net -- A Two-Phase Differential...
Accéder au texte intégral
Électronique eBook
9
Publié 2010
Table des matières: ... Functions by Generic Symbolic Convexity Tests -- Term Cancellations in Computing Floating-Point Gröbner...
Accéder au texte intégral
Électronique eBook
10
Publié 2012
Table des matières: ... Intersection Multiplicities -- A Note on the Space Complexity of Fast D-Finite Function Evaluation -- Inversion...
Accéder au texte intégral
Électronique eBook
11
Publié 2008
Table des matières: ...Algorithms and Implementations -- Computing the Minkowski Value of the Exponential Function over a...
Accéder au texte intégral
Électronique eBook
12
Publié 2007
Table des matières: ... Division Characterise P -- Balancing Performance, Flexibility, and Scalability in a Parallel Computing...
Accéder au texte intégral
Électronique eBook
13
Publié 2012
Table des matières: ... Sequencing -- Massively Parallel Sequencing Approaches for Characterization of Structural Variation....
Accéder au texte intégral
Électronique eBook
14
Publié 2015
Table des matières: ... Derivative Automata -- A Note on the Computable Categoricity of l^p Spaces -- n the Computational Content...
Accéder au texte intégral
Électronique eBook
15
Publié 2013
Table des matières: ... Loci and Envelopes -- ML4PG in Computer Algebra Verification -- Pervasive Parallelism in Highly...
Accéder au texte intégral
Électronique eBook
16
Publié 2014
Table des matières: ...-borne Phased Array Radar --  A Second-order Algorithm for Curve Parallel Projection on Parametric...
Accéder au texte intégral
Électronique eBook
17
Table des matières: ...Mathematical Modeling and Computer Simulation -- Electrophysiological and Electrochemical...
Accéder au texte intégral
Électronique eBook
18
Publié 2005
Table des matières: ...-Throughput Proteome Annotation Pipeline -- Genome-Wide Functional Annotation Environment for Thermus...
Accéder au texte intégral
Électronique eBook
19
Publié 2015
Table des matières: ...Neural Networks and Their Applications -- Parallel approach to the Levenberg-Marquardt learning...
Accéder au texte intégral
Électronique eBook
20
Publié 2005
Table des matières: ... Sequence Tags for Fast Database Search in Mass-Spectrometry -- A Hidden Markov Model Based Scoring Function...
Accéder au texte intégral
Électronique eBook