Skip navigation
Home
Browse
Communities
& Collections
Browse Items by:
Issue Date
Author
Title
Subject
Help
Language
Ελληνικά
English
Sign on to:
My DSpace
Receive email
updates
Edit Profile
Nemertes
Search
Search:
All of DSpace
1. Διατριβές και Εργασίες
2. Δημοσιεύσεις Πανεπιστημίου Πατρών
3. Tεχνικές Αναφορές
4. Αποδελτίωση περιοδικού τύπου
5. Δημοσιεύσεις Μονάδων Ιδρύματος
for
Current filters:
Title
Author
Subject
Date Issued
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Title
Author
Subject
Date Issued
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Title
Author
Subject
Date Issued
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Title
Author
Subject
Date Issued
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Start a new search
Add filters:
Use filters to refine the search results.
Title
Author
Subject
Date Issued
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Results 1-9 of 9 (Search time: 0.002 seconds).
previous
1
next
Item hits:
Issued Date
Title
Author(s)
Level
7-Feb-2020
Interval computations in various direct and inverse applied mechanics problems related to quantifiers by using the method of quantifier elimination
Ioakimidis, Nikolaos
-
7-Feb-2020
Intervals for the resultants of interval forces with existentially and/or universally quantified formulae with the help of the method of quantifier elimination
Ioakimidis, Nikolaos
-
9-Mar-2020
Determination of intervals in systems of parametric interval linear equilibrium equations in applied mechanics with the method of quantifier elimination
Ioakimidis, Nikolaos
-
21-Jun-2021
Uncertainty intervals/regions for the stress intensity factors at crack tips under uncertain loading by using the ellipsoidal model and numerical integration
Ioakimidis, Nikolaos
-
19-Aug-2019
Sharp bounds based on quantifier elimination in truss and other applied mechanics problems with uncertain, interval forces/loads and other parameters
Ioakimidis, Nikolaos
-
13-Oct-2019
Symbolic intervals for the unknown quantities in simple applied mechanics problems with the computational method of quantifier elimination
Ioakimidis, Nikolaos
-
4-Jan-2021
Application of the method of quantifier elimination to the determination of intervals when the uncertain parameters satisfy an ellipsoidal inequality constraint
Ioakimidis, Nikolaos
-
16-Dec-2021
Quantifier elimination and quantifier-free formulae for universally–existentially (AE) quantified formulae in Ben-Haim's info-gap model of uncertainty
Ioakimidis, Nikolaos
-
29-Mar-2022
Problems under uncertainty : quantifier elimination to universally–existentially (AE) quantified formulae related to two or more horizons of uncertainty
Ioakimidis, Nikolaos
-
Discover
Subject
9
Quantifier elimination
7
Existential quantifier
7
Quantified formulae
7
Universal quantifier
6
Quantified/free variables
6
Quantifiers
6
Symbolic computations
5
Intervals
4
Computer algebra systems
4
Interval analysis
.
next >
Date issued
1
2022
3
2021
3
2020
2
2019