Αποτελέσματα για "Quantifiers" Εμφανίζονται 1 - 26 Αποτελέσματα από 26 Laminas_Feed_Writer 2 (https://getlaminas.org) https://find.library.upatras.gr/Search/Results?sort=last_indexed+desc&limit=50&lookfor=%22Quantifiers%22&type=Subject&lng=el 26 0 50 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 interval uncertain variables Sun, 01 Jan 2023 21:43:22 +0200 https://find.library.upatras.gr/Record/nemertes-10889-25059 https://find.library.upatras.gr/Record/nemertes-10889-25059 Ioakimidis, Nikolaos Technical Report 2023 Ioakimidis, Nikolaos 0 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 21:43:22 +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 21:43:22 +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 21:43:22 +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 Redlog-based derivation of feasibility conditions for singular integral equations of crack problems under parametric inequality constraints Mon, 01 Jan 2018 21:43:22 +0200 https://find.library.upatras.gr/Record/nemertes-10889-11217 https://find.library.upatras.gr/Record/nemertes-10889-11217 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 21:43:22 +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 21:43:22 +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 21:43:22 +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 21:43:22 +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 21:43:22 +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 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 Sat, 01 Jan 2022 21:43:22 +0200 https://find.library.upatras.gr/Record/nemertes-10889-23351 https://find.library.upatras.gr/Record/nemertes-10889-23351 Ioakimidis, Nikolaos Technical Report 2022 Ioakimidis, Nikolaos 0 Elementary quantifier-free formulae in boundary elements Mon, 01 Jan 2018 21:43:22 +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 REDLOG-aided derivation of feasibility conditions in applied mechanics and engineering problems under simple inequality constraints Mon, 01 Jan 2018 21:43:22 +0200 https://find.library.upatras.gr/Record/nemertes-10889-11096 https://find.library.upatras.gr/Record/nemertes-10889-11096 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 21:43:22 +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 21:43:22 +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 21:43:22 +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 21:43:22 +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 21:43:22 +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 21:43:22 +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 21:43:22 +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 21:43:22 +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 21:43:22 +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 Solvability conditions in simple inverse/design torsion problems Sun, 01 Jan 2017 21:43:22 +0200 https://find.library.upatras.gr/Record/nemertes-10889-10841 https://find.library.upatras.gr/Record/nemertes-10889-10841 Ioakimidis, Nikolaos Book Chapter/Part of Publication 2017 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 21:43:22 +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 Quantification in natural languages ; Edited by: Emmom Bach...[et al] Sun, 01 Jan 1995 21:43:22 +0200 https://find.library.upatras.gr/Record/175762 https://find.library.upatras.gr/Record/175762 Βιβλίο 1995 0 Quantifiers in language and logic / Sun, 01 Jan 2006 21:43:22 +0200 https://find.library.upatras.gr/Record/176604 https://find.library.upatras.gr/Record/176604 Peters, Stanley Βιβλίο 2006 Peters, Stanley 0