Εμφανίζονται 21 - 26 Αποτελέσματα από 26 για την αναζήτηση '"Quantifiers"', χρόνος αναζήτησης: 0,03δλ Περιορισμός αποτελεσμάτων
  1. 21
    Application of quantifier elimination to inverse free vibration problems for inhomogeneous beams and bars
    ανά Ioakimidis, Nikolaos
    Έκδοση 2018
    Θέματα: “…Universal quantifier…”
    Λήψη πλήρους κειμένου
    Technical Report
  2. 22
    Solvability conditions in simple inverse/design torsion problems
    ανά Ioakimidis, Nikolaos
    Έκδοση 2017
    Θέματα: “…Quantifier elimination…”
    Λήψη πλήρους κειμένου
    Book Chapter/Part of Publication
  3. 23
    REDLOG-aided derivation of feasibility conditions in applied mechanics and engineering problems under simple inequality constraints
    ανά Ioakimidis, Nikolaos
    Έκδοση 2018
    Θέματα: “…Quantifier elimination…”
    Λήψη πλήρους κειμένου
    Technical Report
  4. 24
    Application of quantifier elimination to robust reliability under severe uncertainty conditions by using the info-gap decision theory (IGDT)
    ανά Ioakimidis, Nikolaos
    Έκδοση 2021
    Θέματα: “…Quantifier elimination…”
    Λήψη πλήρους κειμένου
  5. 25
    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…”
    Λήψη πλήρους κειμένου
  6. 26
    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
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email