Considering that uncertain factors widely exist in practical engineering, this study develops
an improved dimension-wise method for multidisciplinary interval uncertainty analysis, in …

With the development of vehicular ad hoc networks, the shortage of resources is becoming
increasingly serious. To alleviate this problem, many researchers have suggested the use of …

This paper presents a non-probabilistic uncertainty quantification method for the elastic
wave tomography of concrete structures. An interval analysis model is applied to establish …

The synchronization of chaotic systems plays an extremely imperative and fundamental role
in the fields of science and engineering. Notably, various external noise disturbances have a …

To determine the solution set of an interval linear equations system A x= b, it is necessary to
know the semantics of the system. In addition to strong and weak semantics, there are four …

The computational method of quantifier elimination in computer algebra for real numbers
related to the elimination of the universal quantifier “for all” and/or the existential quantifier …

Quantifier elimination constitutes an interesting computational approach in computer
algebra already successfully applied to several disciplines. Here we apply this approach to …

The method of quantifier elimination is an interesting computational tool in computer algebra
with many practical applications including problems of applied mechanics. Recently, this …

The method of quantifier elimination constitutes an interesting computational approach in
computer algebra already implemented in few computer algebra systems. In applied …

The rather recent interesting computational method of quantifier elimination already
implemented in four computer algebra systems has been already used in many problems of …