Weighted labelled transition systems (WLTSs) are an established (meta-)model aiming to provide general results and tools for a wide range of systems such as non-deterministic, stochastic, and probabilistic systems. In order to encompass processes combining several quantitative aspects, extensions of the WLTS framework have been further proposed, state-to-function transition systems (FuTSs) and ...

The presence of deterministic relations pose problems for current algorithms that learn the causal structure of a system based on the observed conditional independencies. Deterministic variables lead to information equivalences; two sets of variables have the same information about a third variable. Based on information content, one cannot decide on the direct causes. Several edges model equall...

0

Background: Lichen planus has various clinical and epidemiologic features in different countries. Objectives: To determine clinical and epidemiologic patterns of lichen planus in dermatology department of Hamadan Sina Hospital during a ten-year period. Patients and Methods: This retrospective descriptive study was performed on 363 patients (Including 190 females and 173 males) suffered fr...

Present virtual heritage projects are mostly focused either on ‘process’ or ‘product’ but rarely consider ‘user’ (end user’s perception of the content) with project contents predominantly developed with an ‘ocular-centric’ tendency. There is no signifi cant interpretation method or principles for interpreting digital heritage unlike other disciplines such as archaeology. This paper argues that,...

We present a new tree based approach to composing expressive image descriptions that makes use of naturally occuring web images with captions. We investigate two related tasks: image caption generalization and generation, where the former is an optional subtask of the latter. The high-level idea of our approach is to harvest expressive phrases (as tree fragments) from existing image description...

In this paper we survey results related to homomorphism dualities for graphs, and more generally, for finite structures. This is related to some of the classical combinatorial problems, such as colorings of graphs and hypergraphs, and also to recently intensively studied Constraint Satisfaction Problems. On the other side dualities are related to the descriptive complexity and First Order defin...

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...