Showing 1 - 8 results of 8 for search '"Υπαρξιακός ποσοδείκτης"', query time: 0.05s Refine Results
  1. 1
    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: “…Υπαρξιακός ποσοδείκτης…”
    Get full text
  2. 2
    Derivation of feasibility conditions in classical vibration problems by using the method of quantifier elimination
    by Ioakimidis, Nikolaos
    Published 2018
    Subjects: “…Υπαρξιακός ποσοδείκτης…”
    Get full text
    Technical Report
  3. 3
    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: “…Υπαρξιακός ποσοδείκτης…”
    Get full text
  4. 4
    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: “…Υπαρξιακός ποσοδείκτης…”
    Get full text
  5. 5
    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: “…Υπαρξιακός ποσοδείκτης…”
    Get full text
    Technical Report
  6. 6
    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: “…Υπαρξιακός ποσοδείκτης…”
    Get full text
    Technical Report
  7. 7
    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: “…Υπαρξιακός ποσοδείκτης…”
    Get full text
    Technical Report
  8. 8
    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: “…Υπαρξιακός ποσοδείκτης…”
    Get full text
    Technical Report
Search Tools: RSS Feed – Email Search