The automatic analysis of spatial data sets presumes to have techniques for interpretation and structure recognition. Such procedures are especially needed in GIS and digital cartography in order to automate the timeconsuming data update and to generate multi-scale representations of the data. In order to infer higher level information from a more detailed data set, coherent, homogeneous struct...

The technique of reflection is a way to automate proof construction in type theoretical proof assistants. Reflection is based on the definition of a type of syntactic expressions that gets interpreted in the domain of discourse. By allowing the interpretation function to be partial or even a relation one gets a more general method known as “partial reflection”. In this paper we show how one can...

We study the interpretation of Grzegorczyk’s Theory of Concatenation TC in structures of decorated linear order types satisfying Grzegorczyk’s axioms. We show that TC is incomplete for this interpretation. What is more, the first order theory validated by this interpretation interprets arithmetical truth. We also show that every extension of TC has a model that is not isomorphic to a structure ...

Standard abstract model checking relies on abstract Kripke structures which approximate the concrete model by gluing together indistinguishable states. Strong preservation for a specification language L encodes the equivalence of concrete and abstract model checking of formulas in L. Abstract interpretation allows to design abstract models which are more general than abstract Kripke structures....

Hrushovski’s construction of “new” strongly minimal structures and more generally “new” stable structures proved very effective in providing a number of examples to classification problems in stability theory. For example, J.Baldwin used this method to construct a non-desarguesian projective plane of Morley rank 2 (see e.g. [3]). But there is still a classification problem of similar type which...

the first conceptions of intellect are a beign and an essence, we must begin exploring how they are related to each other. everything that receives   something from another is potential with regard to what it receives and what is receives in it is the actuality. thus st.thomas returns to the doctrine of potency and act of being to explain the relation of a being and an essence by developing in ...

Multilinear Grammar provides a framework for integrating the many different syntagmatic structures of language into a coherent semiotically based Rank Interpretation Architecture, with default linear grammars at each rank. The architecture defines a Sui Generis Condition on ranks, from discourse through utterance and phrasal structures to the word, with its sub-ranks of morphology and phonology...

Hrushovski’s construction of “new” strongly minimal structures and more generally “new” stable structures proved very effective in providing a number of examples to classification problems in stability theory. For example, J.Baldwin used this method to construct a non-desarguesian projective plane of Morley rank 2 (see e.g. [3]). But there is still a classification problem of similar type which...

Though Western analysts tend to mention al-Qaida and Taliban in Pakistan in the same context, the dynamics of their relationship are far more complex than a cursory examination would reveal. The context of this relationship is best understood within the overarching paradigm of militant activities of post 9/11 Taliban and al-Qaida remnants in Pakistan's tribal areas, where these groups flourish....

The gap between networking research communities and Internet standardization organizations (SDOs) has been growing over the years, which has drawn attention from both academic and industrial sides due to its detrimental impact. The reason behind this widening gap is complex and typically beyond the mere technology ground. In this position paper we share our perspectives toward this challenge ba...