the object of this paper is to establish certain generalized fractional integration and differentiation involving generalized mittag-leffler function defined by salim and faraj [25]. the considered generalized fractional calculus operators contain the appell's function $f_3$ [2, p.224] as kernel and are introduced by saigo and maeda [23]. the marichev-saigo-maeda fractional calculus operat...

Let W be a q-dimensional irreducible algebraic subvariety in the affine space AC, P1, ..., Pm m elements in C[X1, ..., Xn], and V (P ) the set of common zeros of the Pj ’s in Cn. Assuming that |W | is not included in V (P ), one can attach to P a family of non trivial W -restricted residual currents in ′D0,k(Cn), 1 ≤ k ≤ min(m, q), with support on |W |. These currents (constructed following an ...

pesticides are one of the major pollutants in the environment. the residue of pesticides has been reported to be at a critical level in agricultural crops, especially in greenhouse crops. tomato is considered as an important vegetable in iranian food basket and is produced in fields and greenhouses. so, the current study aimed to assess diazinon and oxydemeton-methyl levels in tomatoes sampled ...

There are lots of research works on web service, composition, modeling, verification and other problems. Theses research works are done on the basis of formal methods, such as petri-net, pi-calculus, automata theory, and so on. Pi-calculus is a natural vehicle to model mobility aspect in dynamic web services composition (DWSC). However, it has recently been shown that pi-calculus needs to be ex...

In a recent paper [8], a procedure was developed extending the first-order CERES method [4] so that it can handle cut-elimination in a schematic first-order calculus. The goal of this work was to circumvent the problems reductive cut elimination methods face when the LK calculus is extended by an induction rule. The schematic calculus can be considered a replacement for certain types of inducti...

the aim of this paper is to present a new numerical method for solving the bagley-torvik equation. this equation has an important role in fractional calculus. the fractional derivatives are described based on the caputo sense. some properties of the sinc functions required for our subsequentdevelopment are given and are utilized to reduce the computation of solution of the bagley-torvik equatio...

This publication presents a relation computation or calculus for international relations using a mathematical modeling. It examined trust for international relations and its calculus, which related to Bayesian inference, Dempster-Shafer theory and subjective logic. Based on an observation in the literature, we found no literature discussing the calculus method for the international relations. T...