Search


Current filters:

Start a new search
Add filters:

Use filters to refine the search results.


Results 1-10 of 12 (Search time: 0.001 seconds).
Item hits:
Issued DateTitleAuthor(s)Level
25-Jun-2020Quantifier-elimination-based interval computations in beam problems studied by using the approximate methods of finite differences and of finite elementsIoakimidis, Nikolaos-
21-Oct-2020Generalized interval-based polynomial approximations to functions in applied mechanics by using the method of quantifier eliminationIoakimidis, Nikolaos-
7-Feb-2020Interval computations in various direct and inverse applied mechanics problems related to quantifiers by using the method of quantifier eliminationIoakimidis, Nikolaos-
7-Feb-2020Intervals for the resultants of interval forces with existentially and/or universally quantified formulae with the help of the method of quantifier eliminationIoakimidis, Nikolaos-
9-Mar-2020Determination of intervals in systems of parametric interval linear equilibrium equations in applied mechanics with the method of quantifier eliminationIoakimidis, Nikolaos-
21-Jun-2021Uncertainty intervals/regions for the stress intensity factors at crack tips under uncertain loading by using the ellipsoidal model and numerical integrationIoakimidis, Nikolaos-
4-Jan-2021Application of the method of quantifier elimination to the determination of intervals when the uncertain parameters satisfy an ellipsoidal inequality constraintIoakimidis, Nikolaos-
16-Dec-2021Quantifier elimination and quantifier-free formulae for universally–existentially (AE) quantified formulae in Ben-Haim's info-gap model of uncertaintyIoakimidis, Nikolaos-
5-Jul-2021Application of quantifier elimination to robust reliability under severe uncertainty conditions by using the info-gap decision theory (IGDT)Ioakimidis, Nikolaos-
14-Sep-2021Robust reliability under uncertainty conditions by using modified info-gap models with two to four horizons of uncertainty and quantifier eliminationIoakimidis, Nikolaos-