Concurrent tabling

In the past few years Tabling has emerged as a powerful logic programming model. The integration of concurrent features into the implementation of Tabling systems is demanded by need to use recently developed tabling applications within distributed systems, where a process has to respond concurrently to several requests. The support for sharing of tables among the concurrent threads of a Tabling process is a desirable feature, to allow one of Tabling’s virtues, the re-use of computations by other threads and to allow efficient usage of available memory. However, the incremental completion of tables which are evaluated concurrently is not a trivial problem. In this dissertation we describe the integration of concurrency mechanisms, by the way of multi-threading, in a state of the art Tabling and Prolog system, XSB. We begin by reviewing the main concepts for a formal description of tabled computations, called SLG resolution and for the implementation of Tabling under the SLG-WAM, the abstract machine supported by XSB. We describe the different scheduling strategies provided by XSB and introduce some new properties of local scheduling, a scheduling strategy for SLG resolution. We proceed to describe our implementation work by describing the process of integrating multi-threading in a Prolog system supporting Tabling, without addressing the problem of shared tables. We describe the trade-offs and implementation decisions involved. We then describe an optimistic algorithm for the concurrent sharing of completed tables, Shared Completed Tables, which allows the sharing of tables without incurring in deadlocks, under local scheduling. This method relies on the execution properties of local scheduling and includes full support for negation. We provide a theoretical framework and discuss the implementation’s correctness and complexity. After that, we describe amethod for the sharing of tables among threads that allows parallelism in the computation of inter-dependent subgoals, which we name Concurrent Completion. We informally argue for the correctness of Concurrent Completion. We give detailed performance measurements of the multi-threaded XSB systems over a variety of machines and operating systems, for both the Shared Completed Tables and the Concurrent Completion implementations. We focus our measurements inthe overhead over the sequential engine and the scalability of the system. We finish with a comparison of XSB with other multi-threaded Prolog systems and we compare our approach to concurrent tabling with parallel and distributed methods for the evaluation of tabling. Finally, we identify future research directions.

The transformation of work? A quantitative evaluation of changes in work in Portugal

This report is made for the Work Package 15 of WORKS project and tries to develop more information on the Portuguese situation in the work structures changes in the recent years. It starts with an analysis of socio- economical indicators (Macro economical indicators, Employment indicators, Consumption, Technology at the workplace, Productivity), and then approaches the situation in terms of work flexibility in its dimensions of time use and New forms of work organisation. It traces employment in business functions with a sectoral and occupational approach, and analyses the occupational change in South Europe with particular relevance to Portugal (skill utilisation and job satisfaction, occupational and industrial mobility, quantitative evaluation of the shape of employment in Europe. Finaly are analysed the globalisation indicators.

Evaluation of the potential of translocated common cockle for ecological risk assessment studies: bioaccumulation and biomarkers test

Thesis submitted to the Faculdade de Ciências e Tecnologia to obtain the Master’s degree in Environmental Engineering, profile in Ecological Engineering

2,4,6- Ttrichloroanisol:a consumer panel evaluation

“Cork taint” is a major problem in wine industry and is caused by contamination of wines. This contamination is usually attributed to wine cork stoppers and 2,4,6-trichloroanisole (2,4,6-TCA) is one of the compounds mostly associated to this off-flavour. In this work, a consumer panel performed “forced choice” triangular tests in order to measure Odour Detection Thresholds (ODT) and Taste Detection Thresholds (TDT) of 2,4,6-TCA in water, hydro-alcoholic solutions (11.5% and 18% ethanol) and white and red wines. A paired preference test was also performed by the panel in order to measure Odour Rejection Threshold (ORT) in white and red wine spiked with 2,4,6-TCA. Results obtained show that the ODT and the TDT for 2,4,6-TCA in water were 0.2 and 0.3 ng/L, respectively. In hydro-alcoholic solutions with 11.5% and 18% ethanol the ODT were 4 and 10 ng/L respectively. In red wine the ODT and the TDT were 0.9 and 1.7 ng/L and in white wine were 1.5 and 1.0 ng/L respectively. ORT for white was 10.4 ng/L and for red wines 16.0 ng/L. These results suggest that although this group of consumers detected very low concentrations of 2,4,6-TCA in wines, they did not reject the wine at these low concentration values.

Anatase as an alternative application for preventing biodeterioration of mortars: evaluation and comparison with other biocides

International Biodeterioration & Biodegradation 64(2010)388 e 396

Software languages engineering: experimental evaluation

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do grau de Mestre em Engenharia Informática

Design and performance evaluation of turbo FDE receivers

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do Grau de Mestre em Engenharia Electrotécnica e de Computadores

The state of environmental performance evaluation in the public sector: the case of the Portuguese defence sector

Journal of Cleaner Production, nº 17, p. 36-52

The Vasco da Gama Bridge on the Tagus Estuary: A paradigm of bad decision making, but good post-evaluation

World Transport Policy & Practice, Vol.6, nº2, (2000)

Evaluation of Opuntia spp. bioactive products as promising natural chemotherapeutical agents- an in vitro approach

Dissertation to obtain a Master Degree in Biotechnology

Models for pheromone evaluation in Ant Systems for Mobile Ad-hoc networks

On a mobile ad-hoc network environment, where the resources are scarce, the knowledge about the network's link state is essential to optimize the routing procedures. This paper presents a study about different pheromone evaluation models and how they react to possible changes in traffic rate. Observing how the pheromone value on a link changes, it could be possible to identify certain patterns which can indicate the path status. For this study, the behavior of the Ant System evaluation model was compared with a Temporal Active Pheromone model (a biological approach) and a Progressive Pheromone Reduction model with and without a maximum pheromone limit.

Key-CRDT stores

Dissertação para obtenção do Grau de Mestre em Engenharia Informática

Evaluation of different natural ingredients as satiety inductors

Dissertation to obtain a Master’s Degree in Chemical and Biochemical Engineering

Evaluation of a volunteered geographical information trust measure in the case of OpenStreetMap

Dissertation submitted in partial fulfillment of the requirements for the Degree of Master of Science in Geospatial Technologies.

Evaluation of thermal remote sensing for detection of thermal anomalies as earthquake precursors: a case study for Malatya-Pütürge-Doganyol (Turkey) Earthquake, July 13, 2003

Dissertation submitted in partial fulfillment of the requirements for the Degree of Master of Science in Geospatial Technologies.