Showing 1 - 20 results of 113 for search 'Quantifier elimination', query time: 0.15s Refine Results
  1. 1
    Derivation of feasibility conditions in classical vibration problems by using the method of quantifier elimination
    by Ioakimidis, Nikolaos
    Published 2018
    Subjects: “…Quantifier elimination…”
    Get full text
    Technical Report
  2. 2
    Stress concentration factors: determination of ranges of values by the method of quantifier elimination
    by Ioakimidis, Nikolaos
    Published 2018
    Subjects: “…Quantifier elimination…”
    Get full text
    Technical Report
  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
    by Ioakimidis, Nikolaos
    Published 2020
    Subjects: “…Quantifier elimination…”
    Get full text
    Technical Report
  4. 4
    Quantifier elimination in applied mechanics problems with cylindrical algebraic decomposition
    by Ioakimidis, Nikolaos
    Published 2023
    “… classical technique for the efficient solution of quantifier elimination (QE) problems in algorithmic…”
    Get full text
    Get full text
  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: “…Quantifier elimination…”
    Get full text
    Technical Report
  6. 6
    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: “…Quantifier elimination…”
    Get full text
  7. 7
    Quantifier elimination and quantifier-free formulae for universally–existentially (AE) quantified formulae in Ben-Haim's info-gap model of uncertainty
    by Ioakimidis, Nikolaos
    Published 2021
    Subjects: “…Quantifier elimination…”
    Get full text
  8. 8
    Problems under uncertainty : quantifier elimination to universally–existentially (AE) quantified formulae related to two or more horizons of uncertainty
    by Ioakimidis, Nikolaos
    Published 2022
    Subjects: “…Quantifier elimination…”
    Get full text
  9. 9
    Generalized interval-based polynomial approximations to functions in applied mechanics by using the method of quantifier elimination
    by Ioakimidis, Nikolaos
    Published 2020
    Subjects: “…Quantifier elimination…”
    Get full text
  10. 10
    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: “…Quantifier elimination…”
    Get full text
    Technical Report
  11. 11
    Solvability conditions in simple inverse/design torsion problems
    by Ioakimidis, Nikolaos
    Published 2017
    Subjects: “…Quantifier elimination…”
    Get full text
    Book Chapter/Part of Publication
  12. 12
    Application of the method of quantifier elimination to the determination of intervals when the uncertain parameters satisfy an ellipsoidal inequality constraint
    by Ioakimidis, Nikolaos
    Published 2021
    Subjects: “…Quantifier elimination…”
    Get full text
  13. 13
    An inequality constraint for the deflection of an elastic beam under a uniform distributed loading
    by Ioakimidis, Nikolaos
    Published 2018
    Subjects: “…Quantifier elimination…”
    Get full text
    Technical Report
  14. 14
    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: “…Quantifier elimination…”
    Get full text
    Technical Report
  15. 15
    Applications of quantifier elimination to the proofs of algebraic inequalities in engineering problems related to Todinov's method for risk reduction
    by Ioakimidis, Nikolaos
    Published 2022
    Subjects: “…Quantifier elimination…”
    Get full text
  16. 16
    Computation of ranges of functions in problems of applied mechanics with the computational method of quantifier elimination
    by Ioakimidis, Nikolaos
    Published 2018
    Subjects: “…Quantifier elimination…”
    Get full text
    Technical Report
  17. 17
    Application of quantifier elimination to inverse free vibration problems for inhomogeneous beams and bars
    by Ioakimidis, Nikolaos
    Published 2018
    Subjects: “…Quantifier elimination…”
    Get full text
    Technical Report
  18. 18
    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
    by Ioakimidis, Nikolaos
    Published 2022
    Subjects: “…Quantifier elimination…”
    Get full text
    Technical Report
  19. 19
    Elementary quantifier-free formulae in boundary elements
    by Ioakimidis, Nikolaos
    Published 2018
    Subjects: “…Quantifier elimination…”
    Get full text
    Technical Report
  20. 20
    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: “…Quantifier elimination…”
    Get full text
    Technical Report
Search Tools: RSS Feed – Email Search