Results 31 to 40 of about 86,734 (328)
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
The Application of Abstract Algebra in Operational Calculus
Fractal and FractionalThis paper is dedicated to elucidating the abstract algebraic structure of operational calculus theory. Based on abstract algebra and operational calculus, the operator algebra theory of Mikusiński has been revised. We restate the concept of Mikusiński’s
Ruiheng Jiang, Tianyi Zhou, Yajun Yin
doaj +1 more source
Classical logic, continuation semantics and abstract machines [PDF]
, 1998 One of the goals of this paper is to demonstrate that denotational semantics is useful for operational issues like implementation of functional languages by abstract machines.
B. Reus +2 more
core +2 more sources
Operational calculus and integral transforms for groups with finite propagation speed [PDF]
, 2016 Let $A$ be the generator of a strongly continuous cosine family $(\cos (tA))_{t\in {\bf R}}$ on a complex Banach space $E$. The paper develops an operational calculus for integral transforms and functions of $A$ using the generalized harmonic analysis ...
Blower, Gordon, Doust, Ian
core +2 more sources
Wave-Style Token Machines and Quantum Lambda Calculi
, 2015 Particle-style token machines are a way to interpret proofs and programs, when the latter are written following the principles of linear logic. In this paper, we show that token machines also make sense when the programs at hand are those of a simple ...
Lago, Ugo Dal, Zorzi, Margherita
core +4 more sources
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
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
Nonlocal Operational Calculi for Dunkl Operators [PDF]
, 2009 The one-dimensional Dunkl operator $D_k$ with a non-negative parameter $k$, is considered under an arbitrary nonlocal boundary value condition. The right inverse operator of $D_k$, satisfying this condition is studied.
Dimovski, Ivan H., Hristov, Valentin Z.
core +5 more sources
Probabilistic Operational Semantics for the Lambda Calculus
, 2011 Probabilistic operational semantics for a nondeterministic extension of pure lambda calculus is studied. In this semantics, a term evaluates to a (finite or infinite) distribution of values.
Lago, Ugo Dal, Zorzi, Margherita
core +3 more sources
, 2010 The BioAmbients calculus is a process algebra suitable for representing compartmentalization, molecular localization and movements between compartments.
Capecchi, Sara, Troina, Angelo
core +4 more sources