International placement analysis of the German business market for a Nova Achool of Business and Economics graduate student

Changes in today’s society led to the evolution of professional migrations and individual searches for more suitable professional opportunities and careers outside one’s countries. International Placement is nowadays one of the world’s biggest trends in higher education for the future ahead and an appealing demand of the Millennium generations. The following work project aims to study the German business market identifying the most attractive German companies and respective graduate programs for a Nova School of Business and Economics graduate student. The study’s conclusion relies on concrete strategic suggestions regarding the implementation of the results and practical use of the outcome provided.

Environmental impact assessment in higher education and training in Portugal

Journal of Cleaner Production, nº 16, p. 639-645

Semantics of logic programs with explicit negation

After a historical introduction, the bulk of the thesis concerns the study of a declarative semantics for logic programs. The main original contributions are: ² WFSX (Well–Founded Semantics with eXplicit negation), a new semantics for logic programs with explicit negation (i.e. extended logic programs), which compares favourably in its properties with other extant semantics. ² A generic characterization schema that facilitates comparisons among a diversity of semantics of extended logic programs, including WFSX. ² An autoepistemic and a default logic corresponding to WFSX, which solve existing problems of the classical approaches to autoepistemic and default logics, and clarify the meaning of explicit negation in logic programs. ² A framework for defining a spectrum of semantics of extended logic programs based on the abduction of negative hypotheses. This framework allows for the characterization of different levels of scepticism/credulity, consensuality, and argumentation. One of the semantics of abduction coincides with WFSX. ² O–semantics, a semantics that uniquely adds more CWA hypotheses to WFSX. The techniques used for doing so are applicable as well to the well–founded semantics of normal logic programs. ² By introducing explicit negation into logic programs contradiction may appear. I present two approaches for dealing with contradiction, and show their equivalence. One of the approaches consists in avoiding contradiction, and is based on restrictions in the adoption of abductive hypotheses. The other approach consists in removing contradiction, and is based in a transformation of contradictory programs into noncontradictory ones, guided by the reasons for contradiction.

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.

Environmental indicator frameworks to design and assess environmental monitoring programs

Impact Assessment and Project Appraisal, vol. 22, n.1, March 2004, p. 47–62

Static detection of anomalies in transactional memory programs

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

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

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

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

Spill-over effects in multi-partner loyalty programs

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

Maintaining the correctness of transactional memory programs

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

Revision based total semantics for extended normal logic programs

Dissertação para obtenção do Grau de Doutor em Matemática - Lógica e Fundamentos da Matemática

Lightweight monitoring of transactional memory programs

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

Promoting healthy eating standards on children through CSR educational programs: An evaluation of impact on eating preferences, attitude towards the brand and perceived brand reputation

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

Positioning of Ontario University Business Programs - Guelph-Humber

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

Intervenção breve no tabagismo : abordagem clínica dos médicos portugueses

RESUMO - O tabagismo é o principal factor de risco evitável em saúde nos países europeus, contribuindo para o aumento da mortalidade prematura, estando associado a inúmeras doenças. A epidemia tabágica é uma preocupação em Saúde Pública, sendo essencial o investimento na sua prevenção e controlo. A cessação tabágica é uma das estratégias para o controlo desta epidemia, surgindo a intervenção breve como uma comprovada medida custo-efetiva. Contudo, e apesar das guidelines, a intervenção breve não está amplamente disseminada na prática clínica dos profissionais de saúde. Neste sentido, este estudo teve como objetivo avaliar as práticas clíniicas autoreportadas dos médicos portugueses na intervenção breve em tabagismo. É um estudo observacional descritivo transversal e exploratório. A amostra é constituída por médicos que participaram em duas conferências médicas distintas e que aceitaram responder a um questionário (n=549). O tratamento estatístico foi efetuado recorrendo ao Statistical Package for the Social Sciences (SPSS), versão 21. Foram efetuadas uma análise descritiva e inferencial, assim como uma regressão logística. Analisando os dados, os resultados apontam para a formação pós-graduada e a prática de cessação tabágica como dois fatores que influenciam positivamente a atuação dos médicos na intervenção breve. A intervenção breve é fundamental para aumentar as taxas de cessação tabágica. Para que a implementação seja eficaz é necessário apostar na formação pré e pós-graduada dos médicos e outros profissionais de saúde, associando essa formação ao treino prático que possibilite o desenvolvimento de competências específicas.