Εμφανίζονται 1 - 10 Αποτελέσματα από 10 για την αναζήτηση '"validated numerics"', χρόνος αναζήτησης: 0,06δλ Περιορισμός αποτελεσμάτων
  1. 1
    Scientific computing, validated numerics, interval methods
    Έκδοση 2001
    Βιβλίο
  2. 2
    Symbolic, algebraic and Validated numerical computation Dagstuhl-Seminar-Report; 43 03.08.-07.08.92(9232)
    Βιβλίο
  3. 3
    Scientific Computing, Computer Arithmetic, and Validated Numerics 16th International Symposium, SCAN 2014, Würzburg, Germany, September 21-26, 2014. Revised Selected Papers /
    Έκδοση 2016
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 4
    The Parameterization Method for Invariant Manifolds From Rigorous Results to Effective Computations /
    Πίνακας περιεχομένων: “…-Periodic Systems: From Rigorous Results to Validated Numerics -- The Parameterization Method in KAM Theory…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 5
    Static Analysis 23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016, Proceedings /
    Έκδοση 2016
    Πίνακας περιεχομένων: “… Interpretation of Supermodular Games -- Validating Numerical Semidefinite Programming Solvers for Polynomial…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 6
    Tree Rings and Natural Hazards A State-of-Art /
    Έκδοση 2010
    Πίνακας περιεχομένων: “… (Québec, Canada) -- Using Dendrochronology to Validate Numerical Simulations of Snow Avalanches…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 7
    Design, construction and performance evaluation of a new laboratory convective dryer
    “… to validate numerical models which are an essential tool for optimization and increase the efficiency…”
    Λήψη πλήρους κειμένου
    Conference (paper)
  8. 8
    External Thermal Insulation Composite Systems (ETICS) An Evaluation of Hygrothermal Behaviour /
    ανά Barreira, Eva, de Freitas, Vasco Peixoto
    Έκδοση 2016
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 9
    Macroeconomic Analysis and Economic Policy Based on Parametric Control
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 10
    Applied and Numerical Partial Differential Equations Scientific Computing in Simulation, Optimization and Control in a Multidisciplinary Context /
    Έκδοση 2010
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email