Estudo do efeito de radiação ionizante em metaloproteínas que ligam DNA

Dissertação para obtenção do Grau de Mestre em Biotecnologia

Reduza a sua fatura de eletricidade e poupe dinheiro. Como optar pelo melhor comercializador de energia

O presente artigo tem como principal objetivo, orientar o leitor e consumidor de energia elétrica a reduzir a sua faturação energética. Focando-se no mercado liberalizado de energia e em assuntos relacionados com o mesmo, será abordado o processo de decisão da escolha do comercializador de energia mais adequado a cada tipo de perfil. Serão ainda abordados neste artigo, alguns aspectos relevantes, que podem fazer com que o consumidor de energia economize.

Comando do binário aplicado a um motor e obtenção automática da sua característica binário - velocidade

Dissertação para obtenção do Grau de Mestre em engenharia electrotécnica e de computadores

A ligitimação histórica da monarquia absoluta na obra do Padre António Pereira de Figueiredo

pp. 171-187

A formação inicial de Leite de Vasconcelos : do naturalista ao investigador de ciências humanas

pp. 23-50

Leite de Vasconcelos e os Açores

pp. 231-243

Logic-based schedulability analysis for compositional hard real-time embedded systems

Over the past decades several approaches for schedulability analysis have been proposed for both uni-processor and multi-processor real-time systems. Although different techniques are employed, very little has been put forward in using formal specifications, with the consequent possibility for mis-interpretations or ambiguities in the problem statement. Using a logic based approach to schedulability analysis in the design of hard real-time systems eases the synthesis of correct-by-construction procedures for both static and dynamic verification processes. In this paper we propose a novel approach to schedulability analysis based on a timed temporal logic with time durations. Our approach subsumes classical methods for uni-processor scheduling analysis over compositional resource models by providing the developer with counter-examples, and by ruling out schedules that cause unsafe violations on the system. We also provide an example showing the effectiveness of our proposal.

Antero de Quental e a geração de 50

pp. 313-320

Viabilidade económico-financeira do projecto da Unidade de Cuidados Continuados Integrados de Longa Duração e Manutenção da Fundação COI : estudo de caso

RESUMO - Este trabalho consiste numa análise sobre a viabilidade económico-financeira do projecto de construção de uma Unidade de Cuidados Continuados Integrados de Longa Duração e Manutenção pela Fundação COI, que pretende ser uma resposta adequada à diversidade de fenómenos que têm origem no envelhecimento populacional, inserindo-se no modelo de prestação de cuidados de saúde e apoio social preconizado pela Rede Nacional de Cuidados Continuados Integrados. Em termos estruturais, numa primeira fase, o trabalho faz uma análise sobre o estado da arte dos cuidados continuado, nomeadamente através da sua conceptualização e enquadramento, focando os aspectos e características da RNCCI, nomeadamente os aspectos relacionados com a sustentabilidade financeira e os desafios futuros que este sector da saúde se confronta. Numa segunda fase, o trabalho apresenta o projecto de investimento alvo do estudo de caso, mediante o enquadramento histórico e caracterização da Fundação COI, sendo descrita especificamente a tipologia de longa duração e manutenção e o projecto em termos da sua estrutura física e humana. Numa terceira fase, o trabalho estuda a racionalidade do projecto de investimento, através da análise económico-financeira. Tendo-se concluído, com a utilização de indicadores de avaliação e decisão de investimentos, que a ULDM, é viável. Deve-se contudo ter em conta que a sua viabilidade é sensível a hipotéticas alterações de cenários, nomeadamente perante diferentes taxas de ocupação ou alteração do modelo de pagamento. ----------------------- ABSTRACT - This paper consists on analyzing the economical and financial viability of a project of Integrated Continuous Cares on Long-Term and Maintenance Unit (LTMU), managed by COI Foundation, that can create a correct social answer on the various aspects and phenomenon’s that have their origin in an aged population. This kind of project belongs in the role model of social and health cares of the National Network of Integrated Continuous Cares (NNICC). In a first stage the paper is focused on the analysis of the state of the present services of the continuous cares in Portugal, more concretely of his conceptualization and social frame, putting under the lights the aspects and characteristics of the NNICC, more closely the parts related to their financial sustainability and the challenges that this health sector faces nowadays. The next stage is about the investment project applied to this case-study, given his social and historical frame and attending to the specific characteristics of the COI Foundation. It’s also describing its specific LTMU typology under the involved physic and human structure. Finally this paper study the investment project rationality trough scientific methods like its economic–financial analysis. The conclusion, using decision and evaluation procedures that lead to financial indicators, is that the LTMU, is viable. However, the viability of the project is sensible to an hypothetical change of scenario, namely with different rates of change of occupation or type of payment.

Eficiência energética em habitações: recolha e análise de dados

Dissertação para obtenção do Grau de Mestre em Engenharia Electrotécnica e de Computadores

Supporting NAT traversal and secure communications in a protocol implementation framework

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do Grau de Mestre em Engenharia Electrotécnica e de Computadores

Formal Contracts for Runtime Verification Support in the Ada Programming Language

Poster presented in The 28th GI/ITG International Conference on Architecture of Computing Systems (ARCS 2015). 24 to 26, Mar, 2015. Porto, Portugal.

Monitoring for a decidable fragment of MTLD

The 15th International Conference on Runtime Verification (RV'15). 22-25 September. Vienna, Austria.

St. Louis encephalitis vírus: first isolation from a human in São Paulo state, Brasil

This paper reports the isolation of St. Louis encephalitis virus (SLEV) from a febrile human case suspected to be dengue, in São Pedro, São Paulo State. A MAC-ELISA done on the patient's acute and convalescent sera was inconclusive and hemagglutination inhibition test detected IgG antibody for flaviviruses. An indirect immunofluorescent assay done on the C6/36 cell culture inoculated with the acute serum was positive for flaviviruses but negative when tested with dengue monoclonal antibodies. RNA extracted from the infected cell culture supernatant was amplified by RT-PCR in the presence of NS5 universal flavivirus primers and directly sequenced. Results of BLAST search indicated that this sequence shares 93% nucleotide similarity with the sequence of SLEV (strain-MSI.7), confirmed by RT-PCR performed with SLEV specific primers. Since SLEV was identified as the cause of human disease, it is necessary to improve surveillance in order to achieve early detection of this agent in the state of São Paulo and in Brazil. This finding is also an alert to health professionals about the need for more complete clinical and epidemiological investigations of febrile illnesses as in the reported case. SLEV infections can be unrecognized or confused with other ones caused by an arbovirus, such as dengue.