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.

Évolution géologique de la marge ouest-ibérique

This paper is a summary of the results of the authors recent researches about the Western Iberian continental margin. During the Mesozoic, the margin is affected by two consecutive extensional phases interpreted as the result from two episodes of rifting in the Atlantic. Then during Cenozoic, subsidence was interrupted by compression and related deformation, specially during Eocene time. Ante-mesozoic basement controls the structural and sedimentary evolution of the margin.

La marge continentale sud-portugaise: évolution structurale et sédimentaire

The structural and sedimentary evolution of the portuguese continental margin South of Setúbal Canyon is outlined from the study of many seismic reflection profiles and rocks samples. During Triassic and Early Liassic time, a distension affects the Algarve margin that belongs to the Mesogean area. Off Baixo Alentejo rifting phases at Late Jurassic and Early Cretaceous times induced opening or widening of the adjacent part of the Atlantic ocean. Alpine orogeny is inferred to explain the Eocene and Miocene deformation of the margin specially along the main NE-SW fractures.

Gruta da figueira brava (Arrabida): Geological setting

Separata do Tomo XXXVIII das Memories da Academia das Ciencias de Lisboa (Classe de Ciencias)

Derivation methods for hybrid knowledge bases with rules and ontologies

Trabalho apresentado no âmbito do Mestrado em Engenharia Informática, como requisito parcial para obtenção do grau de Mestre em Engenharia Informática

Automatic sleep apnea detection and sleep classification using the ECG and the SpO2 signals

Dissertation for a Masters Degree in Computer and Electronic Engineering

Age constraints on the late cretaceous alkaline magmatism on the West Iberian margin

Cretaceous Research 30 (2009) 575–586

Aspectos gerais da tectónica alpina no Algarve

The study of the tectonic strutures affecting the mesozoic and cenozoic deposits of Algarve's basin allows us to recognize the following phases of the Alpine orogeny: Jurassic (Upper Triassic at least)-Lower Cretaceous N-S distension; N-S compression during the setting-up of the Monchique syenite dome at the uppermost Cretaceous; Paleogene compression (?) (only locally? - at the Albufeira salt dome); Lower Miocene N-S distension; Upper Burdigalian to Lower Langhian N-S and E-W distension; N-S or NNW-SSE compression after the Middle Miocene; E-W compression after the Upper Tortonian; N-S compression during the Quaternary. NE-SW fractures affecting the Paleozoic basement are related with the first distension phases. The mesozoic N-S distension are the main cause of the two E-W flexures so far recognized. A tectonic inversion event did occur after the setting up of the Monchique syenite. If, the Lower Cretaceous Lower Miocene Albufeira's unconformity, is a local effect of halokinesis then, the true tectonic inversion of the Algarve basin, did occur in the Middle Miocene. These events correlate well with those knewn at Southern Spain and Morocco.

Critical reappraisal of Late Mesozoic-Cenozoic Central and North Atlantic, Caribbean and Mediterranean evolution

(l) The Pacific basin (Pacific area) may be regarded as moving eastwards like a double zip fastener relative to the continents and their respective plates (Pangaea area): opening in the East and closing in the West. This movement is tracked by a continuous mountain belt, the collision ages of which increase westwards. (2) The relative movements between the Pacific area and the Pangaea area in the W-E/E-W direction are generated by tidal forces (principle of hypocycloid gearing), whereby the lower mantle and the Pacific basin or area (Pacific crust = roof of the lower mantle?) rotate somewhat faster eastwards around the Earth's spin axis relative to the upper mantle/crust system with the continents and their respective plates (Pangaea area) (differential rotation). (3) These relative West to East/East to West displacements produce a perpetually existing sequence of distinct styles of opening and closing ocean basins, exemplified by the present East to West arrangement of ocean basins around the globe (Oceanic or Wilson Cycle: Rift/Red Sea style; Atlantic style; Mediterranean/Caribbean style as eastwards propagating tongue of the Pacific basin; Pacific style; Collision/Himalayas style). This sequence of ocean styles, of which the Pacific ocean is a part, moves eastwards with the lower mantle relative to the continents and the upper-mantle/crust of the Pangaea area. (4) Similarly, the collisional mountain belt extending westwards from the equator to the West of the Pacific and representing a chronological sequence of collision zones (sequential collisions) in the wake of the passing of the Pacific basin double zip fastener, may also be described as recording the history of oceans and their continental margins in the form of successive Wilson Cycles. (5) Every 200 to 250 m.y. the Pacific basin double zip fastener, the sequence of ocean styles of the Wilson Cycle and the eastwards growing collisional mountain belt in their wake complete one lap around the Earth. Two East drift lappings of 400 to 500 m.y. produce a two-lap collisional mountain belt spiral around a supercontinent in one hemisphere (North or South Pangaea). The Earth's history is subdivided into alternating North Pangaea growth/South Pangaea breakup eras and South Pangaea growth/North Pangaea breakup eras. Older North and South Pangaeas and their collisional mountain belt spirals may be reconstructed by rotating back the continents and orogenic fragments of a broken spiral (e.g. South Pangaea, Gondwana) to their previous Pangaea growth era orientations. In the resulting collisional mountain belt spiral, pieced together from orogenic segments and fragments, the collision ages have to increase successively towards the West. (6) With its current western margin orientated in a West-East direction North America must have collided during the Late Cretaceous Laramide orogeny with the northern margin of South America (Caribbean Andes) at the equator to the West of the Late Mesozoic Pacific. During post-Laramide times it must have rotated clockwise into its present orientation. The eastern margin of North America has never been attached to the western margin of North Africa but only to the western margin of Europe. (7) Due to migration eastwards of the sequence of ocean styles of the Wilson Cycle, relative to a distinct plate tectonic setting of an ocean, a continent or continental margin, a future or later evolutionary style at the Earth's surface is always depicted in a setting simultaneously developed further to the West and a past or earlier style in a setting simultaneously occurring further to the East. In consequence, ahigh probability exists that up to the Early Tertiary, Greenland (the ArabiaofSouth America?) occupied a plate tectonic setting which is comparable to the current setting of Arabia (the Greenland of Africa?). The Late Cretaceous/Early Tertiary Eureka collision zone (Eureka orogeny) at the northern margin of the Greenland Plate and on some of the Canadian Arctic Islands is comparable with the Middle to Late Tertiary Taurus-Bitlis-Zagros collision zone at the northern margin of the Arabian Plate.

El paisaje del área fuente cenozoica, evolución e implicaciones; correlación con el registro sedimentario de las cuencas

Erosion surfaces are the main geomorphological features of the Hesperian Massif. However, three other physiographic elements define the present state of the landscape. Such are big mountain blocks with polygonal borders building at great scale mountain chains, some more modest ridges following hercynian structural trends, and finally the strong incision of the fluvial net. On the other hand, paleoalterations and associated sediments are the only available ways for relief correlation and interpretation. It consists of a triple relationship giving good results when the regional stratigraphy is well known. Tectonic massifs, differential relief sand incisions are originated by geotectonic alpine disturbances during the Tertiary. The three events are consecutive in time with overlapping lapses which the prior and following element: differencial reliefs as a mesozoic heritage occur first, afterwards morphostructural blocks responding directly to the alpine deformation, and finally the fluvial incision as a delayed answer to the preceding morphostructural changes. The relationship relief sedimentation confirms widely this idea, since an association exists between a siderolitic Cretaceous-lower Paleogene and the differential reliefs, between arkoses from the upper Paleogene and the tectonic morphostructural blocks and between the Neogene Series Ocres and the terraces.

Contribuição para a análise tectono-sedimentar do Fosso de Aljezur (SW de Portugal)

The Aljezur "graben" is a crucial piece in understanding the Caenozoic evolution of the SW atlantic portuguese edge. Detailed study of the sedimentary filling and bordering accidents allows the identification of several evolution steps since the Miocene. The graben is bordered by accidents that dislocate geomorphologic surfaces (Littoral Platform to the W, Interior Platform to the E), and also Neogene sedimentary units. The sedimentary filling is composed by conglomerates and sands grading into clays and bioclastic limestones (Burdigalian to Serravalian), upon which lie unconformably fine reddish sands, sometimes with abundant micas. Genetic and geometric relationships between these sands, those in higher surfaces outside the "graben" and the main bordering faults, are discussed. As a conclusion, the reconstruction of the tectono-sedimentary evolution is attempted, integrating it in a "pull-apart" context associated with the Messejana-fault system and it's reactivation by the differently orientated alpine compressions.

Vertente transatlântica do ELSJ: pode a UE ser Norm-Maker?

Dissertação apresentada para cumprimento dos requisitos necessários à obtenção do grau de Mestre em Estudos Europeus

A volumetric hybrid representation for obstacle detection in all-terrain robots

This dissertation presents an approach aimed at three-dimensional perception’s obstacle detection on all-terrain robots. Given the huge amount of acquired information, the adversities such environments present to an autonomous system and the swiftness, thus required, from each of its navigation decisions, it becomes imperative that the 3-D perceptional system to be able to map obstacles and passageways in the most swift and detailed manner. In this document, a hybrid approach is presented bringing the best of several methods together, combining the lightness of lesser meticulous analyses with the detail brought by more thorough ones. Realizing the former, a terrain’s slope mapping system upon a low resolute volumetric representation of the surrounding occupancy. For the latter’s detailed evaluation, two novel metrics were conceived to discriminate the little depth discrepancies found in between range scanner’s beam distance measurements. The hybrid solution resulting from the conjunction of these two representations provides a reliable answer to traversability mapping and a robust discrimination of penetrable vegetation from that constituting real obstructions. Two distinct robotic platforms offered the possibility to test the hybrid approach on very different applications: a boat, under an European project, the ECHORD Riverwatch, and a terrestrial four-wheeled robot for a national project, the Introsys Robot.

Humor and the framing of the public sphere and public opinion in Portugal (1797-1834)

In his Answer to the Question: What is Enlightenment (1784), Kant puts forward his belief that the vocation to think freely, which humankind is endowed with, is bound to make sure that “the public use of reason” will at last act “even on the fundamental principles of government and the state [will] find it agreeable to treat man – who is now more than a machine – in accord with his dignity”. The critical reference to La Mettrie (1747), by opposing the machine to human dignity, will echo, in the dawn of the 20th century, in Bergson’s attempt to explain humor. Besides being exclusive to humans, humor is also a social phenomenon. Freud (1905) assures that pleasure originated by humor is collective, it results from a “social process”: jokes need an audience, a “third party”, in order to work and have fun. Assuming humor as a social and cultural phenomenon, this paper intends to sustain that it played a role in the framing of the public sphere and of public opinion in Portugal during the transition from Absolute Monarchy to Liberalism. The search for the conditions which made possible the critical exercise of sociability is at the root of the creation of the public sphere in the sense developed by Habermas (1962), whose perspective, however, has been questioned by those who point 2 out the alleged idealism of the concept – as opposed, for example, to Bakhtin (1970), whose work stresses diversity and pluralism. This notwithstanding, the concept of public sphere is crucial to the building of public opinion, which is, in turn, indissoluble from the principle of publicity, as demonstrated by Bobbio (1985). This paper discusses the historical evolution of the concept of public opinion from Ancient Greece doxa, through Machiavelli’s “humors” (1532), the origin of the expression in Montaigne (1580) and the contributions of Hobbes (1651), Locke (1690), Swift (1729), Rousseau (1762) or Hume (1777), up to the reflection of Lippman (1922) and Bourdieu’s critique (1984). It maintains that humor, as it appears in Portuguese printed periodicals from 1797 (when Almocreve de Petas was published for the first time) to the end of the civil war (1834) – especially in those edited by José Daniel Rodrigues da Costa but also in O Piolho Viajante, by António Manuel Policarpo da Silva, or in the ones written by José Agostinho de Macedo, as well as in a political “elite minded” periodical such as Correio Braziliense –, contributed to the framing of the public sphere and of public opinion in Portugal.