This paper introduces Hypersequent GV (HGV), a modular and extensible core calculus for functional programming with session types that enjoys deadlock freedom, confluence, strong normalisation. HGV exploits hyper-environments, which are collections of type environments, to ensure structural congruence is preserving. As consequence we obtain an operational correspondence between HCP -- process b...

We take for granted a world in which geographical borders lines separating physical spaces are of primary importance in determining legal rights and responsibilities. Territorial borders, generally speaking, delineate areas within which different sets of legal rules apply. There has until now been a general correspondence between borders drawn in physical space (between nation states or other p...

This work presents the classification of images collected on the World Wide Web, using a supervised classification method, called ID3 (Itemized Dichotomizer 3). The classification consists in separating the images into two semantic classes: graphics and photographs. Photographs include natural scenes, like people, faces, animals, flowers, landscapes and cities. Graphics are logos, drawings, ico...

In recent years it has been shown that hierarchical classifiers have a significant advantage over single stage classifiers both in classification accuracy and in complexity of the classification features. This paper introduces a new method for creating the structure of hierarchical classifiers using a novel method for determining clusters. The proposed method uses features obtained using Gabor ...

We propose an image decomposition technique that captures the structure of a scene. An image is decomposed into a matrix that represents the adjacency between the elements of the image and their distance. Images decomposed this way are then classified using a maximum margin regression (MMR) approach where the normal vector of the separating hyperplane maps the input feature vectors into the out...

Double quantum dots offer unique possibilities for the study of many-body correlations. A system containing one Kondo dot and one effectively noninteracting dot maps onto a single-impurity Anderson model with a structured (nonconstant) density of states. Numerical renormalization-group calculations show that, while band filtering through the resonant dot splits the Kondo resonance, the singlet ...

Classical shape analysis methods use principal component analysis to reduce the dimensionality of shape spaces. The basic assumption behind these methods is that the subspace corresponding to the major modes of variation for a particular class of shapes is linearised. This may not necessarily be the case in practice. In this paper, we present a novel method for extraction of the intrinsic param...

We present a study that maps out chemical bond formation between a Pt-inked probe and a single 1,3-cyclohexadiene (1,3-CHD) molecule on Si(100). By separating the mechanical and electronic contributions to the current during the approach to contact, we show that there are significant forces between the probe and the C=C of the molecule and we track the relaxation of the molecule, the emergence ...