This paper presents the original idea of Modeling Spaces and its impact on understanding various modeling domains and their interconnections. The focus is given on the Semantic Web and Model-Driven Architecture technical spaces and modeling spaces they are built around – RDF(S) and MOF modeling spaces. It also clarifies their mutual relations and helps understand what is necessary to do to brid...

The views of Collingwood can be summarized as follows. The philosophy of history is concerned neither with ‘the past by itself ’ nor with ‘the historian’s thought about it by itself ’, but with ‘the two things in their mutual relations’. (This dictum reflects the two current meanings of the word ‘history’ – the inquiry conducted by the historian and the series of past events into which he inqui...

An important concept in the theory of residuated lattices and other algebraic structures used for formal fuzzy logic, is that of a filter. Filters can be used, amongst others, to define congruence relations. Specific kinds of filters include Boolean filters and prime filters. In this paper, we define several different filters of residuated lattices and triangle algebras and examine their mutual...

We present an overview of known classes of Boolean formulae for which polynomial time algorithms for satisfiability testing (SAT) are known. We will summarize basic properties of these classes and their mutual relations with respect to inclusion. One of these classes on which we focus our attention in particular is the class of Single Lookahead Unit Resolution formulae (SLUR). We will define a ...

In this extended abstract we apply the notion of skyline to the case of probabilistic relations including correlation among tuples. In particular, we consider the relevant case of the x-relation model, consisting of a set of generation rules specifying the mutual exclusion of tuples. We show how our definitions apply to different ranking semantics and analyze the time complexity for the resolut...

TransSearch is a system for building and exploiting a translation memory, i.e. a textual database consisting of pairs of documents that are mutual translations. Each such pair of documents, when inserted into the database, is submitted to an alignment process, which makes explicit the relations that exist between the sentences of the two texts. A user may then search for ready-made solutions to...

Pain and sleep share mutual relations under the influence of cognitive and neuroendocrine changes. Sleep is an important homeostatic feature and, when impaired, contributes to the development or worsening of pain-related diseases. The aim of the present review is to provide a panoramic view for the generalist physician on sleep disorders that occur in pain-related diseases within the field of I...

For speeding-up consent achievement in a team it is worth to utilize stabilization and convergence strategic conversation (meeting) technologies in coordination processes of mutual understanding amongst the team members regarding targets and actions. These technologies are based on fundamental thermo-dynamical relations, quantum effects and on ill-defined (ill-posed) problem solution methods in...

We study (and sometimes introduce) the notions generic stability, regularity, homogeneous pregeometries, quasiminimality, and their mutual relations, in arbitrary first order theories. We prove that “infinite-dimensional homogeneous pregeometries” coincide with generically stable strongly regular types (p(x), x = x). We prove that in a theory without the strict order property, regular types are...

We address the practical problems of estimating the information relations that characterize large networks. Building on methods developed for analysis of the neural code, we show that reliable estimates of mutual information can be obtained with manageable computational effort. The same methods allow estimation of higher order, multi–information terms. These ideas are illustrated by analyses of...