FlexiXML: Um animador de modelos UsiXML

Uma parte considerável do desenvolvimento de software é dedicada à camada de interacção com o utilizador. Face à complexidade inerente ao desenvolvimento desta camada, é importante possibilitar uma análise tão cedo quanto possível dos conceitos e ideias em desenvolvimento para uma dada interface. O desenvolvimento baseado em modelos fornece uma solução para este problema ao facilitar a prototipagem de interfaces a partir dos modelos desenvolvidos. Este artigo descreve uma abordagem à prototipagem de interfaces e apresenta a primeira versão da ferramenta FlexiXML que realiza a interpretação e animação de interfaces descritas em UsiXML

FlexiXML : a portable user interface rendering engine for UsiXML

A considerable amount of effort in software development is dedicated to the user interaction layer.Given the complexity inherent to the development of this layer, it is important to be able to analyse the concepts and ideas being used in the development of a given user interface. This analysis should be performed as early as possible. Model- based user interface development provides a solution to this problem by providing developers with tools that enable both modeling, and reasoning about, user interfaces at different levels of abstraction. Of particular interest here, is the possibility of animating the models to generate actual user interfaces. This paper describes FlexiXML, a tool that performs the rendering and animation of user interfaces described in the UsiXML modeling language

AniMAL - a user interface prototyper and animator for MAL interactor models

Engineering correct software is one of the grand challenges of computer science. Practical design and verification methodologies to ensure correct software can have a substantial impact on how programs are built by the industry. As human-machine systems become more functional, they also become more complex. Consequently, the interactions between the machine and its users becomes less predictable and more difficult to analyse. Using Model Checking it is possible to automatically analyse the behaviour of a modelled system. Hence, different authors have investigated the applicability of model checking to the analysis of human-machine interactions. The IVY workbench is a tool that supports system design and verification, by providing a model checking based integrated modelling and analysis environment. The tool is based around a plugin architecture, and although it features a verification results' analyser, it thus far lacked the ability to visually expose the sequence of events that lead to a system failure on a system's prototype. We propose the AniMAL plugin as an extension to the IVY workbench, providing automatic user interface prototyping and verification results' animation, while allowing thorough customisation

Depressão, Ansiedade e Stress em doentes deprimidos: Estudo com a EADS-21

The present study aims to analyze and compare levels of anxiety, depression and stress in exclusively attended patients in psychiatry consultations and in patients exclusively followed in psychology consultations. The sample consisted of 60 patients diagnosed with depression in a Portuguese public hospital, 30 exclusively followed in psychiatry consultations and 30 followed only in psychology consultations, aged between 15 and 74 years. Data were collected through the Anxiety, Depression and Stress Scale (EADS-21 validated for the Portuguese population by Pais-Ribeiro et al., 2004; original DASS by Lovibond and Lovibond, 1995) and a sociodemographic questionnaire. The results showed that the levels of stress, anxiety and depression of the patients followed exclusively in psychotherapy were significantly lower than the patients exclusively followed in psychiatry. The results are discussed considering the type of therapeutic intervention, as well as some sociodemographic and clinical variables, namely those related to significant losses and psychiatric antecedents.O presente estudo pretende analisar e comparar os níveis de ansiedade, depressão e stress em pacientes exclusivamente acompanhados em consultas psiquiatria e em pacientes exclusivamente acompanhados em consultas de psicologia. A amostra é constituída por 60 pacientes diagnosticados com depressão de um hospital público português, 30 exclusivamente acompanhados em consultas de psiquiatria e 30 apenas seguidos em consultas de psicologia, com idades compreendidas entre os 15 e os 74 anos. Os dados foram recolhidos através da Escala de Ansiedade, Depressão e Stress (EADS-21 validada para a população portuguesa por Pais-Ribeiro et al., 2004; original DASS de Lovibond y Lovibond, 1995) e de um questionário sociodemográfico. Os resultados mostraram que os níveis de stress, ansiedade e depressão dos pacientes acompanhados exclusivamente em psicoterapia foram significativamente inferiores aos dos pacientes acompanhados exclusivamente em psiquiatria. Discutem-se os resultados atendendo ao tipo de intervenção terapêutica, assim como a algumas variáveis sociodemográficas e clínicas, nomeadamente as respeitantes às perdas significativas e aos antecedentes psiquiátricos

Qualidade de vida em pacientes depressivos seguidos na psicologia e na psicícia

This study aims to analyze and compare the Quality of Life in patients followed exclusively in Psychiatry and in patients followed exclusively in Psychology. Took part of the study 60 patients of both genders with depressive symptomatology and no other clinical diagnosis (exclusion criteria), 30 being exclusively followed at hospital psychiatric consultations and 30 exclusively followed in psychology consultations. After informed consent, we used the Quality of Life questionnaire (SF-36; Ware and Sherbourne, 1992), which showed good psychometric properties in its nine domains: Physical Function, Physical Performance, Body Pain, General Health, Vitality, Social Functioning, Role Emotional, Mental Health, and Health Change. We found that the patients followed in Psychology showed a better quality of life in Emotional and Physical Performance, as well as in Mental Health. Men expressed a similar quality of life to women, except in the field of Physical Function, higher in males. Single patients had better in Role Emotional and Mental Health, when compared to divorced and widowed. The results are discussed considering the benefits of psychological therapy in improving the quality of life of depressed patients.O presente estudo pretende analisar e comparar a Qualidade de Vida em pacientes exclusivamente acompanhados em consultas psiquiatria e em pacientes exclusivamente acompanhados em consultas de psicologia. Participaram no estudo 60 pacientes de ambos os sexos com sintomatologia depressiva e sem outro quadro clínico diagnosticado (critério de exclusão), sendo 30 exclusivamente acompanhados em consultas hospitalares de psiquiatria e 30 exclusivamente acompanhados em consultas de psicologia. Após consentimento informado, aplicámos o Questionário da Qualidade de Vida (SF-36; Ware y Sherbourne, 1992), que mostrou boas propriedades psicométricas nos nove domínios constituintes: Função física, Desempenho físico, Dor corporal, Saúde geral, Vitalidade, Função Social, Desempenho emocional, Saúde mental e Mudança de Saúde. Verificámos que os pacientes acompanhados em Psicologia mostraram uma melhor Qualidade de Vida ao nível dos domínios Desempenho emocional, Desempenho físico e Saúde mental. Os homens manifestaram uma Qualidade de Vida semelhante à das mulheres, excepto no domínio da Função física, superior no sexo masculino. Os pacientes solteiros apresentaram melhores Desempenho emocional e Saúde mental comparativamente aos divorciados e aos viúvos. Os resultados são discutidos numa abordagem dos benefícios da terapia psicológica na melhoria da qualidade de vida em doentes deprimidos

Midgut microbiota of the malaria mosquito vector Anopheles gambiae and Interactions with plasmodium falciparum Infection

The susceptibility of Anopheles mosquitoes to Plasmodium infections relies on complex interactions between the insect vector and the malaria parasite. A number of studies have shown that the mosquito innate immune responses play an important role in controlling the malaria infection and that the strength of parasite clearance is under genetic control, but little is known about the influence of environmental factors on the transmission success. We present here evidence that the composition of the vector gut microbiota is one of the major components that determine the outcome of mosquito infections. A. gambiae mosquitoes collected in natural breeding sites from Cameroon were experimentally challenged with a wild P. falciparum isolate, and their gut bacterial content was submitted for pyrosequencing analysis. The meta-taxogenomic approach revealed a broader richness of the midgut bacterial flora than previously described. Unexpectedly, the majority of bacterial species were found in only a small proportion of mosquitoes, and only 20 genera were shared by 80% of individuals. We show that observed differences in gut bacterial flora of adult mosquitoes is a result of breeding in distinct sites, suggesting that the native aquatic source where larvae were grown determines the composition of the midgut microbiota. Importantly, the abundance of Enterobacteriaceae in the mosquito midgut correlates significantly with the Plasmodium infection status. This striking relationship highlights the role of natural gut environment in parasite transmission. Deciphering microbe-pathogen interactions offers new perspectives to control disease transmission.Institut de Recherche pour le Developpement (IRD); French Agence Nationale pour la Recherche [ANR-11-BSV7-009-01]; European Community [242095, 223601]info:eu-repo/semantics/publishedVersio

Prime Focus Spectrograph (PFS) for the Subaru Telescope: Overview, recent progress, and future perspectives

PFS (Prime Focus Spectrograph), a next generation facility instrument on the 8.2-meter Subaru Telescope, is a very wide-field, massively multiplexed, optical and near-infrared spectrograph. Exploiting the Subaru prime focus, 2394 reconfigurable fibers will be distributed over the 1.3 deg field of view. The spectrograph has been designed with 3 arms of blue, red, and near-infrared cameras to simultaneously observe spectra from 380nm to 1260nm in one exposure at a resolution of ~1.6-2.7A. An international collaboration is developing this instrument under the initiative of Kavli IPMU. The project is now going into the construction phase aiming at undertaking system integration in 2017-2018 and subsequently carrying out engineering operations in 2018-2019. This article gives an overview of the instrument, current project status and future paths forward.Comment: 17 pages, 10 figures. Proceeding of SPIE Astronomical Telescopes and Instrumentation 201

Análise de qualidade e pesquisa de coliformes totais e termotolerantes em amostras de hibiscus rosa sinensis l. Comercializadas em Recife - PE / Analysis of quality and research of total and thermotolerant coliforms in samples of hibiscus rosa sinensis l. Commercialized in Recife – PE

O uso de plantas medicinais é uma das formas mais antigas utilizadas pela população. O Hibiscus rosa sinensis l. (família Malvaceae), popularmente denominado como mimo-de-vênus ou hibisco-da-china; na região amazônica do Brasil, considerada planta exótica, é conhecido como pampola, amor-de-homens, aurora ou Pampulha. O presente estudo teve como objetivo analisar a qualidade das amostras de Hibiscus rosa sinensis l. comercializadas na cidade de Recife - PE e realizar pesquisa de coliformes totais e termotolerantes. Verificou-se que todas as 3 amostras apresentaram índice inferior a 2% de material estranho, atendendo aos critérios exigidos pela legislação. Nenhuma das amostras foi aprovada no teste de teor de cinzas totais e foi detectado um percentual elevado referente ao teor de umidade, os resultados variaram de 15,66% a 19,33%. A rotulagem apresentou informações superficiais, algumas não possuíam nenhum rótulo ou folheto informativo. Na análise de coliformes totais e termotolerantes, 100% dos resultados foram satisfatórios, não havendo crescimento microbiano. Desta forma torna-se imprescindível uma fiscalização mais efetiva por parte dos órgãos competentes a fim de proteger à saúde dos consumidores destes produtos