The Impact of income support programs on transitions to employment

The income support programs are created with the purpose of fighting both, the poverty trap and the inactivity trap. The balance between both is fragile and hard to find. Thus, the goal of this work is to contribute to solve this issue by finding how income support programs, particularly the Portuguese RSI, affect transitions to employment. This is made through duration analysis, namely using Cox and Competing Risks models. A particular feature is introduced in this work as it incorporates the possibility of Defective Risks. The estimated hazard elasticity with respect to the amount of RSI received for individuals who move to employment is -0,41. More than a half of RSI receivers stays for more than a year and the probability of never leaving to employment is 44%. The results appear to indicate that RSI has affected negatively transitions to employment.

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.

Electrochemical studies on small electron transfer proteins using membrane electrodes

Journal of Electroanalytical Chemistry 541 (2003) 153-162

Renewable Power Sources

Of all of the sources of renewable energies available one can argue that the most abundant and accessible are solar power, radiation, and the energy of the tides (70 % of the earth surface is covered by water). The tidal wave energy hasn’t seen a widespread distribution yet, mainly due to the lack of interest of the governments, most of the coastal areas of the world are exclusive responsibility of the governments, thus not easily open for private venture. Considering solar power, there exist two main fields of application, land based systems and space based systems. The former systems are still in a very embryonic phase, with Japan being the lead researcher in the field, with an experimental satellite-power station to be launched before 2010. Land based systems, on the other hand, are well studied, with major research and application programs in all known forms of solar power production. Given a minimum value of incident radiation, and applying the appropriate system, (i.e. power plant type), for any given area the solar power becomes an income-producing industry.

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.

Spectroscopic Studies and Characterization of a Novel Electron-Transfer Chain

A novel two-component enzyme system from Escherichia coli involving a flavorubredoxin (FlRd) and its reductase was studied in terms of spectroscopic, redox, and biochemical properties of its constituents. FlRd contains one FMN and one rubredoxin (Rd) center per monomer. To assess the role of the Rd domain, FlRd and a truncated form lacking the Rd domain (FlRd¢Rd), were characterized. FlRd contains 2.9 ( 0.5 iron atoms/subunit, whereas FlRd¢Rd contains 2.1 ( 0.6 iron atoms/subunit. While for FlRd one iron atom corresponds to the Rd center, the other two irons, also present in FlRd¢Rd, are most probably due to a di-iron site. Redox titrations of FlRd using EPR and visible spectroscopies allowed us to determine that the Rd site has a reduction potential of -140 ( 15 mV, whereas the FMN undergoes reduction via a red-semiquinone, at -140 ( 15 mV (Flox/Flsq) and -180 ( 15 mV (Flsq/Flred), at pH 7.6. The Rd site has the lowest potential ever reported for a Rd center, which may be correlated with specific amino acid substitutions close to both cysteine clusters. The gene adjacent to that encoding FlRd was found to code for an FAD-containing protein, (flavo)rubredoxin reductase (FlRd-reductase), which is capable of mediating electron transfer from NADH to DesulfoVibrio gigas Rd as well as to E. coli FlRd. Furthermore, electron donation was found to proceed through the Rd domain of FlRd as the Rd-truncated protein does not react with FlRd-reductase. In vitro, this pathway links NADH oxidation with dioxygen reduction. The possible function of this chain is discussed considering the presence of FlRd homologues in all known genomes of anaerobes and facultative aerobes.

Social network analysis applied to knowledge creation and transfer in the portuguese agricultural R&D field: an exploratory study

Paper presented at the 9th European Conference on Knowledge Management, Southampton Solent University, Southampton, UK, 4-5 Sep. 2008. URL: http://academic-conferences.org/eckm/eckm2008/eckm08-home.htm

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

Technology market transfer plan launch of DELIVES to E.U. Market©

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

The role of halouracils in radiotherapy studied by electron transfer in atom-molecule collisions experiments

Dissertação para obtenção do Grau de Doutor em Engenharia Física

Measuring data transfer in heterogeneous IoT environments

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

Ajudantes de acção directa : percepções sobre formação profissional e impacto da formação na prestação de cuidados a idosos dependentes internados

RESUMO: A transferência de indivíduos dependentes é uma das tarefas mais realizadas pelos ajudantes de acção directa (AAD) na prestação de cuidados a idosos, sendo crucial haver formação nesta área. No entanto, os programas de formação em transferências raramente são avaliados em termos de desempenho na realização deste tipo de tarefas. Objectivo: Este estudo teve como objectivos analisar o impacto da formação de AAD no desempenho da transferência de idosos internados na Residência São João de Ávila (RSJA) e identificar as percepções dos AAD relativamente à importância da formação profissional, formação em transferências e dificuldade sentida na sua realização. Métodos: Realizou-se um estudo com duas etapas: na primeira procedeu-se a um estudo descritivo exploratório (através de um questionário auto-administrado a 25 AAD); na segunda realizou-se um estudo quase experimental de observação com duas fases, entre as quais decorreu uma “Formação em Princípios e Conceitos Básicos em Reabilitação Física” (observação directa de 18 AAD durante a realização da transferência “deitado-sentado-cadeira” de idosos, através de uma grelha de observação). Resultados: O desempenho dos AAD na transferência melhorou após a formação. Os ajudantes manifestaram ter uma percepção positiva sobre a importância da formação profissional e da formação em transferências. Aproximadamente dois terços dos AAD revelaram não sentir dificuldades na realização de transferências. Conclusões: A formação teve um impacto positivo no desempenho dos AAD na transferência de idosos. Concluiu-se que há uma sensibilização generalizada por parte dos AAD para a importância da formação na sua profissão e, especificamente, para a formação em transferências. ---------------ABSTRACT: The transfers of dependent patients by healthcare assistants are tasks commonly used in elderly care. Therefore, it is crucial that healthcare assistants are trained to perform these tasks. However, training programs are rarely evaluated in terms of performance of these tasks. Aim: The aims of this study were 1) to determine the impact of healthcare assistant training in the transfers of the Residência São João de Ávila (RSJA) elderly patients; and 2) to analyze healthcare assistant’s perceptions about their education, their specialized training on the transfer technique, and their difficulty in performing transfers. Methods: The study was divided in two parts: an exploratory and descriptive study (self-report questionnaire applied to 25 healthcare assistants); and a quasi-experimental observation study, which involved a “training session on basic concepts and principles of physical rehabilitation” (direct observation of 18 healthcare assistants during the “bed-sitting-chair” transfer, using an observation table). Results: Healthcare assistant performance of the “bed-sitting-chair” transfer improved after training. The healthcare assistants showed positive perceptions about their education and specialized training on the transfer technique. Approximately two thirds of the assistants felt no difficulties in performing transfer tasks. Conclusions: The training had a positive influence in healthcare assistant performance. The healthcare assistants were aware of the importance of training in their profession and more specifically in transfer tasks.

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