Εμφανίζονται 1 - 20 Αποτελέσματα από 24 για την αναζήτηση '"Quantifier elimination"', χρόνος αναζήτησης: 0,07δλ Περιορισμός αποτελεσμάτων
  1. 1
    Solvability conditions in simple inverse/design torsion problems
    ανά Ioakimidis, Nikolaos
    Έκδοση 2017
    Θέματα: “…Quantifier elimination…”
    Λήψη πλήρους κειμένου
    Book Chapter/Part of Publication
  2. 2
    REDLOG-aided derivation of feasibility conditions in applied mechanics and engineering problems under simple inequality constraints
    ανά Ioakimidis, Nikolaos
    Έκδοση 2018
    Θέματα: “…Quantifier elimination…”
    Λήψη πλήρους κειμένου
    Technical Report
  3. 3
    An inequality constraint for the deflection of an elastic beam under a uniform distributed loading
    ανά Ioakimidis, Nikolaos
    Έκδοση 2018
    Θέματα: “…Quantifier elimination…”
    Λήψη πλήρους κειμένου
    Technical Report
  4. 4
    An application of Ben-Haim's info-gap decision theory (IGDT) to Todinov's method of algebraic inequalities by employing the method of quantifier elimination
    ανά Ioakimidis, Nikolaos
    Έκδοση 2022
    Θέματα: “…Quantifier elimination…”
    Λήψη πλήρους κειμένου
    Technical Report
  5. 5
    Application of the method of quantifier elimination to Ben-Haim's info-gap decision theory (IGDT) under the presence of both horizon-of-uncertainty-related and ordinary interval uncertain variables
    ανά Ioakimidis, Nikolaos
    Έκδοση 2023
    Θέματα: “…Quantifier elimination…”
    Λήψη πλήρους κειμένου
    Technical Report
  6. 6
    Elementary quantifier-free formulae in boundary elements
    ανά Ioakimidis, Nikolaos
    Έκδοση 2018
    Θέματα: “…Quantifier elimination…”
    Λήψη πλήρους κειμένου
    Technical Report
  7. 7
    Quantifier elimination and quantifier-free formulae for universally–existentially (AE) quantified formulae in Ben-Haim's info-gap model of uncertainty
    ανά Ioakimidis, Nikolaos
    Έκδοση 2021
    Θέματα: “…Quantifier elimination…”
    Λήψη πλήρους κειμένου
  8. 8
    Redlog-based derivation of feasibility conditions for singular integral equations of crack problems under parametric inequality constraints
    ανά Ioakimidis, Nikolaos
    Έκδοση 2018
    Θέματα: “…Computational quantifier elimination…”
    Λήψη πλήρους κειμένου
    Technical Report
  9. 9
    Applications of quantifier elimination to the proofs of algebraic inequalities in engineering problems related to Todinov's method for risk reduction
    ανά Ioakimidis, Nikolaos
    Έκδοση 2022
    Θέματα: “…Quantifier elimination…”
    Λήψη πλήρους κειμένου
  10. 10
    Derivation of feasibility conditions in classical vibration problems by using the method of quantifier elimination
    ανά Ioakimidis, Nikolaos
    Έκδοση 2018
    Θέματα: “…Quantifier elimination…”
    Λήψη πλήρους κειμένου
    Technical Report
  11. 11
    Stress concentration factors: determination of ranges of values by the method of quantifier elimination
    ανά Ioakimidis, Nikolaos
    Έκδοση 2018
    Θέματα: “…Quantifier elimination…”
    Λήψη πλήρους κειμένου
    Technical Report
  12. 12
    Problems under uncertainty : quantifier elimination to universally–existentially (AE) quantified formulae related to two or more horizons of uncertainty
    ανά Ioakimidis, Nikolaos
    Έκδοση 2022
    Θέματα: “…Quantifier elimination…”
    Λήψη πλήρους κειμένου
  13. 13
    Application of quantifier elimination to robust reliability under severe uncertainty conditions by using the info-gap decision theory (IGDT)
    ανά Ioakimidis, Nikolaos
    Έκδοση 2021
    Θέματα: “…Quantifier elimination…”
    Λήψη πλήρους κειμένου
  14. 14
    Sharp enclosures of the real roots of the classical parametric quadratic equation with one interval coefficient by the method of quantifier elimination
    ανά Ioakimidis, Nikolaos
    Έκδοση 2019
    Θέματα: “…Quantifier elimination…”
    Λήψη πλήρους κειμένου
    Technical Report
  15. 15
    Robust reliability under uncertainty conditions by using modified info-gap models with two to four horizons of uncertainty and quantifier elimination
    ανά Ioakimidis, Nikolaos
    Έκδοση 2021
    Θέματα: “…Quantifier elimination…”
    Λήψη πλήρους κειμένου
  16. 16
    Quantifier-elimination-based interval computations in beam problems studied by using the approximate methods of finite differences and of finite elements
    ανά Ioakimidis, Nikolaos
    Έκδοση 2020
    Θέματα: “…Quantifier elimination…”
    Λήψη πλήρους κειμένου
  17. 17
    Application of the method of quantifier elimination to the determination of intervals when the uncertain parameters satisfy an ellipsoidal inequality constraint
    ανά Ioakimidis, Nikolaos
    Έκδοση 2021
    Θέματα: “…Quantifier elimination…”
    Λήψη πλήρους κειμένου
  18. 18
    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
    Θέματα: “…Quantifier elimination…”
    Λήψη πλήρους κειμένου
    Technical Report
  19. 19
    Generalized interval-based polynomial approximations to functions in applied mechanics by using the method of quantifier elimination
    ανά Ioakimidis, Nikolaos
    Έκδοση 2020
    Θέματα: “…Quantifier elimination…”
    Λήψη πλήρους κειμένου
  20. 20
    Determination of intervals in systems of parametric interval linear equilibrium equations in applied mechanics with the method of quantifier elimination
    ανά Ioakimidis, Nikolaos
    Έκδοση 2020
    Θέματα: “…Quantifier elimination…”
    Λήψη πλήρους κειμένου
    Technical Report
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email