MODEL PARTITIONS AND COMPACT TEST CASE SUITES

We present a generalized test case generation method, called the G method. Although inspired by the W method, the G method, in contrast, allows for test case suite generation even in the absence of characterization sets for the specification models. Instead, the G method relies on knowledge about the index of certain equivalences induced at the implementation models. We show that the W method can be derived from the G method as a particular case. Moreover, we discuss some naturally occurring infinite classes of FSM models over which the G method generates test suites that are exponentially more compact than those produced by the W method.

A holistic approach to model-based testing of Web service compositions

The behavior of composed Web services depends on the results of the invoked services; unexpected behavior of one of the invoked services can threat the correct execution of an entire composition. This paper proposes an event-based approach to black-box testing of Web service compositions based on event sequence graphs, which are extended by facilities to deal not only with service behavior under regular circumstances (i.e., where cooperating services are working as expected) but also with their behavior in undesirable situations (i.e., where cooperating services are not working as expected). Furthermore, the approach can be used independently of artifacts (e.g., Business Process Execution Language) or type of composition (orchestration/choreography). A large case study, based on a commercial Web application, demonstrates the feasibility of the approach and analyzes its characteristics. Test generation and execution are supported by dedicated tools. Especially, the use of an enterprise service bus for test execution is noteworthy and differs from other approaches. The results of the case study encourage to suggest that the new approach has the power to detect faults systematically, performing properly even with complex and large compositions. Copyright © 2012 John Wiley & Sons, Ltd.

Nanoassisted Laser Desorption-Ionization-MS Imaging of Tumors

The ability of nanoassisted laser desorption-ionization mass spectrometry (NALDI-MS) imaging to provide selective chemical monitoring with proper spatial distribution of lipid profiles from tumor tissues after plate imprinting has been tested. NALDI-MS imaging identified and mapped several potential lipid biomarkers in a murine model of melanoma tumor (inoculation of B16/F10 cells). It also confirmed that the in vivo treatment of tumor bearing mice with synthetic supplement containing phosphoethanolamine (PHO-S) promoted an accentuated decrease in relative abundance of the tumor biomarkers. NALDI-MS imaging is a matrix-free LDI protocol based on the selective imprinting of lipids in the NALDI plate followed by the removal of the tissue. It therefore provides good quality and selective chemical images with preservation of spatial distribution and less interference from tissue material. The test case described herein illustrates the potential of chemically selective NALDI-MS imaging for biomarker discovery.

Making the case for grid-connected photovoltaics in Brazil

In the developed world, grid-connected photovoltaics (PVs) are the fastest-growing segment of the energy market. From 1999 to 2009, this industry had a 42% compound annual growth-rate. From 2009 to 2013, it is expected to grow to 45%, and in 2013 the achievement of grid parity - when the cost of solar electricity becomes competitive with conventional retail (including taxes and charges) grid-supplied electricity - is expected in many places worldwide. Grid-connected PV is usually perceived as an energy technology for developed countries, whereas isolated, stand-alone PV is considered as more suited for applications in developing nations, where so many individuals still lack access to electricity. This rationale is based on the still high costs of PV when compared with conventional electricity. We make the case for grid-connected PV generation in Brazil, showing that with the declining costs of PV and the rising prices of conventional electricity, urban populations in Brazil will also enjoy grid parity in the present decade. We argue that governments in developing nations should act promptly and establish the mandates and necessary conditions for their energy industry to accumulate experience in grid-connected PV, and make the most of this benign technology in the near future. (C) 2010 Elsevier Ltd. All rights reserved.

Transcription profiling of Prss16 (Tssp) can be used to find additional peptidase genes that are candidates for self-peptide generation in the thymus

Positive selection (PS) in the thymus involves the presentation of self-peptides that are bound to MHC class II on the surface of cortical thymus epithelial cells (cTECs). Prss16 gene corresponds to one important element regulating the PS of CD4(+) T lymphocytes, which encodes Thymus-specific serine protease (Tssp), a cTEC serine-type peptidase involved in the proteolytic generation of self-peptides. Nevertheless, additional peptidase genes participating in the generation of self-peptides need to be found. Because of its role in the mechanism of PS and its expression in cTECs, the Prss16 gene might be used as a transcriptional marker to identify new genes that share the same expression profile and that encode peptidases in the thymus. To test this hypothesis, we compared the differential thymic expression of 4,500 mRNAs of wild-type (WT) C57BL/6 mice with their respective Prss16-knockout (KO) mutants by using microarrays. From these, 223 genes were differentially expressed, of which 115 had known molecular/biological functions. Four endopeptidase genes (Casp1, Casp2, Psmb3 and Tpp2) share the same expression profile as the Prss16 gene; i.e., induced in WT and repressed in KO while one endopeptidase gene, Capns1, features opposite expression profile. The Tpp2 gene is highlighted because it encodes a serine-type endopeptidase functionally similar to the Tssp enzyme. Profiling of the KO mice featured down-regulation of Prss16, as expected, along with the genes mentioned above. Considering that the Prss16-KO mice featured impaired PS, the shared regulation of the four endopeptidase genes suggested their participation in the mechanism of self-peptide generation and PS.

Voice disorders related to job stress in teaching: a case-control study

This case-control study aimed to test the association between voice disorders and job stress among public schoolteachers in Sao Paulo, Brazil. The groups consisted of teachers with (n = 165) and without (n = 105) voice-related complaints. Both groups answered the questionnaires Conditions of Vocal Production and Job Stress Scale. Analysis of cases and controls showed comparable samples, differing only by vocal symptoms. There was a statistically significant difference between cases and controls in relation to job stress involving high strain (OR = 2.1;95%CI: 1.1-3.9), which places high demands combined with low job control. High strain in cases in this study represents the highest risk of physical and mental disorders for teachers. Loss of voice prevents teachers from continuing in their professional role, eliminates their professional identity, and jeopardizes their career.

Factors associated with maternal intrapartum transfers from a freestanding birth centre in Sao Paulo, Brazil: A case control study

Objectives: to identify factors associated with maternal intrapartum transfer from a freestanding birth centre to hospital. Design: case-control study with retrospective data collection. Participants and settings: cases included all 111 women transferred from a freestanding birth centre in Sao Paulo to the referral hospital, from March 2002 to December 2009. The controls were 456 women who gave birth in the birth centre during the same period who were not transferred, randomly selected with four controls for each case. Methods: data were obtained from maternal records. Factors associated with maternal intrapartum transfers were initially analysed using a chi(2) test of association. Variables with p < 0.20 were then included in multivariate analyses. A multiple logistic regression model was built using stepwise forward selection; variables which reached statistical significance at p < 0.05 were considered to be independently associated with maternal transfer. Findings: during the study data collection period, 111(4%) of 2,736 women admitted to the centre were transferred intrapartum. Variables identified as independently associated factors for intrapartum transfer included nulliparity (OR 5.1, 95% CI 2.7-9.8), maternal age >= 35 years (OR 5.4, 95% CI 2.1-13.4), not having a partner (OR 2.8, 95% CI 1.5-5.3), cervical dilation <= 3 cm on admission to the birth centre (OR 1.9, 95% CI 1.1-3.2) and between 5 and 12 antenatal appointments at the birth centre (OR 3.8, 95% CI 1.9-7.5). In contrast, a low correlation between fundal height and pregnancy gestation (OR 0.3, 95% CI 0.2-0.6) appeared to be protective against transfer. Conclusions and implications for practice: identifying factors associated with maternal intrapartum transfer could support decision making by women considering options for place of birth, and support the content of appropriate information about criteria for admission to a birth centre. Findings add to the evidence base to support identification of women in early labour who may experience later complications and could support timely implementation of appropriate interventions associated with reducing transfer rates. (C) 2012 Elsevier Ltd. All rights reserved.

Nerve fiber layer in glaucomatous hemifield loss: a case-control study with time- and spectral-domain optical coherence tomography

Purpose: To evaluate the retinal nerve fiber layer measurements with time-domain (TD) and spectral-domain (SD) optical coherence tomography (OCT), and to test the diagnostic ability of both technologies in glaucomatous patients with asymmetric visual hemifield loss. Methods: 36 patients with primary open-angle glaucoma with visual field loss in one hemifield (affected) and absent loss in the other (non-affected), and 36 age-matched healthy controls had the study eye imaged with Stratus-OCT (Carl Zeiss Meditec Inc., Dublin, California, USA) and 3 D OCT-1000 (Topcon, Tokyo, Japan). Peripapillary retinal nerve fiber layer measurements and normative classification were recorded. Total deviation values were averaged in each hemifield (hemifield mean deviation) for each subject. Visual field and retinal nerve fiber layer "asymmetry indexes" were calculated as the ratio between affected versus non-affected hemifields and corresponding hemiretinas. Results: Retinal nerve fiber layer measurements in non-affected hemifields (mean [SD] 87.0 [17.1] mu m and 84.3 [20.2] mu m, for TD and SD-OCT, respectively) were thinner than in controls (119.0 [12.2] mu m and 117.0 [17.7] mu m, P<0.001). The optical coherence tomography normative database classified 42% and 67% of hemiretinas corresponding to non-affected hemifields as abnormal in TD and SD-OCT, respectively (P=0.01). Retinal nerve fiber layer measurements were consistently thicker with TD compared to SD-OCT. Retinal nerve fiber layer thickness asymmetry index was similar in TD (0.76 [0.17]) and SD-OCT (0.79 [0.12]) and significantly greater than the visual field asymmetry index (0.36 [0.20], P<0.001). Conclusions: Normal hemifields of glaucoma patients had thinner retinal nerve fiber layer than healthy eyes, as measured by TD and SD-OCT. Retinal nerve fiber layer measurements were thicker with TD than SD-OCT. SD-OCT detected abnormal retinal nerve fiber layer thickness more often than TD-OCT.

On reducing test length for FSMs with extra states

A long-standing problem when testing from a deterministic finite state machine is to guarantee full fault coverage even if the faults introduce extra states in the implementations. It is well known that such tests should include the sequences in a traversal set which contains all input sequences of length defined by the number of extra states. This paper suggests the SPY method, which helps reduce the length of tests by distributing sequences of the traversal set and reducing test branching. It is also demonstrated that an additional assumption about the implementation under test relaxes the requirement of the complete traversal set. The results of the experimental comparison of the proposed method with an existing method indicate that the resulting reduction can reach 40%. Experimental results suggest that the additional assumption about the implementation can help in further reducing the test suite length. Copyright (C) 2011 John Wiley & Sons, Ltd.

Evaluation of CA-125 and soluble CD-23 in patients with pelvic endometriosis: a case-control study

Objective: To evaluate serum concentrations of CA-125 and soluble CD-23 and to correlate them with clinical symptoms, localization and stage of pelvic endometriosis and histological classification of the disease. Methods: Blood samples were collected from 44 women with endometriosis and 58 without endometriosis, during the first three days (1st sample) and during the 7th, 8th and 9th day (2nd sample) of the menstrual cycle. Measurements of CA-125 and soluble CD-23 were performed by ELISA. Mann-Whitney U test was used for age, pain evaluations (visual analog scale) and biomarkers concentrations. Results: Serum levels Of CA-125 were higher in endometriosis patients when compared to the control group during both periods of the menstrual cycle evaluated in the study. This marker was also elevated in women with chronic pelvic pain, deep dyspareunia (2nd sample), dysmenorrhea (both samples) and painful defecation during the menstrual flow (2nd sample). CA-125 concentration was higher in advanced stages of the disease in both samples and also in women with ovarian endometrioma. Concerning CD-23, no statistically significant differences were observed between groups. Conclusion: The concentrations of CA-125 were higher in patients with endometriosis than in patients without the disease. No significantly differences were observed for soluble CD-23 levels between groups.

Towards a precise test for malaria diagnosis in the Brazilian Amazon: comparison among field microscopy, a rapid diagnostic test, nested PCR, and a computational expert system based on artificial neural networks

Abstract Background Accurate malaria diagnosis is mandatory for the treatment and management of severe cases. Moreover, individuals with asymptomatic malaria are not usually screened by health care facilities, which further complicates disease control efforts. The present study compared the performances of a malaria rapid diagnosis test (RDT), the thick blood smear method and nested PCR for the diagnosis of symptomatic malaria in the Brazilian Amazon. In addition, an innovative computational approach was tested for the diagnosis of asymptomatic malaria. Methods The study was divided in two parts. For the first part, passive case detection was performed in 311 individuals with malaria-related symptoms from a recently urbanized community in the Brazilian Amazon. A cross-sectional investigation compared the diagnostic performance of the RDT Optimal-IT, nested PCR and light microscopy. The second part of the study involved active case detection of asymptomatic malaria in 380 individuals from riverine communities in Rondônia, Brazil. The performances of microscopy, nested PCR and an expert computational system based on artificial neural networks (MalDANN) using epidemiological data were compared. Results Nested PCR was shown to be the gold standard for diagnosis of both symptomatic and asymptomatic malaria because it detected the major number of cases and presented the maximum specificity. Surprisingly, the RDT was superior to microscopy in the diagnosis of cases with low parasitaemia. Nevertheless, RDT could not discriminate the Plasmodium species in 12 cases of mixed infections (Plasmodium vivax + Plasmodium falciparum). Moreover, the microscopy presented low performance in the detection of asymptomatic cases (61.25% of correct diagnoses). The MalDANN system using epidemiological data was worse that the light microscopy (56% of correct diagnoses). However, when information regarding plasma levels of interleukin-10 and interferon-gamma were inputted, the MalDANN performance sensibly increased (80% correct diagnoses). Conclusions An RDT for malaria diagnosis may find a promising use in the Brazilian Amazon integrating a rational diagnostic approach. Despite the low performance of the MalDANN test using solely epidemiological data, an approach based on neural networks may be feasible in cases where simpler methods for discriminating individuals below and above threshold cytokine levels are available.

Cost effectiveness of OptiMal® rapid diagnostic test for malaria in remote areas of the Amazon Region, Brazil

Abstract Background In areas with limited structure in place for microscopy diagnosis, rapid diagnostic tests (RDT) have been demonstrated to be effective. Method The cost-effectiveness of the Optimal® and thick smear microscopy was estimated and compared. Data were collected on remote areas of 12 municipalities in the Brazilian Amazon. Data sources included the National Malaria Control Programme of the Ministry of Health, the National Healthcare System reimbursement table, hospitalization records, primary data collected from the municipalities, and scientific literature. The perspective was that of the Brazilian public health system, the analytical horizon was from the start of fever until the diagnostic results provided to patient and the temporal reference was that of year 2006. The results were expressed in costs per adequately diagnosed cases in 2006 U.S. dollars. Sensitivity analysis was performed considering key model parameters. Results In the case base scenario, considering 92% and 95% sensitivity for thick smear microscopy to Plasmodium falciparum and Plasmodium vivax, respectively, and 100% specificity for both species, thick smear microscopy is more costly and more effective, with an incremental cost estimated at US$549.9 per adequately diagnosed case. In sensitivity analysis, when sensitivity and specificity of microscopy for P. vivax were 0.90 and 0.98, respectively, and when its sensitivity for P. falciparum was 0.83, the RDT was more cost-effective than microscopy. Conclusion Microscopy is more cost-effective than OptiMal® in these remote areas if high accuracy of microscopy is maintained in the field. Decision regarding use of rapid tests for diagnosis of malaria in these areas depends on current microscopy accuracy in the field.

The need of a weight management control program in judo: a proposal based on the successful case of wrestling

Judo competitions are divided into weight classes. However, most athletes reduce their body weight in a few days before competition in order to obtain a competitive advantage over lighter opponents. To achieve fast weight reduction, athletes use a number of aggressive nutritional strategies so many of them place themselves at a high health-injury risk. In collegiate wrestling, a similar problem has been observed and three wrestlers died in 1997 due to rapid weight loss regimes. After these deaths, the National Collegiate Athletic Association had implemented a successful weight management program which was proven to improve weight management behavior. No similar program has ever been discussed by judo federations even though judo competitors present a comparable inappropriate pattern of weight control. In view of this, the basis for a weight control program is provided in this manuscript, as follows: competition should begin within 1 hour after weigh-in, at the latest; each athlete is allowed to be weighed-in only once; rapid weight loss as well as artificial rehydration (i.e., saline infusion) methods are prohibited during the entire competition day; athletes should pass the hydration test to get their weigh-in validated; an individual minimum competitive weight (male athletes competing at no less than 7% and females at no less than 12% of body fat) should be determined at the beginning of each season; athletes are not allowed to compete in any weight class that requires weight reductions greater than 1.5% of body weight per week. In parallel, educational programs should aim at increasing the athletes', coaches' and parents' awareness about the risks of aggressive nutritional strategies as well as healthier ways to properly manage body weight.

Emissions generated by sugarcane burning promote genotoxicity in rural workers: a case study in Barretos, Brazil

Abstract Background To determine the possible genotoxic effect of exposure to the smoke generated by biomass burning on workers involved in manual sugar cane harvesting. Methods The frequency of micronuclei in exfoliated buccal cells and peripheral blood lymphocytes was determined in sugarcane workers in the Barretos region of Brazil, during the harvest season and compared to a control population, comprised of administrative employees of Barretos Cancer Hospital. Results The frequency of micronuclei was higher in the sugar cane workers. The mean frequency in blood lymphocytes (micronuclei/1000 cells) in the test group was 8.22 versus 1.27 in the control group. The same effect was observed when exfoliated buccal cells were considered (22.75 and 9.70 micronuclei/1000 cells for sugar cane workers and controls, respectively). Conclusion Exposure to emissions produced by the burning of sugar cane during harvesting induces genomic instability in workers, indicating the necessity of adopting more advanced techniques of harvesting sugar cane to preserve human health.