Showing 1 - 7 results of 7 for search '"Interval variables"', query time: 0.30s Refine Results
  1. 1
    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
    by Ioakimidis, Nikolaos
    Published 2023
    Subjects: “…Interval variables…”
    Get full text
    Technical Report
  2. 2
    Sharp enclosures of the real roots of the classical parametric quadratic equation with one interval coefficient by the method of quantifier elimination
    by Ioakimidis, Nikolaos
    Published 2019
    Subjects: “…Interval variables…”
    Get full text
    Technical Report
  3. 3
    Quantifier-elimination-based interval computations in beam problems studied by using the approximate methods of finite differences and of finite elements
    by Ioakimidis, Nikolaos
    Published 2020
    Subjects: “…Interval variables…”
    Get full text
  4. 4
    Intervals for the resultants of interval forces with existentially and/or universally quantified formulae with the help of the method of quantifier elimination
    by Ioakimidis, Nikolaos
    Published 2020
    Subjects: “…Interval variables…”
    Get full text
    Technical Report
  5. 5
    Determination of intervals in systems of parametric interval linear equilibrium equations in applied mechanics with the method of quantifier elimination
    by Ioakimidis, Nikolaos
    Published 2020
    Subjects: “…Interval variables…”
    Get full text
    Technical Report
  6. 6
    Interval computations in various direct and inverse applied mechanics problems related to quantifiers by using the method of quantifier elimination
    by Ioakimidis, Nikolaos
    Published 2020
    Subjects: “…Interval variables/parameters…”
    Get full text
    Technical Report
  7. 7
    Interval computations in the formulae for the stress intensity factors at crack tips using the method of quantifier elimination
    by Ioakimidis, Nikolaos
    Published 2019
    Subjects: “…Interval variables…”
    Get full text
    Technical Report
Search Tools: RSS Feed – Email Search