Results 11 to 20 of about 227,942 (203)
EXPTIME tableaux for the coalgebraic mu-calculus [PDF]
, 2011 The coalgebraic approach to modal logic provides a uniform framework that captures the semantics of a large class of structurally different modal logics, including e.g. graded and probabilistic modal logics and coalition logic.
Pattinson, Dirk +2 more
core +4 more sources
Soergel Calculus and Schubert Calculus [PDF]
Bulletin of the Institute of Mathematics Academia Sinica NEW SERIES, 2018 We reduce some key calculations of compositions of morphisms between Soergel bimodules ("Soergel calculus") to calculations in the nil Hecke ring ("Schubert calculus"). This formula has several applications in modular representation theory.
He, X., Williamson, G.
openaire +4 more sources
Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of declarative programming, 2009 Several recent language designs have offered a unified language for programming a distributed system, with explicit notation of locations; we call these "location-aware" languages. These languages provide constructs allowing the programmer to control the location (the choice of host, for example) where a piece of code should run, which can be useful ...
Cooper, Ezra, Wadler, Philip
openaire +3 more sources
Glasgow Mathematical Journal, 2017 AbstractWe present a calculus that is well-adapted to homogeneous quadratic algebras. We define this calculus on Koszul cohomology – resp. homology – by cup products – resp. cap products. The Koszul homology and cohomology are interpreted in terms of derived categories.
Berger, Roland +2 more
openaire +7 more sources
Formal Calculus and Umbral Calculus [PDF]
The Electronic Journal of Combinatorics, 2010 We use the viewpoint of the formal calculus underlying vertex operator algebra theory to study certain aspects of the classical umbral calculus. We begin by calculating the exponential generating function of the higher derivatives of a composite function, following a very short proof which naturally arose as a motivating computation related to a ...
openaire +4 more sources
Simulation in the call-by-need lambda-calculus with letrec [PDF]
, 2010 This paper shows the equivalence of applicative similarity and contextual approximation, and hence also of bisimilarity and contextual equivalence, in the deterministic call-by-need lambda calculus with letrec.
Sabel, David +2 more
core +1 more source
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
Conformable Fractional Cosine Families of Operators
Journal of Mathematical Sciences and Modelling, 2019 In this paper we are concerned with the problem \begin{eqnarray*}\begin{cases} u^{(\alpha)}(t)=Au(t)+f(t,u(t))& t\in [0,T]\\ u(0)=u_0, D^{\alpha}u(0)=u_1\end{cases}\end{eqnarray*} \begin{eqnarray*} \begin{cases} u^{(\alpha)}(t)=Au(t)+f(t,u(t)
L. S. Chadli +2 more
doaj +1 more source
Quantum stochastic calculus with maximal operator domains. [PDF]
, 2004 Quantum stochastic calculus is extended in a new formulation in which its stochastic integrals achieve their natural and maximal domains. Operator adaptedness, conditional expectations and stochastic integrals are all defined simply in terms of the ...
Lindsay, J. Martin, Attal, Stéphane
core +4 more sources
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. +7 more
core +1 more source