1
出版 2006
书本目录: ... -- Numerical Study of Stability Domains of Hamiltonian Equation Solutions -- Numeric-Symbolic Computations...
获取全文
电子 电子书
2
书本目录: ...Basics -- Introduction -- Linear Programming Prerequisites -- Nonlinear Programming Prerequisites...
获取全文
电子 电子书
3
出版 2008
书本目录: ... Performance Computing for Eigenvalue Solver in Density-Matrix Renormalization Group Method: Parallelization...
获取全文
电子 电子书
4
出版 2007
书本目录: ... Architecture -- 2: Cluster Computing -- JaceV: A Programming and Execution Environment for Asynchronous...
获取全文
电子 电子书
5
出版 2014
书本目录: ... the Symbolic Solution of a Geometric Problem through Numeric Computations -- A Simple Quantifier-free Formula...
获取全文
电子 电子书
6
出版 2012
书本目录: ...: Part 3. Computational Studies.-Part IV: Control and Uncertain Systems Newton’s Method and Secant Method...
获取全文
电子 电子书
7
出版 2006
书本目录: ... -- Dependable Software -- SCOOP – Concurrency Made Easy -- Scalable Programming Abstractions for XML Services...
获取全文
电子 电子书
8
出版 2007
书本目录: ... -- Szemerédi’s Regularity Lemma and Its Applications to Pairwise Clustering and Segmentation -- Exact Solution...
获取全文
电子 电子书
9
出版 2010
书本目录: ... Augmented Lagrangian Method for Computationally Fast Constrained Optimization -- Evolutionary Programming...
获取全文
电子 电子书
10
出版 2015
书本目录: ... and Discontinuous Galerkin Methods; Nonreflecting Conditions and Non-Asymptotic Homogenization -- On Extension...
获取全文
电子 电子书
11
出版 2007
书本目录: ... for Nuclear Digital Protection System -- Specification of a Software Common Cause Analysis Method -- Combining...
获取全文
电子 电子书
12
出版 2015
书本目录: ...Binary Bat Algorithm: On the Efficiency of Mapping Functions When Handling Binary Problems Using...
获取全文
电子 电子书
13
出版 2007
书本目录: ...Plenary & Keynote Papers -- Computational Methods Combining Large Eddy Simulation with Approximate...
获取全文
电子 电子书
14
出版 2013
书本目录: ...-optimal Solutions -- Genetic Programming-Based Model Output Statistics for Short-Range Temperature...
获取全文
电子 电子书
15
出版 2008
书本目录: .... Towards Hybrid Knowledge Engineering -- XML Schema Mappings Using Schema Constraints and Skolem Functions...
获取全文
电子 电子书
16
出版 2010
书本目录: ... the Lattice Boltzmann Method and Analysis of OpenMP Scalability -- Parallel Computations of Unsteady Three...
获取全文
电子 电子书
17
出版 2007
书本目录: ... Models -- Discovering Non-linear Ranking Functions by Solving Semi-algebraic Systems -- Mobile Ambients...
获取全文
电子 电子书
18
出版 2006
书本目录: ... Optimization of Braced Steel Frameworks Using Genetic Programming -- On the Adoption of Computing...
获取全文
电子 电子书
19
出版 2008
书本目录: ... -- Algebraic Identification of MIMO SARX Models -- Contract-Based Design for Computation and Verification of a...
获取全文
电子 电子书
20
出版 2006
书本目录: ... Preconditioners for Special Situations in Finite Element Computations -- Nitsche Finite Element Method...
获取全文
电子 电子书