Abstract
One of the advantages of logic programming is the fact that it offers many sources of implicit parallelism, such as and-parallelism and or-parallelism. Arguably, or-parallel systems, such as Aurora and Muse, have been the most successful parallel logic programming systems so far. Or-parallel systems rely on techniques such as Environment Copying to address the problem that branches being explored in parallel may need to assign different bindings for the same shared variable. Recent research has led to two new binding representation approaches that also support independent and-parallelism: the Sparse Binding Array and the Copy-On-Write binding models. In this paper, we investigate whether these newer models are practical alternatives to copying for or-parallelism. We based our work on YapOr, an or-parallel copying system using the YAP Prolog engine, so that the three alternative systems share schedulers and the underlying engine.

Abstract
This paper discusses the design of Dorpp, an or-parallel Prolog system for distributed memory architectures, The problem of sharing the environment across a set of nodes that do not physically share memory is addressed in a novel manner by designing a Virtual Shared Memory (VSM) scheme to specifically meet the requirements of or-parallelism The aim is to avoid the overheads of a general VSM scheme that would provide a stricter level of memory coherence than is actually required, The paper identifies the requirements for memory coherence in or-parallel Prolog, and describes how they can be met cheaply, Simulation results are presented and analyzed in order to highlight key aspects of the system's run-time behavior.

Abstract

Abstract
Monitoring and control of RTM process is essential to minimise trial and errors and optimise cycle productions. Hence a research programme was established to study different systems to control the process. In this paper, several experiments are described in which an on-line system based on fibre Bragg sensors was implemented.

Abstract
The main objective of this paper is to present a study on the wind energy potential that is being developed in the Region of Tras-os-Montes and Alto Douro. This study started in July 1996 and will continue until the end of 1998. In order to have an adequate characterisation of the wind energy potential in this region it is necessary to measure the wind speed and direction in several places. At this moment the data are being collected at nine places. Due to lack of space, only four places will be addressed in this article. The Region of Douro and Alto Tras-os-Montes has an area of 12,235 km(2). It is located in the Northeast part of Portugal and represents 57.7% of the North Region. Other projects refer to this region as having great potential in the field of renewable energies [1,2]. From the analysis of the collected data, it seems that wind energy in Marao and Alvao mountains is one of the most interesting renewable energies [3,4].

Abstract
Given the wide variety of available classification algorithms and the volume of data today's organizations need to analyze, the selection of the right algorithm to use on a new problem is an important issue. In this paper we present a combination of techniques to address this problem. The first one, zooming, analyzes a given dataset and selects relevant (similar) datasets that were processed by the candidate algoritms in the past. This process is based on the concept of distance, calculated on the basis of several dataset characteristics. The information about the performance of the candidate algorithms on the selected datasets is then processed by a second technique, a ranking method. Such a method uses performance information to generate advice in the form of a ranking, indicating which algorithms should be applied in which order. Here we propose the adjusted ratio of ratios ranking method. This method takes into account not only accuracy but also the time performance of the candidate algorithms. The generalization power of this ranking method is analyzed. For this purpose, an appropriate methodology is defined. The experimental results indicate that on average better results are obtained with zooming than without it.