Results 31 to 40 of about 86,251 (282)
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
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
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
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
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
Electronic Proceedings in Theoretical Computer Science, 2013 We introduce a functional calculus with simple syntax and operational semantics in which the calculi introduced so far in the Curry-Howard correspondence for Classical Logic can be faithfully encoded.
Alberto Carraro +2 more
doaj +1 more source
Pediatric Blood &Cancer, EarlyView.ABSTRACT Introduction Characterizing stressful events reported by childhood cancer survivors experienced throughout the lifespan may help improve trauma‐informed care relevant to the survivor experience. Methods Participants included 2552 survivors (54% female; 34 years of age) and 469 community controls (62% female; 33 years of age) from the St.
Megan E. Ware +13 more
wiley +1 more source
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
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
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