Methodology for enterprise interoperability assessment

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

Type-based protocol conformance and aliasing control in concurrent java programs

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

A framework for semantic checking of information systems

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

Derivation and consistency checking of models in early software product line engineering

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

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.

A Logic and tool for local reasoning about security protocols

Trabalho apresentado no âmbito do Mestrado em Engenharia Informática, como requisito parcial 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

Constraint-based verification of imperative programs

work presented in the context of the European Master’s program in Computational Logic, as the partial requirement for obtaining Master of Science degree in Computational Logic

Modeling assembly program with constraints. A contribution to WCET problem

Dissertação para obtenção do Grau de Mestre em Lógica Computacional

Qualidade em obstetrícia : complicações pós-parto e readmissões

RESUMO - A qualidade no sistema de saúde é alvo de grande preocupação por parte dos gestores, necessitando encontrar estratégias que conduzam a uma melhoria dos resultados das unidades hospitalares, em simultâneo com a contenção dos custos. O objectivo geral deste trabalho consistiu na avaliação da qualidade na área de obstetrícia nos hospitais públicos de Portugal Continental, através da análise das taxas de complicações pósparto e de readmissões verificando se existem diferenças por instituição hospitalar, volume, acreditação e região nos anos 2008 a 2010. Os dados foram cedidos pela Administração Central do Sistema de Saúde à Escola Nacional de Saúde Pública, sendo seleccionados os episódios nos GDH 370 a 375 e 650 a 652. Foram analisados 243 686 episódios, verificando-se que a taxa de incidência de complicações é superior nos partos por cesariana, comparativamente com os partos vaginais (1,66% e 1,03%, respectivamente). Os hospitais com maior volume de procedimentos e não acreditados evidenciam maiores taxas de complicação. A taxa de readmissão a 30 dias foi também superior na cesariana comparativamente ao parto vaginal (0,42% e 0,73%, respectivamente). Os hospitais com menor volume de procedimentos e acreditados, regra geral, são os que evidenciam as maiores taxas de readmissão. De salientar que as reduzidas taxas de complicações pós-parto verificadas poderão ser explicadas por diferenças na codificação dos diagnósticos secundários entre hospitais. Podem ainda existir diferenças aqui não consideradas entre os doentes tratados em cada instituição. Os dados apresentados permitem ter um melhor conhecimento acerca da qualidade no tratamento dos casos de obstetrícia nos hospitais públicos em Portugal Continental, dando indicações para a tomada de decisão em gestão em saúde.

Facebook brand fan pages and their impact on online branding and marketing strategy

A Work Project, presented as part of the requirements for the Award of a Masters Degree in Management from the NOVA – School of Business and Economics

Um Bongo and sport: How can a brand communicate through its mascots

A Work Project, presented as part of the requirements for the Award of a Masters Degree in Management from the NOVA – School of Business and Economics

Repairs of databases with null values

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

Avatars and the «Imitation Game» – can machines smile?

Considering Alan Turing’s challenge in «Computing Machinery and Intelligence» (1950) – can machines play the «imitation game»? – it is proposed that the requirements of the Turing test are already implicitly being used for checking the credibility of virtual characters and avatars. Like characters, Avatars aim to visually express emotions (the exterior signs of the existence of feeling) and its creators have to resort to emotion codes. Traditional arts have profusely contributed for this field and, together with the science of anatomy, shaped the grounds for current Facial Action Coding System (FACS) and their databases. However, FACS researchers have to improve their «instruction tables» so that the machines will be able, in a near future, to be programmed to carry out the operation of recognizing human expressions (face and body) and classify them adequately. For the moment, the reproductions have to resort to the copy of real life expressions, and the presente smile of avatars comes from mirroring their human users.

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