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