Process-oriented learning designs (POLD) are used to describe innovative teaching activities (processes) that can be generalised and used across different disciplines. This paper ...
Managing and communicating information and knowledge with patterns entail a multitude of assumptions, interests, and validity claims. Patterns are socially constructed, and they m...
This paper is an attempt to develop a unifying algebraic framework for extensional theories capturing formally the informal concept of extensionality, as well as a generic automate...
This paper discusses possible routes to moving the web from a collection of human readable pieces of information connecting humans, to a web that connects computing devices based o...
This paper shows how to achieve, under certain conditions, abstract-interpretation ms that enjoy the best possible precision for a given abstraction. The key idea is a simple proce...