Child programming: an adequate domain specific language for programming specific robots

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

A framework for efficient model transformations

The reported productivity gains while using models and model transformations to develop entire systems, after almost a decade of experience applying model-driven approaches for system development, are already undeniable benefits of this approach. However, the slowness of higher-level, rule based model transformation languages hinders the applicability of this approach to industrial scales. Lower-level, and efficient, languages can be used but productivity and easy maintenance seize to exist. The abstraction penalty problem is not new, it also exists for high-level, object oriented languages but everyone is using them now. Why is not everyone using rule based model transformation languages then? In this thesis, we propose a framework, comprised of a language and its respective environment, designed to tackle the most performance critical operation of high-level model transformation languages: the pattern matching. This framework shows that it is possible to mitigate the performance penalty while still using high-level model transformation languages.

Modern techniques for constraint solving the CASPER experience

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

A inteligência emocional na formação em gestão da saúde : estudo de caso e proposta de modelo de avaliação

RESUMO - Introdução: A Inteligência Emocional (IE) é considerada um factor preditivo de sucesso, mais significativo do que outros tipos de inteligência e o seu estudo tem recebido cada vez maior relevância com o objectivo de aumentar os níveis de desempenho em gestão (Goleman, 2009). O desenvolvimento da IE no âmbito da formação em gestão apresenta resultados contraditórios sendo necessário confirmar o potencial de desenvolvimento da IE em programas de formação específicos. Objectivos: Confirmar a importância da IE para a gestão da saúde e perceber o seu potencial de desenvolvimento em programas de formação específicos; analisar o módulo opcional de Emoção, Liderança e Coaching na Gestão em Saúde; e construir uma proposta de modelo que avalie se a participação nessa Unidade Curricular permite aumentar os níveis de IE. Metodologia: Realizou-se uma revisão da literatura, que permitiu ter acesso aos conceitos e teorias e, posteriormente, o estudo de caso do módulo opcional que permitiu compará-lo com outras teorias existentes. Finalmente, construiu-se uma proposta de modelo de avaliação da IE, com um desenho quasi-experimental. Conclusões: A IE é um factor essencial para o sucesso, principalmente na Gestão da Saúde, pelas características do mercado e das organizações. Os instrumentos de avaliação da IE com recurso à medição de competências são os que apresentam menos limitações. O peso do módulo opcional no Curso de Mestrado em Gestão da Saúde, é pouco significativo (3,33% dos ECTS) e apenas 36,6% dos alunos o frequentaram. A estrutura do módulo está alinhada com as directrizes de outras teorias, mas a sua curta duração poderá constituir uma limitação. Sugere-se a criação de apoio tutorial individualizado e prolongado. O modelo de avaliação proposto representa a primeira tentativa de avaliação do desenvolvimento da IE na formação em Gestão da Saúde em Portugal e a sua aplicação permitiria a o aprimoramento do potencial de desenvolvimento das competências dos gestores. ---------------------------------- ABSTRACT - Introduction: Emotional Intelligence (EI) is the most predictive factor of success when compared with other types of intelligence. Since it is believed to increase performance levels, EI study has been given more relevance (Goleman, 2009). EI development studies show contradictory results, becoming necessary to prove the benefits of the development programs. Purposes: This study aimed to confirm the importance of the EI in health care management; to perceive the EI development potential of specific programs; to analyze the optional curricular unit of Emotion, Coaching and Leadership in Health Management; and to build a model that proposes to evaluate the student’s EI development. Methods: After the Literature Revision, the Case Study of the Curricular Unit allowed to compare it with other existing theories. The Model of EI evaluation consists on a quasi-experimental study. Conclusions: EI is an essential factor for success, mainly in Health Care Management, because of its market and organizations characteristics. The ability instruments of EI evaluation are those which show the least limitations. The Curricular Unit represents only 3,33% of the ECTS provided by this Health Management Master. Only 36.6% of master’s students chose to participate in this curricular unit. The structure of the curricular unit is lined up with the guide-lines of other theories. However, being a 6 weeks program, it could represent a limitation. It is suggested to create an individual and longitudinal tutorial support. The EI evaluation model proposed represents the first attempt to evaluate de EI development in Health Management programs in Portugal. Its application could increase the manager’s development efficacy.

Models and tools for value systems analysis in collaborative environments

Dissertation to obtain the degree of Doctor in Electrical and Computer Engineering, specialization of Collaborative Networks

Verification of analog circuits in power-down mode

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

Model morphisms (MoMo) to enable language independent information models and interoperable business networks

MSc. Dissertation presented at Faculdade de Ciências e Tecnologia of Universidade Nova de Lisboa to obtain the Master degree in Electrical and Computer Engineering

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

A description of the Australian early psychosis intervention model and a proposal to establish a Pilot Early Intervention Program in Santa Cruz de la Sierra, Bolívia

RESUMO: Em 2011, a Associação Psiquiátrica Mundial lançou um programa de bolsas de investigação para psiquiatras em início de carreira a partir de países de renda baixa ou média-baixa, no âmbito deste programa, o autor foi selecionado para uma bolsa de pesquisa no Centre for Youth Mental Health/Orygen Youth Health Research Centre da Universidade de Melbourne. Orygen, é a principal organização de pesquisa e tradução do conhecimento do mundo com foco em problemas de saúde mental em pessoas jovens. O estágio foi baseado em Prevenção e Intervenção Precoce Psychosis Centre (EPPIC), que faz parte do Orygen. EPPIC fornece programa de tratamento abrangente e integrada, baseada na comunidade para o primeiro episódio de psicose. Esta dissertação descreve o modelo EPPIC, e seus componentes essenciais e fatores que são necessários para uma implementação de serviço direito. Além disso, uma proposta de criação de um programa-piloto de intervenção psicose precoce é discutido. Este programa inclui um programa de extensão inovadora que combina princípios comerciais sólidos, com metas sociais, a fim de combater especificamente a maior barreira para o tratamento da psicose precoce na Bolívia: o estigma da doença mental. Ao utilizar uma equipe de tratamento móvel, multidisciplinar, que enfatiza os papéis dos gerentes do caso treinados focada em fornecer indivíduo intensiva e apoio familiar no lar, este programa irá prestar cuidados culturalmente apropriados que irá alavancar contribuições de um suprimento limitado de psiquiatras e mudar longe da dependência um sistema médico fragmentado. ---------------------------- ABSTRACT: In 2011, the World Psychiatric Association launched a programme of research fellowships for early-career psychiatrists from low- or lower-middle income countries, within this programme, the author was selected to a research fellowship at the Centre for Youth Mental Health/Orygen Youth Health Research Centre at University of Melbourne. Orygen, is the world’s leading research and knowledge translation organization focusing on mental ill-health in young people. The traineeship was based on Early Psychosis Prevention and Intervention Centre (EPPIC), which is part of Orygen. EPPIC provides comprehensive, integrated, community-based treatment program for first-episode psychosis. This dissertation describes the EPPIC model, and its core components and factors which are necessary to a right service implementation. Additionally, a proposal to establish a pilot early psychosis intervention programme is discussed. This programme includes an innovative outreach programme that combines sound business principals with social goals in order to specifically target the largest barrier to early psychosis treatment in Bolivia: the stigma of mental illness. By utilizing a mobile, multidisciplinary treatment team that emphasizes the roles of trained case managers focused on providing intensive individual and family support in the home, this programme will provide culturally appropriate care that will leverage contributions from a limited supply of psychiatrists and shift dependence away from a fragmented medical system.