Simulator Sickness Questionnaire: tradução e adaptação transcultural

Contexto: O estudo de cybersickness, sintomas desconfortáveis relacionados à interação em ambientes virtuais, é importante para a implementação de melhorias destes, para ajudar a preservar o bem-estar dos usuários e reduzir o abandono às exposições virtuais. Usar um instrumento adequado para identificar e mensurar os sintomas de cybersickness, de forma padronizada, pode contribuir para essa finalidade. Objetivo: Este estudo tem como objetivo apresentar as etapas de tradução e adaptação para a língua portuguesa do instrumento Simulator Sickness Questionnaire, que mede os sintomas de cybersickness. Métodos: Três traduções e retrotraduções foram realizadas por avaliadores independentes; realizaram-se a equivalência semântica e a avaliação das versões, sendo elaborada uma versão síntese. Os comentários dos participantes sobre a versão preliminar do questionário foram examinados. Resultados: Foi construída a versão brasileira preliminar do questionário. Verificou-se que a maioria dos participantes entendeu as descrições dos sintomas expostas no questionário em português. Conclusão: A utilização de três versões de tradução e retrotradução, discussão sobre a versão síntese e a interlocução com a população-alvo proporcionaram viabilidade ao processo de equivalência semântica da versão final brasileira.

VET: a strategic approach for economic, organisational and personal development in EU countries

Vocational Education and Training (VET) is a continuous long-term process of economic, organisational and personal development. It envisions the construction of dynamic skills to improve performance, productivity and organisational, personal and social development. This article focuses on generating skills. It frames training as a process of work-linked training and as a primary source for generating skills whilst seeking to boost creativity. It sheds light upon the discussion pertaining to learning transfer as a necessary condition to structure performance and competitiveness. It highlights the Learning Transfer System Inventory (LTSI), because it allows to measure the effectiveness of training and it identifies the organisations' weaknesses. The data used were collected from the Eurostat Database.

Digressão sobre a ‘crise do jornalismo’ - entre definhamento e re-invenção

Texto da Lição de Síntese apresentada como requisito das Provas de Agregação no ramo de Ciências da Comunicação, área de conhecimento de Sociologia da Informação, na Universidade do Minho (Braga – Portugal), em 4 e 5 de Dezembro de 2008.

Evidências de validade da Escala Brasileira de Solidão UCLA

RESUMO Objetivo Este trabalho investigou as evidências de validade da Escala de Solidão UCLA para aplicação na população brasileira. Métodos Foram seguidas as fases: (1) autorização do autor e do Comitê de Ética; (2) tradução e retrotradução; (3) adaptação semântica; (4) validação. Utilizou-se para análise dos dados análise descritiva, fatorial exploratória, alpha de Cronbach, Kappa, teste de esfericidade de Barlett, teste Kaiser-Meyer-Olkin e correlação de Pearson. Para a adaptação, a escala foi submetida a especialistas e a um grupo focal com 8 participantes para adaptação semântica e a um estudo piloto com 126 participantes para adaptação transcultural. Da validação, participaram 818 pessoas, entre 20 e 87 anos, que responderam a duas versões da UCLA, ao Questionário de Saúde do Paciente, à Escala de Percepção de Suporte Social e a um questionário elaborado pelos autores. Resultados A escala mostrou dois fatores, que explicaram 56% da variância e alpha de 0,94. Conclusões A Escala de Solidão UCLA-BR indicou evidências de validade de construto e discriminante, além de boa fidedignidade, podendo ser utilizada para avaliação da solidão na população brasileira.

Relatório detalhado sobre a atividade profissional desenvolvida no perído 2007-2015 no Gabinete de Fundos Comunitários do Município da Póvoa de Lanhoso

Dissertação de mestrado em Geografia (área de especialização em Planeamento e Gestão do Território)

Migrações recentes de portugueses para Angola: contextos e estratégias

Dissertação de mestrado em Sociologia das Organizações e Trabalho

Deteção e classificação de regiões de interesse em vídeos de endoscopia

Dissertação de mestrado integrado em Engenharia Biomédica (área de especialização em Informática Médica)

Levitação literal na arquitetura: Desenvolvimento de um sistema de caixilharia Panoramah! com sistema de elevação eletromagnético

Tese de Mestrado Ciclo de Estudos Integrados Conducentes ao Grau de Mestre em Arquitectura Área de Especialização: Construção e Tecnologia

Construction of an innocuous Salmonella phage

Dissertação de mestrado em Bioengenharia

Creación de un test neuropsicológico de denominación confrontacional

La evaluación de la capacidad de denominar (encontrar las palabras adecuadas para nombrar objetos) tiene una importancia decisiva en el diagnóstico temprano de la enfermedad de Alzheimer ya que la anomia (pérdida de esta capacidad) es uno de los signos más tempranos de la enfermedad. Dicha evaluación también adquiere importancia en el diagnóstico de otras patologías tales como la demencia semántica o la afasia. Por lo tanto es importante contar con un test de denominación que sea adecuadamente diseñado para nuestro contexto cultural. Debido a que las pruebas de denominación creadas en otros contextos culturales no funcionan adecuadamente al aplicarse transculturalmente es que se comenzó, hace algunos años, a construir el Test de Denominación Córdoba. Éste es un test neuropsicológico para evaluar la capacidad de denominación confrontacional (implica la producción de los nombres correctos de figuras que se le presentan al individuo). Se diseñaron las láminas, y se realizó un estudio piloto para determinar el orden correcto de las mismas y eliminar láminas técnicamente inadecuadas. Luego se comenzaron los estudios de validez y la estandarización del test. En este proyecto se propone finalizar con los estudios de validez, confiabilidad y los baremos. Para ello se propone administrar alrededor de 200 tests a personas cognitivamente sanas para completar el baremo y alrededor de 20 a 25 personas con Enfermedad de Alzheimer para el estudio de validez

Versão brasileira do questionário "estilo de vida fantástico": tradução e validação para adultos jovens

FUNDAMENTO: Estilos de vida inadequados têm sido as principais causas de morte no mundo. O questionário "Estilo de vida fantástico" tem por finalidade auxiliar médicos que trabalham com prevenção, a fim de estes possam melhor conhecer e medir o estilo de vida dos seus pacientes. OBJETIVO: Traduzir e validar o questionário "Estilo de vida fantástico" para adultos jovens. MÉTODOS: O processo de tradução e adaptação envolveu quatro etapas: 1) tradução, 2) correção e adaptação semântica por especialistas da área (juízes), 3) avaliação da clareza do conteúdo e 4) avaliação por amostra da população-alvo. Análise estatística: para a consistência interna, utilizou-se o alfa de Cronbach; a consistência externa foi verificada pela correlação intraclasse (R); para a validade de construto, usou-se o índice Kappa. RESULTADOS: O alfa de Cronbach que avalia as correlações entre os itens e o total foi de 0,69, o que é considerado razoável para um instrumento desenhado para medir uma variável latente que somente pode ser estimada e não medida. Quando agrupados os itens em domínios, verificou-se que todos contribuem de maneira semelhante para a estabilidade do instrumento (α = 0,60). A reprodutibilidade avaliada pela correlação intraclasse foi alta (R = 0,92; p = 0,2). A validade de construto testada pela capacidade classificatória do instrumento em quatro e três categorias foi de 75% e 80,7%, com um índice Kappa de 0,58 e 0,7, respectivamente, o que evidencia uma ótima capacidade discriminatória. CONCLUSÃO: O questionário "Estilo de vida fantástico" possui uma consistência interna e externa adequada para a avaliação do estilo de vida de adultos jovens. Recomenda-se a utilização do questionário na atenção primária e em estudos epidemiológicos.

Verificación de Sistemas Basada en Teoría de Tipos. System verification in type theory

Este proyecto se enmarca en la utlización de métodos formales (más precisamente, en la utilización de teoría de tipos) para garantizar la ausencia de errores en programas. Por un lado se plantea el diseño de nuevos algoritmos de chequeo de tipos. Para ello, se proponen nuevos algoritmos basados en la idea de normalización por evaluación que sean extensibles a otros sistemas de tipos. En el futuro próximo extenderemos resultados que hemos conseguido recientemente [16,17] para obtener: una simplificación de los trabajos realizados para sistemas sin regla eta (acá se estudiarán dos sistemas: a la Martin Löf y a la PTS), la formulación de estos chequeadores para sistemas con variables, generalizar la noción de categoría con familia utilizada para dar semántica a teoría de tipos, obtener una formulación categórica de la noción de normalización por evaluación y finalmente, aplicar estos algoritmos a sistemas con reescrituras. Para los primeros resultados esperados mencionados, nos proponemos como método adaptar las pruebas de [16,17] a los nuevos sistemas. La importancia radica en que permitirán tornar más automatizables (y por ello, más fácilmente utilizables) los asistentes de demostración basados en teoría de tipos. Por otro lado, se utilizará la teoría de tipos para certificar compiladores, intentando llevar adelante la propuesta nunca explorada de [22] de utilizar un enfoque abstracto basado en categorías funtoriales. El método consistirá en certificar el lenguaje "Peal" [29] y luego agregar sucesivamente funcionalidad hasta obtener Forsythe [23]. En este período esperamos poder agregar varias extensiones. La importancia de este proyecto radica en que sólo un compilador certificado garantiza que un programa fuente correcto se compile a un programa objeto correcto. Es por ello, crucial para todo proceso de verificación que se base en verificar código fuente. Finalmente, se abordará la formalización de sistemas con session types. Los mismos han demostrado tener fallas en sus formulaciones [30], por lo que parece conveniente su formalización. Durante la marcha de este proyecto, esperamos tener alguna formalización que dé lugar a un algoritmo de chequeo de tipos y a demostrar las propiedades usuales de los sistemas. La contribución es arrojar un poco de luz sobre estas formulaciones cuyos errores revelan que el tema no ha adquirido aún suficiente madurez o comprensión por parte de la comunidad. This project is about using type theory to garantee program correctness. It follows three different directions: 1) Finding new type-checking algorithms based on normalization by evaluation. First, we would show that recent results like [16,17] extend to other type systems like: Martin-Löf´s type theory without eta rule, PTSs, type systems with variables (in addition to systems in [16,17] which are a la de Bruijn), systems with rewrite rules. This will be done by adjusting the proofs in [16,17] so that they apply to such systems as well. We will also try to obtain a more general definition of categories with families and normalization by evaluation, formulated in categorical terms. We expect this may turn proof-assistants more automatic and useful. 2) Exploring the proposal in [22] to compiler construction for Algol-like languages using functorial categories. According to [22] such approach is suitable for verifying compiler correctness, claim which was never explored. First, the language Peal [29] will be certified in type theory and we will gradually add funtionality to it until a correct compiler for the language Forsythe [23] is obtained. 3) Formilizing systems for session types. Several proposals have shown to be faulty [30]. This means that a formalization of it may contribute to the general understanding of session types.

Modularity of auditory spatial representations

Abstract : Auditory spatial functions are of crucial importance in everyday life. Determining the origin of sound sources in space plays a key role in a variety of tasks including orientation of attention, disentangling of complex acoustic patterns reaching our ears in noisy environments. Following brain damage, auditory spatial processing can be disrupted, resulting in severe handicaps. Complaints of patients with sound localization deficits include the inability to locate their crying child or being over-loaded by sounds in crowded public places. Yet, the brain bears a large capacity for reorganization following damage and/or learning. This phenomenon is referred as plasticity and is believed to underlie post-lesional functional recovery as well as learning-induced improvement. The aim of this thesis was to investigate the organization and plasticity of different aspects of auditory spatial functions. Overall, we report the outcomes of three studies: In the study entitled "Learning-induced plasticity in auditory spatial representations" (Spierer et al., 2007b), we focused on the neurophysiological and behavioral changes induced by auditory spatial training in healthy subjects. We found that relatively brief auditory spatial discrimination training improves performance and modifies the cortical representation of the trained sound locations, suggesting that cortical auditory representations of space are dynamic and subject to rapid reorganization. In the same study, we tested the generalization and persistence of training effects over time, as these are two determining factors in the development of neurorehabilitative intervention. In "The path to success in auditory spatial discrimination" (Spierer et al., 2007c), we investigated the neurophysiological correlates of successful spatial discrimination and contribute to the modeling of the anatomo-functional organization of auditory spatial processing in healthy subjects. We showed that discrimination accuracy depends on superior temporal plane (STP) activity in response to the first sound of a pair of stimuli. Our data support a model wherein refinement of spatial representations occurs within the STP and that interactions with parietal structures allow for transformations into coordinate frames that are required for higher-order computations including absolute localization of sound sources. In "Extinction of auditory stimuli in hemineglect: space versus ear" (Spierer et al., 2007a), we investigated auditory attentional deficits in brain-damaged patients. This work provides insight into the auditory neglect syndrome and its relation with neglect symptoms within the visual modality. Apart from contributing to a basic understanding of the cortical mechanisms underlying auditory spatial functions, the outcomes of the studies also contribute to develop neurorehabilitation strategies, which are currently being tested in clinical populations.

Kernels semàntics per a clustering de patrons

Memòria elaborada a partir d’una estada al projecte Proteus de la New York University entre abril i juny del 2007. Les tècniques de clustering poden ajudar a reduir la supervisió en processos d’obtenció de patrons per a Extracció d’Informació. Tanmateix, és necessari disposar d’algorismes adequats a documents, i aquests algorismes requereixen mesures adequades de similitud entre patrons. Els kernels poden oferir una solució a aquests problemes, però l’aprenentatge no supervisat requereix d’estrat`egies m´es astutes que l’aprenentatge supervisat per a incorporar major quantitat d’informació. En aquesta memòria, fruit de la meva estada de mes d’Abril al de Juny de 2007 al projecte. Proteus de la New York University, es proposen i avaluen diversos kernels sobre patrons. Ini- cialment s’estudien kernels amb una família de patrons restringits, i a continuació s’apliquen kernels ja usats en tasques supervisades d’Extracció d’Informació. Degut a la degradació del rendiment que experimenta el clustering a l’afegir informació irrellevant, els kernels se simpli- fiquen i es busquen estratègies per a incorporar-hi semàntica de forma selectiva. Finalment, s’estudia quin efecte té aplicar clustering sobre el coneixement semàntic com a pas previ al clustering de patrons. Les diverses estratègies s’avaluen en tasques de clustering de documents i patrons usant dades reals.

Identification of C7orf11 (TTDN1) gene mutations and genetic heterogeneity in nonphotosensitive trichothiodystrophy.

We have identified C7orf11, which localizes to the nucleus and is expressed in fetal hair follicles, as the first disease gene for nonphotosensitive trichothiodystrophy (TTD). C7orf11 maps to chromosome 7p14, and the disease locus has been designated "TTDN1" (TTD nonphotosensitive 1). Mutations were found in patients with Amish brittle-hair syndrome and in other nonphotosensititive TTD cases with mental retardation and decreased fertility but not in patients with Sabinas syndrome or Pollitt syndrome. Therefore, genetic heterogeneity in nonphotosensitive TTD is a feature similar to that observed in photosensitive TTD, which is caused by mutations in transcription factor II H (TFIIH) subunit genes. Comparative immunofluorescence analysis, however, suggests that C7orf11 does not influence TFIIH directly. Given the absence of cutaneous photosensitivity in the patients with C7orf11 mutations, together with the protein's nuclear localization, C7orf11 may be involved in transcription but not DNA repair.