Functional properties of living tissues appear in PET, whereas structural information at significantly higher resolution and better image quality is provided by other modalities, ...
— We give necessary and sufficient conditions, based on the existence of a Lyapunov functional, for the asymptotic stability of a square autonomous 2-D behavior in the sense of ...
— Interconnection of several hybrid input-to-state stable (ISS) systems is considered in this paper. We ask under what condition is such an interconnection stable and how an ISS-...
Polynomial interpretations are a useful technique for proving termination of term rewrite systems. We show how polynomial interpretations with negative coefficients, like x - 1 for...
A generalized dice model for the pairwise comparison of non-necessarily independent random variables is established. It is shown how the transitivity of the probabilistic relation...