1
Published 2005
Table of Contents: ... Derivations and Zeta Functions -- On the Order of Certain Characteristic Classes of the Hodge Bundle of Semi...
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 2010
Table of Contents: ... -- Automatic Parallelization of Recursive Functions Using Quantifier Elimination -- A Skeleton for Distributed...
View full text
Electronic eBook
4
Published 2006
Table of Contents: ...-Management System -- A Syntactic Approach to Combining Functional Notation, Lazy Evaluation, and Higher-Order...
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 2010
Table of Contents: ...: Parallelization and Optimization -- Vectorization for Java -- Just-in-Time Compiler Assisted Object Reclamation...
View full text
Electronic eBook
7
Published 2005
Table of Contents: ...-Speed TCP -- Advanced Software On-Demand Based on Functional Streaming -- Can Out-of-Order Instruction...
View full text
Electronic eBook
8
Published 2014
Table of Contents: ... -- Comparison Theorems for Second Order Functional Differential Equations -- Analysis of Qualitative Dynamic...
View full text
Electronic eBook
9
Published 2010
Table of Contents: ... of Multiple Spike Trains -- Higher-Order Correlations and Cumulants -- Population-based approaches...
View full text
Electronic eBook
10
Published 2010
Table of Contents: ...The 2010 International Symposium on Frontiers of Parallel and Distributed Computing (FPDC 2010...
View full text
Electronic eBook
11
Published 2013
Table of Contents: ...Improving Conservation for First-Order System Least Squares Finite-Element Methods, James Adler...
View full text
Electronic eBook
12
Published 2010
Table of Contents: ... for Many-Objective Optimization -- pMODE-LD+SS: An Effective and Efficient Parallel Differential Evolution...
View full text
Electronic eBook
13
Subjects: ...Functional Analysis. https://scigraph.springernature.com/ontologies/product-market-codes/M12066...
View full text
Electronic eBook
14
Published 2015
Table of Contents: ... Resonance Signal for General Gradient Waveforms: Multiple Correlation Function Framework, Path Integrals...
View full text
Electronic eBook
15
Published 2007
Table of Contents: ... for the Living Orders of Placental Mammals and the Phylogenetic Placement of Primates -- New Light on the Dates...
View full text
Electronic eBook
16
Published 2014
Table of Contents: ... -- On Gaussian Processes for NARX Modelling and Their Associated Higher-order Frequency Response Functions....
View full text
Electronic eBook
17
Published 2005
Table of Contents: ... of Parallel Aggregate Creation Orders: Smoothed Aggregation Algebraic Multigrid Method -- Pinpointing the Real...
View full text
Electronic eBook
18
Published 2014
Table of Contents: ...-Level Approach to Implementing Exact Real Arithmetic in the Functional Logic Programming Language Curry...
View full text
Electronic eBook
19
Published 2015
Table of Contents: ... Ordered Restarting Automata -- Reversible Languages -- Garbage Collection for Reversible Functional...
View full text
Electronic eBook
20
Table of Contents: ... Decomposition and Related Topics -- Hilbert Function and Dimension -- Complete Local Rings -- Homological...
View full text
Electronic eBook