Current filters:

Start a new search
Add filters:

Use filters to refine the search results.

Results 1-8 of 8 (Search time: 0.002 seconds).
  • previous
  • 1
  • next
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-
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-
19-Aug-2019Sharp bounds based on quantifier elimination in truss and other applied mechanics problems with uncertain, interval forces/loads and other parametersIoakimidis, Nikolaos-
13-Oct-2019Symbolic intervals for the unknown quantities in simple applied mechanics problems with the computational method of quantifier eliminationIoakimidis, 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-
29-Mar-2022Problems under uncertainty : quantifier elimination to universally–existentially (AE) quantified formulae related to two or more horizons of uncertaintyIoakimidis, Nikolaos-