Nikolaos I. Ioakimidis
University of Patras
H-index: 31
Europe-Greece
Top articles of Nikolaos I. Ioakimidis
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Computation of approximate intervals for real roots of transcendental equations with one interval parameter by using the method of quantifier elimination | Nikolaos I Ioakimidis | 2024/4/8 | |
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 … | Nikolaos I Ioakimidis | 2023/6/13 | |
Interval quadratic equations: a review | Isaac Elishakoff Nicolas Yvain | 2023/12/1 | |
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 | Nikolaos I. Ioakimidis | 2022/10/9 | |
Applications of quantifier elimination to the proofs of algebraic inequalities in engineering problems related to Todinov’s method for risk reduction | Nikolaos I Ioakimidis | 2022/7/25 | |
Problems under uncertainty: quantifier elimination to universally–existentially (AE) quantified formulae related to two or more horizons of uncertainty | Nikolaos I Ioakimidis | 2022/3/28 | |
Quantifier elimination and quantifier-free formulae for universally–existentially (AE) quantified formulae in Ben-Haim’s info-gap model of uncertainty | Nikolaos I Ioakimidis | 2021/12/16 | |
Robust reliability under uncertainty conditions by using modified info-gap models with two to four horizons of uncertainty and quantifier elimination | Nikolaos I Ioakimidis | 2021/9/12 | |
Application of quantifier elimination to robust reliability under severe uncertainty conditions by using the info-gap decision theory (IGDT) | Nikolaos I. Ioakimidis | 2021/7/4 | |
Uncertainty intervals/regions for the stress intensity factors at crack tips under uncertain loading by using the ellipsoidal model and numerical integration | Nikolaos I. Ioakimidis | 2021/6/21 | |
Quantifier-elimination-based interval computations in beam problems studied by using the approximate methods of finite differences and of finite elements | Nikolaos I Ioakimidis | 2020/6/8 | |
Determination of intervals in systems of parametric interval linear equilibrium equations in applied mechanics with the method of quantifier elimination | Nikolaos I Ioakimidis | 2020/2/16 | |
Generalized interval-based polynomial approximations to functions in applied mechanics by using the method of quantifier elimination | Nikolaos I. Ioakimidis | 2020/10/10 |