Design and implementation of a behaviorally typed programming system for web services

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 Informática.

Analysis of glycosylation heterogeneity in antibody production by Pichia pastoris

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do grau de Mestre em Biotecnologia

Prognostic modelling of breast cancer patients: a benchmark of predictive models with external validation

Dissertação apresentada para obtenção do Grau de Doutor em Engenharia Electrotécnica e de Computadores – Sistemas Digitais e Percepcionais pela Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia

Evaluation of Spatial interpolation techniques for mapping climate variables with low sample density: a case study using a new gridded dataset of Bangladesh

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

Stochastic modeling of the thermal and catalytic degradation of polyethylene using simultaneous DSC/TG analysis

Dissertação para obtenção do Grau de Mestre em Engenharia Química e Bioquímica

Aircraft Engines Maintenance Costs and Reliability: An Appraisal of the Decision Process to Remove an Engine for a Shop Visit Aiming at Minimum Maintenance Unit Cost

Dissertação apresentada como requisito parcial para obtenção do grau de Mestre em Estatística e Gestão de Informação.

Ground truth determination for segmentation of tomographic volumes using interpolation

Dissertação para obtenção do Grau de Mestre em Engenharia Biomédica

Estimating data divergence in cloud computing storage systems

Dissertação para obtenção do Grau de Mestre em Engenharia Informática

Robustness of corroded reinforced concrete structures

Dissertação para obtenção do Grau de Doutor em Engenharia Civil

Petri net based development of globally-asynchronous locally-synchronous distributed embedded systems

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

A tutela preventiva da responsabilidade civil

The contemporary society is characterized by high risks. Today, the prevention of damages is as important as compensation. This is due to the fact that the potentiality of several damages is not in line with compensation, because often compensation proves to be impossible. Civil law should be at the service of the citizens, which explains that the heart of the institution of non-contractual liability has gradually moved towards the victim's protection. It is requested from Tort law an active attitude that seeks to avoid damages, reducing its dimension and frequency. The imputation by risk proves to be necessary and useful in the present context as it demonstrates the ability to model behaviors, functioning as a warning for agents engaged in hazardous activities. Economically, it seeks to prevent socially inefficient behaviors. Strict liability assumes notorious importance as a deterrent and in the dispersion of damage by society. The paradigm of the imputation founded on fault has proved insufficient for the effective protection of the interests of the citizens, particularly if based in an anachronistic vision of the concept of fault. Prevention arises in several areas, especially in environmental liability, producer liability and liability based on infringement of copyright and rights relating to the personality. To overcome the damage as the gauge for compensation does not inevitably mean the recognition of the punitive approach. Prevention should not be confused with reactive/punitive objectives. The deterrence of unlawful conduct is not subordinated to punishment.

Rely-guarantee protocols for safe interference over shared memory

Mutable state can be useful in certain algorithms, to structure programs, or for efficiency purposes. However, when shared mutable state is used in non-local or nonobvious ways, the interactions that can occur via aliases to that shared memory can be a source of program errors. Undisciplined uses of shared state may unsafely interfere with local reasoning as other aliases may interleave their changes to the shared state in unexpected ways. We propose a novel technique, rely-guarantee protocols, that structures the interactions between aliases and ensures that only safe interference is possible. We present a linear type system outfitted with our novel sharing mechanism that enables controlled interference over shared mutable resources. Each alias is assigned separate, local roles encoded in a protocol abstraction that constrains how an alias can legally use that shared state. By following the spirit of rely-guarantee reasoning, our rely-guarantee protocols ensure that only safe interference can occur but still allow many interesting uses of shared state, such as going beyond invariant and monotonic usages. This thesis describes the three core mechanisms that enable our type-based technique to work: 1) we show how a protocol models an alias’s perspective on how the shared state evolves and constrains that alias’s interactions with the shared state; 2) we show how protocols can be used while enforcing the agreed interference contract; and finally, 3) we show how to check that all local protocols to some shared state can be safely composed to ensure globally safe interference over that shared memory. The interference caused by shared state is rooted at how the uses of di↵erent aliases to that state may be interleaved (perhaps even in non-deterministic ways) at run-time. Therefore, our technique is mostly agnostic as to whether this interference was the result of alias interleaving caused by sequential or concurrent semantics. We show implementations of our technique in both settings, and highlight their di↵erences. Because sharing is “first-class” (and not tied to a module), we show a polymorphic procedure that enables abstract compositions of protocols. Thus, protocols can be specialized or extended without requiring specific knowledge of the interference produce by other protocols to that state. We show that protocol composition can ensure safety even when considering abstracted protocols. We show that this core composition mechanism is sound, decidable (without the need for manual intervention), and provide an algorithm implementation.

Custos indirectos associados à obesidade em Portugal

RESUMO - A obesidade constitui um importante problema de saúde pública com consequências económicas de grande dimensão. Os obesos têm um risco acrescido de contrair doenças e de sofrer morte prematura devido a problemas como a diabetes, hipertensão arterial, AVC, insuficiência cardíaca e algumas neoplasias malignas. O presente estudo tem como objectivo estimar o custo económico indirecto (valor da produção perdida) associado à obesidade em Portugal no ano de 2002. O estudo adopta uma abordagem tipo custos da doença baseada na prevalência. Os dados são retirados do Inquérito Nacional de Saúde e estatísticas de rotina publicadas pelo INE e por outros organismos oficiais. Consideram-se como obesas pessoas com índice de massa corporal (IMC) ≥ 30 kg/m2 e estabelecem-se como limites etários para participação em actividades económicas produtivas as idades compreendidas entre os 15 e os 64 anos. A estratégia de imputação de custos ao factor de risco obesidade caracteriza- se por estimar, para a população portuguesa, as proporções de doença e morte prematura atribuíveis à obesidade e em multiplicar as estimativas populacionais encontradas pelo valor da produtividade económica potencial das pessoas afectadas. O custo indirecto total da obesidade em Portugal no ano de 2002 foi estimado em 199,8 milhões de euros. A mortalidade contribuiu com 58,4% deste valor (117 milhões de euros) e a morbilidade com 41,6% (83 milhões de euros). Os custos da morbilidade advêm de mais de 1,6 milhões de dias de incapacidade anuais, principalmente por faltas ao trabalho associadas a doenças do sistema circulatório e diabetes tipo II. Os custos da mortalidade são o resultado de 18 733 potenciais anos de vida activa perdidos, numa razão de 3 mortes masculinas por cada morte feminina. Os resultados indicam que a obesidade acarreta consideráveis perdas económicas para o país. Comparando os resultados com um estudo complementar que calculou os custos directos (em cuidados de saúde) da obesidade, verifica-se que a componente indirecta representa 40,2% do total dos custos da obesidade. A implementação de estratégias que prevenissem ou reduzissem a incidência e prevalência de obesidade em Portugal poderia gerar ganhos de produtividade elevados. Para conhecer a dimensão destes ganhos é necessária mais investigação sobre os benefícios clínicos e relação custo-efectividade de estratégias para a redução da obesidade.