Generating Secure Service Compositions

Ensuring that the compositions of services that constitute service-based systems satisfy given security properties is a key prerequisite for the adoption of the service oriented computing paradigm. In this paper, we address this issue using a novel approach that guarantees service composition security by virtue of the generation of compositions. Our approach generates service compositions that are guaranteed to satisfy security properties based on secure service orchestration (SESO) patterns. These patterns express primitive (e.g., sequential, parallel) service orchestrations, which are proven to have certain global security properties if the individual services participating in them have themselves other security properties. The paper shows how SESO patterns can be constructed and gives examples of proofs for such patterns. It also presents the process of using SESO patterns to generate secure service compositions and presents the results of an initial experimental evaluation of the approach

Effect of Particle Size on Droplet Infiltration into Hydrophobic Porous Media As a Model of Water Repellent Soil

The wettability of soil is of great importance for plants and soil biota, and in determining the risk for preferential flow, surface runoff, flooding,and soil erosion. The molarity of ethanol droplet (MED) test is widely used for quantifying the severity of water repellency in soils that show reduced wettability and is assumed to be independent of soil particle size. The minimum ethanol concentration at which droplet penetration occurs within a short time (≤10 s) provides an estimate of the initial advancing contact angle at which spontaneous wetting is expected. In this study, we test the assumption of particle size independence using a simple model of soil, represented by layers of small (0.2–2 mm) diameter beads that predict the effect of changing bead radius in the top layer on capillary driven imbibition. Experimental results using a three-layer bead system show broad agreement with the model and demonstrate a dependence of the MED test on particle size. The results show that the critical initial advancing contact angle for penetration can be considerably less than 90° and varies with particle size, demonstrating that a key assumption currently used in the MED testing of soil is not necessarily valid

MULTIPLE HIGH CURRENT BUNCHES IN PEP-II

Operation with colliding beams at PEP-II has progressed remarkably well with over half the design specific luminosity and 5:2 10 32 cm,2s,1 in multiple bunches demonstrated during the last commissioning period before installation of the BABAR detector. Further luminosity increases are anticipated as the vertical beam size is reduced and beam currents are raised towards design values. At high currents interesting multibunch dynamics, which depend strongly on current distribution, have been observed during single-beam commissioning studies. Transverse beam instabilities nominally controlled using bunch-by-bunch feedback were observed to be significantly suppressed, in the absence of feedback, with beams in collision.

Characterisation of the muon beams for the Muon Ionisation Cooling Experiment

A novel single-particle technique to measure emittance has been developed and used to characterise seventeen different muon beams for the Muon Ionisation Cooling Experiment (MICE). The muon beams, whose mean momenta vary from 171 to 281 MeV/c, have emittances of approximately 1.2–2.3 π mm-rad horizontally and 0.6–1.0 π mm-rad vertically, a horizontal dispersion of 90–190 mm and momentum spreads of about 25 MeV/c. There is reasonable agreement between the measured parameters of the beams and the results of simulations. The beams are found to meet the requirements of MICE

The relationship between the preoperative systemic inflammatory response and cancer-specific survival in patients undergoing potentially curative resection for renal clear cell cancer

The relationship between tumour stage, grade (Fuhrman), performance status (ECOG), a combined score (UCLA Integrated Staging System, UISS), systemic inflammatory response (elevated C-reactive protein concentration), and cancer-specific survival was examined in patients undergoing potentially curative resection for renal clear cell cancer (n=100). On univariate survival analysis, sex (P=0.050), tumour stage (P=0.001), Fuhrman grade (P<0.001), UISS (P<0.001), C-reactive protein (P=0.002) were significant predictors of survival. On multivariate analysis with sex, UISS and C-reactive protein entered as covariates, only UISS (HR 2.70, 95% CI 1.00–7.30, P=0.050) and C-reactive protein (HR 4.00, 95% CI 1.21–13.31, P=0.024) were significant independent predictors of survival. The presence of a preoperative systemic inflammatory response predicts poor cancer-specific survival in patients who have undergone potentially curative resection for renal clear cell cancer

Interim Design Report

The International Design Study for the Neutrino Factory (the IDS-NF) was established by the community at the ninth "International Workshop on Neutrino Factories, super-beams, and beta- beams" which was held in Okayama in August 2007. The IDS-NF mandate is to deliver the Reference Design Report (RDR) for the facility on the timescale of 2012/13. In addition, the mandate for the study [3] requires an Interim Design Report to be delivered midway through the project as a step on the way to the RDR. This document, the IDR, has two functions: it marks the point in the IDS-NF at which the emphasis turns to the engineering studies required to deliver the RDR and it documents baseline concepts for the accelerator complex, the neutrino detectors, and the instrumentation systems. The IDS-NF is, in essence, a site-independent study. Example sites, CERN, FNAL, and RAL, have been identified to allow site-specific issues to be addressed in the cost analysis that will be presented in the RDR. The choice of example sites should not be interpreted as implying a preferred choice of site for the facility

Perioperative immunomodulation with interleukin-2 in patients with renal cell carcinoma: results of a controlled phase II trial

We conducted a non-randomised controlled phase II trial to investigate the role of preoperative administration of interleukin-2 (IL-2) in patients with renal cell carcinoma undergoing tumour nephrectomy. A total of 120 consecutive patients were allocated alternately to the two study groups: perioperative immunomodulation with IL-2 (IL-2 group; n=60) and perioperative immunomonitoring without immunomodulation (control group; n=60). Patients from the IL-2 group received four doses of 10 × 106 IU m−2 twice daily subcutaneously a week before operation followed by a daily maintenance dose of 3 × 106 IU m−2 subcutaneously until a day before the operation. Parameters of cellular and humoral immunity (leucocytes, T-cell markers CD3, CD4, and CD8, B-cell marker CD19, monocyte marker CD14, natural killer (NK) cell markers CD16, CD56, and CD57, activation markers CD6, CD25, CD28, and CD69, progenitor cell marker CD34, as well as IL-2, IL-6, IL-10, soluble IL-2 receptor, IL-1 receptor antagonist, transforming growth factor-β1, and vascular endothelial growth factor) were measured in peripheral venous blood at various intervals. Interleukin-2-related toxicity was WHO grade 1 (24%), 2 (67%), and 3 (9%). In the postoperative period, T-cell markers, activation markers, and NK cell markers decreased, and IL-6 and IL-10 increased. However, all these alterations were significantly less accentuated in patients who had been pretreated with IL-2. Median follow-up was 40 months. Tumour-specific survival in the IL-2 group and the control group was 98 vs 81% after 1 year and 86 vs 73% after 5 years (P=0.04). A similar effect was found for progression-free survival. We conclude that IL-2 can be safely administered in the perioperative period and modulates immunological parameters. However, to validate the survival data, a larger randomised phase III trial is needed

AMPK α1 Activation Is Required for Stimulation of Glucose Uptake by Twitch Contraction, but Not by H2O2, in Mouse Skeletal Muscle

BACKGROUND: AMPK is a promising pharmacological target in relation to metabolic disorders partly due to its non-insulin dependent glucose uptake promoting role in skeletal muscle. Of the 2 catalytic alpha-AMPK isoforms, alpha(2) AMPK is clearly required for stimulation of glucose transport into muscle by certain stimuli. In contrast, no clear function has yet been determined for alpha(1) AMPK in skeletal muscle, possibly due to alpha-AMPK isoform signaling redundancy. By applying low-intensity twitch-contraction and H(2)O(2) stimulation to activate alpha(1) AMPK, but not alpha(2) AMPK, in wildtype and alpha-AMPK transgenic mouse muscles, this study aimed to define conditions where alpha(1) AMPK is required to increase muscle glucose uptake. METHODOLOGY/PRINCIPAL FINDINGS: Following stimulation with H(2)O(2) (3 mM, 20 min) or twitch-contraction (0.1 ms pulse, 2 Hz, 2 min), signaling and 2-deoxyglucose uptake were measured in incubated soleus muscles from wildtype and muscle-specific kinase-dead AMPK (KD), alpha(1) AMPK knockout or alpha(2) AMPK knockout mice. H(2)O(2) increased the activity of both alpha(1) and alpha(2) AMPK in addition to Akt phosphorylation, and H(2)O(2)-stimulated glucose uptake was not reduced in any of the AMPK transgenic mouse models compared with wild type. In contrast, twitch-contraction increased the activity of alpha(1) AMPK, but not alpha(2) AMPK activity nor Akt or AS160 phosphorylation. Glucose uptake was markedly lower in alpha(1) AMPK knockout and KD AMPK muscles, but not in alpha(2) AMPK knockout muscles, following twitch stimulation. CONCLUSIONS/SIGNIFICANCE: These results provide strong genetic evidence that alpha(1) AMPK, but not alpha(2) AMPK, Akt or AS160, is necessary for regulation of twitch-contraction stimulated glucose uptake. To our knowledge, this is the first report to show a major and essential role of alpha(1) AMPK in regulating a physiological endpoint in skeletal muscle. In contrast, AMPK is not essential for H(2)O(2)-stimulated muscle glucose uptake, as proposed by recent studies