Rapid-eye-movement-sleep (REM) associated enhancement of working memory performance after a daytime nap

published_or_final_versio

Safe abstractions of data encodings in formal security protocol models

When using formal methods, security protocols are usually modeled at a high level of abstraction. In particular, data encoding and decoding transformations are often abstracted away. However, if no assumptions at all are made on the behavior of such transformations, they could trivially lead to security faults, for example leaking secrets or breaking freshness by collapsing nonces into constants. In order to address this issue, this paper formally states sufficient conditions, checkable on sequential code, such that if an abstract protocol model is secure under a Dolev-Yao adversary, then a refined model, which takes into account a wide class of possible implementations of the encoding/decoding operations, is implied to be secure too under the same adversary model. The paper also indicates possible exploitations of this result in the context of methods based on formal model extraction from implementation code and of methods based on automated code generation from formally verified model

Inhibition of class I histone deacetylases by romidepsin potently induces Epstein-Barr virus lytic cycle and mediates enhanced cell death with ganciclovir

Pan-histone deacetylase (HDAC) inhibitors, which inhibit 11 HDAC isoforms, are widely used to induce Epstein-Barr virus (EBV) lytic cycle in EBV-associated cancers in vitro and in clinical trials. Here, we hypothesized that inhibition of one or several specific HDAC isoforms by selective HDAC inhibitors could potently induce EBV lytic cycle in EBV-associated malignancies such as nasopharyngeal carcinoma (NPC) and gastric carcinoma (GC). We found that inhibition of class I HDACs, particularly HDAC-1, -2 and -3, was sufficient to induce EBV lytic cycle in NPC and GC cells in vitro and in vivo. Among a panel of selective HDAC inhibitors, the FDA-approved HDAC inhibitor romidepsin was found to be the most potent lytic inducer, which could activate EBV lytic cycle at ∼0.5 to 5 nM (versus ∼800 nM achievable concentration in patients' plasma) in more than 75% of cells. Upregulation of p21WAF1 , which is negatively regulated by class I HDACs, was observed before the induction of EBV lytic cycle. The upregulation of p21WAF1 and induction of lytic cycle were abrogated by a specific inhibitor of PKC-δ but not the inhibitors of PI3K, MEK, p38 MAPK, JNK or ATM pathways. Interestingly, inhibition of HDAC-1, -2 and -3 by romidepsin or shRNA knockdown could confer susceptibility of EBV-positive epithelial cells to the treatment with ganciclovir (GCV). In conclusion, we demonstrated that inhibition of class I HDACs by romidepsin could potently induce EBV lytic cycle and mediate enhanced cell death with GCV, suggesting potential application of romidepsin for the treatment of EBV-associated cancers.postprin

Comparative evaluation of a point-of-care immunochromatographic test SNAP 4Dx with molecular detection tests for vector-borne canine pathogens in Hong Kong

There are no comprehensive studies on the performance of commonly used point-of-care diagnostic enzyme immunoassay for common arthropod-borne canine pathogens. A comparative evaluation of an immunochromatographic test for these infections with a comprehensive polymerase chain reaction (PCR) test panel was performed on 100 pet dogs and 100 stray dogs without obvious clinical symptoms. Of the 162 positive test results from both immunochromatographic test and PCR, there was 85.2% concordance. The 24 discordant results between serology and PCR occurred in tests involving Ehrlichia canis (14) and Anaplasma platys (10), which may be related to the time of infection. No positive cases of borreliosis or rickettsiosis were detected. One important limitation of the immunochromatographic test was its lack of testing for babesiosis and hepatozoonosis. The former is the most prevalent arthropod-borne canine infection in our cohort (41%). Coinfections were found in 19% stray dogs and 6% of pet dogs with both tests (p<0.01). Seventeen and 8 samples from stray and pet dogs, respectively, were initially positive in the PCR test for Ehrlichia. However, on sequencing of the PCR amplicon, 10 from stray and 2 from pet dogs were found to be Wolbachia sequences instead, with 100% nucleotide identity to the 16S rRNA sequence of Wolbachia endosymbiont of Dirofilaria immitis. The presence of Wolbachia DNAemia (6%) correlated well with the molecular test and immunochromatographic antigen test for D. immitis. © Copyright 2011, Mary Ann Liebert, Inc.published_or_final_versio

Very high energy particle acceleration powered by the jets of the microquasar SS 433

SS 433 is a binary system containing a supergiant star that is overflowing its Roche lobe with matter accreting onto a compact object (either a black hole or neutron star). Two jets of ionized matter with a bulk velocity of $\sim0.26c$ extend from the binary, perpendicular to the line of sight, and terminate inside W50, a supernova remnant that is being distorted by the jets. SS 433 differs from other microquasars in that the accretion is believed to be super-Eddington, and the luminosity of the system is $\sim10^{40}$ erg s$^{-1}$. The lobes of W50 in which the jets terminate, about 40 pc from the central source, are expected to accelerate charged particles, and indeed radio and X-ray emission consistent with electron synchrotron emission in a magnetic field have been observed. At higher energies (>100 GeV), the particle fluxes of $\gamma$ rays from X-ray hotspots around SS 433 have been reported as flux upper limits. In this energy regime, it has been unclear whether the emission is dominated by electrons that are interacting with photons from the cosmic microwave background through inverse-Compton scattering or by protons interacting with the ambient gas. Here we report TeV $\gamma$-ray observations of the SS 433/W50 system where the lobes are spatially resolved. The TeV emission is localized to structures in the lobes, far from the center of the system where the jets are formed. We have measured photon energies of at least 25 TeV, and these are certainly not Doppler boosted, because of the viewing geometry. We conclude that the emission from radio to TeV energies is consistent with a single population of electrons with energies extending to at least hundreds of TeV in a magnetic field of $\sim16$~micro-Gauss.Comment: Preprint version of Nature paper. Contacts: S. BenZvi, B. Dingus, K. Fang, C.D. Rho , H. Zhang, H. Zho

Study of the reaction e^{+}e^{-} -->J/psi\pi^{+}\pi^{-} via initial-state radiation at BaBar

We study the process $e^+e^-\to J/\psi\pi^{+}\pi^{-}$ with initial-state-radiation events produced at the PEP-II asymmetric-energy collider. The data were recorded with the BaBar detector at center-of-mass energies 10.58 and 10.54 GeV, and correspond to an integrated luminosity of 454 $\mathrm{fb^{-1}}$. We investigate the $J/\psi \pi^{+}\pi^{-}$ mass distribution in the region from 3.5 to 5.5 $\mathrm{GeV/c^{2}}$. Below 3.7 $\mathrm{GeV/c^{2}}$ the $\psi(2S)$ signal dominates, and above 4 $\mathrm{GeV/c^{2}}$ there is a significant peak due to the Y(4260). A fit to the data in the range 3.74 -- 5.50 $\mathrm{GeV/c^{2}}$ yields a mass value $4244 \pm 5$ (stat) $\pm 4$ (syst)$\mathrm{MeV/c^{2}}$ and a width value $114 ^{+16}_{-15}$ (stat)$\pm 7$(syst)$\mathrm{MeV}$ for this state. We do not confirm the report from the Belle collaboration of a broad structure at 4.01 $\mathrm{GeV/c^{2}}$. In addition, we investigate the $\pi^{+}\pi^{-}$ system which results from Y(4260) decay

BRIT1/MCPH1 links chromatin remodelling to DNA damage response

To detect and repair damaged DNA, DNA damage response proteins need to overcome the barrier of condensed chromatin to gain access to DNA lesions1. ATP-dependent chromatin remodeling is one of the fundamental mechanisms used by cells to relax chromatin in DNA repair2–3. However, the mechanism mediating their recruitment to DNA lesions remains largely unknown. BRIT1 (also known as MCPH1) is an early DNA damage response protein that is mutated in human primary microcephaly4–8. We report here a previously unknown function of BRIT1 as a regulator of ATP-dependent chromatin remodeling complex SWI/SNF in DNA repair. Upon DNA damage, BRIT1 increases its interaction with SWI/SNF through the ATM/ATR-dependent phosphorylation on the BAF170 subunit. This increase of binding affinity provides a means by which SWI/SNF can be specifically recruited to and maintained at DNA lesions. Loss of BRIT1 causes impaired chromatin relaxation owing to reduced association of SWI/SNF with chromatin. This explains the decreased recruitment of repair proteins to DNA lesions and reduced efficiency of repair in BRIT1-deficient cells, resulting in impaired survival from DNA damage. Our findings, therefore, identify BRIT1 as a key molecule that links chromatin remodeling with DNA damage response in the control of DNA repair, and its dysfunction contributes to human disease

Assessing risk of breast cancer in an ethnically South-East Asia population (results of a multiple ethnic groups study)

10.1186/1471-2407-12-529BMC Cancer12-BCMA

Emodin Suppresses Migration and Invasion through the Modulation of CXCR4 Expression in an Orthotopic Model of Human Hepatocellular Carcinoma

10.1371/journal.pone.0057015PLoS ONE83

f(R) theories

Over the past decade, f(R) theories have been extensively studied as one of the simplest modifications to General Relativity. In this article we review various applications of f(R) theories to cosmology and gravity - such as inflation, dark energy, local gravity constraints, cosmological perturbations, and spherically symmetric solutions in weak and strong gravitational backgrounds. We present a number of ways to distinguish those theories from General Relativity observationally and experimentally. We also discuss the extension to other modified gravity theories such as Brans-Dicke theory and Gauss-Bonnet gravity, and address models that can satisfy both cosmological and local gravity constraints.Comment: 156 pages, 14 figures, Invited review article in Living Reviews in Relativity, Published version, Comments are welcom