Different syntactic frameworks have different ways to deal with dislocation constructions. One major disagreement is whether or not empty categories should be assumed. Researchers have been working on this issue on the ground of "psychological reality" (of empty categories), yet have not come to an agreement. The first aim of this paper is to propose an experimental scheme to settle the issue o...

We apply Leifer-Milner RPO approach to the λ-calculus, endowed with lazy and call by value reduction strategies. We show that, contrary to process calculi, one can deal directly with the λ-calculus syntax and apply Leifer-Milner technique to a category of contexts, provided that we work in the framework of weak bisimilarities. However, even in the case of the transition system with minimal cont...

Many features of current logic programming languages are not captured by conventional semantics. Their fundamentally non-ground character, and the uniform way in which such languages have been extended to typed domains, subject to constraints, suggest that a categorical treatment of constraint domains, of programming syntax and of semantics may be closer in spirit to what declarative programmin...

Game Semantics has successfully provided fully abstract models for a variety of programming languages not possible using other denotational approaches. Although it is a flexible and accurate way to give semantics to a language, its underlying mathematics is awkward. For example, the proofs that strategies compose associatively and maintain properties imposed on them such as innocence are intric...

Walton’s paper [l] describes a situation for the Instrument Landing System (ILS), glide path antenna that occurs during a period of time when a deep blanket of snow transitions from freshly fallen to the melted condition. During this time period the air, snow, and Earth reflection interaction may cause the ground reflection component of the guidance signal (image) to nearly vanish. This reducti...

We construct an A ∞ -category D(C|B) from a given A ∞ -category C and its full subcategory B. The construction resembles a particular case of Drinfeld’s quotient of differential graded categories [Dri02]. We use D(C|B) to construct an A ∞ -functor of K-injective resolutions of a complex. The conventional derived category is obtained as the 0-th cohomology of the quotient of the differential gra...

The relation between similarity and categorization has recently come under scrutiny from several sectors. The issue provides an important inroad to questions about the contributions of high-level thought and lower-level perception in the development of people's concepts. Many psychological models base categorization on similarity, assuming that things belong in the same category because of thei...

OBJECTIVE To explore primary healthcare patients' experiences of patients participation in multimodal pain rehabilitation. PATIENTS AND METHODS A total of 17 patients who had completed multimodal rehabilitation for persistent pain were interviewed. The interviews were analysed using qualitative content analysis. RESULTS One theme, Being in an exchange process, and 4 categories emerged. The ...

This article presents methods to estimate a land cover transition matrix based on maps from two points in time. The land cover transition matrix indicates the amount of land that transitions from each category at time 1 to each category at time 2. Observed differences between the two land cover maps can be due to change on the ground or error in the maps. If the maps were perfectly correct, the...

We present an integrated vision architecture capable of incrementally learning several visual categories based on natural hand-held objects. Additionally we focus on interactive learning, which requires real-time image processing methods and a fast learning algorithm. The overall system is composed of a figure-ground segregation part, several feature extraction methods and a life-long learning ...