Efficient CSL Model Checking Using Stratification

For continuous-time Markov chains, the model-checking problem with respect to continuous-time stochastic logic (CSL) has been introduced and shown to be decidable by Aziz, Sanwal, Singhal and Brayton in 1996. Their proof can be turned into an approximation algorithm with worse than exponential complexity. In 2000, Baier, Haverkort, Hermanns and Katoen presented an efficient polynomial-time approximation algorithm for the sublogic in which only binary until is allowed. In this paper, we propose such an efficient polynomial-time approximation algorithm for full CSL. The key to our method is the notion of stratified CTMCs with respect to the CSL property to be checked. On a stratified CTMC, the probability to satisfy a CSL path formula can be approximated by a transient analysis in polynomial time (using uniformization). We present a measure-preserving, linear-time and -space transformation of any CTMC into an equivalent, stratified one. This makes the present work the centerpiece of a broadly applicable full CSL model checker. Recently, the decision algorithm by Aziz et al. was shown to work only for stratified CTMCs. As an additional contribution, our measure-preserving transformation can be used to ensure the decidability for general CTMCs.Comment: 18 pages, preprint for LMCS. An extended abstract appeared in ICALP 201

Advanced Technologies for Oral Controlled Release: Cyclodextrins for oral controlled release

Cyclodextrins (CDs) are used in oral pharmaceutical formulations, by means of inclusion complexes formation, with the following advantages for the drugs: (1) solubility, dissolution rate, stability and bioavailability enhancement; (2) to modify the drug release site and/or time profile; and (3) to reduce or prevent gastrointestinal side effects and unpleasant smell or taste, to prevent drug-drug or drug-additive interactions, or even to convert oil and liquid drugs into microcrystalline or amorphous powders. A more recent trend focuses on the use of CDs as nanocarriers, a strategy that aims to design versatile delivery systems that can encapsulate drugs with better physicochemical properties for oral delivery. Thus, the aim of this work was to review the applications of the CDs and their hydrophilic derivatives on the solubility enhancement of poorly water soluble drugs in order to increase their dissolution rate and get immediate release, as well as their ability to control (to prolong or to delay) the release of drugs from solid dosage forms, either as complexes with the hydrophilic (e.g. as osmotic pumps) and/ or hydrophobic CDs. New controlled delivery systems based on nanotechonology carriers (nanoparticles and conjugates) have also been reviewed

Acute febrile illness is associated with Rickettsia spp infection in dogs

BACKGROUND: Rickettsia conorii is transmitted by Rhipicephalus sanguineus ticks and causes Mediterranean Spotted Fever (MSF) in humans. Although dogs are considered the natural host of the vector, the clinical and epidemiological significance of R. conorii infection in dogs remains unclear. The aim of this prospective study was to investigate whether Rickettsia infection causes febrile illness in dogs living in areas endemic for human MSF. METHODS: Dogs from southern Italy with acute fever (n = 99) were compared with case–control dogs with normal body temperatures (n = 72). Serology and real-time PCR were performed for Rickettsia spp., Ehrlichia canis, Anaplasma phagocytophilum/A. platys and Leishmania infantum. Conventional PCR was performed for Babesia spp. and Hepatozoon spp. Acute and convalescent antibodies to R. conorii, E. canis and A. phagocytophilum were determined. RESULTS: The seroprevalence rates at first visit for R. conorii, E. canis, A. phagocytophilum and L. infantum were 44.8%, 48.5%, 37.8% and 17.6%, respectively. The seroconversion rates for R. conorii, E. canis and A. phagocytophilum were 20.7%, 14.3% and 8.8%, respectively. The molecular positive rates at first visit for Rickettsia spp., E. canis, A. phagocytophilum, A. platys, L. infantum, Babesia spp. and Hepatozoon spp. were 1.8%, 4.1%, 0%, 2.3%, 11.1%, 2.3% and 0.6%, respectively. Positive PCR for E. canis (7%), Rickettsia spp. (3%), Babesia spp. (4.0%) and Hepatozoon spp. (1.0%) were found only in febrile dogs. The DNA sequences obtained from Rickettsia and Babesia PCRs positive samples were 100% identical to the R. conorii and Babesia vogeli sequences in GenBank®, respectively. Febrile illness was statistically associated with acute and convalescent positive R. conorii antibodies, seroconversion to R. conorii, E. canis positive PCR, and positivity to any tick pathogen PCRs. Fourteen febrile dogs (31.8%) were diagnosed with Rickettsia spp. infection based on seroconversion and/or PCR while only six afebrile dogs (12.5%) seroconverted (P = 0.0248). The most common clinical findings of dogs with Rickettsia infection diagnosed by seroconversion and/or PCR were fever, myalgia, lameness, elevation of C-reactive protein, thrombocytopenia and hypoalbuminemia. CONCLUSIONS: This study demonstrates acute febrile illness associated with Rickettsia infection in dogs living in endemic areas of human MSF based on seroconversion alone or in combination with PCR

Identification and characterization of a novel non-structural protein of bluetongue virus

Bluetongue virus (BTV) is the causative agent of a major disease of livestock (bluetongue). For over two decades, it has been widely accepted that the 10 segments of the dsRNA genome of BTV encode for 7 structural and 3 non-structural proteins. The non-structural proteins (NS1, NS2, NS3/NS3a) play different key roles during the viral replication cycle. In this study we show that BTV expresses a fourth non-structural protein (that we designated NS4) encoded by an open reading frame in segment 9 overlapping the open reading frame encoding VP6. NS4 is 77–79 amino acid residues in length and highly conserved among several BTV serotypes/strains. NS4 was expressed early post-infection and localized in the nucleoli of BTV infected cells. By reverse genetics, we showed that NS4 is dispensable for BTV replication in vitro, both in mammalian and insect cells, and does not affect viral virulence in murine models of bluetongue infection. Interestingly, NS4 conferred a replication advantage to BTV-8, but not to BTV-1, in cells in an interferon (IFN)-induced antiviral state. However, the BTV-1 NS4 conferred a replication advantage both to a BTV-8 reassortant containing the entire segment 9 of BTV-1 and to a BTV-8 mutant with the NS4 identical to the homologous BTV-1 protein. Collectively, this study suggests that NS4 plays an important role in virus-host interaction and is one of the mechanisms played, at least by BTV-8, to counteract the antiviral response of the host. In addition, the distinct nucleolar localization of NS4, being expressed by a virus that replicates exclusively in the cytoplasm, offers new avenues to investigate the multiple roles played by the nucleolus in the biology of the cell

Performance of CMS muon reconstruction in pp collision events at sqrt(s) = 7 TeV

The performance of muon reconstruction, identification, and triggering in CMS has been studied using 40 inverse picobarns of data collected in pp collisions at sqrt(s) = 7 TeV at the LHC in 2010. A few benchmark sets of selection criteria covering a wide range of physics analysis needs have been examined. For all considered selections, the efficiency to reconstruct and identify a muon with a transverse momentum pT larger than a few GeV is above 95% over the whole region of pseudorapidity covered by the CMS muon system, abs(eta) < 2.4, while the probability to misidentify a hadron as a muon is well below 1%. The efficiency to trigger on single muons with pT above a few GeV is higher than 90% over the full eta range, and typically substantially better. The overall momentum scale is measured to a precision of 0.2% with muons from Z decays. The transverse momentum resolution varies from 1% to 6% depending on pseudorapidity for muons with pT below 100 GeV and, using cosmic rays, it is shown to be better than 10% in the central region up to pT = 1 TeV. Observed distributions of all quantities are well reproduced by the Monte Carlo simulation.Comment: Replaced with published version. Added journal reference and DO

Performance of CMS muon reconstruction in pp collision events at sqrt(s) = 7 TeV

The performance of muon reconstruction, identification, and triggering in CMS has been studied using 40 inverse picobarns of data collected in pp collisions at sqrt(s) = 7 TeV at the LHC in 2010. A few benchmark sets of selection criteria covering a wide range of physics analysis needs have been examined. For all considered selections, the efficiency to reconstruct and identify a muon with a transverse momentum pT larger than a few GeV is above 95% over the whole region of pseudorapidity covered by the CMS muon system, abs(eta) < 2.4, while the probability to misidentify a hadron as a muon is well below 1%. The efficiency to trigger on single muons with pT above a few GeV is higher than 90% over the full eta range, and typically substantially better. The overall momentum scale is measured to a precision of 0.2% with muons from Z decays. The transverse momentum resolution varies from 1% to 6% depending on pseudorapidity for muons with pT below 100 GeV and, using cosmic rays, it is shown to be better than 10% in the central region up to pT = 1 TeV. Observed distributions of all quantities are well reproduced by the Monte Carlo simulation.Comment: Replaced with published version. Added journal reference and DO

X-ray emission from the Sombrero galaxy: discrete sources

We present a study of discrete X-ray sources in and around the bulge-dominated, massive Sa galaxy, Sombrero (M104), based on new and archival Chandra observations with a total exposure of ~200 ks. With a detection limit of L_X = 1E37 erg/s and a field of view covering a galactocentric radius of ~30 kpc (11.5 arcminute), 383 sources are detected. Cross-correlation with Spitler et al.'s catalogue of Sombrero globular clusters (GCs) identified from HST/ACS observations reveals 41 X-rays sources in GCs, presumably low-mass X-ray binaries (LMXBs). We quantify the differential luminosity functions (LFs) for both the detected GC and field LMXBs, whose power-low indices (~1.1 for the GC-LF and ~1.6 for field-LF) are consistent with previous studies for elliptical galaxies. With precise sky positions of the GCs without a detected X-ray source, we further quantify, through a fluctuation analysis, the GC LF at fainter luminosities down to 1E35 erg/s. The derived index rules out a faint-end slope flatter than 1.1 at a 2 sigma significance, contrary to recent findings in several elliptical galaxies and the bulge of M31. On the other hand, the 2-6 keV unresolved emission places a tight constraint on the field LF, implying a flattened index of ~1.0 below 1E37 erg/s. We also detect 101 sources in the halo of Sombrero. The presence of these sources cannot be interpreted as galactic LMXBs whose spatial distribution empirically follows the starlight. Their number is also higher than the expected number of cosmic AGNs (52+/-11 [1 sigma]) whose surface density is constrained by deep X-ray surveys. We suggest that either the cosmic X-ray background is unusually high in the direction of Sombrero, or a distinct population of X-ray sources is present in the halo of Sombrero.Comment: 11 figures, 5 tables, ApJ in pres

Azimuthal anisotropy of charged particles at high transverse momenta in PbPb collisions at sqrt(s[NN]) = 2.76 TeV

The azimuthal anisotropy of charged particles in PbPb collisions at nucleon-nucleon center-of-mass energy of 2.76 TeV is measured with the CMS detector at the LHC over an extended transverse momentum (pt) range up to approximately 60 GeV. The data cover both the low-pt region associated with hydrodynamic flow phenomena and the high-pt region where the anisotropies may reflect the path-length dependence of parton energy loss in the created medium. The anisotropy parameter (v2) of the particles is extracted by correlating charged tracks with respect to the event-plane reconstructed by using the energy deposited in forward-angle calorimeters. For the six bins of collision centrality studied, spanning the range of 0-60% most-central events, the observed v2 values are found to first increase with pt, reaching a maximum around pt = 3 GeV, and then to gradually decrease to almost zero, with the decline persisting up to at least pt = 40 GeV over the full centrality range measured.Comment: Replaced with published version. Added journal reference and DO

Search for new physics with same-sign isolated dilepton events with jets and missing transverse energy

A search for new physics is performed in events with two same-sign isolated leptons, hadronic jets, and missing transverse energy in the final state. The analysis is based on a data sample corresponding to an integrated luminosity of 4.98 inverse femtobarns produced in pp collisions at a center-of-mass energy of 7 TeV collected by the CMS experiment at the LHC. This constitutes a factor of 140 increase in integrated luminosity over previously published results. The observed yields agree with the standard model predictions and thus no evidence for new physics is found. The observations are used to set upper limits on possible new physics contributions and to constrain supersymmetric models. To facilitate the interpretation of the data in a broader range of new physics scenarios, information on the event selection, detector response, and efficiencies is provided.Comment: Published in Physical Review Letter