In this note we present a new treatment of the pointfree version of the semicontinuous quasi-uniformity based on the new tool of the ring of arbitrary (not necessarily continuous) real-valued functions made available recently by J. Gutiérrez Garćıa, T. Kubiak and J. Picado [Localic real functions: a general setting, Journal of Pure and Applied Algebra 213 (2009) 1064-1074]. The purpose is to sh...

An account of lower and upper integration is given. It is constructive in the sense of geometric logic. If the integrand takes its values in the nonnegative lower reals, then its lower integral with respect to a valuation is a lower real. If the integrand takes its values in the non-negative upper reals, then its upper integral with respect to a covaluation and with domain of integration bounde...

In a previous paper we constructed a full and faithful functor M from the category of locally compact metric spaces to the category of formal topologies (representations of locales). Here we show that for a real-valued continuous function f , M ( f ) factors through the localic positive reals if, and only if, f has a uniform positive lower bound on each ball in the locally compact space. We wor...

We investigate the development of theories of types and computability via realizability. In the rst part of the thesis, we suggest a general notion of realizability, based on weakly closed partial cartesian categories, which generalizes the usual notion of realizability over a partial combinatory algebra. We show how to construct categories of so-called assemblies and modest sets over any weakl...

Scholars writing books that are widely used to support teaching in higher education may be undervalued due to a lack of evidence of teaching value. Whilst sales data may give credible evidence for textbooks, it may poorly reflect educational uses of other types of books. As an alternative, this article proposes a method to automatically search for mentions of books in online academic course syl...

Automatic acquisition of inference rules for predicates has been commonly addressed by computing distributional similarity between vectors of argument words, operating at the word space level. A recent line of work, which addresses context sensitivity of rules, represented contexts in a latent topic space and computed similarity over topic vectors. We propose a novel two-level model, which comp...

This paper describes TM/XML, an XML syntax for Topic Maps that is very close to the natural, or colloquial, XML representation of the information in the topic map. It can be used to process Topic Maps data with XML tools, and integrate non-Topic Maps systems with Topic

A teacher must consider many details when planning and organizing a course. This paper shows how the new Topic Map computer technology can help in this process. The developed Topic Map for the CS knowledge domain is used for the analysis of introductory CS courses, but it can be also applied to other courses, including in noncomputer disciplines. Well-structured Topic Maps may become a solid ba...