Self-plagiarism requires clear definition within an environment that places integrity at the heart of the research enterprise. This paper explores the whole notion of self-plagiarism by academics and distinguishes between appropriate and inappropriate textual re-use in academic publications, while considering research on other forms of plagiarism such as student plagiarism. Based on the practic...

Broadcast encryption provides an efficient way to encrypt a message for a large number of receivers. This paper investigates whether it is possible to further improve efficiency of an existing state-of-the-art broadcast encryption scheme by re-using a subset of the random choices among different encryptions, without compromising the security of the original scheme. We introduce two schemes: the...

Submitted to the Tools Europe 93 conference; rejected by the program committee.

In this paper we discuss which properties of a formally verified component are preserved when the component is changed due to an adaption to a new use. More specifically, we will investigate when a temporal logic property of an Object-Z class is preserved under a modification or extension of the class with new features. To this end, we use the slicing technique from program analysis which provi...

The Committee for Scientific and Clinical Initiatives, with the approval of the Board of the European Society of Cardiology (ESC), has initiated Policy Conferences in the European Heart House. The purpose of such conferences is to provide a forum for debating matters of importance for the practice of cardiology. Subjects to be addressed are those where knowledge is still insufficient for the cr...

How scientists make use of computers to explore data is of central importance. Existing methods are largely ad-hoc using spreadsheets for data manipulation and separate algorithms packages for analysis. Where successful processes need to be automated, the traditional bioinformatics approach has been to create bespoke applications using scripting languages such as Perl. Recent approaches to repr...

Effective decision support has already been identified as a fundamental requirement for the realisation of Network Enabled Capability. Decision making itself is a knowledge-intensive process, and it is known that right decisions can only be reached based on decision maker’s good judgement, which in turn is based on sufficient knowledge. It is not unusual for decision makers to make incorrect de...

There has been an increasing concern about inactive drivers who would easily lead to road accidents and fatalities once return to driving. This study investigated the re-usability of traffic signs for inactive drivers with consideration of driver factors and cognitive sign features. Fifty-seven Hong Kong Chinese, who possessed a full driving license but had not driven for an extended period, co...

Researchers of CSIRO Land and Water in Griffith in Australia have found a way to repeatedly reuse drainage water to grow crops. In the process the system will concentrate the salt in the water to a manageable level which can then be used or stored in an environmentally friendly manner. The process, known as sequential biological concentration, is based on a novel system for Land, based treatmen...