Topological Spatial Model Checking is a recent paradigm where model checking techniques are developed for the topological interpretation of Modal Logic. The Logic Closure Spaces, SLCS, extends with reachability connectives that, in turn, can be used expressing interesting spatial properties, such as "being near to" or surrounded by". SLCS constitutes kernel solid logical framework reasoning abo...

In this paper, we introduce a new skewed distribution of which normal and power normal distributions are two special cases. This distribution is obtained by taking geometric maximum of independent identically distributed power normal random variables. We call this distribution as the power normal--geometric distribution. Some mathematical properties of the new distribution are presented. Maximu...

Abstract Ti‐6Al‐4V plates were machined simultaneously to achieve the reduced section of specimens with a wire‐cut electrical discharge machine (EDM). Geometric shape errors due cutting path deviation discovered on many after final manufacture. High‐cycle fatigue tests carried out these symmetrical and asymmetrical shaped specimens. Probabilistic treatment was used examine occurrence probabilit...

Abstract We give a quantitative estimate for the quantum mean absolute deviation on hyperbolic surfaces of finite area in terms geometric parameters such as genus, number cusps and injectivity radius. It implies delocalisation result ergodicity type eigenfunctions Laplacian that Benjamini-Schramm converge to plane. show this is generic Mirzakhani’s model random chosen uniformly with respect Wei...

Biomechanical models generally assume that muscle fascicles shorten uniformly. However, dynamic magnetic resonance (MR) images of the biceps brachii have recently shown nonuniform shortening along some muscle fascicles during low-load elbow flexion (J. Appl. Physiol. 92 (2002) 2381). The purpose of this study was to uncover the features of the biceps brachii architecture and material properties...

Acyclic phase-type distributions form a versatile model, serving as approximations to many probability distributions in various circumstances. They exhibit special properties and characteristics that usually make their applications attractive. Compared to acyclic continuous phase-type (ACPH) distributions, acyclic discrete phase-type (ADPH) distributions and their subclasses (ADPH family) have ...

The mid-domain effect (MDE), a bias in species richness towards the midpoint of a given geographical dimension, has been used as a null model in macro-ecological studies. Departures from a MDE are often thought of as interesting. The MDE is a product of the interaction between geometric boundaries and range locations, with species being forced to occupy more central positions in proportion to t...