À descoberta do livro-brinquedo: objetos e práticas de promoção do gosto pelo livro e pela leitura em contexto de jardim de infância

Relatório de estágio de mestrado em Educação Pré-Escolar e Ensino do 1º Ciclo do Ensino Básico

Perceções de profissionais acerca dos benefícios da utilização da entrevista baseada nas rotinas no apoio às famílias em intervenção precoce

Dissertação de mestrado em Educação Especial (área de especialização em Intervenção Precoce)

Educação literária: a hora do conto no 1º ciclo do ensino básico

Relatório de estágio de mestrado em Educação Pré-Escolar e Ensino do 1º Ciclo do Ensino Básico

Modeling microbes: New methods for integrated metabolic and regulatory network reconstruction

PhD Thesis in Bioengineering

Enteroscopia por cápsula e doença de Crohn: Caminhos para a otimização

Tese de Doutoramento em Medicina

On line pre-concentration for simultaneous determination of low molecular weight organic acids and inorganic anions in Amazonian river water samples employing ion chromatography with conductivity detection

An ion chromatography procedure, employing an IonPac AC15 concentrator column was used to investigate on line preconcentration for the simultaneous determination of inorganic anions and organic acids in river water. Twelve organic acids and nine inorganic anions were separated without any interference from other compounds and carry-over problems between samples. The injection loop was replaced by a Dionex AC15 concentrator column. The proposed procedure employed an auto-sampler that injected 1.5 ml of sample into a KOH mobile phase, generated by an Eluent Generator, at 1.5 mL min-1, which carried the sample to the chromatographic columns (one guard column, model AG-15, and one analytical column, model AS15, with 250 x 4mm i.d.). The gradient elution concentrations consisted of a 10.0 mmol l-1 KOH solution from 0 to 6.5 min, gradually increased to 45.0 mmol l-1 KOH at 21 min., and immediatelly returned and maintained at the initial concentrations until 24 min. of total run. The compounds were eluted and transported to an electro-conductivity detection cell that was attached to an electrochemical detector. The advantage of using concentrator column was the capability of performing routine simultaneous determinations for ions from 0.01 to 1.0 mg l-1 organic acids (acetate, propionic acid, formic acid, butyric acid, glycolic acid, pyruvate, tartaric acid, phthalic acid, methanesulfonic acid, valeric acid, maleic acid, oxalic acid, chlorate and citric acid) and 0.01 to 5.0 mg l-1 inorganic anions (fluoride, chloride, nitrite, nitrate, bromide, sulfate and phosphate), without extensive sample pretreatment and with an analysis time of only 24 minutes.

Cortisol, family coping and burden in informal caregivers of addicts

This study focuses on the prospective mediation role of family coping between burden and cortisol levels in informal caregivers of addicts as well as on the feasible use of two different ways to analyse the salivary cortisol levels. Participants were 120 Portuguese informal caregivers of addicts. The cortisol samples were collected at awakening, 45 minutes later and after a 30 minute presentation of images taken from the International Affective Picture System. Family coping and caregiver burden were measured using the Portuguese versions of the Caregiver Reaction Assessment, and the Family Crisis Oriented Personal Evaluation Scale. Cortisol samples were collected in salivettes and the results were computed in order to determine the Area Under the Curve scores (AUCg, AUCi). Results found family coping to be negatively correlated with burden and AUCg levels (i.e. overall intensity) and positively correlated with either AUCg and AUCi (i.e. change over time). The mediation model revealed that family coping was a partial mediator in the relationship between the burden and AUCg levels. Therefore, Family Coping appears to be an essential variable in understanding the stress response and should be considered in further studies and interventions. In addition, the use of two different formulas for calculating cortisol levels provided important new information concerning the relationship between cortisol, burden and family coping. It seems that burden has a more profound effect on the overall intensity of the neuroendocrine response to caregiver stress and not so much on the sensitivity of the system.

Sistema de reposição e de gestão de inventários na rede de lojas de uma empresa de retalho de moda

Dissertação de mestrado integrado em Engenharia e Gestão Industrial

Self-compacting concrete and conventional concrete in the arena Pernambuco: comparative study of durability indicators and economic feasibility

This study addressed the application, strength and durability of self-compacting concrete (SCC) in a large-scale construction site, comparing its performance with vibrated conventional concrete (CC) with similar characteristics, assessing its economic feasibility. The studies were undertaken in the Arena Pernambuco project and involved the concreting during May, June and July 2012, for data collection, accompanying the routine concrete control tests and performing specific strength and durability tests. The SCC compressive strength was on average 4.5% higher than the CC one, and its formwork reinforced to withstand greater lateral pressure of the fresh concrete. The durability indicators results were in favour of SCC, which cost was 13.5% higher than CC.

BiYacc: Roll your parser and reflective printer into one

In: A. Cunha, E. Kindler (eds.): Proceedings of the Fourth International Workshop on Bidirectional Transformations (Bx 2015), L’Aquila, Italy, July 24, 2015, published at http://ceur-ws.org

Automatically estimating iSAX parameters

The Symbolic Aggregate Approximation (iSAX) is widely used in time series data mining. Its popularity arises from the fact that it largely reduces time series size, it is symbolic, allows lower bounding and is space efficient. However, it requires setting two parameters: the symbolic length and alphabet size, which limits the applicability of the technique. The optimal parameter values are highly application dependent. Typically, they are either set to a fixed value or experimentally probed for the best configuration. In this work we propose an approach to automatically estimate iSAX’s parameters. The approach – AutoiSAX – not only discovers the best parameter setting for each time series in the database, but also finds the alphabet size for each iSAX symbol within the same word. It is based on simple and intuitive ideas from time series complexity and statistics. The technique can be smoothly embedded in existing data mining tasks as an efficient sub-routine. We analyze its impact in visualization interpretability, classification accuracy and motif mining. Our contribution aims to make iSAX a more general approach as it evolves towards a parameter-free method.

On the verification of architectural reconfigurations

In a reconfigurable system, the response to contextual or internal change may trigger reconfiguration events which, on their turn, activate scripts that change the system׳s architecture at runtime. To be safe, however, such reconfigurations are expected to obey the fundamental principles originally specified by its architect. This paper introduces an approach to ensure that such principles are observed along reconfigurations by verifying them against concrete specifications in a suitable logic. Architectures, reconfiguration scripts, and principles are specified in Archery, an architectural description language with formal semantics. Principles are encoded as constraints, which become formulas of a two-layer graded hybrid logic, where the upper layer restricts reconfigurations, and the lower layer constrains the resulting configurations. Constraints are verified by translating them into logic formulas, which are interpreted over models derived from Archery specifications of architectures and reconfigurations. Suitable notions of bisimulation and refinement, to which the architect may resort to compare configurations, are given, and their relationship with modal validity is discussed.

Monitoring for a decidable fragment of MTL-∫

Temporal logics targeting real-time systems are traditionally undecidable. Based on a restricted fragment of MTL-R, we propose a new approach for the runtime verification of hard real-time systems. The novelty of our technique is that it is based on incremental evaluation, allowing us to e↵ectively treat duration properties (which play a crucial role in real-time systems). We describe the two levels of operation of our approach: offline simplification by quantifier removal techniques; and online evaluation of a three-valued interpretation for formulas of our fragment. Our experiments show the applicability of this mechanism as well as the validity of the provided complexity results.

Recommendations on quality control and quality assurance in cervical cytology

Objective: We aimed to critically evaluate the importance of quality control (QC) and quality assurance (QA) strategies in the routine work of uterine cervix cytology. Study Design: We revised all the main principles of QC and QA that are already being implemented worldwide and then discussed the positive aspects and limitations of these as well as proposing alternatives when pertinent. Results: A literature review was introduced after highlighting the main historical revisions, and then a critical evaluation of the principal innovations in screening programmes was conducted, with recommendations being postulated. Conclusions: Based on the analysed data, QC and QA are two essential arms that support the quality of a screening programme.

Dificuldades de expansão da infografia interativa: um problema de produção e receção

Dissertação de mestrado em Media Interativos