We present an implementation of model checking for probabilistic and stochastic extensions of the π-calculus, a process algebra which supports modelling of concurrency and mobility. Formal verification techniques for such extensions have clear applications in several domains, including mobile ad-hoc network protocols, probabilistic security protocols and biological pathways. Despite this, no im...

We present an implementation of model checking for probabilistic and stochastic extensions of the -calculus, a process algebra which supports modeling of concurrency and mobility. Formal verification techniques for such extensions have clear applications in several domains, including mobile ad hoc network protocols, probabilistic security protocols, and biological pathways. Despite this, no imp...

In this paper, we define the modular space Z σ (s, p) by using the Zweier operator and a modular. Then, we consider it equipped with the Luxemburg norm and also examine the uniform Opial property and property β. Finally, we show that this space has the fixed point property.

In Multi-Agent Reinforcement Learning, each agent observe a state of other agents as a part of environment. Therefore, the state space is exponential in the number of agents and learning speed significantly decrease. Modular Q-learning [6] needs very small state space. However, the incomplete observation involves a decline in the performance. In this paper, we improve Modular Q-learning’s perfo...

We generalize the Quantum Geometric Tensor by replacing a Hamiltonian with modular Hamiltonian. The symmetric part of provides Fubini-Study metric, and its anti-symmetric sector gives Berry curvature. Our generalization dubbed Modular metric curvature Kinematic Space. also use result identity Virasoro block to relate connected correlator two Wilson lines two-point function This relation realize...

Our main goal in this paper is to construct the first explicit fundamental domain of the Picard modular group acting on the complex hyperbolic space CH . The complex hyperbolic space is a Hermitian symmetric space, its bounded realization is the unit ball in C equipped with the Bergman metric. The Picard modular group is a discontinuous holomorphic automorphism subgroup of SU(2, 1) with Gaussia...

Summability is an important concept in sequence spaces. One summability strongly Cesaro summable. In this paper, we study a subset of the set all vector-valued 2-modular space. Some facts that investigated paper include linearity, existence modular and completeness with respect to these modular.