This paper presents the results of an experimental study on multiple focus configurations, that is, structures containing two nested focus-sensitive operators plus two foci supposed to associate with those operators. There has been controversial discussion in the semantic literature regarding whether or not an interpretation is acceptable that corresponds to this association. While the data are...

Introduction: The mapping of lineaments from digital remote sensing data is one of the techniques used in the structural and tectonic characterization of a planet. Lineament mapping on Mars is traditionally made using digital imagery [1,2]. MOLA altimetry data was also used to the visual interpretation and extraction of tectonic features from Mars surface [3]. All these works rely on traditiona...

We introduce a characterisation of probabilistic transition systems (PTS) in terms of linear operators on some suitably defined vector space representing the set of states. Various notions of process equivalences can then be re-formulated as abstract linear operators related to the concrete PTS semantics via a probabilistic abstract interpretation. These process equivalences can be turned into ...

Automated ECG interpretation systems are supposed to follow human expert reasoning. Despite well-established standards, the visual interpretation strategy of the human is still undisclosed today. This paper presents a new approach to the interpretation process research based on eyetrack features captured from a human expert during biosignal visual inspection. This approach required a set of vis...

Abstract Mizan Computer Shop is a shop that engaged in the trading sector, especially field of selling computers and supporting accessories. Growing increasing number business actors computer can makes players challenged to be able create unique differentiation clear positioning. So, consumers differentiate from their competitors. Competitive dynamic market conditions make every company should ...

Hânefî ekolünde fıkıh usûlü yazımı Irak ve Semerkant usûl anlayışı ol-mak üzere temelde iki alt ekole ayrılmıştır. Fıkıh usûlünün kelâmî perspektif-ten yazılması gerektiğini ifade eden ekolünün önemli temsilcile-rinden Alâeddin es-Semerkandî (öl. 539/1144), kendisinden önce muhitinde yaygınlık kazanan yazım metodunu eleştirir. O, çizgisini devam ettiren Ebû Zeyd ed-Debûsî 430/1039) gibi usûlcül...