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.

Implementing Human Papillomavirus Testing in a Public Health Hospital: Challenges and Opportunities

Objectives: Robust evidence now supports human papillomavirus (HPV) testing as a more effective option to screening and as more sensitive than cytology in detecting high-grade cervical intraepithelial neoplasia. Our goal was to analyze the performance of the Hybrid Capture II (HC2) assay for high-risk HPV (hrHPV) in women undergoing gynecological examination at a public health hospital as part of the evaluation of HPV screening as an alternative or complement to cytology. Study Design: This analysis is a subset of a cross-sectional study carried out at a large public hospital serving a predominantly low-resource population. A total of 705 women were enrolled; the sensitivity and specificity of each test were estimated and compared. Results: The analysis identified 272 hrHPV-positive women (mean age 36.3 years) and 433 hrHPV-negative women (mean age 41.2 years). HPV testing showed a significantly increased sensitivity of the HC2 assay versus cytology (84.5 vs. 69.7%; p < 0.0001) but a lower specificity (49.90 vs. 88.78%; p < 0.0001). Conclusion: The combination of both methods seems to be useful in improving detection of cervical lesions. Copyright (C) 2012 S. Karger AG, Basel

Fracture susceptibility of endodontically treated teeth

Aim: To assess the influence of cervical preparation on fracture susceptibility of roots. Material and methods: During root canal instrumentation, the cervical portions were prepared with different taper instruments: I: no cervical preparation; II: #30/.08; III: #30/.10; IV: #70/.12. The specimens were sealed with the following filling materials (n = 8), A: unfilled; B: Endofill/gutta-percha; C: AH Plus/gutta-percha; D: Epiphany SE/Resilon. For the fracture resistance test, a universal testing machine was used at 1 mm per minute. Results: anova demonstrated difference (P < 0.05) between taper instruments with a higher value for group I (205.3 +/- 77.5 N) followed by II (185.2 +/- 70.8 N), III (164.8 +/- 48.9 N), and IV (156.7 +/- 41.4 N). There was no difference (P > 0.05) between filling materials A (189.1 +/- 66.3 N), B (186.3 +/- 61.0 N), C (159.7 +/- 69.9 N), and D (176.9 +/- 55.2 N). Conclusions: Greater cervical wear using a #70/.12 file increased the root fracture susceptibility, and the tested filling materials were not able to restore resistance.

Period determination in the food-entrainable and methamphetamine-sensitive circadian oscillator(s)

Daily rhythmic processes are coordinated by circadian clocks, which are present in numerous central and peripheral tissues. In mammals, two circadian clocks, the food-entrainable oscillator (FEO) and methamphetamine-sensitive circadian oscillator (MASCO), are "black box" mysteries because their anatomical loci are unknown and their outputs are not expressed under normal physiological conditions. In the current study, the investigation of the timekeeping mechanisms of the FEO and MASCO in mice with disruption of all three paralogs of the canonical clock gene, Period, revealed unique and convergent findings. We found that both the MASCO and FEO in Per1(-/-)/Per2(-/-)/Per3(-/-) mice are circadian oscillators with unusually short (similar to 21 h) periods. These data demonstrate that the canonical Period genes are involved in period determination in the FEO and MASCO, and computational modeling supports the hypothesis that the FEO and MASCO use the same timekeeping mechanism or are the same circadian oscillator. Finally, these studies identify Per1(-/-)/Per2(-/-)/Per3(-/-) mice as a unique tool critical to the search for the elusive anatomical location(s) of the FEO and MASCO.

Performance characteristics of Pap test, VIA, VILI, HR-HPV testing, cervicography, and colposcopy in diagnosis of significant cervical pathology

We sought to evaluate the performance of diagnostic tools to establish an affordable setting for early detection of cervical cancer in developing countries. We compared the performance of different screening tests and their feasibility in a cohort of over 12,000 women: conventional Pap smear, liquid-based cytology, visual inspection with acetic acid (VIA), visual inspection with Iodine solution (VILI), cervicography, screening colposcopy, and high-risk human papillomavirus (HPV) testing (HR-HPV) collected by physician and by self-sampling. HR-HPV assay collected by the physician has the highest sensitivity (80 %), but high unnecessary referrals to colposcopy (15.1 %). HR-HPV test in self-sampling had a markedly lower (57.1 %) sensitivity. VIA, VILI, and cervicography had a poor sensitivity (47.4, 55, and 28.6 %, respectively). Colposcopy presented with sensitivity of 100 % in detecting CIN2+, but the lowest specificity (66.9 %). Co-testing with VIA and VILI Pap test increased the sensitivity of stand-alone Pap test from 71.6 to 87.1 % and 71.6 to 95 %, respectively, but with high number of unnecessary colposcopies. Co-testing with HR-HPV importantly increased the sensitivity of Pap test (to 86 %), but with high number of unnecessary colposcopies (17.5 %). Molecular tests adjunct to Pap test seems a realistic option to improve the detection of high-grade lesions in population-based screening programs.

Schizophrenia, brain disease and meta-analyses: Integrating the pieces and testing Fusar-Poli`s hypothesis

This paper aims to discuss and test the hypothesis raised by Fusar-Poli [Fusar-Poli P. Can neuroimaging prove that schizophrenia is a brain disease? A radical hypothesis. Medical Hypotheses in press, corrected proof] that ""on the basis of the available imaging literature there is no consistent evidence to reject the radical and provocative hypothesis that schizophrenia is not a brain disease"". To achieve this goal, all meta-analyses on `fMRI and schizophrenia` published during the current decade and indexed in Pubmed were summarized, as much as some other useful information, e.g., meta-analyses on genetic risk factors. Our main conclusion is that the literature fully supports the hypothesis that schizophrenia is a syndrome (not a disease) associated with brain abnormalities, despite the fact that there is no singular and reductionist pathway from the nosographic entity (schizophrenia) to its causes. This irreducibility is due to the fact that the syndrome has more than one dimension (e.g., cognitive, psychotic and negative) and each of them is related to abnormalities in specific neuronal networks. A psychiatric diagnosis is a statistical procedure; these dimensions are not identically represented in each diagnosticated case and this explains the existence of more than one pattern of brain abnormalities related to schizophrenia. For example, chronification is associated with negativism while the first psychotic episode is not; in that sense, the same person living with schizophrenia may reveal different symptoms and fMRI patterns along the course of his life, and this is precisely what defines schizophrenia since the time when it was called Dementia Praecox (first by pick then by Kraepelin). It is notable that 100% of the collected meta-analyses on `fMRI and schizophrenia` reveal positive findings. Moreover, all meta-analyses that found positive associations between schizophrenia and genetic risk factors have to do with genes (SNPs) especially activated in neuronal tissue of the central nervous system (CNS), suggesting that, to the extent these polymorphisms are related to schizophrenia`s etiology, they are also related to abnormal brain activity. (C) 2009 Elsevier Ltd. All rights reserved.

A comparative study between crack analysis and a mechanical test for assessing the polymerization stress of restorative composites

Objectives. To verify the hypothesis that crack analysis and a mechanical test would rank a series of composites in a similar order with respect to polymerization stress. Also, both tests would show similar relationships between stress and composite elastic modulus and/or shrinkage. Methods. Soda-lime glass discs (2-mm thick) with a central perforation (3.5-mm diameter) received four Vickers indentations 500 mu m from the cavity margin. The indent cracks were measured (500x) prior and 10 min after the cavity was restored with one of six materials (Kalore/KL, Gradia/GR, Ice/IC, Wave/WV, Majesty Flow/MF, and Majesty Posterior/MP). Stresses at the indent site were calculated based on glass fracture toughness and increase in crack length. Stress at the bonded interface was calculated using the equation for an internally pressurized cylinder. The mechanical test used a universal testing machine and glass rods (5-mm diameter) as substrate. An extensometer monitored specimen height (2 mm). Nominal stress was calculated dividing the maximum shrinkage force by the specimen cross-sectional area. Composite elastic modulus was determined by nanoindentation and post-gel shrinkage was measured using strain gages. Data were subjected to one-way ANOVA/Tukey or Kruskal-Wallis/Mann-Whitney tests (alpha: 5%). Results. Both tests grouped the composites in three statistical subsets, with small differences in overlapping between the intermediate subset (MF, WV) and the highest (MP, IC) or the lowest stress materials (KL, GR). Higher stresses were developed by composites with high modulus and/or high shrinkage. Significance. Crack analysis demonstrated to be as effective as the mechanical test to rank composites regarding polymerization stress. (c) 2012 Academy of Dental Materials. Published by Elsevier Ltd. All rights reserved.

Testing allele homogeneity: the problem of nested hypotheses

Background: The evaluation of associations between genotypes and diseases in a case-control framework plays an important role in genetic epidemiology. This paper focuses on the evaluation of the homogeneity of both genotypic and allelic frequencies. The traditional test that is used to check allelic homogeneity is known to be valid only under Hardy-Weinberg equilibrium, a property that may not hold in practice. Results: We first describe the flaws of the traditional (chi-squared) tests for both allelic and genotypic homogeneity. Besides the known problem of the allelic procedure, we show that whenever these tests are used, an incoherence may arise: sometimes the genotypic homogeneity hypothesis is not rejected, but the allelic hypothesis is. As we argue, this is logically impossible. Some methods that were recently proposed implicitly rely on the idea that this does not happen. In an attempt to correct this incoherence, we describe an alternative frequentist approach that is appropriate even when Hardy-Weinberg equilibrium does not hold. It is then shown that the problem remains and is intrinsic of frequentist procedures. Finally, we introduce the Full Bayesian Significance Test to test both hypotheses and prove that the incoherence cannot happen with these new tests. To illustrate this, all five tests are applied to real and simulated datasets. Using the celebrated power analysis, we show that the Bayesian method is comparable to the frequentist one and has the advantage of being coherent. Conclusions: Contrary to more traditional approaches, the Full Bayesian Significance Test for association studies provides a simple, coherent and powerful tool for detecting associations.

A comparative evaluation of polymerization stress data obtained with four different mechanical testing systems

Objectives. The null hypothesis was that mechanical testing systems used to determine polymerization stress (sigma(pol)) would rank a series of composites similarly. Methods. Two series of composites were tested in the following systems: universal testing machine (UTM) using glass rods as bonding substrate, UTM/acrylic rods, "low compliance device", and single cantilever device ("Bioman"). One series had five experimental composites containing BisGMA:TEGDMA in equimolar concentrations and 60, 65, 70, 75 or 80 wt% of filler. The other series had five commercial composites: Filtek Z250 (3M ESPE), Filtek A110 (3M ESPE), Tetric Ceram (Ivoclar), Heliomolar (Ivoclar) and Point 4 (Kerr). Specimen geometry, dimensions and curing conditions were similar in all systems. sigma(pol) was monitored for 10 min. Volumetric shrinkage (VS) was measured in a mercury dilatometer and elastic modulus (E) was determined by three-point bending. Shrinkage rate was used as a measure of reaction kinetics. ANOVA/Tukey test was performed for each variable, separately for each series. Results. For the experimental composites, sigma(pol) decreased with filler content in all systems, following the variation in VS. For commercial materials, sigma(pol) did not vary in the UTM/acrylic system and showed very few similarities in rankings in the others tests system. Also, no clear relationships were observed between sigma(pol) and VS or E. Significance. The testing systems showed a good agreement for the experimental composites, but very few similarities for the commercial composites. Therefore, comparison of polymerization stress results from different devices must be done carefully. (c) 2012 Academy of Dental Materials. Published by Elsevier Ltd. All rights reserved.

ANALYSIS OF THE NATURAL VIBRATION FREQUENCY TEST METHOD TO OBTAIN THE MODULUS OF ELASTICITY OF WOOD STRUCTURAL COMPONENTS

There are several techniques to characterize the elastic modulus of wood and those currently using the natural frequencies of vibration stand out as they are non-destructive techniques, producing results that can be repeated and compared over time. This study reports on the effectiveness of the testing methods based on the natural frequencies of vibration versus static bending to obtain the elastic properties of reforested structural wood components usually employed in civil construction. The following components were evaluated: 24 beams of Eucalyptus sp. with nominal dimensions (40 x 60 x 2.000 mm) and 14 beams of Pinus oocarpa with nominal dimensions (45 x 90 x 2.300 mm) both without treatment; 30 boards with nominal dimensions (40 x 240 x 2.010 mm) and 30 boards with nominal dimensions (40 x 240 x 3.050 mm), both of Pinus oocarpa and with chromate copper arsenate (CCA) preservative treatment. The results obtained in thiswork show good correlation when compared to the results obtained by the static bending mechanical method, especially when applying the natural frequency of longitudinal vibration. The use of longitudinal frequency was reliable and practical, therefore recommended for determining the modulus of elasticity of wood structural elements. It was also found that no specific support is needed for the specimens using the longitudinal frequency, as well as no previous calibrations, reducing the execution time and enabling to test many samples.

Workplace drug testing, different matrices different objectives

Drug testing is used by employers to detect drug use by employees or job candidates. It can identify recent use of alcohol, prescription drugs, and illicit drugs as a screening tool for potential health and safety and performance issues. Urine is the most commonly used sample for illicit drugs. It detects the use of a drug within the last few days and as such is evidence of recent use; but a positive test does not necessarily mean that the individual was impaired at the time of the test. Abstention from use for three days will often produce a negative test result. Analysis of hair provides a much longer window of detection, typically 1 to 3 months. Hence the likelihood of a falsely negative test using hair is very much less than with a urine test. Conversely, a negative hair test is a substantially stronger indicator of a non-drug user than a negative urine test. Oral fluid (saliva) is also easy to collect. Drugs remain in oral fluid for a similar time as in blood. The method is a good way of detecting current use and is more likely to reflect current impairment. It offers promise as a test in post-accident, for cause, and on-duty situations. Studies have shown that within the same industrial settings, hair testing can detect twice as many drug users as urine testing. Copyright (C) 2012 John Wiley & Sons, Ltd.

Antinuclear antibodies testing as a routine screening for systemic lupus erythematosus in patients presenting first-episode psychosis

Aims: This report discusses the use of antinuclear antibody (ANA) detection as a screening test for neuropsychiatry systemic lupus erythematosus (NPSLE) in patients presenting a first-episode psychosis. Methods: We reviewed the medical records of 85 patients admitted to an emergency service due to first-episode psychosis, during a 1-year period, for whom ANA detection was performed through an IFI HEp2 cell assay. ANA-positive patients were subsequently evaluated for autoantibodies and neuroimaging exams. Results: Three patients presented as ANA positive in the initial screening and further investigation confirmed NPSLE in two patients. The patients were treated with antipsychotics and cyclophosphamide pulses with satisfactory outcomes. Conclusion: Even though ANA detection is not specific, it is a low-cost procedure and could be an important screening test for NPSLE in the early-onset psychosis.

Consistency of the mass variation formula for black holes accreting cosmological fluids

We address the spherical accretion of generic fluids onto black holes. We show that, if the black hole metric satisfies certain conditions, in the presence of a test fluid it is possible to derive a fully relativistic prescription for the black hole mass variation. Although the resulting equation may seem obvious due to a form of it appearing as a step in the derivation of the Schwarzschild metric, this geometrical argument is necessary to fix the added degree of freedom one gets for allowing the mass to vary with time. This result has applications on cosmological accretion models and provides a derivation from first principles to serve as a basis to the accretion equations already in use in the literature.

Reliability and construct validity of the karate-specific aerobic test

Chaabene, H, Hachana, Y, Franchini, E, Mkaouer, B, Montassar, M, and Chamari, K. Reliability and construct validity of the karate-specific aerobic test. J Strength Cond Res 26(12): 3454-3460, 2012-The aim of this study was to examine absolute and relative reliabilities and external responsiveness of the Karate-specific aerobic test (KSAT). This study comprised 43 male karatekas, 19 of them participated in the first study to establish test-retest reliability and 40, selected on the bases of their karate experience and level of practice, participated in the second study to identify external responsiveness of the KSAT. The latter group was divided into 2 categories: national-level group (G(n)) and regional-level group (Gr). Analysis showed excellent test-retest reliability of time to exhaustion (TE), with intraclass correlation coefficient ICC(3,1) >0.90, standard error of measurement (SEM) <5%: (3.2%) and mean difference (bias) +/- the 95% limits of agreement: -9.5 +/- 78.8 seconds. There was a significant difference between test-retest session in peak lactate concentration (Peak [La]) (9.12 +/- 2.59 vs. 8.05 +/- 2.67 mmol.L-1; p < 0.05) but not in peak heart rate (HRpeak) and rating of perceived exertion (RPE) (196 +/- 9 vs. 194 +/- 9 b.min(-1) and 7.6 +/- 0.93 vs. 7.8 +/- 1.15; p > 0.05), respectively. National-level karate athletes (1,032 +/- 101 seconds) were better than regional level (841 +/- 134 seconds) on TE performance during KSAT (p < 0.001). Thus, KSAT provided good external responsiveness. The area under the receiver operator characteristics curve was >0.70 (0.86; confidence interval 95%: 0.72-0.95). Significant difference was detected in Peak [La] between national- (6.09 +/- 1.78 mmol.L-1) and regional-level (8.48 +/- 2.63 mmol.L-1) groups, but not in HRpeak (194 +/- 8 vs. 195 +/- 8 b.min(-1)) and RPE (7.57 +/- 1.15 vs. 7.42 +/- 1.1), respectively. The result of this study indicates that KSAT provides excellent absolute and relative reliabilities. The KSAT can effectively distinguish karate athletes of different competitive levels. Thus, the KSAT may be suitable for field assessment of aerobic fitness of karate practitioners.

Cointegration: Bayesian Significance Test

To estimate causal relationships, time series econometricians must be aware of spurious correlation, a problem first mentioned by Yule (1926). To deal with this problem, one can work either with differenced series or multivariate models: VAR (VEC or VECM) models. These models usually include at least one cointegration relation. Although the Bayesian literature on VAR/VEC is quite advanced, Bauwens et al. (1999) highlighted that "the topic of selecting the cointegrating rank has not yet given very useful and convincing results". The present article applies the Full Bayesian Significance Test (FBST), especially designed to deal with sharp hypotheses, to cointegration rank selection tests in VECM time series models. It shows the FBST implementation using both simulated and available (in the literature) data sets. As illustration, standard non informative priors are used.