A Generic Library for GUI Reasoning and Testing

Graphical user interfaces (GUIs) make software easy to use by providing the user with visual controls. Therefore, correctness of GUI's code is essential to the correct execution of the overall software. Models can help in the evaluation of interactive applications by allowing designers to concentrate on its more important aspects. This paper presents a generic model for language-independent reverse engineering of graphical user interface based applications, and we explore the integration of model-based testing techniques in our approach, thus allowing us to perform fault detection. A prototype tool has been constructed, which is already capable of deriving and testing a user interface behavioral model of applications written in Java/Swing.

The right to medical care and its economic consequences: an American dilemma

The concepts of "rights" and of "right to health care" including its evolution in modern times are discussed. The consequences of implementing this right are discussed in economic terms, regarding the situation in the United States of America. A discussion is also included on the limitations of the role of Health Insurance as a measure to solve the problem of providing health care for all individuals.

Risk assessment in occupational exposure to formaldehyde: differences between anatomy and pathology laboratories and formaldehyde-resins production

Formaldehyde (CH2O), the most simple and reactive of all aldehydes, is colorless, and readily polymerizing gas at normal temperature. The most extensive use is in production of resins and has an important application as a disinfectant and preservative, reason why relevant workplace exposure may also occur in pathology and anatomy laboratories and in mortuaries. A study was carried out in Portugal, in a formaldehyde production resins factory and in 10 pathology and anatomy laboratories. It was applied a risk assessment methodology based on Queensland University proposal that permitted to perform risk assessment for each activity developed in a work station. This methodology was applied in 83 different activities developed in the laboratories and in 18 activities of the factory. Also, Micronucleus Test was performed in lymphocytes from 30 factory workers and 50 laboratories workers.

Comparative evaluation of underlying causes of death processed by the Automated Classification of Medical Entities and the Underlying Cause of Death Selection Systems

INTRODUCTION: The correct identification of the underlying cause of death and its precise assignment to a code from the International Classification of Diseases are important issues to achieve accurate and universally comparable mortality statistics These factors, among other ones, led to the development of computer software programs in order to automatically identify the underlying cause of death. OBJECTIVE: This work was conceived to compare the underlying causes of death processed respectively by the Automated Classification of Medical Entities (ACME) and the "Sistema de Seleção de Causa Básica de Morte" (SCB) programs. MATERIAL AND METHOD: The comparative evaluation of the underlying causes of death processed respectively by ACME and SCB systems was performed using the input data file for the ACME system that included deaths which occurred in the State of S. Paulo from June to December 1993, totalling 129,104 records of the corresponding death certificates. The differences between underlying causes selected by ACME and SCB systems verified in the month of June, when considered as SCB errors, were used to correct and improve SCB processing logic and its decision tables. RESULTS: The processing of the underlying causes of death by the ACME and SCB systems resulted in 3,278 differences, that were analysed and ascribed to lack of answer to dialogue boxes during processing, to deaths due to human immunodeficiency virus [HIV] disease for which there was no specific provision in any of the systems, to coding and/or keying errors and to actual problems. The detailed analysis of these latter disclosed that the majority of the underlying causes of death processed by the SCB system were correct and that different interpretations were given to the mortality coding rules by each system, that some particular problems could not be explained with the available documentation and that a smaller proportion of problems were identified as SCB errors. CONCLUSION: These results, disclosing a very low and insignificant number of actual problems, guarantees the use of the version of the SCB system for the Ninth Revision of the International Classification of Diseases and assures the continuity of the work which is being undertaken for the Tenth Revision version.

Voluntary HIV counseling and testing during prenatal care in Brazil

OBJECTIVE: Voluntary HIV counseling and testing are provided to all Brazilian pregnant women with the purpose of reducing mother-to-child HIV transmission. The purpose of the study was to assess characteristics of HIV testing and identify factors associated with HIV counseling and testing. METHODS: A cross-sectional study was carried out comprising 1,658 mothers living in Porto Alegre, Brazil. Biological, reproductive and social variables were obtained from mothers by means of a standardized questionnaire. Being counseling about HIV testing was the dependent variable. Confidence intervals, chi-square test and hierarchical logistic model were used to determine the association between counseling and maternal variables. RESULTS: Of 1,658 mothers interviewed, 1,603 or 96.7% (95% CI: 95.7-97.5) underwent HIV testing, and 51 or 3.1% (95% CI: 2.3-4.0) were not tested. Four (0.2%) refused to undergo testing after counseling. Of 51 women not tested in this study, 30 had undergone the testing previously. Of 1,603 women tested, 630 or 39.3% (95% CI: 36.9-41.7) received counseling, 947 or 59.2% (95% CI: 56.6-61.5) did not, and 26 (1.6%) did not inform. Low income, lack of prenatal care, late beginning of prenatal care, use of rapid testing, and receiving prenatal in the public sector were variables independently associated with a lower probability of getting counseling about HIV testing. CONCLUSIONS: The study findings confirmed the high rate of prenatal HIV testing in Porto Alegre. However, women coming from less privileged social groups were less likely to receive information and benefit from counseling.

Genotoxic effects in occupational exposure to formaldehyde: A study in anatomy and pathology laboratories and formaldehyde-resins production

Background - According to the Report on Carcinogens, formaldehyde ranks 25th in the overall U.S. chemical production, with more than 5 million tons produced each year. Given its economic importance and widespread use, many people are exposed to formaldehyde environmentally and/or occupationally. Presently, the International Agency for Research on Cancer classifies formaldehyde as carcinogenic to humans (Group 1), based on sufficient evidence in humans and in experimental animals. Manyfold in vitro studies clearly indicated that formaldehyde can induce genotoxic effects in proliferating cultured mammalian cells. Furthermore, some in vivo studies have found changes in epithelial cells and in peripheral blood lymphocytes related to formaldehyde exposure. Methods - A study was carried out in Portugal, using 80 workers occupationally exposed to formaldehyde vapours: 30 workers from formaldehyde and formaldehyde-based resins production factory and 50 from 10 pathology and anatomy laboratories. A control group of 85 non-exposed subjects was considered. Exposure assessment was performed by applying simultaneously two techniques of air monitoring: NIOSH Method 2541 and Photo Ionization Detection equipment with simultaneously video recording. Evaluation of genotoxic effects was performed by application of micronucleus test in exfoliated epithelial cells from buccal mucosa and peripheral blood lymphocytes. Results - Time-weighted average concentrations not exceeded the reference value (0.75 ppm) in the two occupational settings studied. Ceiling concentrations, on the other hand, were higher than reference value (0.3 ppm) in both. The frequency of micronucleus in peripheral blood lymphocytes and in epithelial cells was significantly higher in both exposed groups than in the control group (p < 0.001). Moreover, the frequency of micronucleus in peripheral blood lymphocytes was significantly higher in the laboratories group than in the factory workers (p < 0.05). A moderate positive correlation was found between duration of occupational exposure to formaldehyde (years of exposure) and micronucleus frequency in peripheral blood lymphocytes (r = 0.401; p < 0.001) and in epithelial cells (r = 0.209; p < 0.01). Conclusions - The population studied is exposed to high peak concentrations of formaldehyde with a long-term exposure. These two aspects, cumulatively, can be the cause of the observed genotoxic endpoint effects. The association of these cytogenetic effects with formaldehyde exposure gives important information to risk assessment process and may also be used to assess health risks for exposed workers.

H-NAMe: specifying, implementing and testing a hidden-node avoidance mechanism for wireless sensor networks

The hidden-node problem has been shown to be a major source of Quality-of-Service (QoS) degradation in Wireless Sensor Networks (WSNs) due to factors such as the limited communication range of sensor nodes, link asymmetry and the characteristics of the physical environment. In wireless contention-based Medium Access Control protocols, if two nodes that are not visible to each other transmit to a third node that is visible to the formers, there will be a collision – usually called hidden-node or blind collision. This problem greatly affects network throughput, energy-efficiency and message transfer delays, which might be particularly dramatic in large-scale WSNs. This technical report tackles the hidden-node problem in WSNs and proposes HNAMe, a simple yet efficient distributed mechanism to overcome it. H-NAMe relies on a grouping strategy that splits each cluster of a WSN into disjoint groups of non-hidden nodes and then scales to multiple clusters via a cluster grouping strategy that guarantees no transmission interference between overlapping clusters. We also show that the H-NAMe mechanism can be easily applied to the IEEE 802.15.4/ZigBee protocols with only minor add-ons and ensuring backward compatibility with the standard specifications. We demonstrate the feasibility of H-NAMe via an experimental test-bed, showing that it increases network throughput and transmission success probability up to twice the values obtained without H-NAMe. We believe that the results in this technical report will be quite useful in efficiently enabling IEEE 802.15.4/ZigBee as a WSN protocol.

Design and testing of a radiation hardened 13-bit 80 MS/s pipeline ADC implemented in a 90nm standard CMOS process

Second International Workshop on Analog and Mixed Signal Integrated Circuits for Space Applications (AMICSA 2008), Sintra, Portugal, Setembro de 2008

Massive shift in the pneumococcal nasopharyngeal flora after the 7-valent conjugate vaccine: epidemiological studies and testing pathogenic potential in animal models

Dissertation presented to obtain the PhD degree in Biology/Molecular Biology by Universidade Nova de Lisboa, Instituto de Tecnologia Química e Biológica

Genotoxic effects in occupational exposure to formaldehyde: A study in anatomy and pathology laboratories and formaldehyde-resins production

ABSTRACT – Background: According to the Report on Carcinogens, formaldehyde ranks 25th in the overall U.S. chemical production, with more than 5 million tons produced each year. Given its economic importance and widespread use, many people are exposed to formaldehyde environmentally and/or occupationally. Presently, the International Agency for Research on Cancer classifies formaldehyde as carcinogenic to humans (Group 1), based on sufficient evidence in humans and in experimental animals. Manyfold in vitro studies clearly indicated that formaldehyde can induce genotoxic effects in proliferating cultured mammalian cells. Furthermore, some in vivo studies have found changes in epithelial cells and in peripheral blood lymphocytes related to formaldehyde exposure. Methods: A study was carried out in Portugal, using 80 workers occupationally exposed to formaldehyde vapours: 30 workers from formaldehyde and formaldehyde-based resins production factory and 50 from 10 pathology and anatomy laboratories. A control group of 85 non-exposed subjects was considered. Exposure assessment was performed by applying simultaneously two techniques of air monitoring: NIOSH Method 2541 and Photo Ionization Detection equipment with simultaneously video recording. Evaluation of genotoxic effects was performed by application of micronucleus test in exfoliated epithelial cells from buccal mucosa and peripheral blood lymphocytes. Results: Time-weighted average concentrations not exceeded the reference value (0.75 ppm) in the two occupational settings studied. Ceiling concentrations, on the other hand, were higher than reference value (0.3 ppm) in both. The frequency of micronucleus in peripheral blood lymphocytes and in epithelial cells was significantly higher in both exposed groups than in the control group (p < 0.001). Moreover, the frequency of micronucleus in peripheral blood lymphocytes was significantly higher in the laboratories group than in the factory workers (p < 0.05). A moderate positive correlation was found between duration of occupational exposure to formaldehyde (years of exposure) and micronucleus frequency in peripheral blood lymphocytes (r = 0.401; p < 0.001) and in epithelial cells (r = 0.209; p < 0.01). Conclusions: The population studied is exposed to high peak concentrations of formaldehyde with a long-term exposure. These two aspects, cumulatively, can be the cause of the observed genotoxic endpoint effects. The association of these cytogenetic effects with formaldehyde exposure gives important information to risk assessment process and may also be used to assess health risks for exposed worker

HIV Voluntary Testing among Portuguese Women Attending Family Planning Clinics: Implications for HIV Prevention Education and Testing

Objectives: The aim of this article is to analyze the factors associated with HIV testing among 767 sexually active women. Methods: Participants were administered several self-report questionnaires that assessed behavioral and psychosocial measures. Results: Overall, 59.8% of the participants reported ever having tested for HIV. Results show that higher levels of education, being pregnant or having been pregnant, concern about AIDS, AIDS knowledge, self-efficacy in condom negotiation and perception of no risk in partner significantly predicted the likelihood of testing among women. Attending the mass was negatively associated with HIV testing. Conclusions: These findings provide information that can be used in the development of a focused gender sensitive HIV prevention program to increase HIV testing.

External quality assessment in the voluntary counseling and testing centers in the Brazilian Amazon using dried tube specimens: results of an effectiveness evaluation

INTRODUCTION : In 2011, the Brazilian Ministry of Health rolled out a program for the external quality assessment of rapid human immunodeficiency virus (HIV) tests using the dried tube specimen (DTS) method (EQA-RT/DTS-HIV). Our objective was to evaluate the implementation of this program at 71 voluntary counseling and testing centers (VCTCs) in the Brazilian Legal Amazonian area one year after its introduction. METHODS : Quantitative and qualitative study that analyzed secondary data and interviews with healthcare workers (HCWs) (n=39) and VCTC coordinators (n=32) were performed. The assessment used 18 key indicators to evaluate the three dimensions of the program's logical framework: structure, process, and result. Each indicator was scored from 1-4, and the aggregate results corresponding to the dimensions were expressed as proportions. The results were compared to the perceptions of the HCWs and coordinators regarding the EQA-RT/DTS-HIV program. RESULTS: The aggregate scores for the three dimensions of structure, process, and result were 91.7%, 78.6%, and 95%, respectively. The lowest score in each dimension corresponded to a different indicator: access to Quali-TR online system 39% (structure), registration in Quali-TR online system 38.7% (process), and VCTC completed the full process in the program's first round 63.4% (result). Approximately 36% of the HCWs and 52% of the coordinators reported enhanced trust in the program for its rapid HIV testing performance. CONCLUSIONS: All three program dimensions exhibited satisfactory results (>75%). Nevertheless, the study findings highlight the need to improve certain program components. Additionally, long-term follow-ups is needed to provide a more thorough picture of the process for external quality assessment.

Specification and testing of multiplicative time-varying GARCH models with applications

In this article, we develop a specification technique for building multiplicative time-varying GARCH models of Amado and Teräsvirta (2008, 2013). The variance is decomposed into an unconditional and a conditional component such that the unconditional variance component is allowed to evolve smoothly over time. This nonstationary component is defined as a linear combination of logistic transition functions with time as the transition variable. The appropriate number of transition functions is determined by a sequence of specification tests. For that purpose, a coherent modelling strategy based on statistical inference is presented. It is heavily dependent on Lagrange multiplier type misspecification tests. The tests are easily implemented as they are entirely based on auxiliary regressions. Finite-sample properties of the strategy and tests are examined by simulation. The modelling strategy is illustrated in practice with two real examples: an empirical application to daily exchange rate returns and another one to daily coffee futures returns.