Εμφανίζονται 1 - 6 Αποτελέσματα από 6 για την αναζήτηση '"Quantified/free variables"', χρόνος αναζήτησης: 0,04δλ Περιορισμός αποτελεσμάτων
  1. 1
    Quantifier-elimination-based interval computations in beam problems studied by using the approximate methods of finite differences and of finite elements
    ανά Ioakimidis, Nikolaos
    Έκδοση 2020
    Θέματα: “…Quantified/free variables…”
    Λήψη πλήρους κειμένου
  2. 2
    Application of the method of quantifier elimination to the determination of intervals when the uncertain parameters satisfy an ellipsoidal inequality constraint
    ανά Ioakimidis, Nikolaos
    Έκδοση 2021
    Θέματα: “…Quantified/free variables…”
    Λήψη πλήρους κειμένου
  3. 3
    Intervals for the resultants of interval forces with existentially and/or universally quantified formulae with the help of the method of quantifier elimination
    ανά Ioakimidis, Nikolaos
    Έκδοση 2020
    Θέματα: “…Quantified/free variables…”
    Λήψη πλήρους κειμένου
    Technical Report
  4. 4
    Generalized interval-based polynomial approximations to functions in applied mechanics by using the method of quantifier elimination
    ανά Ioakimidis, Nikolaos
    Έκδοση 2020
    Θέματα: “…Quantified/free variables…”
    Λήψη πλήρους κειμένου
  5. 5
    Determination of intervals in systems of parametric interval linear equilibrium equations in applied mechanics with the method of quantifier elimination
    ανά Ioakimidis, Nikolaos
    Έκδοση 2020
    Θέματα: “…Quantified/free variables…”
    Λήψη πλήρους κειμένου
    Technical Report
  6. 6
    Interval computations in various direct and inverse applied mechanics problems related to quantifiers by using the method of quantifier elimination
    ανά Ioakimidis, Nikolaos
    Έκδοση 2020
    Θέματα: “…Quantified/free variables…”
    Λήψη πλήρους κειμένου
    Technical Report
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email