A lei de bases da economia social portuguesa: do projeto ao texto final

ISSN 1577-4430, com fator de impacto, calculado pelo IN-RECS (http://ec3.ugr.es/in-recj/ii/Derecho_Civil-2010.htm), Bases de dados de indexação: LATINDEX, DIALNET, ISOC, COMLUDOC e AGRIS]

Belief Revision in Multi-Agent Systems

The ability to respond sensibly to changing and conflicting beliefs is an integral part of intelligent agency. To this end, we outline the design and implementation of a Distributed Assumption-based Truth Maintenance System (DATMS) appropriate for controlling cooperative problem solving in a dynamic real world multi-agent community. Our DATMS works on the principle of local coherence which means that different agents can have different perspectives on the same fact provided that these stances are appropriately justified. The belief revision algorithm is presented, the meta-level code needed to ensure that all system-wide queries can be uniquely answered is described, and the DATMS’ implementation in a general purpose multi-agent shell is discussed.

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.

Lethality of triatomines (Hemiptera: Reduviiae), vectors of Chagas' disease, feeding on blood baits containing synthetic insecticides, under laboratory conditions

A laboratory study was conducted to test the toxicity of synthetic insecticides added to defibrinated sheep blood kept at room temperature and offered as food to the following triatomine species: Triatoma infestans, Panstrongylus megistus, Triatoma vitticeps, Triatoma pseudomaculata, Triatoma brasiliensis and Rhodnius prolixus. The insecticides used, at a concentration of 1g/l, were: HCH, DDT, Malathion and Trichlorfon, and the lethalithy observed at the end of a 7-day period varied according to the active principle of each. HCH was the most effective by the oral route, killing 100% of the insects, except P. megistus (95.7%) and T. pseudomaculata (94.1%). Trichlorfon killed the insects at rates ranging from 71.8% (T. vitticeps) to 98% (R. prolixus). Malathion was slightly less efficient, killing the insects at rates from 56.8% (T. vitticeps) to 97% (T.brasiliensis). DDT was the least effective, with a killing rate of 10% (T. vitticeps) to 75% (T.brasiliensis). Since the tests were performed at room temperature, we suggest that baits of this type should be tried for the control of triatomines in the field.

Evaluation of temporal, seasonal and geographic stability of the molluscicidal property of Euphorbia splendens latex

Laboratory tests with aqueous solutions of Euphorbia splendens var. hislopii latex have demonstrated seasonal stability of the molluscicidal principle, with LD90 values of 1.14 ppm (spring), 1.02 ppm (fall), 1.09 ppm (winter), and 1.07 ppm (summer) that have been determined against Biomphalaria tenagophila in the field. Assays on latex collected in Belo Horizonte and Recife yielded LD90 values similar to those obtained with the reference substance collected in Rio de Janeiro (Ilha do Governador), demonstrating geographic stability of the molluscicidal effect. The molluscicidal action of aqueous dilutions of the latex in natura, centrifuged (precipitate) and lyophilized, was stable for up to 124 days at room temperature (in natura) and for up to 736 days in a common refrigerator at 10 to 12ºC (lyophilized product). A 5.0 ppm solution is 100% lethal for snails up to 13 days after preparation, the effect being gradually lost to almost total inactivity by the 30th day. This observation indicated that the active principle is instable. These properties together with the wide distribution of the plant, its resistance and adaptation to the tropical climate, its easy cultivation and the easy obtention of latex and preparation of the molluscicidal solution, make this a promising material for large-scale use in the control of schistosomiasis

Simple laccase-based biosensor for formetanate hydrochloride quantification in fruits

This work describes the development of an electrochemical enzymatic biosensor for quantification of the pesticide formetanate hydrochloride (FMT). It is based on a gold electrode modified with electrodeposited gold nanoparticles and laccase. The principle behind its development relies on FMT's capacity to inhibit the laccase catalytic reaction that occurs in the presence of phenolic substrates. The optimum values for the relevant experimental variables such as gold nanoparticles electrochemical deposition (at − 0.2 V for 100 s), laccase immobilization (via glutaraldehyde cross-linking), laccase concentration (12.4 mg/mL), substrate selection and concentration (5.83×10−5 M of aminophenol), pH (5.0), buffer (Britton–Robinson), and square-wave voltammetric parameters were determined. The developed biosensor was successfully applied to FMT determination in mango and grapes. The attained limit of detection was 9.5×10−8 ± 9.5×10−10 M (0.02 ± 2.6×10−4 mg/kg on a fresh fruit weight basis). Recoveries for the five tested spiking levels ranged from 95.5 ± 2.9 (grapes) to 108.6 ± 2.5% (mango). The results indicated that the proposed device presents suitable characteristics in terms of sensitivity (20.58 ± 0.49 A/μM), linearity (9.43×10−7 to 1.13×10−5 M), accuracy, repeatability (RSD of 1.4%), reproducibility (RSD of 1.8%) and stability (19 days) for testing of compliance with established maximum residue limits of FMT in fruits and vegetables.

Lethal effect of a bait for Rhodnius prolixus (Hemiptera: Reduviidae), the vector of Chagas' disease, containing hexachlorocyclohexane (HCH), under laboratory conditions

The lethal effect of a bait containing an aqueous hexachlorocyclohexane (HCH) suspension at the concentration of 1g/l and maintained at room temperature was studied in the laboratory over a period of 12 weeks. The suspension was placed in a latex bag hanging inside a 1000-ml beaker tightly covered with nylon netting, and left there with no changes for 85 days. Sixteen groups of R. prolixas bugs, consisting on average of 30 specimens each, were successively exposed to the bait and observed at different intervals for one week each. The mortality rate was 100% for all groups, except for the 16th, whose mortality rate was 96.7%. As the groups succeeded one another, mortality started to occur more rapidly and was more marked at the 6- and 24-h intervals. Later tests respectively started at 6:00 a.m. and 6:00 p.m. showed that diurnal and nocturnal periodicity in the offer of food had no effect on mortality. First- and 2nd- instar nymphs and adults male were more sensitive and 5th- instar nymphs were more resistant to the active principle of the bait.

Como polir uma montanha: trabalho de projeto

Esta reflexão visa contextualizar o processo criativo da componente prática do Trabalho de Projecto – Objecto conferente do grau de Mestre em Teatro, especialização em Artes Performativas – Interpretação, e que consiste no solo Como polir uma montanha que teve lugar no Lavadouro Público de Carnide com Acolhimento do Teatro do Silêncio em Maio de 2014. O objectivo foi criar um espectáculo com base em acções de limpeza, utilizando os gestos quotidianos como elemento catalisador do processo criativo. Procurei, desta forma, espelhar algumas rotinas do dia-a-dia no campo abstracto das artes performativas, desconstruindo o espaço privado e servindo-me do corpo como ferramenta primordial na comunicação destas acções através do movimento. A premissa para este solo partiu da limpeza enquanto acção passível de gerar transformação no espaço e no tempo, e também no corpo e na mente. Inicialmente pensei que a limpeza era fundamental para a organização destes elementos, contudo o resultado levou-me a compreender que limpeza e organização podem ter pressupostos muito distintos. Fundamentei a minha pesquisa observando acções quotidianas de limpeza em contextos diversificados como a vivência rural, a vivência urbana e ao nível da memória – a minha e a de outros indivíduos – de como processamos determinados comportamentos observados desde a infância. Durante o processo de criação de Como polir uma montanha, surgiram diversas inquietações que me levaram a reflectir também sobre a problemática de ser criadora e intérprete a solo, e de como esta questão é transversal à noção de si mesmo perante o outro. Esta noção leva-me a questionar o limiar que separa, mas também une, o palco e a plateia. Por isso integrei o público na acção cénica, através de elementos que propunham uma observação participativa do espectáculo.

Dynamic programming for a Markov-switching jump–diffusion

We consider an optimal control problem with a deterministic finite horizon and state variable dynamics given by a Markov-switching jump–diffusion stochastic differential equation. Our main results extend the dynamic programming technique to this larger family of stochastic optimal control problems. More specifically, we provide a detailed proof of Bellman’s optimality principle (or dynamic programming principle) and obtain the corresponding Hamilton–Jacobi–Belman equation, which turns out to be a partial integro-differential equation due to the extra terms arising from the Lévy process and the Markov process. As an application of our results, we study a finite horizon consumption– investment problem for a jump–diffusion financial market consisting of one risk-free asset and one risky asset whose coefficients are assumed to depend on the state of a continuous time finite state Markov process. We provide a detailed study of the optimal strategies for this problem, for the economically relevant families of power utilities and logarithmic utilities.

An optimal boundary fair scheduling

Nowadays, many real-time operating systems discretize the time relying on a system time unit. To take this behavior into account, real-time scheduling algorithms must adopt a discrete-time model in which both timing requirements of tasks and their time allocations have to be integer multiples of the system time unit. That is, tasks cannot be executed for less than one time unit, which implies that they always have to achieve a minimum amount of work before they can be preempted. Assuming such a discrete-time model, the authors of Zhu et al. (Proceedings of the 24th IEEE international real-time systems symposium (RTSS 2003), 2003, J Parallel Distrib Comput 71(10):1411–1425, 2011) proposed an efficient “boundary fair” algorithm (named BF) and proved its optimality for the scheduling of periodic tasks while achieving full system utilization. However, BF cannot handle sporadic tasks due to their inherent irregular and unpredictable job release patterns. In this paper, we propose an optimal boundary-fair scheduling algorithm for sporadic tasks (named BF TeX ), which follows the same principle as BF by making scheduling decisions only at the job arrival times and (expected) task deadlines. This new algorithm was implemented in Linux and we show through experiments conducted upon a multicore machine that BF TeX outperforms the state-of-the-art discrete-time optimal scheduler (PD TeX ), benefiting from much less scheduling overheads. Furthermore, it appears from these experimental results that BF TeX is barely dependent on the length of the system time unit while PD TeX —the only other existing solution for the scheduling of sporadic tasks in discrete-time systems—sees its number of preemptions, migrations and the time spent to take scheduling decisions increasing linearly when improving the time resolution of the system.

Desenvolvimento de métodos de análise físico-química em águas usando um analisador multiparamétrico AQUAKEM

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

Estimation of rotational frequency response functions

As it is widely known, in structural dynamic applications, ranging from structural coupling to model updating, the incompatibility between measured and simulated data is inevitable, due to the problem of coordinate incompleteness. Usually, the experimental data from conventional vibration testing is collected at a few translational degrees of freedom (DOF) due to applied forces, using hammer or shaker exciters, over a limited frequency range. Hence, one can only measure a portion of the receptance matrix, few columns, related to the forced DOFs, and rows, related to the measured DOFs. In contrast, by finite element modeling, one can obtain a full data set, both in terms of DOFs and identified modes. Over the years, several model reduction techniques have been proposed, as well as data expansion ones. However, the latter are significantly fewer and the demand for efficient techniques is still an issue. In this work, one proposes a technique for expanding measured frequency response functions (FRF) over the entire set of DOFs. This technique is based upon a modified Kidder's method and the principle of reciprocity, and it avoids the need for modal identification, as it uses the measured FRFs directly. In order to illustrate the performance of the proposed technique, a set of simulated experimental translational FRFs is taken as reference to estimate rotational FRFs, including those that are due to applied moments.

Preços de transferência – o caso português

Dissertação de Mestrado apresentado ao Instituto de Contabilidade e Administração do Porto para a obtenção do grau de Mestre em Auditoria, sob orientação da Mestre Gabriela Pinheiro

Multiple sequence alignment correction using constraints

Trabalho apresentado no âmbito do European Master in Computational Logics, como requisito parcial para obtenção do grau de Mestre em Computational Logics

Hyperspectral imagery framework for unmixing and dimensionality estimation

In hyperspectral imagery a pixel typically consists mixture of spectral signatures of reference substances, also called endmembers. Linear spectral mixture analysis, or linear unmixing, aims at estimating the number of endmembers, their spectral signatures, and their abundance fractions. This paper proposes a framework for hyperpsectral unmixing. A blind method (SISAL) is used for the estimation of the unknown endmember signature and their abundance fractions. This method solve a non-convex problem by a sequence of augmented Lagrangian optimizations, where the positivity constraints, forcing the spectral vectors to belong to the convex hull of the endmember signatures, are replaced by soft constraints. The proposed framework simultaneously estimates the number of endmembers present in the hyperspectral image by an algorithm based on the minimum description length (MDL) principle. Experimental results on both synthetic and real hyperspectral data demonstrate the effectiveness of the proposed algorithm.