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-10 of 16 (Search time: 0.001 seconds).
previous
1
2
next
Item hits:
Issued Date
Title
Author(s)
Level
21-Oct-2020
Generalized interval-based polynomial approximations to functions in applied mechanics by using the method of quantifier elimination
Ioakimidis, Nikolaos
-
25-Jun-2020
Quantifier-elimination-based interval computations in beam problems studied by using the approximate methods of finite differences and of finite elements
Ioakimidis, Nikolaos
-
14-Feb-2018
An inequality constraint for the deflection of an elastic beam under a uniform distributed loading
Ioakimidis, Nikolaos
-
13-Feb-2018
Elementary quantifier-free formulae in boundary elements
Ioakimidis, Nikolaos
-
15-Nov-2018
Stress concentration factors: determination of ranges of values by the method of quantifier elimination
Ioakimidis, Nikolaos
-
3-Oct-2018
Computation of ranges of functions in problems of applied mechanics with the computational method of quantifier elimination
Ioakimidis, Nikolaos
-
24-May-2019
Sharp enclosures of the real roots of the classical parametric quadratic equation with one interval coefficient by the method of quantifier elimination
Ioakimidis, Nikolaos
-
20-Aug-2018
Derivation of feasibility conditions in classical vibration problems by using the method of quantifier elimination
Ioakimidis, Nikolaos
-
24-May-2019
Interval computations in the formulae for the stress intensity factors at crack tips using the method of quantifier elimination
Ioakimidis, Nikolaos
-
15-Jun-2018
Application of quantifier elimination to inverse free vibration problems for inhomogeneous beams and bars
Ioakimidis, Nikolaos
-
Discover
Author
16
Ioakimidis, Nikolaos
Subject
14
Quantified formulae
14
Symbolic computations
12
Mathematica
11
Computer algebra systems
11
Intervals
11
Quantifiers
10
Universal quantifier
8
Existential quantifier
8
Quantified/free variables
8
Uncertainty
.
next >
Date issued
1
2021
5
2020
4
2019
6
2018