: Prawitz proved a theorem, formalising `harmony' in Natural Deduction systems, which showed that, corresponding to any deduction there is one to the same effect but in which ...
We study games in which the choices available to players are not fixed, and may change during the course of play. Specifically, we consider a model in which players may switch st...
Adaptive course generation becomes more appropriate for realistic usage scenarios and more flexible if it includes mechanisms deciding just-in-time which content, which exercises,...
Adhesive categories are a class of categories in which pushouts along monos are well-behaved with respect to pullbacks. Recently it has been shown that any topos is adhesive. Many ...
Peter T. Johnstone, Stephen Lack, Pawel Sobocinski
This paper presents the participation of the MIRACLE team1 at the ImageCLEF 2005 interactive search task, in which we compare the efficiency of AND monolingual queries (which have ...