One possible consequence of ICT’s rapid rise will be a new ‘generation gap’ arising from differing perceptions of the learning technologies. The nature, causes and consequences of this gap are of interest to educational practitioners and policymakers. This paper uses data from an ongoing project together with a synopsis of research to describe the ICT-based generation gap that currently exists ...

Cryptographic protocol design demands careful verification during all phases of development. Belief logics, in the tradition of the Burrows, Abadi, and Needham (BAN) logic of authentication [BAN90], provide a simple, intuitive model, and allow natural expressions of a protocol and its goals. Since manual deduction is error-prone, protocol designers need automated tools to make effective use of ...

In this paper, we address one of the central problems in text generation: the missing link ("the generation gap" in Meteer's terms) between the global discourse organization as often provided by text planning modules and the linguistic realization of this organization. We argue that the link should be established by the lexical choice proces s using resources derived from Mel'~uk's Lezical Func...

We analyze stability and generation of discrete gap solitons in weakly coupled optical waveguides. We demonstrate how both stable and unstable solitons can be observed experimentally in the engineered binary waveguide arrays and also reveal a connection between the gap-soliton instabilities and limitations on the mutual beam focusing in periodic photonic structures.