Prática de ensino supervisionado no 1.º e 2.º ciclo do ensino básico: desenvolver competências de recolha e tratamento da informação na aprendizagem da História e Geografia no 1.º e 2.º CEB

Relatório de investigação apresentado à Escola Superior de Educação de Lisboa para obtenção de grau de mestre no Mestrado em Ensino do 1.º e 2.º Ciclo do Ensino Básico

A actual conjuntura económico-financeira e os mercados de futuros sobre o petróleo

Mestrado em Contabilidade e Análise Financeira

Despacho económico de unidades com funções de custo não convexas usando enxames

Dissertação para obtenção do grau de Mestre em Engenharia Electrotécnica Ramo de Energia

Análise de risco e inspeções de segurança em elevadores, escadas mecânicas e tapetes rolantes

Trabalho Final de Mestrado para obtenção do grau de Mestre em Engenharia Mecânica

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.

Formaldehyde: exposure and genotoxicity assessments and potential health effects

Worldwide formaldehyde is manipulated with diverse usage properties, since industrial purposes to health laboratory objectives, representing the economic importance of this chemical agent. Therefore, many people are exposed to formaldehyde environmentally and/or occupationally. Considering the latter, there was recommended occupational exposure limits based on threshold mechanisms, limit values and indoor guidelines. Formaldehyde is classified by the International Agency for Cancer Research (IARC) as carcinogenic to humans (group 1), since a wide range of epidemiological studies in occupational exposure settings have suggested possible links between the concentration and duration of exposure and elevated risks of nasopharyngeal cancer, and others cancers, and more recently, with leukemia. Although there are different classifications, such as U.S. EPA that classified formaldehyde as a B1 compound, probable human carcinogen under the conditions of unusually high or prolonged exposure, on basis of limited evidence in humans but with sufficient evidence in animals. Formaldehyde genotoxicity is well-known, being a direct-acting genotoxic compound positively associated for almost all genetic endpoints evaluated in bacteria, yeast, fungi, plants, insects, nematodes, and cultured mammalian cells. There are many human biomonitoring studies that associate formaldehyde occupational exposure to genomic instability, and consequently possible health effects. Besides the link with cancer, also other pathologies and symptoms are associated with formaldehyde exposure, namely respiratory disorders such as asthma, and allergic contact dermatitis. Nowadays, there are efforts to reduce formaldehyde exposure, namely indoor. Europe and United States developed more strict regulation regarding formaldehyde emissions from materials containing this agent. Despite the regulations and restrictions, formaldehyde still continues to be difficult to eliminate or substitute, being biomonitoring an important tool to control possible future health effects.

Centro de recursos para a inclusão na multideficiência: as equipas

Mestrado em Educação Especial: Multideficiência e Problemas de Cognição

On the use of the ZigBee protocol for wireless sensor networks

This project was developed within the ART-WiSe framework of the IPP-HURRAY group (http://www.hurray.isep.ipp.pt), at the Polytechnic Institute of Porto (http://www.ipp.pt). The ART-WiSe – Architecture for Real-Time communications in Wireless Sensor networks – framework (http://www.hurray.isep.ipp.pt/art-wise) aims at providing new communication architectures and mechanisms to improve the timing performance of Wireless Sensor Networks (WSNs). The architecture is based on a two-tiered protocol structure, relying on existing standard communication protocols, namely IEEE 802.15.4 (Physical and Data Link Layers) and ZigBee (Network and Application Layers) for Tier 1 and IEEE 802.11 for Tier 2, which serves as a high-speed backbone for Tier 1 without energy consumption restrictions. Within this trend, an application test-bed is being developed with the objectives of implementing, assessing and validating the ART-WiSe architecture. Particularly for the ZigBee protocol case; even though there is a strong commercial lobby from the ZigBee Alliance (http://www.zigbee.org), there is neither an open source available to the community for this moment nor publications on its adequateness for larger-scale WSN applications. This project aims at fulfilling these gaps by providing: a deep analysis of the ZigBee Specification, mainly addressing the Network Layer and particularly its routing mechanisms; an identification of the ambiguities and open issues existent in the ZigBee protocol standard; the proposal of solutions to the previously referred problems; an implementation of a subset of the ZigBee Network Layer, namely the association procedure and the tree routing on our technological platform (MICAz motes, TinyOS operating system and nesC programming language) and an experimental evaluation of that routing mechanism for WSNs.

Factors associated to breastfeeding in the first hour of life: systematic review

OBJECTIVE To identify independent risk factors for non-breastfeeding within the first hour of life.METHODS A systematic review of Medline, LILACS, Scopus, and Web of Science electronic databases, till August 30, 2013, was performed without restrictions on language or date of publishing. Studies that used regression models and provided adjusted measures of association were included. Studies in which the regression model was not specified or those based on specific populations regarding age or the presence of morbidities were excluded.RESULTS The search resulted in 155 articles, from which 18 met the inclusion criteria. These were conducted in Asia (9), Africa (5), and South America (4), between 1999 and 2013. The prevalence of breastfeeding within the first hour of life ranged from 11.4%, in a province of Saudi Arabia, to 83.3% in Sri Lanka. Cesarean delivery was the most consistent risk factor for non-breastfeeding within the first hour of life. “Low family income”, “maternal age less than 25 years”, “low maternal education”, “no prenatal visit”, “home delivery”, “no prenatal guidance on breastfeeding” and “preterm birth” were reported as risk factors in at least two studies.CONCLUSIONS Besides the hospital routines, indicators for low socioeconomic status and poor access to health services were also identified as independent risk factors for non-breastfeeding within the first hour of life. Policies to promote breastfeeding, appropriate to each context, should aim to reduce inequalities in health.

Improvement of a filters method in a derivative free optimization

Constraints nonlinear optimization problems can be solved using penalty or barrier functions. This strategy, based on solving the problems without constraints obtained from the original problem, have shown to be e ective, particularly when used with direct search methods. An alternative to solve the previous problems is the lters method. The lters method introduced by Fletcher and Ley er in 2002, , has been widely used to solve problems of the type mentioned above. These methods use a strategy di erent from the barrier or penalty functions. The previous functions de ne a new one that combine the objective function and the constraints, while the lters method treat optimization problems as a bi-objective problems that minimize the objective function and a function that aggregates the constraints. Motivated by the work of Audet and Dennis in 2004, using lters method with derivative-free algorithms, the authors developed works where other direct search meth- ods were used, combining their potential with the lters method. More recently. In a new variant of these methods was presented, where it some alternative aggregation restrictions for the construction of lters were proposed. This paper presents a variant of the lters method, more robust than the previous ones, that has been implemented with a safeguard procedure where values of the function and constraints are interlinked and not treated completely independently.

Characterization of cleaners accidents in the Portuguese service sector

This paper characterizes work accidents at Portuguese industrial cleaning companies, operating in the service sector, through the application of ESAW methodology. Data was codified based on the analysis of 748 accident claims to insurance companies (number of days lost 1 working day) in 3 large industrial cleaning companies for the period 2001-2003. Slipping and falling in the same level was the main deviation from the normal working process in the moment of the accident (in 25% of the accidents); uncoordinated movements was the second cause of accidents (14%); falls of persons to a lower level was the third cause of accidents (~10%), including falls from stairs (~7%) and falls from ladders and mobile ladders (~2%); globally, body movement under or with physical stress, including lifting, carrying, putting down, bending down, twisting, turning, trading badly, twisting leg or ankle and slipping without falling, were the cause in 17% of the accidents. Lower limbs were injured in ~25% of the accidents, hand and fingers in ~14%, the eye in ~4% and the back in ~9% of the accidents. An incidence rate of 3,580 accidents/100,000 employees was found to the sector (2003 data).

Digital serious games and simulation games - comparison of two approaches to lean training

In an increasingly competitive and globalized world, companies need effective training methodologies and tools for their employees. However, selecting the most suitable ones is not an easy task. It depends on the requirements of the target group (namely time restrictions), on the specificities of the contents, etc. This is typically the case for training in Lean, the waste elimination manufacturing philosophy. This paper presents and compares two different approaches to lean training methodologies and tools: a simulation game based on a single realistic manufacturing platform, involving production and assembly operations that allows learning by playing; and a digital game that helps understand lean tools. This paper shows that both tools have advantages in terms of trainee motivation and knowledge acquisition. Furthermore, they can be used in a complementary way, reinforcing the acquired knowledge.

WebLabs in education

Remote Labs are an emergent educational resource in Engineering, which addresses the remote delivery of practical contents, i. e. remote experiments, through the web. This resource may either be used as a support for e-learning courses in Engineering or Science, in the cases where on-campus lab work is not possible, or as a complement to face-to-face lab classes, allowing the students to repeat a given experiment on a remote fashion, without time restrictions.

Prevalence of self-medication in the adult population of Brazil: a systematic review

OBJECTIVE To evaluate the prevalence of self-medication in Brazil’s adult population.METHODS Systematic review of cross-sectional population-based studies. The following databases were used: Medline, Embase, Scopus, ISI, CINAHL, Cochrane Library, CRD, Lilacs, SciELO, the Banco de teses brasileiras(Brazilian theses database) (Capes) and files from the Portal Domínio Público (Brazilian Public Domain). In addition, the reference lists from relevant studies were examined to identify potentially eligible articles. There were no applied restrictions in terms of the publication date, language or publication status. Data related to publication, population, methods and prevalence of self-medication were extracted by three independent researchers. Methodological quality was assessed following eight criteria related to sampling, measurement and presentation of results. The prevalences were measured from participants who used at least one medication during the recall period of the studies.RESULTS The literature screening identified 2,778 records, from which 12 were included for analysis. Most studies were conducted in the Southeastern region of Brazil, after 2000 and with a 15-day recall period. Only five studies achieved high methodological quality, of which one study had a 7-day recall period, in which the prevalence of self-medication was 22.9% (95%CI 14.6;33.9). The prevalence of self-medication in three studies of high methodological quality with a 15-day recall period was 35.0% (95%CI 29.0;40.0, I2 = 83.9%) in the adult Brazilian population.CONCLUSIONS Despite differences in the methodologies of the included studies, the results of this systematic review indicate that a significant proportion of the adult Brazilian population self-medicates. It is suggested that future research projects that assess self-medication in Brazil standardize their methods.

Inovações de gestão no sector da saúde

Mestrado em Intervenção Sócio-Organizacional na Saúde - Área de especialização: Políticas de Administração e Gestão dos Serviços de Saúde