The relation between the heat flux vector and temperature gradient is called heat conduction constitutive model. The most well known constitutive relation in heat transfer is Fourier model which is originally based on experimental observations. This model which is pure diffusive in nature considers the instantaneous flow of heat in the medium in the presence of even a small temperature gradient...

Since its discovery, differential linear logic (DLL) inspired numerous domains. In denotational semantics, categorical models of DLL are now commune, and the simplest one is Rel, the category of sets and relations. In proof theory this naturally gave birth to differential proof nets that are full and complete for DLL. In turn, these tools can naturally be translated to their intuitionistic coun...

This paper discusses a new Automatic Differentiation (AD) system that correctly and automatically accepts nested and dynamic use of the AD operators, without any manual intervention. The system is based on a new formulation of AD as highly generalized firstclass citizens in a λ -calculus, which is briefly described. Because the λ -calculus is the basis for modern programming-language implementa...

This paper develops a novel approach to necessary optimality conditions for constrained variational problems defined in generally incomplete subspaces of absolutely continuous functions. Our consists reducing problem (nondynamic) optimization normed space and then applying the results recently obtained latter class by using generalized differentiation. In this way, we derive nonconvex calculus ...

Variational analysis has been recognized as a rapidly growing and fruitful area in mathematics concerning mainly the study of optimization and equilibrium problems, while also applying perturbation ideas and variational principles to a broad class of problems and situations that may be not of a variational nature. It can be viewed as a modern outgrowth of the classical calculus of variations, o...

Abstract Fractional calculus is a branch of classical mathematics, which deals with the generalization of operations of differentiation and integration to fractional order. Such a generalization is not merely a mathematical curiosity but has found applications in various fields of physical sciences. In this paper, we review the definitions and properties of fractional derivatives and integrals,...

The term fractional calculus is more than 300 years old. It is a generalization of the ordinary differentiation and integration to non-integer (arbitrary) order. The subject is as old as the calculus of differentiation and goes back to times when Leibniz, Gauss, and Newton invented this kind of calculation. In a letter to L’Hospital in 1695 Leibniz raised the following question (Miller and Ross...

We generalise Joyal’s notion of species of structures and develop their combinatorial calculus. In particular, we provide operations for their composition, addition, multiplication, pairing and projection, abstraction and evaluation, and differentiation; developing both the cartesian closed and linear structures of species.

We have finished a constructive formalization in the theorem prover Coq of the Fundamental Theorem of Calculus, which states that differentiation and integration are inverse processes. In this formalization, we have closely followed Bishop’s work ([4]). In this paper, we describe the formalization in some detail, focusing on how some of Bishop’s original proofs had to be refined, adapted or red...

A new method for action potentials detection is proposed. The method is based on a numerical differentiation, as recently introduced from operational calculus. We show that it has good performance as compared to existing methods. We also combine the proposed method with ICA in order to obtain spike sorting.