Deduction with XOR Constraints in Security API Modelling

We introduce XOR constraints, and show how they enable a theorem prover to reason effectively about security critical subsystems which employ bitwise XOR. Our primary case study is the API of the IBM 4758 hardware security module. We also show how our technique can be applied to standard security protocols

Induction of Endothelial Cell Apoptosis by Solid Tumor Cells

peer reviewedThe mechanisms by which tumor cells extravasate to form metastasis remain controversial. Previous studies performed in vivo and in vitro demonstrate that the contact between tumor cells and the vascular wall impairs endothelium integrity. Here, we investigated the effect of breast adenocarcinoma MCF-7 cells on the apoptosis of human umbilical vein endothelial cells (HUVEC). TUNEL labeling, nuclear morphology, and DNA electrophoresis indicated that MCF-7 cells induced a two- to fourfold increase in HUVEC apoptosis. Caspase-3 activity was significantly enhanced. Neither normal cells tested (mammary epithelial cells, fibroblasts, leukocytes) nor transformed hematopoietic cells tested (HL60, Jurkat) induced HUVEC apoptosis. On the contrary, cells derived from solid tumors (breast adenocarcinoma, MDA-MB-231 and T47D; fibrosarcoma, HT 1080) had an effect similar to that of MCF-7 cells. The induction of apoptosis requires cell-to-cell contact, since it could not be reproduced by media conditioned by MCF-7 cells cultured alone or cocultured with HUVEC. Our results suggest that cells derived from solid tumors may alter the endothelium integrity by inducing endothelial cell apoptosis. On the contrary, normal or malignant leukocytes appear to extravasate by distinct mechanisms and do not damage the endothelium. Our data may lead to a better understanding of the steps involved in tumor cell extravasation

Calculation of the Phase Behavior of Lipids

The self-assembly of monoacyl lipids in solution is studied employing a model in which the lipid's hydrocarbon tail is described within the Rotational Isomeric State framework and is attached to a simple hydrophilic head. Mean-field theory is employed, and the necessary partition function of a single lipid is obtained via a partial enumeration over a large sample of molecular conformations. The influence of the lipid architecture on the transition between the lamellar and inverted-hexagonal phases is calculated, and qualitative agreement with experiment is found.Comment: to appear in Phys.Rev.

Immune-derived PD-L1 gene expression defines a subgroup of stage II/III colorectal cancer patients with favorable prognosis that may be harmed by adjuvant chemotherapy

Abstract A recent phase II study of patients with metastatic colorectal carcinoma showed that mismatch repair gene status was predictive of clinical response to PD-1–targeting immune checkpoint blockade. Further examination revealed strong correlation between PD-L1 protein expression and microsatellite instability (MSI) in stage IV colorectal carcinoma, suggesting that the amount of PD-L1 protein expression could identify late-stage patients who might benefit from immunotherapy. To assess whether the clinical associations between PD-L1 gene expression and MSI identified in metastatic colorectal carcinoma are also present in stage II/III colorectal carcinoma, we used in silico analysis to elucidate the cell types expressing the PD-L1 gene. We found a statistically significant association of PD-L1 gene expression with MSI in early-stage colorectal carcinoma (P &amp;lt; 0.001) and show that, unlike in non–colorectal carcinoma tumors, PD-L1 is derived predominantly from the immune infiltrate. We demonstrate that PD-L1 gene expression has positive prognostic value in the adjuvant disease setting (PD-L1low vs. PD-L1high HR = 9.09; CI, 2.11–39.10). PD-L1 gene expression had predictive value, as patients with high PD-L1 expression appear to be harmed by standard-of-care treatment (HR = 4.95; CI, 1.10–22.35). Building on the promising results from the metastatic colorectal carcinoma PD-1–targeting trial, we provide compelling evidence that patients with PD-L1high/MSI/immunehigh stage II/III colorectal carcinoma should not receive standard chemotherapy. This conclusion supports the rationale to clinically evaluate this patient subgroup for PD-1 blockade treatment. Cancer Immunol Res; 4(7); 582–91. ©2016 AACR.</jats:p

Evidence for Two Modes of Synergistic Induction of Apoptosis by Mapatumumab and Oxaliplatin in Combination with Hyperthermia in Human Colon Cancer Cells

Colorectal cancer is the third leading cause of cancer-related mortality in the world-- the main cause of death from colorectal cancer is hepatic metastases, which can be treated with isolated hepatic perfusion (IHP). Searching for the most clinically relevant approaches for treating colorectal metastatic disease by isolated hepatic perfusion (IHP), we developed the application of oxaliplatin concomitantly with hyperthermia and humanized death receptor 4 (DR4) antibody mapatumumab (Mapa), and investigated the molecular mechanisms of this multimodality treatment in human colon cancer cell lines CX-1 and HCT116 as well as human colon cancer stem cells Tu-12, Tu-21 and Tu-22. We showed here, in this study, that the synergistic effect of the multimodality treatment-induced apoptosis was caspase dependent and activated death signaling via both the extrinsic apoptotic pathway and the intrinsic pathway. Death signaling was activated by c-Jun N-terminal kinase (JNK) signaling which led to Bcl-xL phosphorylation at serine 62, decreasing the anti-apoptotic activity of Bcl-xL, which contributed to the intrinsic pathway. The downregulation of cellular FLICE inhibitory protein long isoform (c-FLIPL) in the extrinsic pathway was accomplished through ubiquitination at lysine residue (K) 195 and protein synthesis inhibition. Overexpression of c-FLIPL mutant (K195R) and Bcl-xL mutant (S62A) completely abrogated the synergistic effect. The successful outcome of this study supports the application of multimodality strategy to patients with colorectal hepatic metastases who fail to respond to standard chemoradiotherapy that predominantly targets the mitochondrial apoptotic pathway. © 2013 Song et al

In-street wind direction variability in the vicinity of a busy intersection in central London

We present results from fast-response wind measurements within and above a busy intersection between two street canyons (Marylebone Road and Gloucester Place) in Westminster, London taken as part of the DAPPLE (Dispersion of Air Pollution and Penetration into the Local Environment; www.dapple.org.uk) 2007 field campaign. The data reported here were collected using ultrasonic anemometers on the roof-top of a building adjacent to the intersection and at two heights on a pair of lamp-posts on opposite sides of the intersection. Site characteristics, data analysis and the variation of intersection flow with the above-roof wind direction (θref) are discussed. Evidence of both flow channelling and recirculation was identified within the canyon, only a few metres from the intersection for along-street and across-street roof-top winds respectively. Results also indicate that for oblique rooftop flows, the intersection flow is a complex combination of bifurcated channelled flows, recirculation and corner vortices. Asymmetries in local building geometry around the intersection and small changes in the background wind direction (changes in 15-min mean θref of 5–10 degrees) were also observed to have profound influences on the behaviour of intersection flow patterns. Consequently, short time-scale variability in the background flow direction can lead to highly scattered in-street mean flow angles masking the true multi-modal features of the flow and thus further complicating modelling challenges

Atmospheric neutrino induced muons in the MACRO detector

A measurement of the flux of neutrino-induced muons using the MACRO detector is presented. Different event topologies, corresponding to different neutrino parent energies can be detected. The upward throughgoing muon sample is the larger event sample. The observed upward-throughgoing muons are 26% fewer than expected and the zenith angle distribution does not fit with the expected one. Assuming neutrino oscillations, both measurements suggest maximum mixing and Dm2 of a few times 10-3 eV2. The other samples are due to the internally produced events and to upward-going stopping muons. These data show a regular deficit of observed events in each angular bin, as expected assuming neutrino oscillations with maximum mixing, in agreement with the analysis of the upward-throughgoing muon sample.Comment: 7 pages 6 figures to appear in the proceedings of XVIII International Conference on Neutrino Physics and Astrophysics (Neutrino'98), Takayama, Japan 4-9 June, 199

Evaluating predictive pharmacogenetic signatures of adverse events in colorectal cancer patients treated with fluoropyrimidines

The potential clinical utility of genetic markers associated with response to fluoropyrimidine treatment in colorectal cancer patients remains controversial despite extensive study. Our aim was to test the clinical validity of both novel and previously identified markers of adverse events in a broad clinical setting. We have conducted an observational pharmacogenetic study of early adverse events in a cohort study of 254 colorectal cancer patients treated with 5-fluorouracil or capecitabine. Sixteen variants of nine key folate (pharmacodynamic) and drug metabolising (pharmacokinetic) enzymes have been analysed as individual markers and/or signatures of markers. We found a significant association between TYMP S471L (rs11479) and early dose modifications and/or severe adverse events (adjusted OR = 2.02 [1.03; 4.00], p = 0.042, adjusted OR = 2.70 [1.23; 5.92], p = 0.01 respectively). There was also a significant association between these phenotypes and a signature of DPYD mutations (Adjusted OR = 3.96 [1.17; 13.33], p = 0.03, adjusted OR = 6.76 [1.99; 22.96], p = 0.002 respectively). We did not identify any significant associations between the individual candidate pharmacodynamic markers and toxicity. If a predictive test for early adverse events analysed the TYMP and DPYD variants as a signature, the sensitivity would be 45.5 %, with a positive predictive value of just 33.9 % and thus poor clinical validity. Most studies to date have been under-powered to consider multiple pharmacokinetic and pharmacodynamic variants simultaneously but this and similar individualised data sets could be pooled in meta-analyses to resolve uncertainties about the potential clinical utility of these markers

New MACRO results on atmospheric neutrino oscillations

The final results of the MACRO experiment on atmospheric neutrino oscillations are presented and discussed. The data concern different event topologies with average neutrino energies of ~3 and ~50 GeV. Multiple Coulomb Scattering of the high energy muons in absorbers was used to estimate the neutrino energy of each event. The angular distributions, the L/E_nu distribution, the particle ratios and the absolute fluxes all favour nu_mu --> nu_tau oscillations with maximal mixing and Delta m^2 =0.0023 eV^2. A discussion is made on the Monte Carlos used for the atmospheric neutrino flux. Some results on neutrino astrophysics are also briefly discussed.Comment: Invited Paper at the NANP03 Int. Conf., Dubna, 200

The Observation of Up-going Charged Particles Produced by High Energy Muons in Underground Detectors

An experimental study of the production of up-going charged particles in inelastic interactions of down-going underground muons is reported, using data obtained from the MACRO detector at the Gran Sasso Laboratory. In a sample of 12.2 10^6 single muons, corresponding to a detector livetime of 1.55 y, 243 events are observed having an up-going particle associated with a down-going muon. These events are analysed to determine the range and emission angle distributions of the up-going particle, corrected for detection and reconstruction efficiency. Measurements of the muon neutrino flux by underground detectors are often based on the observation of through-going and stopping muons produced in $\nu_\mu$ interactions in the rock below the detector. Up-going particles produced by an undetected down-going muon are a potential background source in these measurements. The implications of this background for neutrino studies using MACRO are discussed.Comment: 18 pages, 9 figures. Accepted by Astrop. Physic