A behavioral analysis tool for models of software systems

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

Biogeography, host specificity, and molecular phylogeny of the basidiomycetous yeast phaffia rhodozyma and its sexual form, xanthophyllomyces dendrorhous

Applied and Environmental Microbiology, Vol. 73, No.4

EcoTerra Model - application of environmental fiscal reform in local government financing in Portugal

Critical Issues in Environmental Taxation: International and Comparative Perspectives: Volume VI, 699-715

A brief review of mass spectrometry in cultural heritage

Proceedings of the Chemistry and Conservation Science

Analysis of the pathway of developing a national mental health plan for Suriname

ABSTRACT: The aim of this analysis was to analyze and describe the steps that have been taken in the development of the mental health policy in Suriname after the WHO AIMS. The objectives are: 1.To review the steps to be taken in developing a mental health policy and plan for a country 2.To gather information and data concerning mental health policy and plan development in Suriname 3.To draw conclusion from the experience gained that can be applied to other countries. In general, the information that was gathered from the four countries Guyana, Barbados, Trinidad & Tobago and Suriname, was compared with the WHO steps for developing a mental health policy and plan. Were these steps taken into consideration, when developing their mental health policy and plan? If not, what were the reasons why it did not happen? The checklist for evaluating a mental health plan was used in Suriname. This checklist assisted to see if the results of the recommendations given by the WHO AIMS to develop a effective and balanced mental health plan were taken into consideration. The mayor findings of the analysis are that Suriname as well as Guyana used the steps in developing their mental health policy and plan. Barbados and Trinidad & Tobago did not develop a mental health policy and plan. Suriname and Guyana have a mental health coordinating body at the Ministry of Health. Trinidad & Tobago as well as Barbados have a mental health focal person at the Ministry of Health of the respective countries. It can be concluded that successfully improving of health systems and services for mental health is combining theoretical concepts, expert knowledge and cooperation of many stakeholders. The appointment of a mental health coordinating unit at the Ministry of Health is crucial for the development of mental health in a country. Furthermore, mental health is everyone’s business and responsibility. Implementing the steps to be taken when developing a mental health policy and plan as recommended by WHO may be a slow process requiring the mobilization of political will. That’s why it is crucial that persons responsible for this process work close with all stakeholders in relevant sectors, taking their needs into consideration and try to translate that in clear objectives. It is common knowledge that improving the quality of mental health must be accompanied by the availability of financial and human resources. Finally, a mental health policy and plan should be one document tackling all aspects of mental health of a community.

Regulation of PLK4 levels and activity to ensure centriole number control

Dissertation presented to obtain a Ph.D degree in Cellular Biology

Precious transition metals: the importance of Zn2+, Mn2+ and Cu2+ in the human pathogen Enterococcus faecalis

Dissertation presented to obtain the Ph.D degree in Biology

Dynamics of innovation patterns: some insights for Portugal

Dissertação apresentada como requisito parcial para obtenção do grau de Mestre em Gestão de Informação

Can the complex mixture of sediment contaminants cause endocrine disruption on a benthic fish? A case study with Solea senegalensis

Pollution in coastal ecosystems is a serious threat to the biota and human populations there residing. Anthropogenic activities in these ecosystems are the main cause of contamination by endocrine disruption compounds (EDCs), which can interfere with hormonal regulation and cause adverse effects to growth, stress response and reproduction. Although the chemical nature of many EDCs is unknown, it is believed that most are organic contaminants. Under an environmental risk assessment for a contaminated estuary (the Sado, SW Portugal), the present work intended to detect endocrine disruption in a flatsfish, Solea senegalensis Kaup, 1858, and its potential relationship to organic toxicants. Animals were collected from two areas in the estuary with distinct influences (industrial and rural) and from an external reference area. To evaluate endocrine disruption, hepatic vitellogenin (VTG) concentrations in males and gonad histology were analysed. As biomarkers of exposure to organic contaminants, cytochrome P450 (CYP1A) induction and the ethoxyresorufin-O-deethylase (EROD) activity were determined. The results were contrasted to sediment contamination levels, which are overall considered low, although the area presents a complex mixture of toxicants. Either males or females were found sexually immature and showed no significant evidence of degenerative pathologies. However, hepatic VTG concentrations in males from the industrial area in estuary were superior than those from the Reference, even reaching levels comparable to those in females, which may indicate an oestrogenic effect resulting from the complex contaminant mixture. These individuals also presented higher levels of CYP1A induction and EROD activity, which is consistent with contamination by organic substances. The combination of the results suggest that the exposure of flatfish to an environment contaminated by mixed toxicants, even at low levels, may cause endocrine disruption, therefore affecting populations, which implies the need for further research in identification of potential EDCs, their sources and risks at ecosystem scale.

Policies to improve the lives of Slum Dwellers – from international agreements to local contexts. The Brazilian case-study

Last decades economic development induced massive international and regional migration flows directed to the urban spaces. The magnitude and swiftness of these processes determined that several cities’ authorities would fail to respond to the increasing demands of many social services. The right to an “adequate housing” emerged as a political concern, leading governments and institutions to develop housing programmes directed to improve the lives of slum dwellers. This paper presents a diachronic evolution of these specific housing policies in the paradigmatic case-study of Brazil, critically analysing the evolving roles played by the multiple levels of decision (from international institutions to local communities) in the development and implementation of such measures.

The Internationalization of a Portuguese small and medium enterprise: The case of Vale da Rosa

A Work Project, presented as part of the requirements for the Award of a Masters Degree in Management from the NOVA – School of Business and Economics

Molecular regulation of secondary gorwth: searching for SHORT-ROOT function in cork formation

The analysis of molecular regulators involved in controlling the maintenance and function of plant meristems has been the subject of many studies. Some master regulators of these processes have been identified in Arabidopsis benefiting from the array of tools available for genetic and molecular analysis in this model plant. However, aspects such as secondary growth that are more extensively observed in woody plants, have been less studied. Secondary growth is responsible for the enlargement of the plant stems and roots and results from the activity of the lateral (secondary) meristems, vascular cambium and cork cambium (phellogen), which produce two important renewable natural resources, wood and cork, respectively.(...)

Development and efficiency optimizing of the human body energy converters

Nowadays it is known that the human body is continuous source of many types of energy and the devices used for collecting energy taken from the environment also have the required capabilities for the collection of the energy produced by the Human body (HB), but very limited and with very low efficiency. Low power and high yield converters are particularly needed in these cases of collecting energy from human activity and its movements due to the small amount of energy generated this way. But this situation can be improved. Enhancing or focusing the human movements by using mechanical amplifiers applied to the piezoelectric element. By doing so the input of energy in the element increases. As such increasing its output, therefore producing more energy.

Planning and verification of multipath routing protocols

Conventionally the problem of the best path in a network refers to the shortest path problem. However, for the vast majority of networks present nowadays this solution has some limitations which directly affect their proper functioning, as well as an inefficient use of their potentialities. Problems at the level of large networks where graphs of high complexity are commonly present as well as the appearing of new services and their respective requirements, are intrinsically related to the inability of this solution. In order to overcome the needs present in these networks, a new approach to the problem of the best path must be explored. One solution that has aroused more interest in the scientific community considers the use of multiple paths between two network nodes, where they can all now be considered as the best path between those nodes. Therefore, the routing will be discontinued only by minimizing one metric, where only one path between nodes is chosen, and shall be made by the selection of one of many paths, thereby allowing the use of a greater diversity of the present paths (obviously, if the network consents). The establishment of multi-path routing in a given network has several advantages for its operation. Its use may well improve the distribution of network traffic, improve recovery time to failure, or it can still offer a greater control of the network by its administrator. These factors still have greater relevance when networks have large dimensions, as well as when their constitution is of high complexity, such as the Internet, where multiple networks managed by different entities are interconnected. A large part of the growing need to use multipath protocols is associated to the routing made based on policies. Therefore, paths with different characteristics can be considered with equal level of preference, and thus be part of the solution for the best way problem. To perform multi-path routing using protocols based only on the destination address has some limitations but it is possible. Concepts of graph theory of algebraic structures can be used to describe how the routes are calculated and classified, enabling to model the routing problem. This thesis studies and analyzes multi-path routing protocols from the known literature and derives a new algebraic condition which allows the correct operation of these protocols without any network restriction. It also develops a range of software tools that allows the planning and the respective verification/validation of new protocols models according to the study made.

Development of principle culture medium formulations for Saccharomyces cerevisiae

Saccharomyces cerevisiae as well as other microorganisms are frequently used in industry with the purpose of obtain different kind of products that can be applied in several areas (research investigation, pharmaceutical compounds, etc.). In order to obtain high yields for the desired product, it is necessary to make an adequate medium supplementation during the growth of the microorganisms. The higher yields are typically reached by using complex media, however the exact formulation of these media is not known. Moreover, it is difficult to control the exact composition of complex media, leading to batch-to-batch variations. So, to overcome this problem, some industries choose to use defined media, with a defined and known chemical composition. However these kind of media, many times, do not reach the same high yields that are obtained by using complex media. In order to obtain similar yield with defined media the addition of many different compounds has to be tested experimentally. Therefore, the industries use a set of empirical methods with which it is tried to formulate defined media that can reach the same high yields as complex media. In this thesis, a defined medium for Saccharomyces cerevisiae was developed using a rational design approach. In this approach a given metabolic network of Saccharomyces cerevisiae is divided into a several unique and not further decomposable sub networks of metabolic reactions that work coherently in steady state, so called elementary flux modes. The EFMtool algorithm was used in order to calculate the EFM’s for two Saccharomyces cerevisiae metabolic networks (amino acids supplemented metabolic network; amino acids non-supplemented metabolic network). For the supplemented metabolic network 1352172 EFM’s were calculated and then divided into: 1306854 EFM’s producing biomass, and 18582 EFM’s exclusively producing CO2 (cellular respiration). For the non-supplemented network 635 EFM’s were calculated and then divided into: 215 EFM’s producing biomass; 420 EFM’s producing exclusively CO2. The EFM’s of each group were normalized by the respective glucose consumption value. After that, the EFMs’ of the supplemented network were grouped again into: 30 clusters for the 1306854 EFMs producing biomass and, 20 clusters for the 18582 EFM’s producing CO2. For the non-supplemented metabolic network the respective EFM’s of each metabolic function were grouped into 10 clusters. After the clustering step, the concentrations of the other medium compounds were calculated by considering a reasonable glucose amount and by accounting for the proportionality between the compounds concentrations and the glucose ratios. The approach adopted/developed in this thesis may allow a faster and more economical way for media development.