Empatia no desenvolvimento típico: relação entre autorrelatos e comportamentos empáticos

Dissertação de mestrado integrado em Psicologia

A expressão dramática em contexto escolar: um estudo de caso com alunos do 1º ciclo do ensino básico na Região Autónoma da Madeira

Tese de Doutoramento em Estudos da Criança (área de especialização em Educação Dramática).

New control algorithm for single-phase series active power filter

This paper presents a single-phase Series Active Power Filter (Series APF) for mitigation of the load voltage harmonic content, while maintaining the voltage on the DC side regulated without the support of a voltage source. The proposed series active power filter control algorithm eliminates the additional voltage source to regulate the DC voltage, and with the adopted topology it is not used a coupling transformer to interface the series active power filter with the electrical power grid. The paper describes the control strategy which encapsulates the grid synchronization scheme, the compensation voltage calculation, the damping algorithm and the dead-time compensation. The topology and control strategy of the series active power filter have been evaluated in simulation software and simulations results are presented. Experimental results, obtained with a developed laboratorial prototype, validate the theoretical assumptions, and are within the harmonic spectrum limits imposed by the international recommendations of the IEEE-519 Standard.

Examining mindfulness and its relation to self-differentiation and alexithymia

Published online first in 10 July 2013

Desenvolvimento de um sistema para análise de equilíbrio baseado em sensores inerciais

Dissertação de mestrado integrado em Engenharia Eletrónica Industrial e de Computadores

Estudo exploratório sobre as concepções e estratégias de intervenção de professores em face do bullying escolar

Este estudo qualitativo objetivou identificar o conhecimento de professores do 6º ano do ensino fundamental sobre o bullying e as intervenções por eles desenvol- vidas. Participaram dez professores, e os dados foram coletados por meio de questio- nários estruturados. As análises seguiram os pressupostos da análise de conteúdo, em sua modalidade temática. Verificou-se, nos resultados, uma compreensão insuficiente dos professores que incidia na capacidade de identificação e na maneira como intervi- nham nos episódios de bullying entre os alunos. Depreende-se que o bullying constitui um aspecto importante a ser trabalhado com os professores, considerando a proximi- dade com a questão e o papel essencial que podem assumir no seu enfrentamento.

Common mental disorders among medical students

OBJECTIVE: Common mental disorders (CMD) have a high impact on interpersonal relationships and quality of life and are potential underlying causes for the development of more serious disorders. Medical students have been indicated as a risk population for the development of CMD. The aim of this study was to determine the frequency of CMD in undergraduate medical students and to identify related factors. METHODS: A cross-sectional study was performed in a sample population of medical students. CMD was identified according to the 20-item Self-Report Questionnaire. RESULTS: Two hundred and twenty-three students completed the questionnaire. The overall prevalence of CMD was 29.6% and its presence was independently associated with sleep disorders, not owning a car, not working and sedentary lifestyle. CONCLUSIONS: These findings indicate a high prevalence of CMD in the sample studied and are important for supporting actions to prevent mental disorders in future doctors and for reflecting on the curricula currently in use in medical schools.

Cognitive functioning and efficacy of cognitive intervention in Multiple Sclerosis

Tese de Doutoramento em Psicologia Clínica / Psicologia

Qualidade da relação treinador- atleta em contextos desportivos: relações com fatores de grupo e diferenças em função do sexo

Dissertação de mestrado em Psicologia Aplicada

Contributos do postal ilustrado para a história do Free Card

Dissertação de mestrado em Ciências da Comunicação (área de especialização em Publicidade e Relações Públicas)

Qualidade do relacionamento com pessoas significativas: comparação entre grávidas adolescentes e adultas

Na gravidez, a mulher experiencia mudanças desenvolvimentais ao nível dos seus relacionamentos significativos. Este estudo compara a qualidade do relacionamento com o companheiro e com outra figura significativa em grávidas adolescentes e adultas, e analisa preditores sócio-demográficos para a qualidade destes relacionamentos. Uma amostra de 130 grávidas (66 adolescentes e 64 adultas) foi avaliada no terceiro trimestre de gestação quanto às características sociais e demográficas e à qualidade do relacionamento com figuras significativas. Os resultados mostram que as adolescentes referem menor confiança (χ2 = 3.365, p = 0,055) e maior discórdia (χ2 = 3.842, p = 0,041) no relacionamento com o companheiro e maior sentimento de ligação (χ2 = 19.126, p = 0,000) e apatia (χ2 = 8.568, p = 0,004) no relacionamento com a outra figura significativa, comparativamente com as adultas. Verifica-se ainda que a gravidez na adolescência associa-se a relacionamentos de menor qualidade, especialmente devido a situações sócio-demográficas mais desfavoráveis e não tanto à condição de ser ou não adolescente.

“PApi – Pais por Inteiro” Programa de intervenção em grupo para o ajustamento pessoal e a promoção da coparentalidade positiva em pais divorciados

O presente artigo apresenta o programa de intervenção em grupo para pais divorciados, Pais por Inteiro (PApi). Fundamentados na revisão da literatura com a qual o artigo se inicia, os objectivos gerais do programa – promover a coparentalidade positiva, a construção de um projecto de binuclearidade familiar e a reflexão e aprofundamento das trajectórias individuais de cada pai – são descritos, assim como as três macrocomponentes psicoterapêuticas ao longo das quais estes objectivos se desenvolvem – exposição dos processos de divórcio, partilha experiencial e treino de competências e mudança desenvolvimental. O artigo oferece ainda, no final, uma mais detalhada clarificação dos objectivos, materiais e actividades planeadas para cada das dez sessões que compõem o PApi.

Oficina de escrita criativa: como se conta uma história?

Projecto de mestrado em Mediação Cultural e Literária

Sistemas de Tipos para Verificación de Programas Concurrentes. Type Systems for Concurrent Programs Verification.

La programación concurrente es una tarea difícil aún para los más experimentados programadores. Las investigaciones en concurrencia han dado como resultado una gran cantidad de mecanismos y herramientas para resolver problemas de condiciones de carrera de datos y deadlocks, problemas que surgen por el mal uso de los mecanismos de sincronización. La verificación de propiedades interesantes de programas concurrentes presenta dificultades extras a los programas secuenciales debido al no-determinismo de su ejecución, lo cual resulta en una explosión en el número de posibles estados de programa, haciendo casi imposible un tratamiento manual o aún con la ayuda de computadoras. Algunos enfoques se basan en la creación de lenguajes de programación con construcciones con un alto nivel de abstración para expresar concurrencia y sincronización. Otros enfoques tratan de desarrollar técnicas y métodos de razonamiento para demostrar propiedades, algunos usan demostradores de teoremas generales, model-checking o algortimos específicos sobre un determinado sistema de tipos. Los enfoques basados en análisis estático liviano utilizan técnicas como interpretación abstracta para detectar ciertos tipos de errores, de una manera conservativa. Estas técnicas generalmente escalan lo suficiente para aplicarse en grandes proyectos de software pero los tipos de errores que pueden detectar es limitada. Algunas propiedades interesantes están relacionadas a condiciones de carrera y deadlocks, mientras que otros están interesados en problemas relacionados con la seguridad de los sistemas, como confidencialidad e integridad de datos. Los principales objetivos de esta propuesta es identificar algunas propiedades de interés a verificar en sistemas concurrentes y desarrollar técnicas y herramientas para realizar la verificación en forma automática. Para lograr estos objetivos, se pondrá énfasis en el estudio y desarrollo de sistemas de tipos como tipos dependientes, sistema de tipos y efectos, y tipos de efectos sensibles al flujo de datos y control. Estos sistemas de tipos se aplicarán a algunos modelos de programación concurrente como por ejemplo, en Simple Concurrent Object-Oriented Programming (SCOOP) y Java. Además se abordarán propiedades de seguridad usando sistemas de tipos específicos. Concurrent programming has remained a dificult task even for very experienced programmers. Concurrency research has provided a rich set of tools and mechanisms for dealing with data races and deadlocks that arise of incorrect use of synchronization. Verification of most interesting properties of concurrent programs is a very dificult task due to intrinsic non-deterministic nature of concurrency, resulting in a state explosion which make it almost imposible to be manually treat and it is a serious challenge to do that even with help of computers. Some approaches attempts create programming languages with higher levels of abstraction for expressing concurrency and synchronization. Other approaches try to develop reasoning methods to prove properties, either using general theorem provers, model-checking or specific algorithms on some type systems. The light-weight static analysis approach apply techniques like abstract interpretation to find certain kind of bugs in a conservative way. This techniques scale well to be applied in large software projects but the kind of bugs they may find are limited. Some interesting properties are related to data races and deadlocks, while others are interested in some security problems like confidentiality and integrity of data. The main goals of this proposal is to identify some interesting properties to verify in concurrent systems and develop techniques and tools to do full automatic verification. The main approach will be the application of type systems, as dependent types, type and effect systems, and flow-efect types. Those type systems will be applied to some models for concurrent programming as Simple Concurrent Object-Oriented Programming (SCOOP) and Java. Other goals include the analysis of security properties also using specific type systems.

Dessincronia ventricular e aumento dos níveis de BNP na estimulação apical do ventrículo direito

FUNDAMENTO: A estimulação apical crônica do ventrículo direito pode ocasionar dessincronia ventricular e, secundariamente, alterações neuro-humorais e aumento da morbimortalidade cardíaca. OBJETIVO: Pesquisar dessincronia ventricular e seus efeitos sobre os níveis de BNP em pacientes com marca-passo estimulados cronicamente no ápice do ventrículo direito (VD). MÉTODOS: Estudo transversal com 85 pacientes com marca-passo uni ou bicameral, em classe funcional I e II da NYHA e fração de ejeção do ventrículo esquerdo (FEVE) > 35%. A avaliação de dessincronia foi realizada utilizando-se várias técnicas ecocardiográficas, incluindo o Tissue Synchronization Imaging (TSI), com análise dos 12 segmentos. O BNP foi dosado junto com o ecocardiograma, porém com o examinador cego. RESULTADOS: Quarenta e seis mulheres e 39 homens, com idade de 58 ± 12 anos, chagásicos (56%) e hipertensos controlados (62%), foram incluídos. A fração de ejeção do VE foi 52 ± 8% e a duração média do QRS de 139 ms (120-180 ms). O BNP mostrou-se alterado em 36,5% da amostra (ponto de corte de 60 pg/ml). Na análise multivariada de regressão linear, o BNP correlacionou-se com a idade (p = 0,024), FEVE (p < 0,0001) e tempo pré-ejetivo do VE (p = 0,009), que é índice de dessincronia intraventricular. CONCLUSÃO: Em pacientes com estimulação cardíaca convencional, estáveis clinicamente, a dessincronia intraventricular foi um preditor independente do aumento dos níveis de BNP, após ajuste pela idade e FEVE.