Αποτελέσματα για "Τύποι χωρίς ποσοδείκτες" Εμφανίζονται 1 - 19 Αποτελέσματα από 19 Laminas_Feed_Writer 2 (https://getlaminas.org) https://find.library.upatras.gr/Search/Results?sort=last_indexed+desc&limit=50&lookfor=%22%CE%A4%CF%8D%CF%80%CE%BF%CE%B9+%CF%87%CF%89%CF%81%CE%AF%CF%82+%CF%80%CE%BF%CF%83%CE%BF%CE%B4%CE%B5%CE%AF%CE%BA%CF%84%CE%B5%CF%82%22&type=Subject&lng=el 19 0 50 Quantifier-elimination-based interval computations in beam problems studied by using the approximate methods of finite differences and of finite elements Wed, 01 Jan 2020 09:00:37 +0200 https://find.library.upatras.gr/Record/nemertes-10889-13518 https://find.library.upatras.gr/Record/nemertes-10889-13518 Ioakimidis, Nikolaos 2020 Ioakimidis, Nikolaos 0 Application of the method of quantifier elimination to the determination of intervals when the uncertain parameters satisfy an ellipsoidal inequality constraint Fri, 01 Jan 2021 09:00:37 +0200 https://find.library.upatras.gr/Record/nemertes-10889-14403 https://find.library.upatras.gr/Record/nemertes-10889-14403 Ioakimidis, Nikolaos 2021 Ioakimidis, Nikolaos 0 Derivation of feasibility conditions in classical vibration problems by using the method of quantifier elimination Mon, 01 Jan 2018 09:00:37 +0200 https://find.library.upatras.gr/Record/nemertes-10889-11505 https://find.library.upatras.gr/Record/nemertes-10889-11505 Ioakimidis, Nikolaos Technical Report 2018 Ioakimidis, Nikolaos 0 Intervals for the resultants of interval forces with existentially and/or universally quantified formulae with the help of the method of quantifier elimination Wed, 01 Jan 2020 09:00:37 +0200 https://find.library.upatras.gr/Record/nemertes-10889-13205 https://find.library.upatras.gr/Record/nemertes-10889-13205 Ioakimidis, Nikolaos Technical Report 2020 Ioakimidis, Nikolaos 0 Interval computations in the formulae for the stress intensity factors at crack tips using the method of quantifier elimination Tue, 01 Jan 2019 09:00:37 +0200 https://find.library.upatras.gr/Record/nemertes-10889-12153 https://find.library.upatras.gr/Record/nemertes-10889-12153 Ioakimidis, Nikolaos Technical Report 2019 Ioakimidis, Nikolaos 0 Interval computations in various direct and inverse applied mechanics problems related to quantifiers by using the method of quantifier elimination Wed, 01 Jan 2020 09:00:37 +0200 https://find.library.upatras.gr/Record/nemertes-10889-13204 https://find.library.upatras.gr/Record/nemertes-10889-13204 Ioakimidis, Nikolaos Technical Report 2020 Ioakimidis, Nikolaos 0 Computation of ranges of functions in problems of applied mechanics with the computational method of quantifier elimination Mon, 01 Jan 2018 09:00:37 +0200 https://find.library.upatras.gr/Record/nemertes-10889-11605 https://find.library.upatras.gr/Record/nemertes-10889-11605 Ioakimidis, Nikolaos Technical Report 2018 Ioakimidis, Nikolaos 0 Generalized interval-based polynomial approximations to functions in applied mechanics by using the method of quantifier elimination Wed, 01 Jan 2020 09:00:37 +0200 https://find.library.upatras.gr/Record/nemertes-10889-14145 https://find.library.upatras.gr/Record/nemertes-10889-14145 Ioakimidis, Nikolaos 2020 Ioakimidis, Nikolaos 0 Elementary quantifier-free formulae in boundary elements Mon, 01 Jan 2018 09:00:37 +0200 https://find.library.upatras.gr/Record/nemertes-10889-10986 https://find.library.upatras.gr/Record/nemertes-10889-10986 Ioakimidis, Nikolaos Technical Report 2018 Ioakimidis, Nikolaos 0 Stress concentration factors: determination of ranges of values by the method of quantifier elimination Mon, 01 Jan 2018 09:00:37 +0200 https://find.library.upatras.gr/Record/nemertes-10889-11736 https://find.library.upatras.gr/Record/nemertes-10889-11736 Ioakimidis, Nikolaos Technical Report 2018 Ioakimidis, Nikolaos 0 Determination of intervals in systems of parametric interval linear equilibrium equations in applied mechanics with the method of quantifier elimination Wed, 01 Jan 2020 09:00:37 +0200 https://find.library.upatras.gr/Record/nemertes-10889-13297 https://find.library.upatras.gr/Record/nemertes-10889-13297 Ioakimidis, Nikolaos Technical Report 2020 Ioakimidis, Nikolaos 0 Sharp enclosures of the real roots of the classical parametric quadratic equation with one interval coefficient by the method of quantifier elimination Tue, 01 Jan 2019 09:00:37 +0200 https://find.library.upatras.gr/Record/nemertes-10889-12159 https://find.library.upatras.gr/Record/nemertes-10889-12159 Ioakimidis, Nikolaos Technical Report 2019 Ioakimidis, Nikolaos 0 Applications of quantifier elimination to the proofs of algebraic inequalities in engineering problems related to Todinov's method for risk reduction Sat, 01 Jan 2022 09:00:37 +0200 https://find.library.upatras.gr/Record/nemertes-10889-16567 https://find.library.upatras.gr/Record/nemertes-10889-16567 Ioakimidis, Nikolaos 2022 Ioakimidis, Nikolaos 0 Problems under uncertainty : quantifier elimination to universally–existentially (AE) quantified formulae related to two or more horizons of uncertainty Sat, 01 Jan 2022 09:00:37 +0200 https://find.library.upatras.gr/Record/nemertes-10889-16136 https://find.library.upatras.gr/Record/nemertes-10889-16136 Ioakimidis, Nikolaos 2022 Ioakimidis, Nikolaos 0 Application of quantifier elimination to inverse free vibration problems for inhomogeneous beams and bars Mon, 01 Jan 2018 09:00:37 +0200 https://find.library.upatras.gr/Record/nemertes-10889-11410 https://find.library.upatras.gr/Record/nemertes-10889-11410 Ioakimidis, Nikolaos Technical Report 2018 Ioakimidis, Nikolaos 0 Quantifier elimination and quantifier-free formulae for universally–existentially (AE) quantified formulae in Ben-Haim's info-gap model of uncertainty Fri, 01 Jan 2021 09:00:37 +0200 https://find.library.upatras.gr/Record/nemertes-10889-15680 https://find.library.upatras.gr/Record/nemertes-10889-15680 Ioakimidis, Nikolaos 2021 Ioakimidis, Nikolaos 0 An inequality constraint for the deflection of an elastic beam under a uniform distributed loading Mon, 01 Jan 2018 09:00:37 +0200 https://find.library.upatras.gr/Record/nemertes-10889-11012 https://find.library.upatras.gr/Record/nemertes-10889-11012 Ioakimidis, Nikolaos Technical Report 2018 Ioakimidis, Nikolaos 0 Application of quantifier elimination to robust reliability under severe uncertainty conditions by using the info-gap decision theory (IGDT) Fri, 01 Jan 2021 09:00:37 +0200 https://find.library.upatras.gr/Record/nemertes-10889-14899 https://find.library.upatras.gr/Record/nemertes-10889-14899 Ioakimidis, Nikolaos 2021 Ioakimidis, Nikolaos 0 Robust reliability under uncertainty conditions by using modified info-gap models with two to four horizons of uncertainty and quantifier elimination Fri, 01 Jan 2021 09:00:37 +0200 https://find.library.upatras.gr/Record/nemertes-10889-15176 https://find.library.upatras.gr/Record/nemertes-10889-15176 Ioakimidis, Nikolaos 2021 Ioakimidis, Nikolaos 0