The paper analyzed here presents two novel techniques for reducing energy consumption, based on Razor DVS, a global voltage scaling scheme. The new techniques involve local (per-pipeline-stage) voltage scaling and time borrowing to improve pipeline balance. The finer granularity control offered by these local techniques significantly improves power consumption reduction when compared to Razor D...

In this paper we continue our research line on logical characterizations of behavioral metrics obtained from the definition of a metric over the set of logical properties of interest. This time we provide a characterization of both strong and weak trace metric on nondeterministic probabilistic processes, based on a minimal boolean logic L which we prove to be powerful enough to characterize str...

Purely image-based approaches to tracking objects in video sequences are more prone to failure the higher an object’s speed, as it covers a greater distance over the camera’s exposure time and is subject to increased motion blur. These algorithms are also susceptible to changes in the object’s appearance and illumination. In this paper, we approach this problem by asynchronously recording local...

A new distance function for fuzzy sets is introduced. It is based on the descriptive complexity, that is, the number of bits (on average) that are needed to describe an element in the symmetric difference of the two sets. The value of the distance gives the amount of additional information needed to describe either one of the two sets when the other is known. We prove that the distance function...

Using ideas from synthetic topology, a new approach to descriptive set theory is suggested. Synthetic descriptive set theory promises elegant explanations for various phenomena in both classic and effective descriptive set theory. Presently, we mainly focus on developing the ideas in the category of represented spaces.

Symport/antiport P systems provide a very simple machinery inspired by corresponding operations in the living cell. It turns out that systems of small descriptional complexity are needed to achieve the universality by these systems. This makes them a good candidate for small universal devices replacing register machines for different simulations, especially when a simulating parallel machinery ...

In recent years the study of probabilistic transition systems has shifted to transition relations over distributions to allow for a smooth adaptation of the standard non-probabilistic apparatus. In this paper we study transition relations over probability distributions in a setting with internal actions. We provide new logics that characterize probabilistic strong, weak and branching bisimulati...

We give some sufficient conditions under which any valued field that admits quantifier elimination in the Macintyre language is henselian. Then, without extra assumptions, we prove that if a valued field of characteristic (0, 0) has a Z-group as its value group and admits quantifier elimination in the main sort of the Denef-Pas style language LRRP then it is henselian. In fact the proof of this...

Currently, adaptive educational hypermedia systems (AEHS) are described with nonuniform methods, depending on the specific view on the system, the application, or other parameters. There is no common language for expressing functionality of AEHS, hence these systems are difficult to compare and analyze. In this paper we investigate how a logical description can be employed to characterize adapt...