Results 1 to 10 of about 86,251 (282)
A Provenance Tracking Model for Data Updates [PDF]
Electronic Proceedings in Theoretical Computer Science, 2012 For data-centric systems, provenance tracking is particularly important when the system is open and decentralised, such as the Web of Linked Data. In this paper, a concise but expressive calculus which models data updates is presented.
Gabriel Ciobanu, Ross Horne
doaj +6 more sources
First Class Call Stacks: Exploring Head Reduction [PDF]
Electronic Proceedings in Theoretical Computer Science, 2016 Weak-head normalization is inconsistent with functional extensionality in the call-by-name λ-calculus. We explore this problem from a new angle via the conflict between extensionality and effects. Leveraging ideas from work on the λ-calculus with control,
Philip Johnson-Freyd +2 more
doaj +4 more sources
Noncommutative operational calculus
Electronic Journal of Differential Equations, 1999 Oliver Heaviside's operational calculus was placed on a rigorous mathematical basis by Jan Mikusinski, who constructed an algebraic setting for the operational methods.
Henry E. Heatherly, Jason P. Huffman
doaj +2 more sources
Fractal and Fractional, 2023 In this study, we delve into the general theory of operator kernel functions (OKFs) in operational calculus (OC). We established the rigorous mapping relation between the kernel function and the corresponding operator through the primary translation ...
Xiaobin Yu, Yajun Yin
doaj +1 more source
On the solutions of some fractional q-differential equations with the Riemann-Liouville fractional q-derivative [PDF]
Қарағанды университетінің хабаршысы. Математика сериясы, 2021 This paper is devoted to explicit and numerical solutions to linear fractional q-difference equations and the Cauchy type problem associated with the Riemann-Liouville fractional q-derivative in q-calculus.
S. Shaimardan, N.S. Tokmagambetov
doaj +3 more sources
Mathematics, 2022 In this paper, we first consider the general fractional derivatives of arbitrary order defined in the Riemann–Liouville sense. In particular, we deduce an explicit form of their null space and prove the second fundamental theorem of fractional calculus ...
Yuri Luchko
doaj +1 more source
Vestnik Samarskogo Gosudarstvennogo Tehničeskogo Universiteta. Seriâ: Fiziko-Matematičeskie Nauki, 2012 The main provisions of the operational calculus based on the convolution algebra of distributions D+ and D− that extends this method to the negative values of the argument are given.
Iosif L Kogan
doaj +3 more sources
Vestnik Samarskogo Gosudarstvennogo Tehničeskogo Universiteta. Seriâ: Fiziko-Matematičeskie Nauki, 2013 We consider the Mikusinski operational calculus based on the convolution algebra of distributions D′+ and D′−. We state and prove the basic theorems, and give examples of Mikusinski operational calculus using, which demonstrate its additional ...
I. L. Kogan
doaj +3 more sources
A Hypergraph Model for Communication Patterns
Axioms, 2021 The article deals with interaction in concurrent systems. A calculus able to express specific communication patterns is defined, together with its abstract control structures. A hypergraph model for these structures is presented. The hypergraphs are able
Gabriel Ciobanu
doaj +1 more source
An Operational Approach to Fractional Scale-Invariant Linear Systems
Fractal and Fractional, 2023 The fractional scale-invariant systems are introduced and studied, using an operational formalism. It is shown that the impulse and step responses of such systems belong to the vector space generated by some special functions here introduced.
Gabriel Bengochea +1 more
doaj +1 more source