In probability and statistics, uncertainty is usually quantified using single-valued probabilities satisfying Kolmogorov’s axioms. Generalisation of classical probability theory leads to various less restrictive representations of uncertainty which are collectively referred to as imprecise probability. Several approaches to statistical inference using imprecise probability have been suggested, ...

This paper deals with questions relating to Haghverdi and Scott’s notion of partially traced categories. The main result is a representation theorem for such categories: we prove that every partially traced category can be faithfully embedded in a totally traced category. Also conversely, every symmetric monoidal subcategory of a totally traced category is partially traced, so this characterize...

To the memory of my father. Abstract The classical Eckmann-Hilton argument shows that two monoid structures on a set, such that one is a homomorphism for the other, coincide and, moreover, the resulting monoid is commutative. This argument immediately gives a proof of the commutativity of the higher homotopy groups. A reformulation of this argument in the language of higher categories is: suppo...

We prove that every topological space (T0-space, T1-space) can be embedded in a pseudoradial space (in a pseudoradial T0-space, T1-space). This answers the Problem 3 in [2]. We describe the smallest coreflective subcategory A of Top such that the hereditary coreflective hull of A is the whole category Top.

This paper deals with questions relating to Haghverdi and Scott’s notion of partially traced categories. The main result is a representation theorem for such categories: we prove that every partially traced category can be faithfully embedded in a totally traced category. Also conversely, every symmetric monoidal subcategory of a totally traced category is partially traced, so this characterize...

This work presents remote store programming (RSP), an instance of the reflective memory model designed to be incrementally supportable on multicores that support loads and stores. To demonstrate the value of RSP, its performance is compared to that of both shared and distributed memory approaches using the TILEPro64 multicore processor. RSP is shown to be as much as 1.76× faster than distribute...

the purpose of this study was to examine how four teachers used the seven processes of videotape analysis to develop an analytic approach and reflective thinking towards their teaching. the study was organized within video clubs and was used to describe the interactions among four teachers about their experiences at a language institute. data were gathered through videotaped recordings of lesso...