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
出版 2008
書本目錄: .... Towards Hybrid Knowledge Engineering -- XML Schema Mappings Using Schema Constraints and Skolem Functions...
獲取全文
電子 電子書
15
出版 2013
書本目錄: ...-optimal Solutions -- Genetic Programming-Based Model Output Statistics for Short-Range Temperature...
獲取全文
電子 電子書
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...
獲取全文
電子 電子書