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