‎In the present paper‎, ‎some spectral properties of boundary value problems of Sturm-Liouville type on two disjoint bounded intervals with transmission boundary conditions are investigated‎. ‎Uniqueness theorems for the solution of the inverse problem are proved‎, ‎then we study the reconstructing of the coefficients of the Sturm-Liouville problem by the spectrtal mappings method.

begin{abstract} in this paper, we introduce an iterative method for amenable semigroup of non expansive mappings and infinite family of non expansive mappings in the frame work of hilbert spaces. we prove the strong convergence of the proposed iterative algorithm to the unique solution of a variational inequality, which is the optimality condition for a minimization problem. the results present...

begin{abstract} in this paper, we introduce an iterative method for amenable semigroup of non expansive mappings and infinite family of non expansive mappings in the frame work of hilbert spaces. we prove the strong convergence of the proposed iterative algorithm to the unique solution of a variational inequality, which is the optimality condition for a minimization problem. the results present...

we introduce an implicit method for nding a common element of the set of solutions of systems of equilibrium problems and the set of common xed points of a sequence of nonexpansive mappings and a representation of nonexpansive mappings. then we prove the strong convergence of the proposed implicit schemes to the unique solution of a variational inequality, which is the optimality condition fo...

In the present paper, we show that $S^*$ iteration method can be used to approximate fixed point of almost contraction mappings. Furthermore, we prove that this iteration method is equivalent to CR iteration method  and it produces a slow convergence rate compared to the CR iteration method for the class of almost contraction mappings. We also present table and graphic to support this result. F...

‎In this paper‎, ‎we prove some theorems related to properties of‎ ‎generalized symmetric hybrid mappings in Banach spaces‎. ‎Using Banach‎ ‎limits‎, ‎we prove a fixed point theorem for symmetric generalized‎ ‎hybrid mappings in Banach spaces‎. ‎Moreover‎, ‎we prove some weak‎ ‎convergence theorems for such mappings by using Ishikawa iteration‎ ‎method in a uniformly convex Banach space.

Automatically discovering semantic relations between ontologies is an important task with respect to overcoming semantic heterogeneity on the semantic web. Existing ontology matching systems, however, often produce erroneous mappings. In this paper, we address the problem of errors in mappings by proposing a completely automatic debugging method for ontology mappings. The method uses logical re...

begin{abstract} In this paper, we introduce an iterative method for amenable semigroup of non expansive mappings and infinite family of non expansive mappings in the frame work of Hilbert spaces. We prove the strong convergence of the proposed iterative algorithm to the unique solution of a variational inequality, which is the optimality condition for a minimization problem. The results present...

We introduce an implicit method for nding a common element of the set of solutions of systems of equilibrium problems and the set of common xed points of a sequence of nonexpansive mappings and a representation of nonexpansive mappings. Then we prove the strong convergence of the proposed implicit schemes to the unique solution of a variational inequality, which is the optimality condition for ...

let $c$ be a nonempty closed convex subset of a real hilbert space $h$. let ${s_n}$ and ${t_n}$ be sequences of nonexpansive self-mappings of $c$, where one of them is a strongly nonexpansive sequence. k. aoyama and y. kimura introduced the iteration process $x_{n+1}=beta_nx_n+(1-beta_n)s_n(alpha_nu+(1-alpha_n)t_nx_n)$ for finding the common fixed point of ${s_n}$ and ${t_n}$, where $uin c$ is ...