The Gamma model is a minimal programming notation based on the chemical reaction metaphor. Hankin, Le M etayer, and Sands derived a Calculus of Gamma Programs adding two operators to the notation: the parallel and sequential composition operators. In this paper we address some compositional problems due to the semantics of the parallel operator for which we propose an alternative semantics as a...

In this paper, applying two theorems of Ricceri and Bonanno, we will establish the existence of three weak solutions for a quasilinear elliptic system. Indeed, we will assign a differentiable nonlinear operator to a differential equation system such that the critical points of this operator are weak solutions of the system. In this paper, applying two theorems of R...

A visuo-haptic augmented reality (VHAR) interface is presented enabling an operator to teleoperate an unmanned aerial vehicle (UAV) equipped with a custom CdZnTe-based spectroscopic gamma-ray detector in outdoor environments. The task is to localize nuclear radiation sources, whose location is unknown to the user, without the close exposure of the operator. The developed detector also enables i...

Enhancing the quality of two dimensional signals is one of the most important factors in the fields of video surveillance and computer vision. Usually in real-life video surveillance, false detection occurs due to the presence of random noise, illumination and shadow artifacts. The detection methods based on background subtraction faces several problems in accurately detecting objects in realis...

Continuous Time Markov Chains (CTMCs) are widely used as the underlying stochastic process in performance and dependability analysis. Model checking of CTMCs against Continuous Stochastic Logic (CSL) has been investigated previously by a number of authors [2,4,13]. CSL contains a time-bounded until operator that allows one to express properties such as “the probability of 3 servers becoming fau...

We look for UV fixed points of non-abelian $SU(n_c)$ gauge theories in $4+2\epsilon$ dimensions with $n_f$ Dirac fermions the fundamental representation, using available five-loop $\overline{{\rm MS}}$ $\beta$-function and employing Pad\'e-Borel resummation techniques Pad\'e approximants to series expansion $\epsilon$. find evidence a $5d$ UV-fixed point $SU(2)$ $n_f\leq 4$ pure $n_c\leq 4$. al...

We prove the existence of solutions for following critical Choquard type problem with a variable-order fractional Laplacian and variable singular exponent $$\begin{aligned} \begin{aligned} a(-\varDelta )^{s(\cdot )}u+b(-\varDelta )u&=\lambda |u|^{-\gamma (x)-1}u+\left( \int _{\varOmega }\frac{F(y,u(y))}{|x-y| ^{\mu (x,y)}}dy\right) f(x,u)\\&+\eta H(u-\alpha )|u|^{r(x)-2}u,~\text {in}~\varOmega ...

in this paper, using a generalized translation operator, we prove theestimates for the generalized fourier-bessel transform in the space l2 on certainclasses of functions.

<p style='text-indent:20px;'>We study the cocompact lattices <inline-formula><tex-math id="M1">\begin{document}$ \Gamma\subset SO(n, 1) $\end{document}</tex-math></inline-formula> so that Laplace–Beltrami operator id="M2">\begin{document}$ \Delta on id="M3">\begin{document}$ SO(n)\backslash 1)/\Gamma has eigenvalues in id="M4">\begin{document}$ (0, \frac{1...