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.

Mayaro Virus Infection in Amazonia: A Multimodel Inference Approach to Risk Factor Assessment

Background: Arboviral diseases are major global public health threats. Yet, our understanding of infection risk factors is, with a few exceptions, considerably limited. A crucial shortcoming is the widespread use of analytical methods generally not suited for observational data - particularly null hypothesis-testing (NHT) and step-wise regression (SWR). Using Mayaro virus (MAYV) as a case study, here we compare information theory-based multimodel inference (MMI) with conventional analyses for arboviral infection risk factor assessment. Methodology/Principal Findings: A cross-sectional survey of anti-MAYV antibodies revealed 44% prevalence (n = 270 subjects) in a central Amazon rural settlement. NHT suggested that residents of village-like household clusters and those using closed toilet/latrines were at higher risk, while living in non-village-like areas, using bednets, and owning fowl, pigs or dogs were protective. The "minimum adequate" SWR model retained only residence area and bednet use. Using MMI, we identified relevant covariates, quantified their relative importance, and estimated effect-sizes (beta +/- SE) on which to base inference. Residence area (beta(Village) = 2.93 +/- 0.41; beta(Upland) = -0.56 +/- 0.33, beta(Riverbanks) = -2.37 +/- 0.55) and bednet use (beta = -0.95 +/- 0.28) were the most important factors, followed by crop-plot ownership (beta = 0.39 +/- 0.22) and regular use of a closed toilet/latrine (beta = 0.19 +/- 0.13); domestic animals had insignificant protective effects and were relatively unimportant. The SWR model ranked fifth among the 128 models in the final MMI set. Conclusions/Significance: Our analyses illustrate how MMI can enhance inference on infection risk factors when compared with NHT or SWR. MMI indicates that forest crop-plot workers are likely exposed to typical MAYV cycles maintained by diurnal, forest dwelling vectors; however, MAYV might also be circulating in nocturnal, domestic-peridomestic cycles in village-like areas. This suggests either a vector shift (synanthropic mosquitoes vectoring MAYV) or a habitat/habits shift (classical MAYV vectors adapting to densely populated landscapes and nocturnal biting); any such ecological/adaptive novelty could increase the likelihood of MAYV emergence in Amazonia.

A marker-and-cell approach to free surface 2-D multiphase flows

This work describes a methodology to simulate free surface incompressible multiphase flows. This novel methodology allows the simulation of multiphase flows with an arbitrary number of phases, each of them having different densities and viscosities. Surface and interfacial tension effects are also included. The numerical technique is based on the GENSMAC front-tracking method. The velocity field is computed using a finite-difference discretization of a modification of the NavierStokes equations. These equations together with the continuity equation are solved for the two-dimensional multiphase flows, with different densities and viscosities in the different phases. The governing equations are solved on a regular Eulerian grid, and a Lagrangian mesh is employed to track free surfaces and interfaces. The method is validated by comparing numerical with analytic results for a number of simple problems; it was also employed to simulate complex problems for which no analytic solutions are available. The method presented in this paper has been shown to be robust and computationally efficient. Copyright (c) 2012 John Wiley & Sons, Ltd.

Simplified approach to low-cost multiparameter monitoring based on low frequency polarization modulation

We experimentally revisit a technique of low-cost multiparameter monitor for optical performance monitoring based on low frequency polarization modulation. A simplified calibration procedure, which significantly reduces the mathematical complexity and processing effort is proposed. Validation is achieved by carrying out relative optical power, wavelength, and differential group delay measurements. (C) 2012 Wiley Periodicals, Inc. Microwave Opt Technol Lett 54:18201824, 2012; View this article online at wileyonlinelibrary.com. DOI 10.1002/mop.26956

A simple-versatile approach to achieve all-Si-based optical micro-cavities

At present, solid thin films are recognized by their well established and mature processing technology that is able to produce components which, depending on their main characteristics, can perform either passive or active functions. Additionally, Si-based materials in the form of thin films perfectly match the concept of miniaturized and low-consumption devices-as required in various modern technological applications. Part of these aspects was considered in the present work that was concerned with the study of optical micro-cavities entirely based on silicon and silicon nitride thin films. The structures were prepared by the sputtering deposition method which, due to the adopted conditions (atmosphere and deposition rate) and arrangement of layers, provided cavities operating either in the visible (at ~ 670 nm) or in the near-infrared (at ~ 1560 nm) wavelength ranges. The main differential of the work relies on the construction of optical microcavities with a reduced number of periods whose main properties can be changed by thermal annealing treatments. The work also discusses the angle-dependent behavior of the optical transmission profiles as well as the use of the COMSOL software package to simulate the microcavities.

Religious communities and HIV prevention: An intervention study using a human rights-based approach

Religious communities have been a challenge to HIV prevention globally. Focusing on the acceptability component of the right to health, this intervention study examined how local Catholic, Evangelical and Afro-Brazilian religious communities can collaborate to foster young people`s sexual health and ensure their access to comprehensive HIV prevention in their communities in Brazil. This article describes the process of a three-stage sexual health promotion and HIV prevention initiative that used a multicultural human rights approach to intervention. Methods included 27 in-depth interviews with religious authorities on sexuality, AIDS prevention and human rights training of 18 young people as research-agents, who surveyed 177 youth on the same issues using self-administered questionnaires. The results, analysed using a rights-based perspective on health and the vulnerability framework, were discussed in daylong interfaith workshops. Emblematic of the collaborative process, workshops are the focus of the analysis. Our findings suggest that this human rights framework is effective in increasing inter-religious tolerance and in providing a collective understanding of the sexuality and prevention needs of youth from different religious communities, and also serves as a platform for the expansion of state AIDS programmes based on laical principles.

A Model-Based Approach for Small-Signal Stability Assessment of Unbalanced Power Systems

In this paper, a modeling technique for small-signal stability assessment of unbalanced power systems is presented. Since power distribution systems are inherently unbalanced, due to its lines and loads characteristics, and the penetration of distributed generation into these systems is increasing nowadays, such a tool is needed in order to ensure a secure and reliable operation of these systems. The main contribution of this paper is the development of a phasor-based model for the study of dynamic phenomena in unbalanced power systems. Using an assumption on the net torque of the generator, it is possible to precisely define an equilibrium point for the phasor model of the system, thus enabling its linearization around this point, and, consequently, its eigenvalue/eigenvector analysis for small-signal stability assessment. The modeling technique presented here was compared to the dynamic behavior observed in ATP simulations and the results show that, for the generator and controller models used, the proposed modeling approach is adequate and yields reliable and precise results.

Towards automated first-order abduction: the cut-based approach

Traditional abduction imposes as a precondition the restriction that the background information may not derive the goal data. In first-order logic such precondition is, in general, undecidable. To avoid such problem, we present a first-order cut-based abduction method, which has KE-tableaux as its underlying inference system. This inference system allows for the automation of non-analytic proofs in a tableau setting, which permits a generalization of traditional abduction that avoids the undecidable precondition problem. After demonstrating the correctness of the method, we show how this method can be dynamically iterated in a process that leads to the construction of non-analytic first-order proofs and, in some terminating cases, to refutations as well.

Approach to and Treatment of Goiters

The main causes of simple diffuse goiter (SDG) and multinodular goiter (MNG) are iodine deficiency, increase in serum thyroid-stimulating hormone (TSH) level, natural goitrogens, smoking, chronic malnutrition, and lack of selenium, iron, and zinc. Increasing evidence suggests that heredity is equally important. Treatment of SDG and MNG still focuses on L-thyroxine-suppressive therapy surgery. Radioiodine alone or preceded by recombinant human TSH stimulation is widely used in Europe and other countries. Each of these therapeutic options has advantages and disadvantages, with acute and long-term side effects.

Shape analysis using fractal dimension: A curvature based approach

The present work shows a novel fractal dimension method for shape analysis. The proposed technique extracts descriptors from a shape by applying a multi-scale approach to the calculus of the fractal dimension. The fractal dimension is estimated by applying the curvature scale-space technique to the original shape. By applying a multi-scale transform to the calculus, we obtain a set of descriptors which is capable of describing the shape under investigation with high precision. We validate the computed descriptors in a classification process. The results demonstrate that the novel technique provides highly reliable descriptors, confirming the efficiency of the proposed method. (C) 2012 American Institute of Physics. [http://dx.doi.org/10.1063/1.4757226]

An integrated approach to evaluate emerging contaminants in drinking water

The chemical stock of emerging contaminants in Brazilian drinking water is of great interest due to the poor water quality at surface water intakes. In addition, little is known about the effect of some contaminants, such as endocrine disrupting chemicals (EDCs), which may be present in both raw and treated water. The aim of this work was to evaluate selected emerging contaminants in Brazilian waters using both chemical and biological analyses. Sampling sites were established in different municipalities based upon raw water quality data. Estrone, 17 beta-estradiol, estriol, 17 alpha-ethinylestradiol, bisphenol A, 4-n-octylphenol and 4-n-nonylphenol were determined in the samples by liquid chromatography-tandem mass spectrometry. A yeast assay using a Saccharomyces cerevisiae bioluminescent bioreporter was used to evaluate the estrogenic activity of the water samples. The first integrated results revealed similarities between the two individual approaches, since higher values for the bioassay were accompanied by significant concentrations of some selected compounds in surface water samples. No estrogenicity was observed for drinking water samples. Our results also indicate that the usual paradigm of evaluating water quality by measuring selected EDCs in a given water sample via chemical analysis, needs to be reviewed since the observed estrogenicity of a water sample is now a better guiding parameter to the selection of samples and substances to be chemically investigated in further analysis. So far, the data bank produced in this work, i.e., the comparison between chemical burden and observed estrogenicity, is not yet sufficiently robust to fully guide this decision. (C) 2011 Elsevier B.V. All rights reserved.

A property rights approach to strategy

This article is about how resources can be conceptualized as bundles of attributes for which one can assign economic property rights. Strategic considerations are deliberately incorporated into the analysis through the assessment of the activities of capture and protection of property rights, along with the examination of the institutional environment. These basic elements combine in order to design an approach to strategy. In developing this approach, the authors identify four key questions for structuring the strategy formulation process of the firm. The analytical framework is illustrated through a particular case: the collection of royalties on the genetically modified (GM) technology in soybean seeds.

Transcranial magnetic stimulation in mild to severe hemiparesis early after stroke: a proof of principle and novel approach to improve motor function

Low-frequency repetitive transcranial magnetic stimulation (rTMS) of the unaffected hemisphere can enhance function of the paretic hand in patients with mild motor impairment. Effects of low-frequency rTMS to the contralesional motor cortex at an early stage of mild to severe hemiparesis after stroke are unknown. In this pilot, randomized, double-blind clinical trial we compared the effects of low-frequency rTMS or sham rTMS as add-on therapies to outpatient customary rehabilitation, in 30 patients within 5-45 days after ischemic stroke, and mild to severe hand paresis. The primary feasibility outcome was compliance with the interventions. The primary safety outcome was the proportion of intervention-related adverse events. Performance of the paretic hand in the Jebsen-Taylor test and pinch strength were secondary outcomes. Outcomes were assessed at baseline, after ten sessions of treatment administered over 2 weeks and at 1 month after end of treatment. Baseline clinical features were comparable across groups. For the primary feasibility outcome, compliance with treatment was 100% in the active group and 94% in the sham group. There were no serious intervention-related adverse events. There were significant improvements in performance in the Jebsen-Taylor test (mean, 12.3% 1 month after treatment) and pinch force (mean, 0.5 Newtons) in the active group, but not in the sham group. Low-frequency rTMS to the contralesional motor cortex early after stroke is feasible, safe and potentially effective to improve function of the paretic hand, in patients with mild to severe hemiparesis. These promising results will be valuable to design larger randomized clinical trials.

Statistical physics approach to dendritic computation: The excitable-wave mean-field approximation

We analytically study the input-output properties of a neuron whose active dendritic tree, modeled as a Cayley tree of excitable elements, is subjected to Poisson stimulus. Both single-site and two-site mean-field approximations incorrectly predict a nonequilibrium phase transition which is not allowed in the model. We propose an excitable-wave mean-field approximation which shows good agreement with previously published simulation results [Gollo et al., PLoS Comput. Biol. 5, e1000402 (2009)] and accounts for finite-size effects. We also discuss the relevance of our results to experiments in neuroscience, emphasizing the role of active dendrites in the enhancement of dynamic range and in gain control modulation.

ESMO Consensus Guidelines for management of patients with colon and rectal cancer. A personalized approach to clinical decision making

Colorectal cancer (CRC) is the most common tumour type in both sexes combined in Western countries. Although screening programmes including the implementation of faecal occult blood test and colonoscopy might be able to reduce mortality by removing precursor lesions and by making diagnosis at an earlier stage, the burden of disease and mortality is still high. Improvement of diagnostic and treatment options increased staging accuracy, functional outcome for early stages as well as survival. Although high quality surgery is still the mainstay of curative treatment, the management of CRC must be a multi-modal approach performed by an experienced multi-disciplinary expert team. Optimal choice of the individual treatment modality according to disease localization and extent, tumour biology and patient factors is able to maintain quality of life, enables long-term survival and even cure in selected patients by a combination of chemotherapy and surgery. Treatment decisions must be based on the available evidence, which has been the basis for this consensus conference-based guideline delivering a clear proposal for diagnostic and treatment measures in each stage of rectal and colon cancer and the individual clinical situations. This ESMO guideline is recommended to be used as the basis for treatment and management decisions.