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

Participatory Surveillance and Mathematical Models in Epidemiologic Research: Successes and Challenges

Theoretical epidemiology aims to understand the dynamics of diseases in populations and communities. Biological and behavioral processes are abstracted into mathematical formulations which aim to reproduce epidemiological observations. In this thesis a new system for the self-reporting of syndromic data — Influenzanet — is introduced and assessed. The system is currently being extended to address greater challenges of monitoring the health and well-being of tropical communities.(...)

The characteristics of social entrepreneurship business models in Portugal

This work project is based on the MIES (Map of Innovation and Social Entrepreneurship in Portugal) database and it aims to understand the characteristics of social business models in the context of the portuguese market, by determining whether they follow the proposed characteristics by John Elkington and Pamela Hartigan, and then adding to their matrix. Furthermore, it tries to determine success patterns by comparing a group of successful social ventures with a group of less successful ones, with the objective of increasing the knowledge of social entrepreneurship as it applies to Portugal and provide a framework for future study.