the complex-step derivative approximation is applied to compute numerical derivatives. in this study, we propose a new formula of fractional complex-step method utilizing jumarie definition. based on this method, we illustrated an approximate analytic solution for the fractional cauchy-euler equations. application in image denoising is imposed by introducing a new fractional mask depending on s...

Background and Aims: Disability is a global concern, involving a wide range of world’s population in all ages and social classes. Persons with disabilities have diverse personal factors with differences in gender, age, socioeconomic status, sexuality, ethnicity, or cultural herit­age. Women with disabilities experi­ence the combined disadvantages associated with gender as well as ...

Variation is ubiquitous in software. Many applications can benefit from making this variation explicit, then manipulating and computing with it directly—a technique we call “variational programming”. This idea has been independently discovered in several application domains, such as efficiently analyzing and verifying software product lines, combining bounded and symbolic model-checking, and co...

In this paper, the notion of strongly typed language will be borrowed from field computer programming to introduce a calculational framework for linear algebra and tensor calculus purpose detecting errors resulting inherent misuse objects finding natural formulations various objects. A bundle formalism, crucially relying on pullback bundle, used create rich type system with which distinguish Th...

In this paper, fractal calculus, which is called Fα-calculus, reviewed. Fractal calculus implemented on interpolation functions and Weierstrass functions, may be non-differentiable non-integrable in the sense of ordinary calculus. Graphical representations are presented.

Szlachányi’s skew monoidal categories are a well-motivated variation of in which the unitors and associator not required to be natural isomorphisms, but merely transformations particular direction. We present sequent calculus for categories, building on recent formulation by one authors Tamari order (skew semigroup categories). In this calculus, antecedents consist stoup (an optional formula) f...

in this paper an approximate analytical solution of the fractional zakharov-kuznetsov equations will be obtained with the help of the reduced differential transform method (rdtm). it is in-dicated that the solutions obtained by the rdtm are reliable and present an effective method for strongly nonlinear fractional partial differential equations.

Binary session types guarantee communication safety and fidelity, but alone they cannot rule out deadlocks arising from the interleaving of different sessions. In Classical Processes (CP) [53]—a process calculus based on classical linear logic—deadlock freedom is guaranteed by combining channel creation parallel composition under same logical cut rule. Similarly, in Good Variation (GV) [39, 54]...