Runtime monitoring is a general approach to verifying system properties at runtime by comparing system events against a specification formalizing which event sequences are allowed. We present a runtime monitoring algorithm for a safety fragment of metric first-order temporal logic that overcomes the limitations of prior monitoring algorithms with respect to the expressiveness of their property ...

Study of the dynamics of automorphisms of a group is usually focused on their growth and/or finite orbits, including fixed points. In this paper, we introduce properties of a different kind; using somewhat informal language, we call them metric properties. Two principal characteristics of this kind are called here the “curl” and the “flux”; there seems to be very little correlation between thes...

To reconstruct a graph from some of its elements or characteristics is a hard problem. Reconstructions require very good mathematical background and programming skills. That is why some not so difficult graph reconstruction problems may be appropriate for competitions in programming both for university and school students. In this paper two such problems are considered – reconstruction of a tre...

This paper deals with local convexity properties of the j-metric. We consider convexity and starlikeness of the j-metric balls in convex, starlike and general subdomains of R.

We prove that there is a residual subset of the Gromov-Hausdorff space (i.e. the space of all compact metric spaces up to isometry endowed with the Gromov-Hausdorff distance) whose points enjoy several unexpected properties. In particular, they have zero lower box dimension and infinite upper box dimension.

introduction: appropriate definition of the distance measure between diffusion tensors has a deep impact on diffusion tensor image (dti) segmentation results. the geodesic metric is the best distance measure since it yields high-quality segmentation results. however, the important problem with the geodesic metric is a high computational cost of the algorithms based on it. the main goal of this ...