Managing Industrial Communication Delays with Software-Defined Networking

Recent technological advances have fostered the development of complex industrial cyber-physical systems which demand real-time communication with delay guarantees. The consequences of delay requirement violation in such systems may become increasingly severe. In this paper, we propose a contract-based fault-resilient methodology which aims at managing the communication delays of real-time flows in industries. With this objective, we present a light-weight mechanism to estimate end-to-end delay in the network in which the clocks of the switches are not synchronized. The mechanism aims at providing high level of accuracy with lower communication overhead. We then propose a contract-based framework using software-defined networking where the components are associated with delay contracts and a resilience manager. The proposed resilience management framework contains: (1) contracts which state guarantees about components behaviors, (2) observers which are responsible to detect contract failure (fault), (3) monitors to detect events such as run-time changes in the delay requirements and link failure, (4) control logic to take suitable decisions based on the type of the fault, (5) resilience manager to decide response strategies containing the best course of action as per the control logic decision. Finally, we present a delay-aware path finding algorithm which is used to route/reroute the real-time flows to provide resiliency in the case of faults and, to adapt to the changes in the network state. Performance of the proposed framework is evaluated with the Ryu SDN controller and Mininet network emulator

RF spectroscopy in a resonant RF-dressed trap

We study the spectroscopy of atoms dressed by a resonant radiofrequency (RF) field inside an inhomogeneous magnetic field and confined in the resulting adiabatic potential. The spectroscopic probe is a second, weak, RF field. The observed line shape is related to the temperature of the trapped cloud. We demonstrate evaporative cooling of the RF-dressed atoms by sweeping the frequency of the second RF field around the Rabi frequency of the dressing field.Comment: 7 figures, 8 pages; to appear in J. Phys.

Characteristic Male Urine Microbiomes Associate with Asymptomatic Sexually Transmitted Infection

Article discussing research on characteristic male urine microbiomes associated with asymptomatic sexually transmitted infection

Alterations of immune response of non-small lung cancer with azacytidine

Innovative therapies are needed for advanced Non-Small Cell Lung Cancer (NSCLC). We have undertaken a genomics based, hypothesis driving, approach to query an emerging potential that epigenetic therapy may sensitize to immune checkpoint therapy targeting PD-L1/PD-1 interaction. NSCLC cell lines were treated with the DNA hypomethylating agent azacytidine (AZA - Vidaza) and genes and pathways altered were mapped by genome-wide expression and DNA methylation analyses. AZA-induced pathways were analyzed in The Cancer Genome Atlas (TCGA) project by mapping the derived gene signatures in hundreds of lung adeno (LUAD) and squamous cell carcinoma (LUSC) samples. AZA up-regulates genes and pathways related to both innate and adaptive immunity and genes related to immune evasion in a several NSCLC lines. DNA hypermethylation and low expression of IRF7, an interferon transcription factor, tracks with this signature particularly in LUSC. In concert with these events, AZA up-regulates PD-L1 transcripts and protein, a key ligand-mediator of immune tolerance. Analysis of TCGA samples demonstrates that a significant proportion of primary NSCLC have low expression of AZA-induced immune genes, including PD-L1. We hypothesize that epigenetic therapy combined with blockade of immune checkpoints - in particular the PD-1/PD-L1 pathway - may augment response of NSCLC by shifting the balance between immune activation and immune inhibition, particularly in a subset of NSCLC with low expression of these pathways. Our studies define a biomarker strategy for response in a recently initiated trial to examine the potential of epigenetic therapy to sensitize patients with NSCLC to PD-1 immune checkpoint blockade

Cauchy's infinitesimals, his sum theorem, and foundational paradigms

Cauchy's sum theorem is a prototype of what is today a basic result on the convergence of a series of functions in undergraduate analysis. We seek to interpret Cauchy's proof, and discuss the related epistemological questions involved in comparing distinct interpretive paradigms. Cauchy's proof is often interpreted in the modern framework of a Weierstrassian paradigm. We analyze Cauchy's proof closely and show that it finds closer proxies in a different modern framework. Keywords: Cauchy's infinitesimal; sum theorem; quantifier alternation; uniform convergence; foundational paradigms.Comment: 42 pages; to appear in Foundations of Scienc

Stromal Cell-Derived Factor-1/CXCL12 Contributes to MMTV-Wnt1 Tumor Growth Involving Gr1+CD11b+ Cells

BACKGROUND: Histological examinations of MMTV-Wnt1 tumors reveal drastic differences in the tumor vasculature when compared to MMTV-Her2 tumors. However, these differences have not been formally described, nor have any angiogenic factors been implicated to be involved in the Wnt1 tumors. METHODOLOGY/PRINCIPAL FINDINGS: Here, we show that MMTV-Wnt1 tumors were more vascularized than MMTV-Her2 tumors, and this correlated with significantly higher expression of a CXC chemokine, stromal cell-derived factor-1 (SDF1/CXCL12) but not with VEGFA. Isolation of various cell types from Wnt1 tumors revealed that SDF1 was produced by both tumor myoepithelial cells and stromal cells, whereas Her2 tumors lacked myoepithelial cells and contained significantly less stroma. The growth of Wnt1 tumors, but not Her2 tumors, was inhibited by a neutralizing antibody to SDF1, but not by neutralization of VEGFA. Anti-SDF1 treatment decreased the proportion of infiltrating Gr1(+) myeloid cells in the Wnt1 tumors, which correlated with a decrease in the percentage of endothelial cells. The involvement of Gr1(+) cells was evident from the retardation of Wnt1 tumor growth following in vivo depletion of these cells with an anti-Gr1-specific antibody. This degree of inhibition on Wnt1 tumor growth was comparable, but not additive, to the effect observed with anti-SDF1, indicative of overlapping mechanisms of inhibition. In contrast, Her2 tumors were not affected by the depletion of Gr1(+) cells. CONCLUSIONS/SIGNIFICANCE: We demonstrated that SDF1 is important for Wnt1, but not for HER2, in inducing murine mammary tumor and the role of SDF1 in tumorigenesis involves Gr1(+) myeloid cells to facilitate growth and/or angiogenesis

Recent developments in trapping and manipulation of atoms with adiabatic potentials

A combination of static and oscillating magnetic fields can be used to ‘dress’ atoms with radio-frequency (RF), or microwave, radiation. The spatial variation of these fields can be used to create an enormous variety of traps for ultra-cold atoms and quantum gases. This article reviews the type and character of these adiabatic traps and the applications which include atom interferometry and the study of low-dimensional quantum systems. We introduce the main concepts of magnetic traps leading to adiabatic dressed traps. The concept of adiabaticity is discussed in the context of the Landau–Zener model. The first bubble trap experiment is reviewed together with the method used for loading it. Experiments based on atom chips show the production of double wells and ring traps. Dressed atom traps can be evaporatively cooled with an additional RF field, and a weak RF field can be used to probe the spectroscopy of the adiabatic potentials. Several approaches to ring traps formed from adiabatic potentials are discussed, including those based on atom chips, time-averaged adiabatic potentials and induction methods. Several proposals for adiabatic lattices with dressed atoms are also reviewed

Nuclear β-catenin expression is closely related to ulcerative growth of colorectal carcinoma

Although most colorectal cancer develops based on the adenoma–adenocarcinoma sequence, morphologically, colorectal cancer is not a homogeneous disease entity. Generally, there are two distinct morphological types: polypoid and ulcerative colorectal tumours. Previous studies have demonstrated that K-ras codon 12 mutations are preferentially associated with polypoid growth of colorectal cancer; however, little is known about the molecular mechanism that determines ulcerative growth of colorectal cancer. β-catenin complex plays a critical role both in tumorigenesis and morphogenesis. We examined the differential expression of β-catenin and its related factors among different types of colorectal cancer in order to determine any relationship with gross tumour morphology. Immunohistochemical staining of β-catenin, E-cadherin and MMP-7 was performed on 51 tumours, including 26 polypoid tumours and 25 ulcerative tumours. Protein truncation tests and single-strand conformational polymorphism for mutation of the adenomatous polyposis coli tumour suppressor gene, as well as single-strand conformational polymorphism for the mutation of β-catenin exon 3 were also done. Nuclear expression of β-catenin was observed in 18 out of 25 (72%) cases of ulcerative colorectal cancer and seven out of 26 (26.9%) cases of polypoid colorectal cancer. A significant relationship of nuclear β-catenin expression with ulcerative colorectal cancer was found (P<0.001). However, this finding was independent of adenomatous polyposis coli tumour suppressor gene mutation and E-cadherin expression. Together with previous data, we propose that different combinations of genetic alterations may underlie different morphological types of colorectal cancer. These findings should be taken into consideration whenever developing a new genetic diagnosis or therapy for colorectal cancer

Post-Transcriptional Regulation of Cadherin-11 Expression by GSK-3 and β-Catenin in Prostate and Breast Cancer Cells

The cell-cell adhesion molecule cadherin-11 is important in embryogenesis and bone morphogenesis, invasion of cancer cells, lymphangiogenesis, homing of cancer cells to bone, and rheumatoid arthritis. However, very little is known about the regulation of cadherin-11 expression.Here we show that cell density and GSK-3beta regulate cadherin-11 levels in cancer cells. Inactivation of GSK3beta with lithium chloride or the GSK3 inhibitor BIO and GSK3beta knockdown with siRNA repressed cadherin-11 mRNA and protein levels. RNA Polymerase II chromatin immunoprecipitation experiments showed that inhibition of GSK3 does not affect cadherin-11 gene transcription. Although the cadherin-11 3'UTR contains putative microRNA target sites and is regulated by Dicer, its stability is not regulated by GSK3 inhibition or density. Our data show that GSK3beta regulates cadherin-11 expression in two ways: first a beta-catenin-independent regulation of cadherin-11 steady state mRNA levels, and second a beta-catenin-dependent effect on cadherin-11 3'UTR stability and protein translation.Cadherin-11 mRNA and protein levels are regulated by the activity of GSK3beta and a significant degree of this regulation is exerted by the GSK3 target, beta-catenin, at the level of the cadherin-11 3'UTR