Semiotic interpretation of lexical cohesion is a major research challenge both in theoretical and applied linguistics. From the point of view of usagebased language description, individual lexical units can be roughly characterized by their collocation profiles, i.e., by collections of condensed usage patterns extracted from very large corpora. It is posited that related lexical units tend to s...

The difficulty in reading and interpreting textual information interferes in the quality of the interaction of pre-linguistic deaf in the web. This article aims at determining whether the use of new communication strategies improves interaction of the deaf. The stage of data collection and observation involved the participation of eight volunteers. Two sessions of observation of interactions we...

Organisational Semiotics (OS) aims to provide new methodologies, techniques and tools to the development of information systems and organisations by applying semiotic theories and studies, therefore offering a new perspective on the field, which incorporates technical and social aspects. In order to apply semiotics to Information Systems (IS) and Information technology (IT) different approaches...

It is often claimed that the essence of functional programming is the use of functions as values, i.e., of higher order functions, and many interesting examples have been given showing the power of this approach. Unfortunately, the logic of higher order functions is diicult, and in particular, higher order uniication is undecidable. Moreover (and closely related), higher order expressions are n...

In this thesis I show is that it is possible to give modular correctness proofs of interesting higher-order imperative programs using higher-order separation logic. To do this, I develop a model higher-order imperative programming language, and develop a program logic for it. I demonstrate the power of my program logic by verifying a series of examples, culminating in the correctness proof of a...

We introduce the notion of open learner models as artifacts and resources, situated in school level to illustrate a context of multiple user types. We suggest a new direction for research, focussing on open learner models as a facilitator of communication from a semiotic engineering perspective.

We describe a new approach to higher-order narrowing computations in a class of systems suitable for functional logic programming. Our approach is based on a translation of these systems into ordinary (£rst-order) rewrite systems and the subsequent application of conventional narrowing strategies. Our translation is an adaptation to narrowing of Warren’s translation, but unlike similar previous...

This paper attempts to establish a systems-semiotic framework explaining creativity in the design process, where the design process is considered to have as its basis the cognitive process. The design process is considered as the interaction between two or more cognitive systems resulting in a purposeful and ongoing transformation of their already complex representational structures and the pro...