Estimation and hypothesis testing in mixed linear models

Dissertação apresentada para obtenção do Grau de Doutor em Matemática, Estatística, pela Universidade Nova de Lisboa, faculdade de Ciências e Tecnologia

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.

On the initial conditions in continuous-time fractional linear systems

Signal Processing, Vol. 83, nº 11

Testing native speakers of German and Portuguese on the understanding of topological operators-line-region relations in gvSIG

Dissertation submitted in partial fulfilment of the requirements for the Degree of Master of Science in Geospatial Technologies

Design and testing of a radiation hardened 13-bit 80 MS/s pipeline ADC implemented in a 90nm standard CMOS process

Second International Workshop on Analog and Mixed Signal Integrated Circuits for Space Applications (AMICSA 2008), Sintra, Portugal, Setembro de 2008

Deciphering the role of Yap4 phosphorylation under stress conditions

The existence of molecular mechanisms of response, repair and adaptation, many of which are greatly conserved across nature, gives to the cell with the plasticity it requires to adjust to its ever-changing environment, a homeostatic event that is termed the stress response. In the budding yeast Saccharomyces cerevisiae there is a particular family of transcription factors, the Yap family, which has been shown to have a relevant role in yeast adaptation to several stress conditions. In particular, Yap1 is the major regulator of the transcriptional response to oxidative stress and Yap2 and Yap8 play important roles upon cadmium and arsenic exposure, respectively.(...)

Growth of phototrophic biofilms from limestone monuments under laboratory conditions

International Biodeterioration & Biodegradation,xxx (2009) 1–8

Reproducing stone monument photosynthetic-based colonization under laboratory conditions

Science of the total environment 405(2008) 278-285

Scientist women perceptions of their work conditions and career development

This article reports preliminary findings about Portuguese scientist women’s perceptions of gender issues in their institutions. Empirical data have been collected by means of an electronic open questionnaire sent to the AMONET (Portuguese Association of Women in Science) members. Basically, the study aims to examine the degree of satisfaction with their profession, the difficulties they meet in everyday professional life, and whether they feel or have felt gender discrimination in their institutions. Findings show that all respondents feel happy or very happy with their profession. However, discrimination is mentioned by a significant percentage, even if such discrimination assumes, quite often, an elusive way, suggesting that higher institutions still discriminate against women. Findings, articulated with literature, also lead to discussion about power and leadership, both in the hands of male academics, in the majority of the institutions, as well as the clarification of different perceptions of ambition both by women and man.

Massive shift in the pneumococcal nasopharyngeal flora after the 7-valent conjugate vaccine: epidemiological studies and testing pathogenic potential in animal models

Dissertation presented to obtain the PhD degree in Biology/Molecular Biology by Universidade Nova de Lisboa, Instituto de Tecnologia Química e Biológica

Influence of commercially available polyimide and formation conditions on the performance and structure of asymmetric polyimide organic solvent nanofiltration membranes

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para a obtenção do grau de Mestre em Engenharia Química e Bioquímica

O financiamento por capitação ajustada pelo risco em contexto de integração vertical de cuidados de saúde : a utilização dos consumos com medicamentos como proxy da carga de doença em ambulatório

RESUMO - Introdução - Com o presente projecto de investigação pretendeu-se estudar o financiamento por capitação ajustado pelo risco em contexto de integração vertical de cuidados de saúde, recorrendo particularmente a informação sobre o consumo de medicamentos em ambulatório como proxy da carga de doença. No nosso país, factores como a expansão de estruturas de oferta verticalmente integradas, inadequação histórica da sua forma de pagamento e a recente possibilidade de dispor de informação sobre o consumo de medicamentos de ambulatório em bases de dados informatizadas são três fortes motivos para o desenvolvimento de conhecimento associado a esta temática. Metodologia - Este trabalho compreende duas fases principais: i) a adaptação e aplicação de um modelo de consumo de medicamentos que permite estimar a carga de doença em ambulatório (designado de PRx). Nesta fase foi necessário realizar um trabalho de selecção, estruturação e classificação do modelo. A sua aplicação envolveu a utilização de bases de dados informatizadas de consumos com medicamentos nos anos de 2007 e 2008 para a região de Saúde do Alentejo; ii) na segunda fase foram simulados três modelos de financiamento alternativos que foram propostos para financiar as ULS em Portugal. Particularmente foram analisadas as dimensões e variáveis de ajustamento pelo risco (índices de mortalidade, morbilidade e custos per capita), sua ponderação relativa e consequente impacto financeiro. Resultados - Com o desenvolvimento do modelo PRx estima-se que 36% dos residentes na região Alentejo têm pelo menos uma doença crónica, sendo a capacidade de estimação do modelo no que respeita aos consumos de medicamentos na ordem dos 0,45 (R2). Este modelo revelou constituir uma alternativa a fontes de informação tradicionais como são os casos de outros estudos internacionais ou o Inquérito Nacional de Saúde. A consideração dos valores do PRx para efeitos de financiamento per capita introduz alterações face a outros modelos propostos neste âmbito. Após a análise dos montantes de financiamento entre os cenários alternativos, obtendo os modelos 1 e 2 níveis de concordância por percentil mais próximos entre si comparativamente ao modelo 3, seleccionou-se o modelo 1 como o mais adequado para a nossa realidade. Conclusão - A aplicação do modelo PRx numa região de saúde permitiu concluir em função dos resultados alcançados, que já existe a possibilidade de estruturação e operacionalização de um modelo que permite estimar a carga de doença em ambulatório a partir de informação relativa ao seu perfil de consumo de medicamentos dos utentes. A utilização desta informação para efeitos de financiamento de organizações de saúde verticalmente integradas provoca uma variação no seu actual nível de financiamento. Entendendo este estudo como um ponto de partida onde apenas uma parte da presente temática ficará definida, outras questões estruturantes do actual sistema de financiamento não deverão também ser olvidadas neste contexto. ------- ABSTRACT - Introduction - The main goal of this study was the development of a risk adjustment model for financing integrated delivery systems (IDS) in Portugal. The recent improvement of patient records, mainly at primary care level, the historical inadequacy of payment models and the increasing number of IDS were three important factors that drove us to develop new approaches for risk adjustment in our country. Methods - The work was divided in two steps: the development of a pharmacy-based model in Portugal and the proposal of a risk adjustment model for financing IDS. In the first step an expert panel was specially formed to classify more than 33.000 codes included in Portuguese pharmacy national codes into 33 chronic conditions. The study included population of Alentejo Region in Portugal (N=441.550 patients) during 2007 and 2008. Using pharmacy data extracted from three databases: prescription, private pharmacies and hospital ambulatory pharmacies we estimated a regression model including Potential Years of Life Lost, Complexity, Severity and PRx information as dependent variables to assess total cost as the independent variable. This healthcare financing model was compared with other two models proposed for IDS. Results - The more prevalent chronic conditions are cardiovascular (34%), psychiatric disorders (10%) and diabetes (10%). These results are also consistent with the National Health Survey. Apparently the model presents some limitations in identifying patients with rheumatic conditions, since it underestimates prevalence and future drug expenditure. We obtained a R2 value of 0,45, which constitutes a good value comparing with the state of the art. After testing three scenarios we propose a model for financing IDS in Portugal. Conclusion - Drug information is a good alternative to diagnosis in determining morbidity level in a population basis through ambulatory care data. This model offers potential benefits to estimate chronic conditions and future drug costs in the Portuguese healthcare system. This information could be important to resource allocation decision process, especially concerning risk adjustment and healthcare financing.

Process engineering of liver cells for drug testing applications

Dissertação para obtenção do Grau de Doutor em Bioengenharia

Archaeometallurgical study of pre and protohistoric production remains and artefacts from Southern Portugal

Dissertação para obtenção do Grau de Doutor em Conservação e Restauro, especialidade Ciências da Conservação

Novel approaches for culturing hepatocytes for drug testing applications

Dissertation presented to obtain the Ph.D degree in Biochemisry, Biotechnology