numerical analysis of the dam-reservoir systems including fluid-structure interaction, by finite element method has some complexities especially for the semi-infinite reservoirs. however, similar to the other fem program the ansys is included some difficulties in the modeling of the semi-infinite domains, such as the dam reservoirs. in this paper a new method is proposed to remedy this problem....

Extending work of Puninski, Puninskaya and Toffalori in [PPT07], we show that if V is an effectively given valuation domain then the theory of all V -modules is decidable if and only if there exists an algorithm which, given a, b ∈ V , answers whether a ∈ rad(bV ). This was conjectured in [PPT07] for valuation domains with dense value group where it was proved for valuation domains with dense a...

In this work we are concerned about singular boundary value problems for certain nonlinear second order ordinary differential equations on finite and infinite domains. An asymptotic expansion is obtained for the family of solutions satisfying the boundary condition at the origin. In the case of infinite domains, the asymptotic behavior of the solutions is also analysed for large values of the i...

An asymmetric coloring of a graph is its vertices that not preserved by any non-identity automorphism the graph. The motion minimal degree group, i.e., minimum number elements are moved (not fixed) automorphism. We confirm Tom Tucker's “Infinite Motion Conjecture” connected locally finite graphs with infinite admit an 2-coloring. infer this from more general result inverse limit sequence permut...