Results 111 to 120 of about 325,732 (181)

Maple umbral calculus package

, 1995
We are developing a Maple package of functions related to Rota's Umbral Calculus. A Mathematica version of this package is being developed in parallel.
Bottreau, A., Di Bucchianico, A., Loeb, D.E.   +2 more
openaire   +4 more sources

Provably correct Java implementations of Spi Calculus security protocols specifications [PDF]

, 2010
Spi Calculus is an untyped high level modeling language for security protocols, used for formal protocols specification and verification. In this paper, a type system for the Spi Calculus and a translation function are formally defined, in order to ...
Pironti, Alfredo, Sisto, Riccardo
core   +1 more source

A note on degenerate Euler polynomials arising from umbral calculus

Journal of Mathematics and Computer Science, 2023
S. Lee, J.-W. Park
semanticscholar   +1 more source

Umbral Calculus and Cancellative Semigroup Algebras

Zeitschrift für Analysis und ihre Anwendungen, 2000
We describe some connections between three different fields: combinatorics (umbral calculus), functional analysis (linear functionals and operators) and harmonic analysis (convolutions on group-like structures).
openaire   +4 more sources

A selected survey of umbral calculus [PDF]

, 1995
We survey the mathematical literature on umbral calculus (otherwise known as the calculus of finite differences) from its roots in the 19th century (and earlier) as a set of magic rules for lowering and raising indices, through its rebirth in the 1970 ...
Di Bucchianico, A., Loeb, D., Di Bucchianico, A.; id_orcid, Loeb, DE, Bucchianico, A Alessandro Di   +4 more
core   +1 more source

Model checking probabilistic and stochastic extensions of the pi-calculus [PDF]

, 2009
We present an implementation of model checking for probabilistic and stochastic extensions of the pi-calculus, a process algebra which supports modelling of concurrency and mobility.
Parker, D., Parker, David, Norman, G., Norman, Gethin, Wu, P., Palamidessi, C., Palamidessi, Catuscia, Wu, Peng   +7 more
core   +1 more source

Quantum mechanics and umbral calculus

Journal of Physics: Conference Series, 2008
In this paper we present the first steps for obtaining a discrete Quantum Mechanics making use of the Umbral Calculus. The idea is to discretize the continuous Schroedinger equation substituting the continuous derivatives by discrete ones and the space-time continuous variables by well determined operators that verify some Umbral Calculus conditions ...
Lopez-Sendino, E., Negro, J., del Olmo, M. A., Salgado, E.   +3 more
openaire   +2 more sources

Fully degenerate poly-Bernoulli numbers and polynomials

Open Mathematics, 2016
In this paper, we introduce the new fully degenerate poly-Bernoulli numbers and polynomials and inverstigate some properties of these polynomials and numbers.
Kim Taekyun, Kim Dae San, Seo Jong-Jin
doaj   +1 more source

Umbral Theory and the Algebra of Formal Power Series

Axioms
Umbral theory, formulated in its modern version by S. Roman and G. C. Rota, has been reconsidered in more recent times by G. Dattoli and collaborators with the aim of devising a working computational tool in the framework of special function theory ...
Roberto Ricci
doaj   +1 more source

Cellular Signaling Networks Function as Generalized Wiener-Kolmogorov Filters to Suppress Noise

Physical Review X, 2014
Cellular signaling involves the transmission of environmental information through cascades of stochastic biochemical reactions, inevitably introducing noise that compromises signal fidelity.
Michael Hinczewski, D. Thirumalai
doaj   +1 more source