Atmosfera moral da escola: condições para a promoção do desenvolvimento ético

Tese de doutoramento em Ciências da Educação: área de Educação e Desenvolvimento

Constraint reasoning for differential models

The basic motivation of this work was the integration of biophysical models within the interval constraints framework for decision support. Comparing the major features of biophysical models with the expressive power of the existing interval constraints framework, it was clear that the most important inadequacy was related with the representation of differential equations. System dynamics is often modelled through differential equations but there was no way of expressing a differential equation as a constraint and integrate it within the constraints framework. Consequently, the goal of this work is focussed on the integration of ordinary differential equations within the interval constraints framework, which for this purpose is extended with the new formalism of Constraint Satisfaction Differential Problems. Such framework allows the specification of ordinary differential equations, together with related information, by means of constraints, and provides efficient propagation techniques for pruning the domains of their variables. This enabled the integration of all such information in a single constraint whose variables may subsequently be used in other constraints of the model. The specific method used for pruning its variable domains can then be combined with the pruning methods associated with the other constraints in an overall propagation algorithm for reducing the bounds of all model variables. The application of the constraint propagation algorithm for pruning the variable domains, that is, the enforcement of local-consistency, turned out to be insufficient to support decision in practical problems that include differential equations. The domain pruning achieved is not, in general, sufficient to allow safe decisions and the main reason derives from the non-linearity of the differential equations. Consequently, a complementary goal of this work proposes a new strong consistency criterion, Global Hull-consistency, particularly suited to decision support with differential models, by presenting an adequate trade-of between domain pruning and computational effort. Several alternative algorithms are proposed for enforcing Global Hull-consistency and, due to their complexity, an effort was made to provide implementations able to supply any-time pruning results. Since the consistency criterion is dependent on the existence of canonical solutions, it is proposed a local search approach that can be integrated with constraint propagation in continuous domains and, in particular, with the enforcing algorithms for anticipating the finding of canonical solutions. The last goal of this work is the validation of the approach as an important contribution for the integration of biophysical models within decision support. Consequently, a prototype application that integrated all the proposed extensions to the interval constraints framework is developed and used for solving problems in different biophysical domains.

Literacia familiar: contributos para a promoção e desenvolvimento de boas práticas literácitas em contexto socio económico desfavorecido

Dissertação apresentada à Escola Superior de Educação de Lisboa para a obtenção de grau de Mestre em Didática da Língua Portuguesa no 1.º e 2.º Ciclos do Ensino Básico

Meta-heuristics self-parameterization in a multi-agent scheduling system using case-based reasoning

This paper proposes a novel agent-based approach to Meta-Heuristics self-configuration. Meta-heuristics are algorithms with parameters which need to be set up as efficient as possible in order to unsure its performance. A learning module for self-parameterization of Meta-heuristics (MH) in a Multi-Agent System (MAS) for resolution of scheduling problems is proposed in this work. The learning module is based on Case-based Reasoning (CBR) and two different integration approaches are proposed. A computational study is made for comparing the two CBR integration perspectives. Finally, some conclusions are reached and future work outlined.

A Logic and tool for local reasoning about security protocols

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

O desenvolvimento de competências sociais na educação de infância: a música como estratégia de intervenção

Relatório da Prática Profissional Supervisionada Mestrado em Educação Pré-Escolar

Uma proposta socio-interacionista para o estudo dos textos bíblicos

A hipótese que orienta este trabalho é a de que a área das Ciências da Linguagem – ou, de forma específica, a Lingüística dos textos e dos discursos – pode trazer um contributo relevante para o estudo dos textos bíblicos. O objetivo deste trabalho é desenvolver uma unidade didática a partir da reformulação do material analisado (Como Estudar a Bíblia, anexo 1), a fim de promover um processo didático-pedagógico que oriente a compreensão e a interpretação dos textos bíblicos. O resultado desta contribuição (lingüística) para os estudos bíblicos visa promover a interiorização de aspectos lingüísticos que favoreçam o desenvolvimento do conhecimento e da capacidade de agir do indivíduo neste âmbito e, conseqüentemente, promover o agir individual consciente e transformador.

Da liderança ao bullying: estratégias a adotar numa sala de pré-escolar para promover o desenvolvimento social e moral

Relatório da Prática Profissional Supervisionada Mestrado em Educação Pré-Escolar

A multivariate analysis of socio-demographic factors, water contact patterns and Schistosoma mansoni infection in an endemic area in Brazil

Associations between socio-demographic factors, water contact patterns and Schistosoma mansoni infection were investigated in 506 individuals (87% of inhabitants over 1 year of age) in an endemic area in Brazil (Divino), aiming at determining priorities for public health measures to prevent the infection. Those who eliminated S. mansoni eggs (n = 198) were compared to those without eggs in the stools (n = 308). The following explanatory variables were considered: age, sex, color, previous treatment with schistosomicide, place of birth, quality of the houses, water supply for the household, distance from houses to stream, and frequency and reasons for water contact. Factors found to be independently associated with the infection were age (10-19 and > 20 yrs old), and water contact for agricultural activities, fishing, and swimming or bathing (Adjusted relative odds = 5.0, 2.4, 3.2, 2.1 and 2.0, respectively). This suggests the need for public health measures to prevent the infection, emphasizing water contact for leisure and agricultural activities in this endemic area.

A comparative study between centralization and decentralization of diagnostic reasoning in EPS

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa de Lisboa para obtenção do grau de mestre em Engenharia Electrotécnica e de Computadores

Conservation GIS: Ontology and spatial reasoning for commonsense knowledge.

Dissertation submitted in partial fulfilment of the requirements for the Degree of Master of Science in Geospatial Technologies.

QUESTIONNAIRES IN THE SCREENING FOR Schistosoma mansoni INFECTION: A STUDY OF SOCIO DEMOGRAPHIC AND WATER CONTACT VARIABLES IN FOUR COMMUNITIES IN BRAZIL

The use of questionnaires has been recommended for identifying, at a lower cost, individuals at risk for schistosomiasis. In this study, validity of information obtained by questionnaire in the screening for Schistosoma mansoni infection was assessed in four communities in the State of Minas Gerais, Brazil. Explanatory variables were water contact activities, sociodemographic characteristics and previous treatment for schistosomiasis. From 677, 1474, 766 and 3290 individuals eligible for stool examination in the communities, 89 to 97% participated in the study. The estimated probability of individuals to be infected, if they have all characteristics identified as independently associated with S.mansoni infection, varied from 15% in Canabrava, to 42% in Belo Horizonte, 48% in Comercinho and 80% in São José do Acácio. Our results do not support the hypothesis that a same questionnaire on risk factors could be used in screening for S.mansoni infection in different communities.

Combining open and closed world reasoning for the semantic web

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

Socio-demographic and epidemiological characteristics associated with human immunodeficiency virus type I (HIV-1) infection in HIV-1-explosed but uninfected individuals, and in HIV-1-infected patients from a southern brasilian population

The ability to control human immunodeficiency virus type 1 (HIV-1) infection and progression of the disease is regulated by host and viral factors. This cross-sectional study describes the socio-demographic and epidemiological characteristics associated with HIV-1 infection in 1,061 subjects attended in Londrina and region, south of Brazil: 136 healthy individuals (Group 1), 147 HIV-1-exposed but uninfected individuals (Group 2), 161 HIV-1-infected asymptomatic patients (Group 3), and 617 patients with AIDS (Group 4). Data were obtained by a standardized questionnaire and serological tests. The age of the individuals ranged from 15.1 to 79.5 years, 54.0% and 56.1% of the Groups 3 and 4 patients, respectively, were men. The major features of groups 2, 3, and 4 were a predominance of education level up to secondary school (55.8%, 60.2% and 62.4%, respectively), sexual route of exposure (88.4%, 87.0% and 82.0%, respectively), heterosexual behavior (91.8%, 75.2% and 83.7%, respectively), and previous sexually transmitted diseases (20.4%, 32.5%, and 38.1%, respectively). The patients with AIDS showed the highest rates of seropositivity for syphilis (25.6%), of anti-HCV (22.3%), and anti-HTLV I/II obtained by two serological screening tests (6.2% and 6.8%, respectively). The results documenting the predominant characteristics for HIV-1 infection among residents of Londrina and region, could be useful for the improvement of current HIV-1 prevention, monitoring and therapeutic programs targeted at this population.

The moral status of animals within the framework of Peter Singer's preference utilitarianism

Dissertação apresentada para cumprimento dos requisitos necessários à obtenção do grau de Mestre em Filosofia