Results 21 to 30 of about 86,251 (282)
Algebraic Change-Point Detection [PDF]
, 2009 Elementary techniques from operational calculus, differential algebra, and noncommutative algebra lead to a new approach for change-point detection, which is an important field of investigation in various areas of applied sciences and engineering ...
Fliess, Michel +2 more
core +4 more sources
Operator Calculus of Quantized Operator [PDF]
Progress of Theoretical Physics, 1952 The notational ambiguities in Feynman's calculus are all remedied here by setting a more natural foundation of the ordered exponential operators, which will be called briefly "expansional" operators in this paper. The essential point to be stressed is that the pure exponential opErator is merely a special case of the more wider class of operators, i.e.,
openaire +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
Towards Gradually Typed Capabilities in the Pi-Calculus [PDF]
Electronic Proceedings in Theoretical Computer Science, 2019 Gradual typing is an approach to integrating static and dynamic typing within the same language, and puts the programmer in control of which regions of code are type checked at compile-time and which are type checked at run-time.
Matteo Cimini
doaj +1 more source
An Alternative Natural Deduction for the Intuitionistic Propositional Logic [PDF]
, 2016 A natural deduction system NI, for the full propositional intuitionistic logic, is proposed. The operational rules of NI are obtained by the translation from Gentzen’s calculus LJ and the normalization is proved, via translations from sequent calculus ...
Ilić, Mirjana
core +1 more source
A direct extension of Meller's calculus
International Journal of Mathematics and Mathematical Sciences, 1982 This paper extends the operational calculus of Meller for the operator Bα=t−αddttα+1ddt to the case where α∈(0,∞). The development is àla Mikusinski calculus and uses Meller's convolution process with a fractional derivative operator.
E. L. Koh
doaj +1 more source
The call-by-need lambda calculus [PDF]
, 1998 We present a calculus that captures the operational semantics of call-by-need. The call-by-need lambda calculus is confluent, has a notion of standard reduction, and entails the same observational equivalence relation as the call-by-name calculus.
Maraist, John +2 more
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
Psi-Calculi Revisited: Connectivity and Compositionality [PDF]
Logical Methods in Computer Science, 2020 Psi-calculi is a parametric framework for process calculi similar to popular pi-calculus extensions such as the explicit fusion calculus, the applied pi-calculus and the spi calculus.
Johannes Åman Pohjola
doaj +1 more source
A WSDL-Based Type System for WS-BPEL [PDF]
, 2006 We tackle the problem of providing rigorous formal foundations to current software engineering technologies for web services. We focus on two of the most used XML-based languages for web services: WSDL and WS-BPEL.
Lapadula, Alessandro +2 more
core +2 more sources