Biodegradação enzimática de aminas aromáticas tóxicas

Trabalho Final de Mestrado para obtenção do grau de Mestre em Engenharia Química e Biológica

Negotiation platform for personalised advertising

This paper describes a multi-agent brokerage platform for near real time advertising personalisation organised in three layers: user interface, agency and marketplace. The personalisation is based on the classification of viewer profiles and advertisements (ads). The goal is to provide viewers with a personalised advertising alignment during programme intervals. The enterprise interface agents upload new ads and negotiation profiles to producer agents and new user and negotiation profiles to distributor agents. The agency layer is composed of agents that represent ad producer and media distributor enterprises as well as the market regulator. The enterprise agents offer data upload and download operations as Web Services and register the specification of these interfaces at an UDDI registry for future discovery. The market agent supports the registration and deregistration of enterprise delegate agents at the marketplace. This paper addresses the marketplace layer, an agent-based negotiation platform per se, where delegates of the relevant advertising agencies and programme distributors negotiate to create the advertising alignment that best fits a viewer profile and the advertising campaigns available. The whole brokerage platform is being developed in JADE, a multi-agent development platform. The delegate agents download the negotiation profile and upload the negotiation results from / to the corresponding enterprise agent. In the meanwhile, they negotiate using the Iterated Contract Net protocol. All tools and technologies used are open source.

Conflito Russo-Ucraniano: o agendamento noticioso da SIC

Relatório de estágio apresentado à Escola Superior de Comunicação Social como parte dos requisitos para obtenção de grau de mestre em Jornalismo.

Semantics of logic programs with explicit negation

After a historical introduction, the bulk of the thesis concerns the study of a declarative semantics for logic programs. The main original contributions are: ² WFSX (Well–Founded Semantics with eXplicit negation), a new semantics for logic programs with explicit negation (i.e. extended logic programs), which compares favourably in its properties with other extant semantics. ² A generic characterization schema that facilitates comparisons among a diversity of semantics of extended logic programs, including WFSX. ² An autoepistemic and a default logic corresponding to WFSX, which solve existing problems of the classical approaches to autoepistemic and default logics, and clarify the meaning of explicit negation in logic programs. ² A framework for defining a spectrum of semantics of extended logic programs based on the abduction of negative hypotheses. This framework allows for the characterization of different levels of scepticism/credulity, consensuality, and argumentation. One of the semantics of abduction coincides with WFSX. ² O–semantics, a semantics that uniquely adds more CWA hypotheses to WFSX. The techniques used for doing so are applicable as well to the well–founded semantics of normal logic programs. ² By introducing explicit negation into logic programs contradiction may appear. I present two approaches for dealing with contradiction, and show their equivalence. One of the approaches consists in avoiding contradiction, and is based on restrictions in the adoption of abductive hypotheses. The other approach consists in removing contradiction, and is based in a transformation of contradictory programs into noncontradictory ones, guided by the reasons for contradiction.

Constraint solving over multi-valued logics - application to digital circuits

Due to usage conditions, hazardous environments or intentional causes, physical and virtual systems are subject to faults in their components, which may affect their overall behaviour. In a ‘black-box’ agent modelled by a set of propositional logic rules, in which just a subset of components is externally visible, such faults may only be recognised by examining some output function of the agent. A (fault-free) model of the agent’s system provides the expected output given some input. If the real output differs from that predicted output, then the system is faulty. However, some faults may only become apparent in the system output when appropriate inputs are given. A number of problems regarding both testing and diagnosis thus arise, such as testing a fault, testing the whole system, finding possible faults and differentiating them to locate the correct one. The corresponding optimisation problems of finding solutions that require minimum resources are also very relevant in industry, as is minimal diagnosis. In this dissertation we use a well established set of benchmark circuits to address such diagnostic related problems and propose and develop models with different logics that we formalise and generalise as much as possible. We also prove that all techniques generalise to agents and to multiple faults. The developed multi-valued logics extend the usual Boolean logic (suitable for faultfree models) by encoding values with some dependency (usually on faults). Such logics thus allow modelling an arbitrary number of diagnostic theories. Each problem is subsequently solved with CLP solvers that we implement and discuss, together with a new efficient search technique that we present. We compare our results with other approaches such as SAT (that require substantial duplication of circuits), showing the effectiveness of constraints over multi-valued logics, and also the adequacy of a general set constraint solver (with special inferences over set functions such as cardinality) on other problems. In addition, for an optimisation problem, we integrate local search with a constructive approach (branch-and-bound) using a variety of logics to improve an existing efficient tool based on SAT and ILP.

Makespan computation for GPU threads running on a single streaming multiprocessor

Graphics processors were originally developed for rendering graphics but have recently evolved towards being an architecture for general-purpose computations. They are also expected to become important parts of embedded systems hardware -- not just for graphics. However, this necessitates the development of appropriate timing analysis techniques which would be required because techniques developed for CPU scheduling are not applicable. The reason is that we are not interested in how long it takes for any given GPU thread to complete, but rather how long it takes for all of them to complete. We therefore develop a simple method for finding an upper bound on the makespan of a group of GPU threads executing the same program and competing for the resources of a single streaming multiprocessor (whose architecture is based on NVIDIA Fermi, with some simplifying assunptions). We then build upon this method to formulate the derivation of the exact worst-case makespan (and corresponding schedule) as an optimization problem. Addressing the issue of tractability, we also present a technique for efficiently computing a safe estimate of the worstcase makespan with minimal pessimism, which may be used when finding an exact value would take too long.

Analysis of stock market indices with multidimensional scaling and wavelets

Stock market indices SMIs are important measures of financial and economical performance. Considerable research efforts during the last years demonstrated that these signals have a chaotic nature and require sophisticated mathematical tools for analyzing their characteristics. Classical methods, such as the Fourier transform, reveal considerable limitations in discriminating different periods of time. This paper studies the dynamics of SMI by combining the wavelet transform and the multidimensional scaling MDS . Six continuous wavelets are tested for analyzing the information content of the stock signals. In a first phase, the real Shannon wavelet is adopted for performing the evaluation of the SMI dynamics, while their comparison is visualized by means of the MDS. In a second phase, the other wavelets are also tested, and the corresponding MDS plots are analyzed.

Dinossáurios Eocretácicos de Lagosteiros

According to an ancient folkloric legend, Our Lady, stepping down from the sea, would have rided on a mule to the platform above the cliffs named Pedra da Mua at Lagosteiros'bay, near Espichel cape. Mule's footprints, regarded by fishermen as evidence, would be clearly recognizable on exposed surfaces of the rocks. Indeed there are footprints but from Dinosaurs of latest Jurassic, Portlandian age, this spectacular locality being specially rich in giant Sauropod tracks (that have seldom been found elsewhere in Europe). As we proceeded to its study, another locality with Dinosaur footprints, Lower Cretaceous (Hauterivian) in age, was found on the northern cliffs at Lagosteiros. It is probably the richest one in european Lower Cretaceous and the only of this age known in Portugal, so we decided to give priority to its study. Dinosaur tracks have been printed on calciclastic sands in a lagoonal environment protected by fringing coral reefs. There have been emersion episodes; beaches were frequented by Dinosaurs. Later on, the marine barremian ingression restablished a gulf and such animals could not come here any more. Under a paleogeographical viewpoint, the evidence of a marine regression near the end of Hauterivian is to be remarked. Five types of tracks and footprints have been recognized: - Neosauropus lagosteirensis, new morphogenus and species, tracks from a giant Sauropod, perhaps from Camarasaurus; with its proportions the total length of the author would be about 15,5 m. These are the only Sauropod tracks known till now in Europe's Lower Cretaceous. - tracks from a not so big quadruped, maybe a Sauropod (young individual?); however it is not impossible that they were produced by Stegosaurians or Ankylosaurians. -Megalosauropus (?Eutynichnium) gomesi new morphospecies, four Theropod tracks most probably produced by megalosaurs. - Iguanodon sp., represented by some footprints and specially by a set corresponding to the feet and tail from an individual standing in a rest position. - problematical, quite small-sized biped (maybe an Ornithopod related to Camptosaurus). Evidence points to a richer fauna than that known in barremian "Dinosaur sandstones" from a nearby locality, Boca do Chapim. Lagosteiros' association clearly indicates the predominance of herbivores, which required large amounts of vegetable food in the neighbourhood. This is an indirect evidence of the vegetal wealth, also suggested by associations of plant macrofossils, polen and spores found in early Cretaceous sediments at the same region. The relatively high proportion of Theropoda is related to the wealth of the whole fauna, which comprised a lot of the prey needed by such powerful flesh-eaters. The evidence, as a whole, points out to a warm and moist climate. All the tracks whose direction could be measured are directed to the southern quadrants, this being confirmed by the approximative direction of other footprints. Massive displacements (migration?) could take place during a brief emersion episode. This may result from the ingression of barremian seas, flooding the region and restablishing here a small gulf. Even if the arrival of the waters damaged certain footprints it has not destroyed them completely, thus allowing the preservation of such evidence from a remote past.

Les Hipparion du Portugal

This paper is concerned with Hipparion from Ribatejo, Portugal, and with the stratigraphy of the Neogene series of this region. The first two chapters are an introduction and an historical review. Paleontological study includes both a revision of the specimens accounted by ROMAN (1907) and the description of new material. Two forms were recognized, an early H. cf. primigenium, lower Vallesian in age, NM 9 mammal unit (from Archino, Vila Nova da Rainha, Aveiras de Cima), and a more advanced H. primigenium cf. melendezi. Upper Vallesian, NM 10 (possibly lowermost Turolian, NM 11) (at Azambujeira and Marmeleira). A synthesis of Middle and Upper Miocene from Ribatejo is also presented. Levels with H. p. cf. melendezi are somewhat older than «Upper Pontian», as it was previously acknowledged, they attain at the best the lowermost Turolian (approximately corresponding to «Upper Pontian»). Even higher levels may be Turolian in age, though they are not yet accurately dated. Almost all the localities are shown (tableau 11) according to its stratigraphical position; age, correspondance to mammal units from NM 5 to NM 10 (and may be also from NM 11 to NM 12), and correlation with marine formations near Lisbon are also taken in account. The stratigraphical position of localities such as Póvoa de Santarém, Quinta do Marmelal, Pero Filho, Azambujeira (lower levels), and Fonte do Pinheiro was revised; the stratigraphical position of Marmeleira was ascertained. The localities so far known correspond to NM 5 (?), NM 6, NM 8, NM 9, NM 10 and possibly to NM II and NM 12. A new interpretation (M. T. ANTUNES) of localities with oysters from Ribatejo allows a better correlation with vertebrate localities. Relationships with Serravallian transgression seem well established. Only two localities, Vila Nova da Rainha and Foz do Alviela, may possibly be correlated to V-b division of Lisbon (Langhian) with «Hispanotherium fauna». All the other localities are younger than Serravallian oyster beds. Undirect correlation shows that NM 6 localities are somewhat younger than the apogee ef Serravallian transgression (corresponding approximately to Blow's N 11 to N 13 zones based on planctonic foraminifera).

Notes sur la géologie et la paleontology du Miocène de Lisbonne

This note deals with the stratigraphical and paleontological study of the Palença section on the southern bank of the river Tagus, Portugal, and specially with its coccolithophorids. Three main lithostratigraphical units may be recognized: the lowest one does correspond to the upper part of COTTER's division II, the intermediate one to divisions III and IV-a, the third corresponding to pratically the whole division IV-b, However other and higher levels are also represented. Higher beds are also represented in the same sections; they are less well exposed and were not studied in detail. Caracterisation of biozones on the basis of Coccoliths so far found at Palença section is difficultsince MARTINI's zones have been defined mainly by forms of Discoaster and other genera that are wanting. However we can recognize that the richest assemblage (from beds 17-18, the uppermost layers of blue clays IV-a) may correspond to NN4. This is not in opposition to the results of the study of planctonic foraminifera, that are characteristic of BLOW's N7. Coccoliths from lower beds do not allow at present any valid comparisons.

Fractional generalization of memristor and higher order elements

Fractional calculus generalizes integer order derivatives and integrals. Memristor systems generalize the notion of electrical elements. Both concepts were shown to model important classes of phenomena. This paper goes a step further by embedding both tools in a generalization considering complex-order objects. Two complex operators leading to real-valued results are proposed. The proposed class of models generate a broad universe of elements. Several combinations of values are tested and the corresponding dynamical behavior is analyzed.

Analysis of the respiratory dynamics during normal breathing by means of pseudo phase plots and pressure-volume loops

This paper reports on the analysis of tidal breathing patterns measured during noninvasive forced oscillation lung function tests in six individual groups. The three adult groups were healthy, with prediagnosed chronic obstructive pulmonary disease, and with prediagnosed kyphoscoliosis, respectively. The three children groups were healthy, with prediagnosed asthma, and with prediagnosed cystic fibrosis, respectively. The analysis is applied to the pressure–volume curves and the pseudophaseplane loop by means of the box-counting method, which gives a measure of the area within each loop. The objective was to verify if there exists a link between the area of the loops, power-law patterns, and alterations in the respiratory structure with disease. We obtained statistically significant variations between the data sets corresponding to the six groups of patients, showing also the existence of power-law patterns. Our findings support the idea that the respiratory system changes with disease in terms of airway geometry and tissue parameters, leading, in turn, to variations in the fractal dimension of the respiratory tree and its dynamics.

Les Hipparion du Portugal

This paper is concerned with Hipparion from Ribatejo, Portugal, and with the stratigraphy of the Neogene series of this region. The first two chapters are an introduction and an historical review. Paleontological study includes both a revision of the specimens accounted by ROMAN (1907) and the description of new material. Two forms were recognized, an early H. cf. primigenium, lower Vallesian in age, NM 9 mammal unit (from Archino, Vila Nova da Rainha, Aveiras de Cima), and a more advanced H. primigenium cf. melendezi. Upper Vallesian, NM 10 (possibly lowermost Turolian, NM 11) (at Azambujeira and Marmeleira). A synthesis of Middle and Upper Miocene from Ribatejo is also presented. Levels with H. p. cf. melendezi are somewhat older than «Upper Pontian», as it was previously acknowledged, they attain at the best the lowermost Turolian (approximately corresponding to «Upper Pontian»). Even higher levels may be Turolian in age, though they are not yet accurately dated. Almost all the localities are shown (tableau 11) according to its stratigraphical position; age, correspondance to mammal units from NM 5 to NM 10 (and may be also from NM 11 to NM 12), and correlation with marine formations near Lisbon are also taken in account. The stratigraphical position of localities such as Póvoa de Santarém, Quinta do Marmelal, Pero Filho, Azambujeira (lower levels), and Fonte do Pinheiro was revised; the stratigraphical position of Marmeleira was ascertained. The localities so far known correspond to NM 5 (?), NM 6, NM 8, NM 9, NM 10 and possibly to NM II and NM 12. A new interpretation (M. T. ANTUNES) of localities with oysters from Ribatejo allows a better correlation with vertebrate localities. Relationships with Serravallian transgression seem well established. Only two localities, Vila Nova da Rainha and Foz do Alviela, may possibly be correlated to V-b division of Lisbon (Langhian) with «Hispanotherium fauna». All the other localities are younger than Serravallian oyster beds. Undirect correlation shows that NM 6 localities are somewhat younger than the apogee ef Serravallian transgression (corresponding approximately to Blow's N 11 to N 13 zones based on planctonic foraminifera).

Dynamical behaviour of multi-particle large-scale systems

Collective behaviours can be observed in both natural and man-made systems composed of a large number of elemental subsystems. Typically, each elemental subsystem has its own dynamics but, whenever interaction between individuals occurs, the individual behaviours tend to be relaxed, and collective behaviours emerge. In this paper, the collective behaviour of a large-scale system composed of several coupled elemental particles is analysed. The dynamics of the particles are governed by the same type of equations but having different parameter values and initial conditions. Coupling between particles is based on statistical feedback, which means that each particle is affected by the average behaviour of its neighbours. It is shown that the global system may unveil several types of collective behaviours, corresponding to partial synchronisation, characterised by the existence of several clusters of synchronised subsystems, and global synchronisation between particles, where all the elemental particles synchronise completely.

Nouvelles données sur la datation des dépôts miocènes de l’Algarve (Portugal), et l’évolution géologique regionale

This paper presents a resume of the results achieved by researchers of the Centro de Estratigrafia e Paleobiologia da U. N. L. on the Neogene of Algarve, since 1977. The detailed study of several profiles as well as that af calcareous nannoplanton, planktonic foraminifera, ostracoda, fishes and mammals allowed to obtain data and correlation elements leading to a new interpretation of the Miocene of Algarve. It was possible to date and to characterize the following units: a) Carbonate formation of Lagos-Portimão, of marine facies, ascribed to the Lower Miocene (Aquitanian? and mainly Burdigalian), possibly attaining the Lower Langhian. b) Essentially arenaceous series of continental facies with a marine intercalation of Arrifão, Olhos de Água and Auramar Hotel beach, middle Miocene (Langhian-Serravallian) in age. c) Marine (tripoli, conglomerates, sands and limestones) deposits of Tunes-Mem Moniz, Ponte das Lavadeiras (Faro), Arroteia (Fuzeta) and Luz de Tavira, corresponding, at least partially, to the first part of the upper Miocene (Lower Tortonian). d) Cacela formation with three members: The lower member (conglomerates and sands), the middle (yellow silts) and the upper ones (gray silts), uppermost Tortonian and mainly Messinian in age. An interpretation of the tectonic and paleogeographic evolution of the portuguese littoral during the Miocene is also presented considering its insertion in the meridional part of the Peninsula (Guadalquivir depression, Betic massif basins and in the spanish Levant in general). Comparisons among the Neogene vulcanism of this region and similar manifestations documented in Algarve (basanite of Figueira-Portimão, etc) are established.