The CONCERTO methodology for model-based development of avionics SW

20th International Conference on Reliable Software Technologies - Ada-Europe 2015 (Ada-Europe 2015), 22 to 26, Jun, 2015, Madrid, Spain.

Aborto recorrente das causas na mulher às consequências para o casal

RESUMO: O aborto recorrente (AR) é um evento extremamente traumático com grande impacto na vida dos casais. Apesar de avanços significativos verificados na investigação médica, cerca de 50% dos casos continua sem uma causa identificada. Alguns aspectos como a caracterização inadequada das doentes e das perdas gestacionais, assim como diferentes metodologias utilizadas no seu estudo, têm influenciado a prevalência de alguns dos factores causais e dificultado a compreensão do AR. Da mesma forma, pouco se sabe sobre as diferenças de género na vivência psicológica do aborto recorrente e das suas eventuais repercussões para o relacionamento do casal, centrando-se os poucos estudos existentes preferencialmente na mulher. Por esta razão, o objectivo desta tese foi a caracterização dos factores médicos associados ao AR e das consequências psicológicas desta entidade, contribuindo para promover estratégias clínicas baseadas na evidência específica. Na primeira parte desta tese (capítulos 1 e 2), após uma breve introdução geral e através de uma revisão da literatura, efectua-se uma reflexão sobre o tema, abordando a epidemiologia do aborto recorrente, os factores médicos e os aspectos psicológicos associados. Nos capítulos 3 e 4 descrevemos três estudos efectuados em mulheres portuguesas com aborto recorrente. O primeiro estudo teve por objectivo caracterizar os factores médicos e determinar o padrão da perda recorrente de gravidez, numa coorte de mulheres submetidas a um protocolo de diagnóstico definido. As participantes foram agrupadas de acordo com a paridade (AR primário ou secundário) e a idade gestacional das perdas (embrionárias ou fetais). As anomalias da cavidade uterina, a SAAF e as translocações equilibradas parentais foram os factores mais prevalentes. 15,6% das participantes eram obesas. Em 55,5% dos casos não foi identificado nenhum factor. A história obstétrica materna influenciou significativamente os resultados encontrados: os factores anatómicos e a SAAF foram mais prevalentes em nulíparas e as perdas inexplicadas foram mais frequentes em mulheres com AR secundário. Assim, os nossos dados reforçam os resultados de pesquisas anteriores sobre a importância da obesidade, da síndrome de anticorpos antifosfolípidos e das anomalias uterinas estruturais como factores associados ao AR e mostram que os a paridade é um moderador da importância desses factores. Capítulo 6 94 A ausência de resultados consensuais na literatura sobre a etiologia do AR condiciona a pesquisa sistemática de alguns factores, envolvendo exames dispendiosos, muitas vezes sem que exista evidência que suporte a sua associação com esta entidade. A trombofilia hereditária é uma das condições frequentemente investigadas nestas doentes. O nosso segundo estudo pretende contribuir para clarificar o papel de duas mutações (factor V Leiden e protrombina G20210A) na perda recorrente de gravidez e esclarecer a necessidade do seu rastreio nestas situações. Foi efectuada a pesquisa destes polimorfismos em 100 mulheres com AR inexplicado e num grupo de controlo de multíparas sem história de perdas de gravidez. Na nossa amostra não se verificou uma associação entre perdas embrionárias recorrentes e estas mutações. Nas mulheres com este tipo de perdas, a prevalência do FLV foi inclusive menor do que a verificada nos controlos. Pelo contrário, nas participantes com perdas fetais a prevalência destes polimorfismos foi muito superior à verificada nos controlos, sugerindo uma possível associação entre estas duas entidades. A pequena dimensão deste último subgrupo de mulheres, não nos permitiu contudo tirar conclusões. Uma investigação prospectiva multicêntrica é necessária antes de recomendar a pesquisa da trombofilia hereditária na investigação do AR. Procurámos incluir também nesta tese uma dimensão psicológica e contribuir assim para o conhecimento dos processos relacionais originados pelo AR. No terceiro estudo foram investigadas as diferenças de género na vivência do AR e o seu impacto no relacionamento e sexualidade do casal. Participaram neste estudo 30 casais sem filhos, com pelo menos 3 abortos espontâneos consecutivos. Cada membro do casal respondeu a um conjunto de questionários (Impact of Events Scale, Perinatal Grief Scale, Partnership Questionnaire e Intimate Relationship Scale). Os resultados mostram que as mulheres sofrem mais intensamente do que os homens com o AR, relacionando-se a intensidade do seu sofrimento com a qualidade do relacionamento conjugal. A sexualidade do casal é também afectada pelo stress e pelo sofrimento associados ao AR. Uma avaliação e acompanhamento deste tipo de problemas são imprescindíveis para ajudar estes casais a manterem a qualidade afectiva e sexual da sua relação. Finalmente, no capítulo 5 sumariámos as conclusões de toda a contribuição pessoal para a investigação sobre os factores associados e repercussões para o casal da perda recorrente de gravidez.-------------------ABSTRACT: Recurrent miscarriage (RM), a rare condition, has been described as a traumatic event for couples. Parental chromosomal anomalies, maternal thrombophilic disorders and structural uterine anomalies have been directly associated with RM. However, despite significant advances in medical research, the vast majority of cases remain unexplained. Aspects as the ethnic diversity of the population with different expression of genes, the inappropriate characterization of patients and of pregnancy losses, as well as different methodologies used in their study, have influenced the prevalence of etiological factors and have hampered the understanding of this problem. Similarly, little is known about gender differences in psychological experience of RM and its implications for the relationship of the couple. The first objective of this thesis is the characterization of the medical factors and of the psychological consequences related with RM, in the Portuguese population, helping to promote specific evidence-based clinical strategies. In the first part of this thesis, and after a brief general introduction (Chapter 1), a critical review of literature on the definition, the epidemiology and the dimensions involved, with a special emphasis on associated medical and psychological aspects of recurrent miscarriage, is presented (Chapter 2). In Chapters 3 and 4 we describe three studies carried out in Portuguese couples with RM. The first study aimed to investigate the etiological factors and the pattern of pregnancy loss in a cohort of women with RM. Subjects were divided in groups according to their parity (primary or secondary RM) and time of pregnancy loss (embryonic or fetal). Parental chromosome anomalies, uterine anomalies and antiphospholipid syndrome were the most prevalent medical factors. 15.6% of the women were obese. In the majority of cases (55.5%) no identifiable cause was detected. Parity influenced significantly our results. There was a higher prevalence of anatomic factors and antiphospholipid syndrome in primary RM. On the other hand, unexplained losses were more frequent in secondary RM. Except for the parental chromosomal abnormalities; the frequency of risk factors was similar among women with fetal or embryonic losses. Our data emphasizes the results of previous research on the importance of obesity, antiphospholipid syndrome and structural uterine abnormalities as known risk factors for RM, and shows that parity is an important moderator of the weight of those risk factors. Our second study aims to clarify the role of two mutations (factor V Leiden and prothrombin G20210A) and elucidate the need for their screening in Portuguese women with RM. FVL and PT G20210A analysis was carried out in 100 women with three or more consecutive miscarriages and a control group of 100 parous controls with no history of pregnancy losses. Secondary analysis was made regarding gestational age at miscarriage (embryonic and fetal loss). Overall the prevalence of FVL and PT G20210A was similar in RM women compared with controls. In the RM embryonic subgroup of women, FVL prevalence was inclusively lower than that of controls. Conversely in women with fetal losses both polymorphisms were much more frequent, although statistical significance was not reached due to the small size of this subgroup of patients. These data indicate that inherited maternal thrombophilia is not associated with RM prior to 10 weeks of gestation. Therefore, its screening is not indicated as an initial approach in Portuguese women with RM and a negative personal history of thromboembolic.96 Our second study aims to clarify the role of two mutations (factor V Leiden and prothrombin G20210A) and elucidate the need for their screening in Portuguese women with RM. FVL and PT G20210A analysis was carried out in 100 women with three or more consecutive miscarriages and a control group of 100 parous controls with no history of pregnancy losses. Secondary analysis was made regarding gestational age at miscarriage (embryonic and fetal loss). Overall the prevalence of FVL and PT G20210A was similar in RM women compared with controls. In the RM embryonic subgroup of women, FVL prevalence was inclusively lower than that of controls. Conversely in women with fetal losses both polymorphisms were much more frequent, although statistical significance was not reached due to the small size of this subgroup of patients. These data indicate that inherited maternal thrombophilia is not associated with RM prior to 10 weeks of gestation. Therefore, its screening is not indicated as an initial approach in Portuguese women with RM and a negative personal history of thromboembolic. In our third study, we investigate gender differences in RM experience and its impact on the couple's relationship and sexuality. Each member of 30 couples with RM answered a set of questionnaires, including the Impact of Events Scale (Horowitz et al., 1979), the Perinatal Grief Scale (Toedter et al., 1988), the Partnership Questionnaire (Hahlweg, 1979) and the Intimate Relationship Scale (Hetherington e Soeken, 1990). Results showed that men do grieve, but less intensely than women. Although the quality of the couple‟s relationship seemed not to be adversely affected by RM, both partners described sexual changes after those events. Grief was related to the quality of communication in the couple for women, and to the quality of sex life for men. An understanding of such issues is critical in helping these couples to maintain sexual and affective quality of their relationship. Finally, in Chapter 5, conclusions and clinical implications of all personal contribution to the investigation on associated factors and relational consequences of recurrent miscarriage are presented.

How realistic is the mixed-criticality real-time system model?

23rd International Conference on Real-Time Networks and Systems (RTNS 2015). 4 to 6, Nov, 2015, Main Track. Lille, France. Best Paper Award Nominee

TEC4SEA - A Modular Platform for Research, Test and Validation of Technologies Supporting a Sustainable Blue Economy

This paper presents the TEC4SEA research infrastructure created in Portugal to support research, development, and validation of marine technologies. It is a multidisciplinary open platform, capable of supporting research, development, and test of marine robotics, telecommunications, and sensing technologies for monitoring and operating in the ocean environment. Due to the installed research facilities and its privileged geographic location, it allows fast access to deep sea, and can support multidisciplinary research, enabling full validation and evaluation of technological solutions designed for the ocean environment. It is a vertically integrated infrastructure, in the sense that it possesses a set of skills and resources which range from pure conceptual research to field deployment missions, with strong industrial and logistic capacities in the middle tier of prototype production. TEC4SEA is open to the entire scientific and enterprise community, with a free access policy for researchers affiliated with the research units that ensure its maintenance and sustainability. The paper describes the infrastructure in detail, and discusses associated research programs, providing a strategic vision for deep sea research initiatives, within the context of both the Portuguese National Ocean Strategy and European Strategy frameworks.

From Mind to Body: Is Mental Practice Effective on Strength Gains? A Meta-Analysis

Mental practice is an internal reproduction of a motor act (whose intention is to promote learning and improving motor skills). Some studies have shown that other cognitive strategies also increase the strength and muscular resistance in healthy people by the enhancement of the performance during dynamic tasks. Mental training sessions may be primordial to improving muscle strength in different subjects. The aim of this study was to systematically review and meta-analiyze studies that assessed whether mental practice is effective in improving muscular strength. We conducted an electronic-computed search in Pub-Med/Medline and ISI Web of Knowledge, Scielo and manual searchs, searching papers written in English between 1991 and 2014. There were 44 studies in Pub-Med/Medline, 631 in ISI Web of Knowledge, 11 in Scielo and 3 in manual searchs databases. After exclusion of studies for duplicate, unrelated to the topic by title and summary, different samples and methodologies, a meta-analysis of 4 studies was carried out to identify the dose-response relationship. We did not find evidence that mental practice is effective in increasing strength in healthy individuals. There is no evidence that mental practice alone can be effective to induce strength gains or to optimize the training effects.

Analyzing Multiple Outcomes: Is it Really Worth the use of Multivariate Linear Regression?

In health related research it is common to have multiple outcomes of interest in a single study. These outcomes are often analysed separately, ignoring the correlation between them. One would expect that a multivariate approach would be a more efficient alternative to individual analyses of each outcome. Surprisingly, this is not always the case. In this article we discuss different settings of linear models and compare the multivariate and univariate approaches. We show that for linear regression models, the estimates of the regression parameters associated with covariates that are shared across the outcomes are the same for the multivariate and univariate models while for outcome-specific covariates the multivariate model performs better in terms of efficiency.

Analysis of the Out-Of-Plane Seismic Behavior of Unreinforced Masonry: A Literature Review

Although the issue of the out-of-plane response of unreinforced masonry structures under earthquake excitation is well known with consensus among the research community, this issue is simultaneously one of the more complex and most neglected areas on the seismic assessment of existing buildings. Nonetheless, its characterization should be found on the solid knowledge of the phenomenon and on the complete understanding of methodologies currently used to describe it. Based on this assumption, this article presents a general framework on the issue of the out-of-plane performance of unreinforced masonry structures, beginning with a brief introduction to the topic, followed by a compact state of art in which the principal methodologies proposed to assess the out-of-plane behavior of unreinforced masonry structures are presented. Different analytical approaches are presented, namely force and displacement-based, complemented with the presentation of existing numerical tools for the purpose presented above. Moreover, the most relevant experimental campaigns carried out in order to reproduce the phenomenon are reviewed and briefly discussed.

Initial dilemmas in IST research: design science and design research, a clarification of concepts

The inter-disciplinarity of information systems, applied discipline and activity of design, and the study from different paradigms perspectives explains the diversity of problems addressed. The context is broad and includes important issues beyond technology, as the application, use, effectiveness, efficiency and their organizational and social impacts. In design science, the research interest is in contributing to the improvement of the processes of the design activity itself. The relevance of research in design science is associated with the result obtained for the improvement of living conditions in organizational, inter-organizational and Society contexts. In the research whose results are artifacts, the adoption of design research as a process of research is crucial to ensure discipline, rigor and transparency. Based on a literature review, this paper clarifies the terms of design science and design research. This is the main motivation for presenting this paper, determinant for the phase in research in technologies and information systems which are the three research projects presented. As a result the three projects are discussed in relation to the concepts of design science and design research.

Interpretative research in information systems: two qualitative research design projects

In a scientific research project is important to define the underlying philosophical orientation of the project, because this will influence the choices made in respect of scientific methods used, as well as the way they will be applied. It is crucial, therefore, that the philosophy and research design strategy are consistent with each other. These questions become even more relevant in qualitative research. Historically, the interpretive research philosophy is more associated to the scientific areas of social sciences and humanities where the subjectivity inherent to human intervention is more explicitly defined. Information systems field are, primarily, trapped in computer science field, though it also integrates issues related with management and organizations field. This shift from a purely technological guidance for the consideration of the problems of management and organizations has fostered the rise of research projects according to the interpretive philosophy and using qualitative methods. This paper explores the importance of alignment between the epistemological orientation and research design strategy, in qualitative research projects. As a result, it is presented two PhD projects, with different research design strategies, that are being developed in the technology and information systems field, in the light of the interpretive paradigm.

Neutralization of bitis parviocula (Ethiopian mountain adder) venom by the south african institute of medical research (SAIMR) antivenom

BACKGROUND: The Ethiopian mountain adder (Bitis parviocula) is a viperid known only from a few locations in southwestern Ethiopia. METHODS: a total of 30 µg of B. arietans and B. parviocula venoms were run on a 10-20% Tricine gel. To assay lethality dose fifty (LD50), five groups of eight mice for each venom were used. Hemorrhagic activity for crude venom was tested. Fibrinogenolytic activity of crude venom was measured using (2.5 mg/mL) of fibrinogen solution and (0.03 mg/mL) of crude venom. Gelatinase activity of the venom was tested on a Kodak X-OMAT TM film. Crude venoms of B. parviocula and B. arietans were tested for their abilities to affect clotting time, clotting rate and platelet function on whole human blood. RESULTS: The (SAIMR) antivenom was confirmed in this study to neutralize the lethal activity of venom from Bitis parviocula. The ED50s of SAIMR antivenom on B. parviocula and B. arietans neutralized half of 18.2 and 66.7 mg of venom, respectively. The hemorrhagic activities (MHDs) of B. parviocula and B. arietans were 0.88 and 1.7 µg, respectively. Bitis arietans and B. parviocula venoms degradated α and β chains at different times. The γ chains remained unaffected. Bitis parviocula venom did not exhibit gelatinase activity, while B. arietans had a MGD of 6.9 µg. At 3 mg/mL, the crude venoms of B. parviocula and B. arietans did not significantly affect clotting time or clotting rate. CONCLUSIONS: The SAIMR antivenom is very effective in neutralizing the venom of B. parviocula and should be considered in treating envenomations by these snakes.

Responsible innovation: bringing together technology assessment, applied ethics, and STS research

Paper presented as "key note" at the Doctorate Conference on Technology Assessment in June 2011, at FCT-UNL, Monte de Caparica.

Research and development expenditure in the business sector as indicator of knowledge economy: the Portuguese experience

The objective of the paper is to help to understand recent changes in the structure of R&D activities, by analyzing data on the expenditure of the business sector in research and development (R&D). The results are framed in an international context, through comparison with indicators from the most developed countries, divided by technological intensity and economic activity. The study reveals that the indicators of Portuguese R&D expenditure in the business sector are closely linked both to fiscal policy and to high foreign direct investment in knowledge-intensive industries. It also links these indicators to phenomena such as the abundance of skilled labor in pharmaceutical industries and the government intervention in some sectors of the economy (namely health and rail transportation).

Regional change in the Algarve: A Geographic Information System approach

Thesis submitted to the Instituto Superior de Estatística e Gestão de Informação da Universidade Nova de Lisboa in partial fulfillment of the requirements for the Degree of Doctor of Philosophy in Information Management – Geographic Information Systems

A avaliação e o investimento imobiliário

O documento que seguidamente se desenvolve, tem como fundamental objetivo a descrição do trabalho efetuado ao longo de um estágio semestral realizado, pelo mestrando, na empresa QUALITAS – Sociedade de Avaliações Técnicas, Lda., subordinado ao tema «A Avaliação e o Investimento Imobiliário». Através do estágio é cumprida uma parte do plano do mestrado, tendo sido assim possível colocar em prática os conhecimentos teóricos absorvidos previamente na formação académica detida. Os objetivos previstos para o estágio consistiam no acompanhamento de diversos casos de estudo relativos à avaliação imobiliária, em ambiente empresarial, abrangendo usos e destinos variados e, ainda, o levantamento bibliográfico de suporte, apoiado pela frequência de um curso de avaliação imobiliária em simultâneo com o estágio. As avaliações imobiliárias realizadas foram geralmente precedidas de visitas aos locais, implicando prospeção de mercado no terreno, para aplicação das metodologias apresentadas, sendo que em todos os casos o supervisor revia os trabalhos. Com o resumo da atualidade da avaliação imobiliária, referindo investimentos, legislação, entidades, metodologias e ainda outros pontos essenciais, prevê-se demonstrar o conhecimento adquirido pelo estagiário. Pode concluir-se que o setor está em reestruturação gradual, tida como essencial para a evolução da área, que se presume culminar numa profissão bastante mais restrita, rigorosa e fiável. A formação que se pretende exigir aos peritos é uma ferramenta essencial ao desempenho de um trabalho exemplar e o estágio uma oportunidade de aprender in situ, aplicando conhecimentos anteriormente adquiridos.

WATER FROM DIFFERENT SOURCES USED FOR THE IRRIGATION OF VEGETABLES TO BE MARKETED: RESEARCH ON Cryptosporidium spp., Giardia spp., AND COLIFORMS IN PARANA, BRAZIL

SUMMARY The aim of this work was to compare, from a parasitological ( Cryptosporidiumspp. and Giardia duodenalis), bacteriological (total and thermotolerants coliforms) and physicochemical perspective, water sources used for drinking and irrigation of vegetables intended to be sold for human consumption. From January 2010 to May 2011, samples of different water sources from vegetable producing properties were collected; 100 liters for parasitological analysis, 200 mL for bacteriological analysis, and five liters for physicochemical analysis. Water samples were filtered under vacuum with a kit containing a cellulose acetate membrane filter, 1.2 µm (Millipore(r), Barueri, SP, Brazil). The material retained on the membrane was mechanically extracted and analyzed by direct immunofluorescence (Merifluor(r)kit). From 20 rural properties investigated, 10 had artesian wells (40 samples), 10 had common wells (40 samples), and one had a mine (four samples), the latter contaminated by Cryptosporidiumspp. In samples from artesian wells, 90 to 130 meters depth, 42.5% were positive for total coliforms and 5.0% were identified to have abnormal coloration. From the samples of common wells, 14 to 37 meters depth, 87.5% were contaminated with total coliforms, 82.5% were positive for thermotolerant coliforms, and 12.5% had color abnormalities. We did not detect the presence of Giardiaspp. or Cryptosporidiumspp. in artesian and common wells. The use of artesian or common wells is an important step in the control of the spreading of zoonoses, particularly Cryptosporidiumspp. and Giardiaspp., as well as artesian wells for coliform control in local production of vegetables to be marketed.