Results 31 to 40 of about 1,163,964 (293)

Solution of Inhomogeneous Fractional Differential Equations with Polynomial Coefficients in Terms of the Green’s Function, in Nonstandard Analysis

Mathematics, 2021
Discussions are presented by Morita and Sato in Mathematics 2017; 5, 62: 1–24, on the problem of obtaining the particular solution of an inhomogeneous ordinary differential equation with polynomial coefficients in terms of the Green’s function, in the ...
Tohru Morita, Ken-ichi Sato
doaj   +1 more source

SCC: A Service Centered Calculus [PDF]

, 2006
We seek for a small set of primitives that might serve as a basis for formalising and programming service oriented applications over global computers. As an outcome of this study we introduce here SCC, a process calculus that features explicit notions of
Rocco DE NICOLA, Sangiorgi, Davide, A. Ravara, Ivan Lanese, Loreti, Michele, F. Martins, V. Vasconcelos, R. Bruni, Davide Sangiorgi, Francisco Martins, Luis Caires, De Nicola, Rocco, Martins, Francisco, Ravara, Antonio, Ugo Montanari, D. Sangiorgi, Bruni, Roberto, M. Boreale, Zavattaro, Gianluigi, Vasco Vasconcelos, Boreale, Michele, Montanari, Ugo, R. De Nicola, M. Loreti, Vasconcelos, Vasco Thudichum, Roberto Bruni, Caires, Luis, I. Lanese, MICHELE BOREALE, Lanese, Ivan, Antonio Ravara, L. Caires, U. Montanari, G. Zavattaro, Michele LORETI, Gianluigi Zavattaro, MONTANARI, UGO GIOVANNI ERASMO, LORETI M, MARTINS F, DE NICOLA R, VASCONCELOS V, ZAVATTARO G., BOREALE M, CAIRES L, SANGIORGI D, RAVARA A, LANESE I   +46 more
core   +1 more source

EXPTIME tableaux for the coalgebraic mu-calculus [PDF]

, 2011
The coalgebraic approach to modal logic provides a uniform framework that captures the semantics of a large class of structurally different modal logics, including e.g. graded and probabilistic modal logics and coalition logic.
Pattinson, Dirk, Cirstea, Corina, Kupke, Clemens   +2 more
core   +4 more sources

Dual Numbers and Operational Umbral Methods

Axioms, 2019
Dual numbers and their higher-order version are important tools for numerical computations, and in particular for finite difference calculus. Based on the relevant algebraic rules and matrix realizations of dual numbers, we present a novel point of view,
Nicolas Behr, Giuseppe Dattoli, Ambra Lattanzi, Silvia Licciardi   +3 more
doaj   +1 more source

The Guarded Lambda-Calculus: Programming and Reasoning with Guarded Recursion for Coinductive Types [PDF]

Logical Methods in Computer Science, 2017
We present the guarded lambda-calculus, an extension of the simply typed lambda-calculus with guarded recursive and coinductive types. The use of guarded recursive types ensures the productivity of well-typed programs.
Ranald Clouston, Aleš Bizjak, Hans Bugge Grathwohl, Lars Birkedal   +3 more
doaj   +1 more source

A Rigorous Analysis of Integro-Differential Operators with Non-Singular Kernels

Fractal and Fractional, 2023
Integro-differential operators with non-singular kernels have been much discussed among fractional calculus researchers. We present a mathematical study to clearly establish the rigorous foundations of this topic.
Arran Fernandez, Mohammed Al-Refai
doaj   +1 more source

Divergence and unique solution of equations [PDF]

Logical Methods in Computer Science, 2019
We study proof techniques for bisimilarity based on unique solution of equations. We draw inspiration from a result by Roscoe in the denotational setting of CSP and for failure semantics, essentially stating that an equation (or a system of equations ...
Adrien Durier, Daniel Hirschkoff, Davide Sangiorgi   +2 more
doaj   +1 more source

First Passage Analysis in a Queue with State Dependent Vacations

Axioms, 2022
This paper deals with a single-server queue where the server goes on maintenance when the queue is exhausted. Initially, the maintenance time is fixed by deterministic or random number T.
Jewgeni H. Dshalalow, Ryan T. White
doaj   +1 more source

Solution of Differential Equations with Polynomial Coefficients with the Aid of an Analytic Continuation of Laplace Transform

Mathematics, 2016
In a series of papers, we discussed the solution of Laplace’s differential equation (DE) by using fractional calculus, operational calculus in the framework of distribution theory, and Laplace transform.
Tohru Morita, Ken-ichi Sato
doaj   +1 more source

Weighted Fractional Calculus: A General Class of Operators

Fractal and Fractional, 2022
We conduct a formal study of a particular class of fractional operators, namely weighted fractional calculus, and its extension to the more general class known as weighted fractional calculus with respect to functions.
Arran Fernandez, Hafiz Muhammad Fahad
doaj   +1 more source