Εμφανίζονται 1 - 11 Αποτελέσματα από 11 για την αναζήτηση '"Καθολικός ποσοδείκτης"', χρόνος αναζήτησης: 0,07δλ Περιορισμός αποτελεσμάτων
  1. 1
    Quantifier elimination and quantifier-free formulae for universally–existentially (AE) quantified formulae in Ben-Haim's info-gap model of uncertainty
    ανά Ioakimidis, Nikolaos
    Έκδοση 2021
    Θέματα: “…Καθολικός ποσοδείκτης…”
    Λήψη πλήρους κειμένου
  2. 2
    Applications of quantifier elimination to the proofs of algebraic inequalities in engineering problems related to Todinov's method for risk reduction
    ανά Ioakimidis, Nikolaos
    Έκδοση 2022
    Θέματα: “…Καθολικός ποσοδείκτης…”
    Λήψη πλήρους κειμένου
  3. 3
    Derivation of feasibility conditions in classical vibration problems by using the method of quantifier elimination
    ανά Ioakimidis, Nikolaos
    Έκδοση 2018
    Θέματα: “…Καθολικός ποσοδείκτης…”
    Λήψη πλήρους κειμένου
    Technical Report
  4. 4
    Stress concentration factors: determination of ranges of values by the method of quantifier elimination
    ανά Ioakimidis, Nikolaos
    Έκδοση 2018
    Θέματα: “…Καθολικός ποσοδείκτης…”
    Λήψη πλήρους κειμένου
    Technical Report
  5. 5
    Problems under uncertainty : quantifier elimination to universally–existentially (AE) quantified formulae related to two or more horizons of uncertainty
    ανά Ioakimidis, Nikolaos
    Έκδοση 2022
    Θέματα: “…Καθολικός ποσοδείκτης…”
    Λήψη πλήρους κειμένου
  6. 6
    Quantifier-elimination-based interval computations in beam problems studied by using the approximate methods of finite differences and of finite elements
    ανά Ioakimidis, Nikolaos
    Έκδοση 2020
    Θέματα: “…Καθολικός ποσοδείκτης…”
    Λήψη πλήρους κειμένου
  7. 7
    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
    Θέματα: “…Καθολικός ποσοδείκτης…”
    Λήψη πλήρους κειμένου
    Technical Report
  8. 8
    Determination of intervals in systems of parametric interval linear equilibrium equations in applied mechanics with the method of quantifier elimination
    ανά Ioakimidis, Nikolaos
    Έκδοση 2020
    Θέματα: “…Καθολικός ποσοδείκτης…”
    Λήψη πλήρους κειμένου
    Technical Report
  9. 9
    Computation of ranges of functions in problems of applied mechanics with the computational method of quantifier elimination
    ανά Ioakimidis, Nikolaos
    Έκδοση 2018
    Θέματα: “…Καθολικός ποσοδείκτης…”
    Λήψη πλήρους κειμένου
    Technical Report
  10. 10
    Application of quantifier elimination to inverse free vibration problems for inhomogeneous beams and bars
    ανά Ioakimidis, Nikolaos
    Έκδοση 2018
    Θέματα: “…Καθολικός ποσοδείκτης…”
    Λήψη πλήρους κειμένου
    Technical Report
  11. 11
    Interval computations in various direct and inverse applied mechanics problems related to quantifiers by using the method of quantifier elimination
    ανά Ioakimidis, Nikolaos
    Έκδοση 2020
    Θέματα: “…Καθολικός ποσοδείκτης…”
    Λήψη πλήρους κειμένου
    Technical Report
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email