Γενικό Τμήμα (Τεχνικές Αναφορές) Collection home page

Browse
Subscribe to this collection to receive daily e-mail notification of new additions RSS Feed RSS Feed RSS Feed
Collection's Items (Sorted by Submit Date in Descending order): 1 to 20 of 49
Issued DateTitleAuthor(s)Level
21-Oct-2020Generalized interval-based polynomial approximations to functions in applied mechanics by using the method of quantifier eliminationIoakimidis, Nikolaos-
25-Jun-2020Quantifier-elimination-based interval computations in beam problems studied by using the approximate methods of finite differences and of finite elementsIoakimidis, Nikolaos-
9-Mar-2020Determination of intervals in systems of parametric interval linear equilibrium equations in applied mechanics with 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-
7-Feb-2020Interval computations in various direct and inverse applied mechanics problems related to quantifiers by using the method of quantifier eliminationIoakimidis, Nikolaos-
13-Oct-2019Symbolic intervals for the unknown quantities in simple applied mechanics problems with the computational 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-
24-May-2019Sharp enclosures of the real roots of the classical parametric quadratic equation with one interval coefficient by the method of quantifier eliminationIoakimidis, Nikolaos-
24-May-2019Interval computations in the formulae for the stress intensity factors at crack tips using the method of quantifier eliminationIoakimidis, Nikolaos-
15-Nov-2018Stress concentration factors: determination of ranges of values by the method of quantifier eliminationIoakimidis, Nikolaos-
3-Oct-2018Computation of ranges of functions in problems of applied mechanics with the computational method of quantifier eliminationIoakimidis, Nikolaos-
20-Aug-2018Derivation of feasibility conditions in classical vibration problems by using the method of quantifier eliminationIoakimidis, Nikolaos-
15-Jun-2018Application of quantifier elimination to inverse free vibration problems for inhomogeneous beams and barsIoakimidis, Nikolaos-
11-May-2018Redlog-based derivation of feasibility conditions for singular integral equations of crack problems under parametric inequality constraintsIoakimidis, Nikolaos-
25-Apr-2018A modification of the generalized airfoil equation and the corresponding numerical methodsIoakimidis, Nikolaos-
25-Apr-2018A new method for the computation of the zeros of analytic functionsIoakimidis, Nikolaos; Anastasselou, Eleni-
11-Apr-2018A real closed-form integral formula for roots of nonlinear equationsIoakimidis, Nikolaos-
11-Apr-2018Application of complex path-independent integrals to locating circular holes and inclusions in classical plane elasticityIoakimidis, Nikolaos-
5-Apr-2018Application of the method of caustics to the experimental determination of the Poisson ratioIoakimidis, Nikolaos-
14-Mar-2018Upper bounds for the absolute values of the stress-intensity factors at the tips of slightly curvilinear cracksIoakimidis, Nikolaos-
Collection's Items (Sorted by Submit Date in Descending order): 1 to 20 of 49