In this paper, we survey five different computational modeling methods. For comparison, we use the activation cycle of G-proteins that regulate cellular signaling events downstream of G-proteincoupled receptors (GPCRs) as a driving example. Starting from an existing Ordinary Differential Equations (ODEs) model, we implement the G-protein cycle in the stochastic Pi-calculus using SPiM, as Petri-...

Let G be the arithmetic Grassmannian over SpecZ with the natural invariant Kähler metric on G(C). We study the combinatorics of the arithmetic Schubert calculus in the Arakelov Chow ring CH(G). We obtain formulas for the arithmetic Littlewood-Richardson numbers and the Faltings height of G under the Plücker embedding, using ‘rim hook operations’ on Young diagrams. An analysis of the duality inv...

the object of this paper is to establish certain generalized fractional integration and differentiation involving generalized mittag-leffler function defined by salim and faraj [25]. the considered generalized fractional calculus operators contain the appell's function $f_3$ [2, p.224] as kernel and are introduced by saigo and maeda [23]. the marichev-saigo-maeda fractional calculus operat...

In [4] (see [2]) the notion of a hypersubstitution of a given type and the notion of a derived variety D(V ) of a given variety V of a fixed type τ were invented. Suitable hyperequational calculus appeared as a modification of G. Birkhoff calculus with additional rule called hypersubstitution rule (6). In Graczyńska E. and Schweigert D. [6] we considered further generalization to M-hyperquasiva...

A first order form of Regge calculus is defined in the spirit of Palatini’s action for general relativity. The extra independent variables are the interior dihedral angles of a simplex, with conjugate variables the areas of the triangles. There is a discussion of the extent to which these areas can be used to parameterise the space of edge lengths of a simplex. Regge’s equations of motion for R...

EARLINET Single Calculus Chain – technical – Part 1: Pre-processing of raw lidar data G. D’Amico, A. Amodeo, I. Mattis, V. Freudenthaler, and G. Pappalardo Consiglio Nazionale delle Ricerche, Istituto di Metodologie per l’Analisi Ambientale (CNR-IMAA), Tito Scalo, Potenza, Italy Leibniz Institute for Tropospheric Research, Leipzig, Germany Ludwig-Maximilians-Universität, Meteorologisches Instit...

u(T ) = ∑m i=0 ∫ ti+1 ti g(s, u(s)) dqis, where Dqk are qk-derivatives (k = 0, 1, 2, . . . ,m), f, g ∈ C(J ×R, R), Ik ∈ C(R,R), J = [0, T ](T > 0), 0 = t0 < t1 < · · · < tk < · · · < tm < tm+1 = T , J ′ = J\{t1, t2, . . . , tm}, and ∆u(tk) = u(t + k ) − u(t − k ), u(t + k ) and u(t − k ) denote the right and the left limits of u(t) at t = tk (k = 1, 2, . . . ,m) respectively. The study of q-dif...

We connect three ways to achieve relational parametricity: universal types, runtime type generation, and cryptographic sealing. We study a polymorphic blame calculus, λB, inspired by that of Ahmed, Findler, Siek, and Wadler (2011), that ties universal types to runtime type generation; and a cryptographic lambda calculus, λK, inspired by that of Pierce and Sumii (2000), that relies on cryptograp...

Integral calculus on the space A/G of gauge equivalent connections is developed. By carring out a non-linear generalization of the theory of cylindrical measures on topological vector spaces, a faithfull, diffeomorphism invariant measure is introduced on a suitable completion of A/G. The strip (i.e. momentum) operators are densely-defined in the resulting Hilbert space and interact with the mea...