Zika Virus Infection in Dexamethasone-immunosuppressed Mice Demonstrating Disseminated Infection with Multi-organ Involvement Including Orchitis Effectively Treated by Recombinant Type I Interferons

published_or_final_versio

Invariant Synthesis for Incomplete Verification Engines

We propose a framework for synthesizing inductive invariants for incomplete verification engines, which soundly reduce logical problems in undecidable theories to decidable theories. Our framework is based on the counter-example guided inductive synthesis principle (CEGIS) and allows verification engines to communicate non-provability information to guide invariant synthesis. We show precisely how the verification engine can compute such non-provability information and how to build effective learning algorithms when invariants are expressed as Boolean combinations of a fixed set of predicates. Moreover, we evaluate our framework in two verification settings, one in which verification engines need to handle quantified formulas and one in which verification engines have to reason about heap properties expressed in an expressive but undecidable separation logic. Our experiments show that our invariant synthesis framework based on non-provability information can both effectively synthesize inductive invariants and adequately strengthen contracts across a large suite of programs

Cancer-selective, single agent chemoradiosensitising gold nanoparticles

Two nanometre gold nanoparticles (AuNPs), bearing sugar moieties and/or thiol-polyethylene glycol-amine (PEG-amine), were synthesised and evaluated for their in vitro toxicity and ability to radiosensitise cells with 220 kV and 6 MV X-rays, using four cell lines representing normal and cancerous skin and breast tissues. Acute 3 h exposure of cells to AuNPs, bearing PEG-amine only or a 50:50 ratio of alpha-galactose derivative and PEG-amine resulted in selective uptake and toxicity towards cancer cells at unprecedentedly low nanomolar concentrations. Chemotoxicity was prevented by co-administration of N-acetyl cysteine antioxidant, or partially prevented by the caspase inhibitor Z-VAD-FMK. In addition to their intrinsic cancer-selective chemotoxicity, these AuNPs acted as radiosensitisers in combination with 220 kV or 6 MV X-rays. The ability of AuNPs bearing simple ligands to act as cancer-selective chemoradiosensitisers at low concentrations is a novel discovery that holds great promise in developing low-cost cancer nanotherapeutics

Two loop electroweak corrections to Bˉ→Xsγ\bar B\rightarrow X_s\gamma and Bs0→μ+μ−B_s^0\rightarrow \mu^+\mu^- in the B-LSSM

The rare decays $\bar B\rightarrow X_s\gamma$ and $B_s^0\rightarrow \mu^+\mu^-$ are important to research new physics beyond standard model. In this work, we investigate two loop electroweak corrections to $\bar B\rightarrow X_s\gamma$ and $B_s^0\rightarrow \mu^+\mu^-$ in the minimal supersymmetric extension of the SM with local $B-L$ gauge symmetry (B-LSSM), under a minimal flavor violating assumption for the soft breaking terms. In this framework, new particles and new definition of squarks can affect the theoretical predictions of these two processes, with respect to the MSSM. Considering the constraints from updated experimental data, the numerical results show that the B-LSSM can fit the experimental data for the branching ratios of $\bar B\rightarrow X_s\gamma$ and $B_s^0\rightarrow \mu^+\mu^-$. The results of the rare decays also further constrain the parameter space of the B-LSSM.Comment: 33 pages, 9 figures, Published in EPJ

Angular and Current-Target Correlations in Deep Inelastic Scattering at HERA

Correlations between charged particles in deep inelastic ep scattering have been studied in the Breit frame with the ZEUS detector at HERA using an integrated luminosity of 6.4 pb-1. Short-range correlations are analysed in terms of the angular separation between current-region particles within a cone centred around the virtual photon axis. Long-range correlations between the current and target regions have also been measured. The data support predictions for the scaling behaviour of the angular correlations at high Q2 and for anti-correlations between the current and target regions over a large range in Q2 and in the Bjorken scaling variable x. Analytic QCD calculations and Monte Carlo models correctly describe the trends of the data at high Q2, but show quantitative discrepancies. The data show differences between the correlations in deep inelastic scattering and e+e- annihilation.Comment: 26 pages including 10 figures (submitted to Eur. J. Phys. C

Plastisol Foaming Process. Decomposition of the Foaming Agent, Polymer Behavior in the Corresponding Temperature Range and Resulting Foam Properties

The decomposition of azodicarbonamide, used as foaming agent in PVC - plasticizer (1/1) plastisols was studied by DSC. Nineteen different plasticizers, all belonging to the ester family, two being polymeric (polyadipates), were compared. The temperature of maximum decomposition rate (in anisothermal regime at 5 K min-1 scanning rate), ranges between 434 and 452 K. The heat of decomposition ranges between 8.7 and 12.5 J g -1. Some trends of variation of these parameters appear significant and are discussed in terms of solvent (matrix) and viscosity effects on the decomposition reactions. The shear modulus at 1 Hz frequency was determined at the temperature of maximum rate of foaming agent decomposition, and differs significantly from a sample to another. The foam density was determined at ambient temperature and the volume fraction of bubbles was used as criterion to judge the efficiency of the foaming process. The results reveal the existence of an optimal shear modulus of the order of 2 kPa that corresponds roughly to plasticizer molar masses of the order of 450 ± 50 g mol-1. Heavier plasticizers, especially polymeric ones are too difficult to deform. Lighter plasticizers such as diethyl phthalate (DEP) deform too easily and presumably facilitate bubble collapse