The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
In biological sequence analysis many DNA and RNA sequences discovered in laboratory experiments are not properly identified. Here the focus is on using clustering algorithms to provide a structure to the data. The approach is inter-disciplinary using domain knowledge to identify such sequences. The enormous volume and high dimensionality of unidentified biological sequence data presents a challenge...
Temporal logic is useful for reasoning about time-varying properties. To achieve this it is important to validate temporal logic specifications. The decision problem for propostional temporal logic is PSPACE complete and thus automated tableau-based theorem provers are both computationally and resource intensive. Here we analyse a standard temporal tableau method using parallelism in an attempt to...
This paper is concerned with resource management on Flagship: a packet-based parallel graph reduction machine specifically designed to support the efficient execution of functional languages. Much of the system software of the machine was implemented above the computational model. The major concerns of the system software were the sharing of resources in a way that is compatible with a declarative...
The aim of the High Performance Banking (HYPERBANK) project is to provide the banking sector with the requisite toolset for the increased understanding of existing and prospective customers. The approach exploits and integrates three areas: business knowledge modelling, data warehousing and data mining, together with parallel computing. Business knowledge modelling formally describes the enterprise...
In some database systems it has become evident that transactions can consist of a succession of ‘tiers’ where different types of data are being accessed. Despite the different nature of the data accessed by each tier the transactions cannot be split up because of the interdependencies between the albeit different data of the individual tiers. However, the tiered nature of such transactions can offer...
In this paper OBM, a method for developing concurrent systems in a formal framework is described. The method arose from an industrially collaborative project, and has been used, in various forms, to specify parts of operating systems, databases and retail systems. OBM allows a system to be gradually refined by levelled descriptions. Varying granularities of activities can be specified, Most...