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
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-6 of 6 (Search time: 0.001 seconds).
previous
1
next
Item hits:
Issued Date
Title
Author(s)
Level
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
-
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
-
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
-
Discover
Author
6
Ioakimidis, Nikolaos
Subject
6
Quantified formulae
6
Quantified/free variables
6
Quantifier elimination
6
Quantifier-free formulae
6
Quantifiers
6
Symbolic computations
5
Existential quantifier
5
Intervals
5
Universal quantifier
4
Computer algebra systems
.
next >
Date issued
1
2021
3
2020
2
2019