Optimal choice between even- and uneven-aged forestry: the case of non-industrial private forest owners

An infinite-horizon discrete time model with multiple size-class structures using a transition matrix is built to assess optimal harvesting schedules in the context of Non-Industrial Private Forest (NIPF) owners. Three model specifications accounting for forest income, financial return on an asset and amenity valuations are considered. Numerical simulations suggest uneven-aged forest management where a rational forest owner adapts her or his forest policy by influencing the regeneration of trees or adjusting consumption dynamics depending on subjective time preference and market return rate dynamics on the financial asset. Moreover she or he does not value significantly non-market benefits captured by amenity valuations relatively to forest income.

Non-gyrator type active inductors

Modern CMOS radio frequency (RF) Receivers have enabled efficient and increasing applications. The main requirement is to have system in a single chip, in order to minimize area and cost. For the purpose it is required the development of inductorless circuits for the key blocks of an RF receiver. Examples of this key blocks are RC oscillators, RF band pass filters, and Low Noise Amplifiers. The present dissertation presents an inductorless wideband MOSFET-only RF Non-Gyrator Type of Active Inductors with low area, low cost, and very low power, capable of covering the whole WMTS, and ISM, band and intended for biomedical applications. The proposed circuit is based on a floating capacitor connected between two controlled current sources. The first current source, which is controlled by the circuit input voltage, has two objectives: supply current to the capacitor (

Study of Helium II heat transport phenomena in superconducting rutherford type cables

This thesis is a study of how heat is transported in non-steady-state conditions from a superconducting Rutherford cable to a bath of superfluid helium (He II). The same type of superconducting cable is used in the dipole magnets of the Large Hadron Collider (LHC). The dipole magnets of the LHC are immersed in a bath of He II at 1.9 K. At this temperature helium has an extremely high thermal conductivity. During operation, heat needs to be efficiently extracted from the dipole magnets to keep their superconducting state. The thermal stability of the magnets is crucial for the operation of the LHC, therefore it is necessary to understand how heat is transported from the superconducting cables to the He II bath. In He II the heat transfer can be described by the Landau regime or by the Gorter-Mellink regime, depending on the heat flux. In this thesis both measurements and numerical simulation have been performed to study the heat transfer in the two regimes. A temperature increase of 8 2 mK of the superconducting cables was successfully measured experimentally. A new numerical model that covers the two heat transfer regimes has been developed. The numerical model has been validated by comparison with existing experimental data. A comparison is made between the measurements and the numerical results obtained with the developed model.

Evaluation of long term persistence of Diabetes Mellitus Type II treatment newly diagnosed patients in Lisbon and Tagus health administration region : a three year follow up study

RESUMO: Raional: A persistência à terapêutica é o tempo em qualquer antidiabético oral, desde o seu início até à descontinuação de todas as medicações ou até ao fim do período do estudo. Os objetivos deste estudo foi a análise da persistência à terapêutica no segundo e terceiro anos após início do tratamento em doentes adultos diagnosticados na região de Lisboa e Vale do Tejo e determinar o efeito de determinadas variáveis na persistência a longo prazo. Métodos: Um estudo retrospetivo não interventivo foi desenhado com base nos dados a obter do SIARS (prescrições e aquisições na farmácia) e Pordata. A persistência foi quantificada como a percentagem de doentes que continuam a adquirir pelo menos um antidiabético oral ao segundo e terceiro anos após a compra da primeira receita. A associação entre a persistência e o segundo e terceiro anos com cada uma das co-variáveis foi aferido pelo teste qui-quadrado e os odd ratios foram calculados com recurso a um modelo de regressão logística. Resultados: A persistência à terapêutica obtida foi de 80% e 62% para o segundo e terceiro anos após início da terapêutica. Odd ratios para primeiro e segundo ano: número de grupos farmacoterapêuticos diferentes (OR = 2.167, 1.807 – 2.598, p = 0.000 / OR = 1.863, 1.621 – 2.142, p = 0.000); idade (OR = 0.914, 0.772 – 1.081, p = 0.294 / OR = 0.875, 0.764 – 1.002, p = 0.054); sexo (OR = 1.163, 0.983 – 1.377, p = 0.079); número de diferentes prescritores (OR = 3.594, 3.030 – 4.262, p = 0.000 / OR = 2.167, 1.886 – 2.491, p = 0.000); instituição de prescrição (OR = 0.725, 0.698 – 0.753, p = 0.000 / OR = 0.683, 0.650 – 0.717, p = 0.000); grupo farmacoterapêutico (OR = 1.056, 1.043 – 1.069, p = 0.000 / OR = 1.077, 1.060 – 1.095, p = 0.000); relação com o médico (OR = 0.834, 0.816 – 0.852, p = 0.000 / OR = 0.799, 0.777 – 0.821, p = 0.000) e custo médio mensal por grupo farmacoterapêutico (OR = 0.954, 0.942 – 0.968, p = 0.000 / OR = 0.930, 0.914 – 0.947, p = 0.000). Conclusões: O valor da persistência à terapêutica no segundo ano é ligeiramente acima do que é mencionado na literatura e não existem dados para comparar os resultados do terceiro ano. Relativamente ao efeito das co-variáveis no segundo e terceiro anos após o início do tratamento, os resultados são sobreponíveis, sendo que o sexo não está associado à persistência ao terceiro ano.----------------------------------ABSTRACT: Background: Therapy persistence is the time on any antidiabetic medication, from initiation of therapy to discontinuation of all medications or the end of the study period. The aim of the study was to analyse the therapy persistence in the second and third years after treatment initiation in newly diagnosed adult patients in the Lisbon and Tagus Valley region and to determine the effect of several co-variables in the long term persistence. Methods: A retrospective non-interventional study based on SIARS data (drug prescriptions and acquisitions) and Pordata was designed. Persistence was quantified as the percentage of patients that continued to purchase at least one type of antidiabetic at year 2 and 3 after the date of first prescription acquisition. Association between persistence at second and third years with each of the other co-variables were verified by using the Chi-Square test and odds ratio were calculated using a regression logistic model. Results: Therapy persistence obtained was 80% and 62% for the second and third years after treatment initiation. Odd ratios for second and third years: number of different pharmacotherapeutic groups (OR = 2.167, 1.807 – 2.598, p = 0.000 / OR = 1.863, 1.621 – 2.142, p = 0.000); age (OR = 0.914, 0.772 – 1.081, p = 0.294 / OR = 0.875, 0.764 – 1.002, p = 0.054); gender (OR = 1.163, 0.983 – 1.377, p = 0.079); number of different prescribers (OR = 3.594, 3.030 – 4.262, p = 0.000 / OR = 2.167, 1.886 – 2.491, p = 0.000); institution of prescription (OR = 0.725, 0.698 – 0.753, p = 0.000 / OR = 0.683, 0.650 – 0.717, p = 0.000); pharmacotherapeutic group (OR = 1.056, 1.043 – 1.069, p = 0.000 / OR = 1.077, 1.060 – 1.095, p = 0.000); relationship with the physician (OR = 0.834, 0.816 – 0.852, p = 0.000 / OR = 0.799, 0.777 – 0.821, p = 0.000) and average cost per month and per pharmacotherapeutic group (OR = 0.954, 0.942 – 0.968, p = 0.000 / OR = 0.930, 0.914 – 0.947, p = 0.000). Conclusions: Second year therapy persistence value is slightly above of what is referenced in literature and no data was found to compare the third year value. Regarding the effect of the co-variables analysed at second and third years after treatment initiation, the results were overlapping with gender being not associated with persistence at the third year.

A type system for value-dependent information flow analysis

Information systems are widespread and used by anyone with computing devices as well as corporations and governments. It is often the case that security leaks are introduced during the development of an application. Reasons for these security bugs are multiple but among them one can easily identify that it is very hard to define and enforce relevant security policies in modern software. This is because modern applications often rely on container sharing and multi-tenancy where, for instance, data can be stored in the same physical space but is logically mapped into different security compartments or data structures. In turn, these security compartments, to which data is classified into in security policies, can also be dynamic and depend on runtime data. In this thesis we introduce and develop the novel notion of dependent information flow types, and focus on the problem of ensuring data confidentiality in data-centric software. Dependent information flow types fit within the standard framework of dependent type theory, but, unlike usual dependent types, crucially allow the security level of a type, rather than just the structural data type itself, to depend on runtime values. Our dependent function and dependent sum information flow types provide a direct, natural and elegant way to express and enforce fine grained security policies on programs. Namely programs that manipulate structured data types in which the security level of a structure field may depend on values dynamically stored in other fields The main contribution of this work is an efficient analysis that allows programmers to verify, during the development phase, whether programs have information leaks, that is, it verifies whether programs protect the confidentiality of the information they manipulate. As such, we also implemented a prototype typechecker that can be found at http://ctp.di.fct.unl.pt/DIFTprototype/.