In this paper we present logical characterizations of two preorders, within the framework of Hennessy-Milner Logics. The two preorders (loosely termed bisimulation-based efficiency preorders) are on processes represented as labelled transition systems. The characterizations are particularly interesting as they explore preorders lying between strong and weak bisimilarity, guided by a principle o...

A new distance function dist (A,B) for fuzzy sets A and B is introduced. It is based on the descriptive complexity, i.e., the number of bits (on average) that are needed to describe an element in the symmetric difference of the two sets. The distance gives the amount of additional information needed to describe any one of the two sets given the other. We prove its mathematical properties and pe...

Syntactic constraints in Koskenniemi's Finite-State Intersection Grammar (FSIG) are logically less complex than their formalism (Koskenniemi et al., 1992) would suggest: It turns out that although the constraints in Voutilainen's (1994) FSIG description of English make use of several extensions to regular expressions, the description as a whole reduces to a finite combination of union, compleme...

Undoubtedly, the COVID-19 pandemic has left an indelible mark on every aspect of human life, and, perhaps most significantly, operation world’s economy. Restrictions and limitations freedom movement had a clear impact ways in which companies households functioned, consumer behaviors purchasing habits were demonstrably influenced turn. Thus, aim this article is to illustrate these changes light ...

Abstract Research purpose. The purpose of the research project was to evaluate status place branding as a scientific discipline and check whether this concept has been concretised during exploration articulation. An additional objective theoretical brands. Design / Methodology Approach. study used an approach based on analysis 'place brand' models developed in literature since are central proce...

We have developed a new method for taking continuous measurements of rCBF by means of continuous infusion of 81mKr. Using this method, it is possible to follow the sequential changes in blood flow of various brain regions continuously. The method makes it possible to observe the sequential changes in CBF following drug administration, motor activation and various kinds of stimulation, and, furt...

Background: Prematurity could result in the long admission of the neonate to the Neonatal Intensive Care Unit (NICU) and development of some complications for both mother and newborn. The early discharge programs make the neonatal transference to home much easier and are beneficial to both parents and newborns. However,there are limited studies investigating the real needs of the preterm neonat...