Property-Based Testing - The ProTest Project

The ProTest project is an FP7 STREP on property based testing. The purpose of the project is to develop software engineering approaches to improve reliability of service-oriented networks; support fault-finding and diagnosis based on specified properties of the system. And to do so we will build automated tools that will generate and run tests, monitor execution at run-time, and log events for analysis. The Erlang / Open Telecom Platform has been chosen as our initial implementation vehicle due to its robustness and reliability within the telecoms sector. It is noted for its success in the ATM telecoms switches by Ericsson, one of the project partners, as well as for multiple other uses such as in facebook, yahoo etc. In this paper we provide an overview of the project goals, as well as detailing initial progress in developing property based testing techniques and tools for the concurrent functional programming language Erlang

Metabolic origins of spatial organization in the tumor microenvironment.

The genetic and phenotypic diversity of cells within tumors is a major obstacle for cancer treatment. Because of the stochastic nature of genetic alterations, this intratumoral heterogeneity is often viewed as chaotic. Here we show that the altered metabolism of cancer cells creates predictable gradients of extracellular metabolites that orchestrate the phenotypic diversity of cells in the tumor microenvironment. Combining experiments and mathematical modeling, we show that metabolites consumed and secreted within the tumor microenvironment induce tumor-associated macrophages (TAMs) to differentiate into distinct subpopulations according to local levels of ischemia and their position relative to the vasculature. TAMs integrate levels of hypoxia and lactate into progressive activation of MAPK signaling that induce predictable spatial patterns of gene expression, such as stripes of macrophages expressing arginase 1 (ARG1) and mannose receptor, C type 1 (MRC1). These phenotypic changes are functionally relevant as ischemic macrophages triggered tube-like morphogenesis in neighboring endothelial cells that could restore blood perfusion in nutrient-deprived regions where angiogenic resources are most needed. We propose that gradients of extracellular metabolites act as tumor morphogens that impose order within the microenvironment, much like signaling molecules convey positional information to organize embryonic tissues. Unearthing embryology-like processes in tumors may allow us to control organ-like tumor features such as tissue repair and revascularization and treat intratumoral heterogeneity

Suppression of Superconducting Critical Current Density by Small Flux Jumps in MgB2MgB_2 Thin Films

By doing magnetization measurements during magnetic field sweeps on thin films of the new superconductor $MgB_2$, it is found that in a low temperature and low field region small flux jumps are taking place. This effect strongly suppresses the central magnetization peak leading to reduced nominal superconducting critical current density at low temperatures. A borderline for this effect to occur is determined on the field-temperature (H-T) phase diagram. It is suggested that the small size of the flux jumps in films is due to the higher density of small defects and the relatively easy thermal diffusion in thin films in comparison with bulk samples.Comment: 7 figures Phys. Rev. B accepted scheduled issue: 01 Feb 200

A terminal assessment of stages theory : introducing a dynamic states approach to entrepreneurship

Stages of Growth models were the most frequent theoretical approach to understanding entrepreneurial business growth from 1962 to 2006; they built on the growth imperative and developmental models of that time. An analysis of the universe of such models (N=104) published in the management literature shows no consensus on basic constructs of the approach, nor is there any empirical confirmations of stages theory. However, by changing two propositions of the stages models, a new dynamic states approach is derived. The dynamic states approach has far greater explanatory power than its precursor, and is compatible with leading edge research in entrepreneurship

Risk Factors for In-hospital Nonhemorrhagic Stroke in Patients With Acute Myocardial Infarction Treated With Thrombolysis: Results from GUSTO-I

BACKGROUND: Nonhemorrhagic stroke occurs in 0.1% to 1.3% of patients with acute myocardial infarction who are treated with thrombolysis, with substantial associated mortality and morbidity. Little is known about the risk factors for its occurrence. METHODS AND RESULTS: We studied the 247 patients with nonhemorrhagic stroke who were randomly assigned to one of four thrombolytic regimens within 6 hours of symptom onset in the GUSTO-I trial. We assessed the univariable and multivariable baseline risk factors for nonhemorrhagic stroke and created a scoring nomogram from the baseline multivariable modeling. We used time-dependent Cox modeling to determine multivariable in-hospital predictors of nonhemorrhagic stroke. Baseline and in-hospital predictors were then combined to determine the overall predictors of nonhemorrhagic stroke. Of the 247 patients, 42 (17%) died and another 98 (40%) were disabled by 30-day follow-up. Older age was the most important baseline clinical predictor of nonhemorrhagic stroke, followed by higher heart rate, history of stroke or transient ischemic attack, diabetes, previous angina, and history of hypertension. These factors remained statistically significant predictors in the combined model, along with worse Killip class, coronary angiography, bypass surgery, and atrial fibrillation/flutter. CONCLUSIONS: Nonhemorrhagic stroke is a serious event in patients with acute myocardial infarction who are treated with thrombolytic, antithrombin, and antiplatelet therapy. We developed a simple nomogram that can predict the risk of nonhemorrhagic stroke on the basis of baseline clinical characteristics. Prophylactic anticoagulation may be an important treatment strategy for patients with high probability for nonhemorrhagic stroke, but further study is needed

Magnetic surface topology in decaying plasma knots

Article / Letter to editorLeids Instituut Onderzoek Natuurkund

The relation between the column density structures and the magnetic field orientation in the Vela C molecular complex

We statistically evaluated the relative orientation between gas column density structures, inferred from Herschel submillimetre observations, and the magnetic field projected on the plane of sky, inferred from polarized thermal emission of Galactic dust observed by the Balloon-borne Large-Aperture Submillimetre Telescope for Polarimetry (BLASTPol) at 250, 350, and 500 μm, towards the Vela C molecular complex. First, we find very good agreement between the polarization orientations in the three wavelength-bands, suggesting that, at the considered common angular resolution of 3.0 that corresponds to a physical scale of approximately 0.61 pc, the inferred magnetic field orientation is not significantly affected by temperature or dust grain alignment effects. Second, we find that the relative orientation between gas column density structures and the magnetic field changes progressively with increasing gas column density, from mostly parallel or having no preferred orientation at low column densities to mostly perpendicular at the highest column densities. This observation is in agreement with previous studies by the Planck collaboration towards more nearby molecular clouds. Finally, we find a correspondence between (a) the trends in relative orientation between the column density structures and the projected magnetic field; and (b) the shape of the column density probability distribution functions (PDFs). In the sub-regions of Vela C dominated by one clear filamentary structure, or "ridges", where the high-column density tails of the PDFs are flatter, we find a sharp transition from preferentially parallel or having no preferred relative orientation at low column densities to preferentially perpendicular at highest column densities. In the sub-regions of Vela C dominated by several filamentary structures with multiple orientations, or "nests", where the maximum values of the column density are smaller than in the ridge-like sub-regions and the high-column density tails of the PDFs are steeper, such a transition is also present, but it is clearly less sharp than in the ridge-like sub-regions. Both of these results suggest that the magnetic field is dynamically important for the formation of density structures in this region

Search for direct production of charginos and neutralinos in events with three leptons and missing transverse momentum in √s = 7 TeV pp collisions with the ATLAS detector

A search for the direct production of charginos and neutralinos in final states with three electrons or muons and missing transverse momentum is presented. The analysis is based on 4.7 fb−1 of proton–proton collision data delivered by the Large Hadron Collider and recorded with the ATLAS detector. Observations are consistent with Standard Model expectations in three signal regions that are either depleted or enriched in Z-boson decays. Upper limits at 95% confidence level are set in R-parity conserving phenomenological minimal supersymmetric models and in simplified models, significantly extending previous results

Measurement of D*+/- meson production in jets from pp collisions at sqrt(s) = 7 TeV with the ATLAS detector

This paper reports a measurement of D*+/- meson production in jets from proton-proton collisions at a center-of-mass energy of sqrt(s) = 7 TeV at the CERN Large Hadron Collider. The measurement is based on a data sample recorded with the ATLAS detector with an integrated luminosity of 0.30 pb^-1 for jets with transverse momentum between 25 and 70 GeV in the pseudorapidity range |eta| < 2.5. D*+/- mesons found in jets are fully reconstructed in the decay chain: D*+ -> D0pi+, D0 -> K-pi+, and its charge conjugate. The production rate is found to be N(D*+/-)/N(jet) = 0.025 +/- 0.001(stat.) +/- 0.004(syst.) for D*+/- mesons that carry a fraction z of the jet momentum in the range 0.3 < z < 1. Monte Carlo predictions fail to describe the data at small values of z, and this is most marked at low jet transverse momentum.Comment: 10 pages plus author list (22 pages total), 5 figures, 1 table, matches published version in Physical Review

Mitochondria-derived reactive oxygen species drive GANT61-induced mesothelioma cell apoptosis

Gli transcription factors of the Hedgehog (Hh) pathway have been reported to be drivers of malignant mesothelioma (MMe) cell survival. The Gli inhibitor GANT61 induces apoptosis in various cancer cell models, and has been associated directly with Gli inhibition. However various chemotherapeutics can induce cell death through generation of reactive oxygen species (ROS) but whether ROS mediates GANT61-induced apoptosis is unknown. In this study human MMe cells were treated with GANT61 and the mechanisms regulating cell death investigated. Exposure of MMe cells to GANT61 led to G1 phase arrest and apoptosis, which involved ROS but not its purported targets, GLI1 or GLI2. GANT61 triggered ROS generation and quenching of ROS protected MMe cells from GANT61-induced apoptosis. Furthermore, we demonstrated that mitochondria are important in mediating GANT61 effects: (1) ROS production and apoptosis were blocked by mitochondrial inhibitor rotenone; (2) GANT61 promoted superoxide formation in mitochondria; and (3) mitochondrial DNA-deficient LO68 cells failed to induce superoxide, and were more resistant to apoptosis induced by GANT61 than wild-type cells. Our data demonstrate for the first time that GANT61 induces apoptosis by promoting mitochondrial superoxide generation independent of Gli inhibition, and highlights the therapeutic potential of mitochondrial ROS-mediated anticancer drugs in MMe