Results 31 to 40 of about 1,220,062 (289)
, 2013 The Operational Calculus is a construction used for analyzing the behavior of linear operators that arise in the study of ordinary and partial differential equations.
Sedberry, Trevor Lear
core +1 more source
An operational calculus formulation of fractional calculus with general analytic kernels
, 2022 Fractional calculus with analytic kernels provides a general setting of integral and derivative operators that can be connected to Riemann-Liouville fractional calculus via convergent infinite series.
Fernandez, Arran, Rani, Noosheza
core +1 more source
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 +3 more
doaj +1 more source
A Verified Algebra for Linked Data [PDF]
Electronic Proceedings in Theoretical Computer Science, 2011 A foundation is investigated for the application of loosely structured data on the Web. This area is often referred to as Linked Data, due to the use of URIs in data to establish links.
Ross Horne, Vladimiro Sassone
doaj +1 more source
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
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 +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
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background Children with sickle cell anemia (SCA) in low‐income settings are at risk of severe malnutrition, but optimal nutritional management has not been established. We evaluated an intensified ready‐to‐use therapeutic food (RUTF) regimen in children with persistent severe malnutrition after initial treatment and assessed whether early ...
Safiya Gambo +9 more
wiley +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 +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