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 quest for a balanced manpower capacity: different flexibility strategies examined

To cope with permanent fluctuations in demand, organizations are challenged to organize their manpower capacity in a flexible way. Different strategies of manpower planning are being used for this purpose. Using data from the 2002 Panel Survey of Organisations Flanders, we first verify to what extent temporal, contractual and functional flexibility strategies are applied in Flemish organizations. Subsequently, logistic regression is used to analyse the link between these flexible work strategies and a ‘fitting manpower capacity’. While the results show a negative association between the use of temporal or contractual flexibility measures and a balanced manpower capacity, functional flexibility seems to be positively related. The different logics in which numerical and functional flexibility proceed can be labeled as ‘curative’ versus ‘preventive’ strategies of flexibility. Further analyses discern between various interpretations of functional flexibility and assess whether different team types make a contribution to a fitting manpower capacity.

Segmentation of striatal brain structures from high resolution pet images

Dissertation presented at the Faculty of Science and Technology of the New University of Lisbon in fulfillment of the requirements for the Masters degree in Electrical Engineering and Computers

Time-frequency and time-scale characterisation of the beat-by-beat high-resolution electrocardiogram

Proceedings of the Sixth Portuguese Conference on Bioemedical Engineering faro, Portugal

Chaînes opératoires and resource-exploitation strategies in chimpanzee (Pan troglodytes) nut cracking

Journal of Human Evolution, V. 55, pp. 148-163

Learning in higher education: strategies to overcome challenges faced by adult students – lessons drawn from two case studies in Portugal

This paper appears in International Journal of Information and Communication Technology Education edited by Lawrence A. Tomei (Ed.) Copyright 2007, IGI Global, www.igi-global.com. Posted by permission of the publisher. URL:http://www.idea-group.com/journals/details.asp?id=4287.

High resolution stratigraphy and miocene facies correlation in Lisbon and Setúbal Peninsula (Lower Tagus basin, Portugal)

Correlation between facies associations (marine, estuarine and distal fluviatile environments) and disconformities, observed between Foz da Fonte (SW of Setúbal Peninsula) and Santa Iria da Azóia (NE of Lisbon) are presented. The precise definition of the marine-continental facies relationships improved very much the chronology of the depositional sequence boundaries. Tectonic and eustatic controls are discussed on the basis of subsidence rates variation.

High-resolution correlation of coastal cliff sections in the Lagos- Portimao Formation (Lower - Middle Miocene, central Algarve, Portugal)

This paper describes a high-resolution stratigraphic correlation scheme for the early to middle Miocene Lagos-Portimão Formation of central Algarve, southern Portugal. The Lagos Portimão-Formation of central Algarve is a 60 m thick package of horizontally bedded siliciclastics and carbonates. The bryozoan and mollusc dominated biofacies is typical of a shallow marine, warm-temperate climatic environment. We define four stratigraphic marker beds based on biofacies, lithology, and gamma-ray signatures. Marker bed 1 is a reddish shell bed composed predominantly of bivalve shells in various stages of fragmentation. Marker bed 2 is a fossiliferous sandstone / sandy rudstone characterized by bryozoan masses. Marker bed 3 is also a fossiliferous sandstone with abundant larger foraminifers and foliate bryozoans. Marker bed 4 is composed of three distinct layers; two fossiliferous sandstones with an intercalated shell bed. The upper sandstone unit displays thickets of the bryozoan Celleporaria palmate associated with the coral Culizia parasitica. This stratigraphic framework allows to correlate isolated outcrops within the stratigraphic context of the Lagos-Portimão Formation and to establish high resolution chronostratigraphic Sr-isotopic dating.

Expression of antibodies and retroviralVectors from defined chromosomal sites: strategies towards reliable production systems

Dissertation presented to obtain a Ph.D. degree in Sciences of Engineering and Technology, Cell Technology, at the Instituto de Tecnologia Química e Biológica, Universidade Nova de Lisboa

L’IMPORTANCE DES OBJETS DANS LA “MAISON DE PASSAGE”: ENTRE NOSTALGIE ET STRATEGIES D’AFFIRMATION IDENTITAIRE

Relatório de Estágio do Mestrado em Migrações, Inter-etnicidades e Transnacionalismo

Bridging environmental conflicts with social metabolism : forestry expansion and socioeconomic change

Dissertação apresentada para obtenção do Grau de Doutor em Ciências do Ambiente, pela Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia

Probabilistic maintenance and optimization strategies for deteriorating civil infrastructures

In developed countries, civil infrastructures are one of the most significant investments of governments, corporations, and individuals. Among these, transportation infrastructures, including highways, bridges, airports, and ports, are of huge importance, both economical and social. Most developed countries have built a fairly complete network of highways to fit their needs. As a result, the required investment in building new highways has diminished during the last decade, and should be further reduced in the following years. On the other hand, significant structural deteriorations have been detected in transportation networks, and a huge investment is necessary to keep these infrastructures safe and serviceable. Due to the significant importance of bridges in the serviceability of highway networks, maintenance of these structures plays a major role. In this paper, recent progress in probabilistic maintenance and optimization strategies for deteriorating civil infrastructures with emphasis on bridges is summarized. A novel model including interaction between structural safety analysis,through the safety index, and visual inspections and non destructive tests, through the condition index, is presented. Single objective optimization techniques leading to maintenance strategies associated with minimum expected cumulative cost and acceptable levels of condition and safety are presented. Furthermore, multi-objective optimization is used to simultaneously consider several performance indicators such as safety, condition, and cumulative cost. Realistic examples of the application of some of these techniques and strategies are also presented.

Managerial strategies in canning industries: A case study of early twentieth century Portugal

Business History, Vol, 51 Issue 1, p45-58

Development and implementation of strategies for the incorporation of reinforcing elements in aluminium alloys by solid state processing

Dissertação para obtenção do Grau de Mestre em Engenharia Mecânica

New strategies to detect and understand genotype-by-environment interactions and QTL-by-environment interactions

Dissertação para obtenção do Grau de Doutor em Estatística e Gestão do Risco, especialidade em Estatística