Fractional calculus is a generalization of classical theories of integration and differentiation to arbitrary order (i.e., real or complex numbers). In the last two decades, this new mathematical modeling approach has been widely used to analyze a wide class of physical systems in various fields of science and engineering. In this paper, we describe an ongoing project which aims at formalizing ...

Background: Enterococci are important gram-positive bacteria causing dental calculus in human beings; however, the role of these bacteria in oral cavity is unclear. The aim of this study was to investigate the presence of Enterococcal Surface Protein (esp) gene in Enterococcus faecalis isolated from dental calculus in the city of Sari, Iran. Materials and Methods: In the present study, 207 den...

1. Overview: 4/1/13 1 2. Curves: 4/3/13 3 3. Discrete Curves: 4/8/13 5 4. The Definition of a Surface: 4/10/13 8 5. Surface Geometry: 4/15/13 9 6. Discrete Surfaces: 4/17/13 11 7. Extrinsic Curvature: 4/22/13 13 8. Computing Curvature: 4/24/13 14 9. Intrinsic Geometry: The Induced Metric and Geodesics : 4/29/13 17 10. 5/1/13 19 11. Covariant Differentiation: 5/6/13 19 12. Discrete Laplacians: 5...

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...

The Euler-Lagrange equation plays an important role in the minimization problems of the calculus of variations. This paper employs the differential transformation method (DTM) for finding the solution of the Euler-Lagrange equation which arise from problems of calculus of variations. DTM provides an analytical solution in the form of an infinite power series with easily computable components. S...

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...

the euler-lagrange equation plays an important role in the minimization problems of the calculus of variations. this paper employs the differential transformation method (dtm) for finding the solution of the euler-lagrange equation which arise from problems of calculus of variations. dtm provides an analytical solution in the form of an infinite power series with easily computable components. s...

There are many resources useful for processing images, most of them freely available and quite friendly to use. In spite of this abundance of tools, a study of the processing methods is still worthy of efforts. Here, we want to discuss the new possibilities arising from the use of fractional differential calculus. This calculus evolved in the research field of pure mathematics until 1920, when ...

We introduce a reversible process calculus with a new feature of execution control that allows us to change the direction and pattern of computation. This feature allows us to model a variety of modes of reverse computation, ranging from strict backtracking to reversing which respects causal ordering of events, and even reversing which violates causal ordering. The SOS rules that define the ope...

In a series of publications in the early 1990s, L D Nel set up a study of non-normable topological vector spaces based on methods in category theory. One of the important results showed that the classical operations of derivative and integral in Calculus can in fact be obtained by a rather simple construction in categories. Here we present this result in a concise form. It is important to note ...