Every normal logic program has a 2-valued semantics: theory, extensions, applications, implementations

Trabalho apresentado no âmbito do Doutoramento em Informática, como requisito parcial para obtenção do grau de Doutor em Informática

Os adolescentes portugueses do 9º ano e o uso do preservativo : atitudes, factores sociais e afectivos

RESUMO - A presente investigação pretende caracterizar e relacionar os principais factores que levam o adolescente a usar ou não o preservativo na relação sexual, no âmbito da adaptação da Teoria do Comportamento Interpessoal de Triandis (1977). O enfoque é posto na relação entre as atitudes e os factores afectivos e sociais que estão associados à intenção comportamental. Trata-se de um estudo transversal, correlacional, descritivo e analítico, que recorre à técnica do inquérito por questionário. A amostra é de 2.465 adolescentes de 14, 15 e 16 anos a frequentar o 9.º ano das escolas portuguesas, por regiões. Espera-se uma forte associação entre os factores sociais, afectivos e atitudes, e entre estes individualmente, e a intenção do uso do preservativo. ----------- ABSTRACT - This research aims to explore, characterize and set relationships between the main factors that lead adolescents to use or not use condoms during sexual intercourse, based in an adaptation of the Theory of Interpersonal Behaviour (Triandis, 1977). The focus is put on the relationship between attitudes and emotional and social factors that are associated with behavioral intention. It is a cross-sectional, correlational, descriptive and analytical study that uses the survey questionnaire. The sample is 2.465 adolescents aged 14, 15 and 16 years attending the ninth grade of a Portuguese school, by region. It is expected a strong association between social and emotional factors and attitudes, as well as between them individually and the intention of use condom.

Health care marketing: the theory of planned behavior applied to patients' choise between private and public providers in the portuguese health care system.

Dissertation submitted in partial fulfillment of the requirements for degree of Master in Statistics and Information Management.

Global and Partitioned Multiprocessor Fixed Priority Scheduling with Deferred Pre-emption

This article introduces schedulability analysis for global fixed priority scheduling with deferred preemption (gFPDS) for homogeneous multiprocessor systems. gFPDS is a superset of global fixed priority pre-emptive scheduling (gFPPS) and global fixed priority non-pre-emptive scheduling (gFPNS). We show how schedulability can be improved using gFPDS via appropriate choice of priority assignment and final non-pre-emptive region lengths, and provide algorithms which optimize schedulability in this way. Via an experimental evaluation we compare the performance of multiprocessor scheduling using global approaches: gFPDS, gFPPS, and gFPNS, and also partitioned approaches employing FPDS, FPPS, and FPNS on each processor.

Depositions of rulers in the later middle ages: on the theory of th "useless ruler" and its practical utilization

pp. 157-168

Behavioral and synaptic circuit analysis in models of neuropsychiatric disorders: Dissecting the in vivo role of the postsynaptic density proteins nArgBP2 and Shank3 using genetic engineered mice

Dissertation presented to obtain the Ph.D degree in Biology

E-assessment in mathematics courses with multiple-choice questions tests

With the implementation of the Bologna Process several challenges have been posed to higher education institution, particularly in Portugal. One of the main implications is related to the change of the paradigm of a teacher centered education, to a paradigm that is student centered. This change implies the change of the way to assess courses in higher education institutions. Continuous and formative assessments emerged as the focus, catalyzed by electronic assessment, or e-assessment. This paper presents a case of the implementation of an e-assessment strategy, implemented in order to allow continuous, formative assessment in numerous mathematics classes using multiple-choice questions tests implement in Moodle open-source learning management system. The implementation can be considered a success.

E-assessment in mathematics courses with multiple-choice questions tests

With the implementation of the Bologna Process several challenges have been posed to higher education institution, particularly in Portugal. One of the main implications is related to the change of the paradigm of a teacher centered education, to a paradigm that is student centered. This change implies the change of the way to assess courses in higher education institutions. Continuous and formative assessments emerged as the focus, catalyzed by electronic assessment, or e-assessment. This paper presents a case of the implementation of an e-assessment strategy, implemented in order to allow continuous, formative assessment in numerous mathematics classes using multiple-choice questions tests implement in Moodle open-source learning management system. The implementation can be considered a success.

“The past is a foreign country”? Acculturation theory and the anthropology of globalization

Etnográfica, 15 (2): 313-336

Coalition of distributed generation units to Virtual Power Players - a game theory approach

Smart Grids (SGs) have emerged as the new paradigm for power system operation and management, being designed to include large amounts of distributed energy resources. This new paradigm requires new Energy Resource Management (ERM) methodologies considering different operation strategies and the existence of new management players such as several types of aggregators. This paper proposes a methodology to facilitate the coalition between distributed generation units originating Virtual Power Players (VPP) considering a game theory approach. The proposed approach consists in the analysis of the classifications that were attributed by each VPP to the distributed generation units, as well as in the analysis of the previous established contracts by each player. The proposed classification model is based in fourteen parameters including technical, economical and behavioural ones. Depending of the VPP strategies, size and goals, each parameter has different importance. VPP can also manage other type of energy resources, like storage units, electric vehicles, demand response programs or even parts of the MV and LV distribution network. A case study with twelve VPPs with different characteristics and one hundred and fifty real distributed generation units is included in the paper.

Decision Support for Energy Contracts Negotiation with Game Theory and Adaptive Learning

This paper presents a decision support methodology for electricity market players’ bilateral contract negotiations. The proposed model is based on the application of game theory, using artificial intelligence to enhance decision support method’s adaptive features. This model is integrated in AiD-EM (Adaptive Decision Support for Electricity Markets Negotiations), a multi-agent system that provides electricity market players with strategic behavior capabilities to improve their outcomes from energy contracts’ negotiations. Although a diversity of tools that enable the study and simulation of electricity markets has emerged during the past few years, these are mostly directed to the analysis of market models and power systems’ technical constraints, making them suitable tools to support decisions of market operators and regulators. However, the equally important support of market negotiating players’ decisions is being highly neglected. The proposed model contributes to overcome the existing gap concerning effective and realistic decision support for electricity market negotiating entities. The proposed method is validated by realistic electricity market simulations using real data from the Iberian market operator—MIBEL. Results show that the proposed adaptive decision support features enable electricity market players to improve their outcomes from bilateral contracts’ negotiations.

Behavioral changes in Rattus norvegicus experimentally infected by Toxocara canis larvae

Toxocara canis is a common canine nematode parasite and one of its possible transmission mechanisms is the predation of infected rodents by canids. Fifty Rattus norvegicus were used to study behavioral alterations in rodents infected by T. canis larvae. The rats were divided into three groups: G1, 20 rats infected with 300 T. canis eggs; G2, 20 rats infected with 2,000 T. canis eggs; and G3, 10 non-infected rats. Thirty and 60 days post-infection, rats from all the groups were submitted to an open-field apparatus for five min and subsequently, to an elevated plus-maze apparatus, again for five min. The data obtained indicated improvement in mobility (total locomotion time and rearing frequency) and exploratory behavior in infected rats, principally in G2, which provides some support for the hypothesis that behavioral alterations in rodents infected by Toxocara canis larvae enhance the transmission rate of this ascarid to dogs.

Behavioral changes in Rattus norvegicus coinfected by Toxocara canis and Toxoplasma gondii

Using an elevated plus maze apparatus and an activity cage, behavioral changes in Rattus norvegicus concomitantly infected by Toxocara canis and Toxoplasma gondii were studied, during a period of 120 days. Rats infected by Toxocara canis or Toxoplasma gondii showed significant behavioral changes; however, in the group coinfected by both parasites a behavioral pattern similar to that found in the group not infected was observed thirty days after infection, suggesting the occurrence of modulation in the behavioral response.

Fiscal decentralisation and economic theory

There is no complete overview or discussion of the literature of the economics of federalism and fiscal decentralization, even though scholarly interest in the topic has been increasing significantly over recent years. This paper provides a general, brief but comprehensive overview of the main insights from the literature on fiscal federalism and decentralization. In doing so, literature on fiscal federalism and decentralization is grouped into two main approaches: “first generation of theories” and “second generation of theories”.