Motivated by recent theoretical results obtained by the third author for the identification problem arising in single-photon emission computerized tomography (SPECT), we propose an adjoint state method for recovering both the source and the attenuation in the attenuated X-ray transform. Our starting point is the transport-equation characterization of the attenuated X-ray transform, and we apply...

‎This paper considers a non-local initial-boundary value problem containing a first order partial differential equation with variable coefficients‎. ‎At first‎, ‎the non-self-adjoint spectral problem is derived‎. ‎Then its adjoint problem is calculated‎. ‎After that‎, ‎for the adjoint problem the associated eigenvalues and the subsequent eigenfunctions are determined‎. ‎Finally the convergence ...

Including tracer data into geostatistically based methods of inverse modeling is computationally very costly when all concentration measurements are used and the sensitivities of many observations are calculated by the direct di€erentiation approach. Harvey and Gorelick (Water Resour Res 1995;31(7):1615±26) have suggested the use of the ®rst temporal moment instead of the complete concentration...

A synthesis of results of the recently introduced paradigm of multi-adjoint logic programming is presented. These results range from a proof theory together with some (quasi)completeness results to general termination results, and from the neural-like implementation of its fix-point semantics to the more general biresiduated multi-adjoint logic programming and its relationship with other approa...

[1] As the incidence of groundwater contamination continues to grow, a number of inverse modeling methods have been developed to address forensic groundwater problems. In this work the geostatistical approach to inverse modeling is extended to allow for the recovery of the antecedent distribution of a contaminant at a given point back in time, which is critical to the assessment of historical e...

Multi-adjoint logic programming represents a very recent, extremely flexible attempt for introducing fuzzy logic into logic programming. In this setting, the execution of a goal w.r.t. a given program is done in two separate phases. During the operational one, admissible steps are systematically applied in a similar way to classical resolution steps in pure logic programming, thus returning a c...

‎this paper considers a non-local initial-boundary value problem containing a first order partial differential equation with variable coefficients‎. ‎at first‎, ‎the non-self-adjoint spectral problem is derived‎. ‎then its adjoint problem is calculated‎. ‎after that‎, ‎for the adjoint problem the associated eigenvalues and the subsequent eigenfunctions are determined‎. ‎finally the convergence ...

Let $A=U|A|$ be the polar decomposition of an operator $A$ on a Hilbert space $mathscr{H}$ and $lambdain(0,1)$. The $lambda$-Aluthge transform of $A$ is defined by $tilde{A}_lambda:=|A|^lambda U|A|^{1-lambda}$. In this paper we show that emph{i}) when $mathscr{N}(|A|)=0$, $A$ is self-adjoint if and only if so is $tilde{A}_lambda$ for some $lambdaneq{1over2}$. Also $A$ is self adjoint if and onl...

In this paper, we give the spectral theory for eigenvalues and eigenfunctions of a boundary value problem consisting of the linear fractional Bessel operator. Moreover, we show that this operator is self-adjoint, the eigenvalues of the problem are real, and the corresponding eigenfunctions are orthogonal. In this paper, we give the spectral theory for eigenvalues and eigenfunctions...

a mathematical model is presented in the present study to control‎ ‎the light propagation in an inhomogeneous media‎. ‎the method is ‎based on the identification of the optimal materials distribution‎ ‎in the media such that the trajectories of light rays follow the‎ ‎desired path‎. ‎the problem is formulated as a distributed parameter ‎identification problem and it is solved by a numerical met...