Adaptar abordagem KAOS para especificar linhas de produtos de software

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

Consistent state software transactional memory

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

A debugging engine for parallel and distributed programs

Dissertação apresentada para a obtenção do Grau de Doutor em Informática pela Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia.

The simple economics of risk-sharing agreements between the NHS and the pharmaceutical industry

The Janssen-Cilag proposal for a risk-sharing agreement regarding bortezomib received a welcome signal from NICE. The Office of Fair Trading report included risk-sharing agreements as an available tool for the National Health Service. Nonetheless, recent discussions have somewhat neglected the economic fundamentals underlying risk-sharing agreements. We argue here that risk-sharing agreements, although attractive due to the principle of paying by results, also entail risks. Too many patients may be put under treatment even with a low success probability. Prices are likely to be adjusted upward, in anticipation of future risk-sharing agreements between the pharmaceutical company and the third-party payer. An available instrument is a verification cost per patient treated, which allows obtaining the first-best allocation of patients to the new treatment, under the risk sharing agreement. Overall, the welfare effects of risk-sharing agreements are ambiguous, and care must be taken with their use.

Adaption of the Creative Commons approach and the roaming concept to spatial data infrastructures (SDI)

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

Speculative execution by using software transactional memory

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.

Avaliação de software em open source para a gestão da Biblioteca UNL no Campus de Caparica

O presente trabalho parte da caracterização da Biblioteca UNL para desenvolver um estudo de avaliação dos principais Sistemas Integrados de Gestão de Bibliotecas (SIGB) em open source. Os SIGB são utilizados na automatização dos processos de trabalho das bibliotecas, através de diversos módulos funcionais e opções de configuração, e permitem a interoperabilidade através de normas e protocolos. O open source define-se como abordagem para o desenvolvimento e distribuição de software baseada no livre acesso ao código fonte, estando assim em oposição ao conceito de software proprietário. A Biblioteca UNL é caracterizada através da sua organização, dos seus espaços e recursos, dos seus processos de gestão documental e da infraestrutura tecnológica subjacente. O open source é abordado a partir da sua contextualização histórica, da organização dos seus projectos, das vantagens e inconvenientes para as instituições e do desenvolvimento e adopção de SIGB open source.

Cork stoppers industry: defining appropriate mould colonization

Aims: The main aims of this work were the study of cork slabs moulds colonization and the evaluation of the moulds diversity during cork processing steps, in different cork stoppers factories. Simultaneously, it was envisaged to perform an evaluation of the air quality. Methods and Results: Moulds were isolated and identified from cork slabs and cork samples in four cork stoppers factories. The identification was based on morphological characters and microscopic observation of the reproductive structures. Airborne spore dispersion was assessed using a two stage Andersen sampler. It was observed that Chrysonilia sitophila was always present on cork slabs during the maturing period, but mould diversity appeared to be associated to the different factory configurations and processing steps. Conclusions: Spatial separation of the different steps of the process, including physical separation of the maturation step, is essential to guarantee high air quality and appropriate cork slabs colonization, i.e. C. sitophila dominance. The sorting and cutting of the edges of cork slabs after boiling and before the maturing step is also recommended. Significance and Impact of the Study: This study is very important for the cork stopper industry as it gives clear indications on how to keep high quality manufacturing standards and how to avoid occupational health problems.

Cork stoppers industry: defining appropriate mould colonization

Aims: The main aims of this work were the study of cork slabs moulds colonization and the evaluation of the moulds diversity during cork processing steps, in different cork stoppers factories. Simultaneously, it was envisaged to perform an evaluation of the air quality. Methods and Results: Moulds were isolated and identified from cork slabs and cork samples in four cork stoppers factories. The identification was based on morphological characters and microscopic observation of the reproductive structures. Airborne spore dispersion was assessed using a two stage Andersen sampler. It was observed that Chrysonilia sitophila was always present on cork slabs during the maturing period, but mould diversity appeared to be associated to the different factory configurations and processing steps. Conclusions: Spatial separation of the different steps of the process, including physical separation of the maturation step, is essential to guarantee high air quality and appropriate cork slabs colonization, i.e. C. sitophila dominance. The sorting and cutting of the edges of cork slabs after boiling and before the maturing step is also recommended. Significance and Impact of the Study: This study is very important for the cork stopper industry as it gives clear indications on how to keep high quality manufacturing standards and how to avoid occupational health problems.

Adaptação da abordagem theme para linhas de produtos de software

Dissertação apresentada Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do Grau de Mestre em Engenharia Informática

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

Is ambient intelligence a truly human-centric paradigm in industry? Current research and application scenario

Based on the paper presented at the International Conference “Autonomous Systems: inter-relations of technical and societal issues”, organized by IET with the support of the Portuguese-German collaboration project on “Technology Assessment of Autonomous Robotics” (DAAD/CRUP) at FCT-UNL, Biblioteca da UNL, Campus de Caparica on 5-6 November 2009.

tlCell: a software transactional memory for the cell broadband engine architecture

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

Design and implementation of an autonomous, proactive, and reactive software infrastructure to help improving the management level of projects

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

RailScan – desenvolvimento de software para a detecção e caracterização de desgaste ondulatório em ferrovias

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