Towards Probabilistic Model Checking on P Systems Using PRISM

This paper presents the use of P systems and π-calculus to model interacting molecular entities and how they are translated into a probabilistic and symbolic model checker called PRISM.Ministerio de Educación y Ciencia TIN2005-09345-C04-01Junta de Andalucía TIC-58

NLRC5 shields T lymphocytes from NK-cell-mediated elimination under inflammatory conditions.

NLRC5 is a transcriptional regulator of MHC class I (MHCI), which maintains high MHCI expression particularly in T cells. Recent evidence highlights an important NK-T-cell crosstalk, raising the question on whether NLRC5 specifically modulates this interaction. Here we show that NK cells from Nlrc5-deficient mice exhibit moderate alterations in inhibitory receptor expression and responsiveness. Interestingly, NLRC5 expression in T cells is required to protect them from NK-cell-mediated elimination upon inflammation. Using T-cell-specific Nlrc5-deficient mice, we show that NK cells surprisingly break tolerance even towards 'self' Nlrc5-deficient T cells under inflammatory conditions. Furthermore, during chronic LCMV infection, the total CD8(+) T-cell population is severely decreased in these mice, a phenotype reverted by NK-cell depletion. These findings strongly suggest that endogenous T cells with low MHCI expression become NK-cell targets, having thus important implications for T-cell responses in naturally or therapeutically induced inflammatory conditions

BCR-ABL1 genomic DNA PCR response kinetics during first-line imatinib treatment of chronic myeloid leukemia

Accurate quantification of minimal residual disease during treatment of chronic myeloid leukaemia guides clinical decisions. The conventional minimal residual disease method, RQ-PCR for BCR-ABL1 mRNA, reflects a composite of the number of circulating leukemic cells and the BCR-ABL1 transcripts per cell. BCR-ABL1 genomic DNA only reflects leukemic cell number. We used both methods in parallel to determine the relative contribution of the leukemic cell number to molecular response. BCR-ABL1 DNA PCR and RQ-PCR were monitored up to 24 months in 516 paired samples from 59 newly-diagnosed patients treated with first-line imatinib in the TIDEL-II study. In the first 3 months of treatment BCR-ABL1 mRNA values declined more rapidly than DNA. By 6 months the two measures aligned closely. The expression of BCR-ABL1 mRNA was normalized to cell number to generate an expression ratio. The expression of e13a2 BCR-ABL1 was lower than that of e14a2 transcripts at multiple time points during treatment. BCR-ABL1 DNA was quantifiable in 48% of samples with undetectable BCR-ABL1 mRNA, resulting in minimal residual disease being quantifiable for an additional 5-18 months (median 12 months). These parallel studies show for the first time that the rapid decline in BCR-ABL1 mRNA over the first 3 months of treatment is due to a reduction in both cell number and transcript level per cell, whereas beyond 3 months falling levels of BCR-ABL1 mRNA are predominantly due to depletion of leukaemic cells.Ilaria S. Pagani, Phuong Dang, Ivar O. Kommers, Jarrad M. Goyne, Mario Nicola, Verity A. Saunders, Jodi Braley, Deborah L. White, David T. Yeung, Susan Branford, Timothy P. Hughes, and David M. Ros

Fungal Planet description sheets: 1284–1382

Novel species of fungi described in this study include those from various countries as follows: Antartica, Cladosporium austrolitorale from coastal sea sand. Australia, Austroboletus yourkae on soil, Crepidotus innuopurpureus on dead wood, Curvularia stenotaphri from roots and leaves of Stenotaphrum secundatum and Thecaphora stajsicii from capsules of Oxalis radicosa. Belgium, Paraxerochrysium coryli (incl. Paraxerochrysium gen. nov.) from Corylus avellana. Brazil, Calvatia nordestina on soil, Didymella tabebuiicola from leaf spots on Tabebuia aurea, Fusarium subflagellisporum from hypertrophied floral and vegetative branches of Mangifera indica and Microdochium maculosum from living leaves of Digitaria insularis. Canada, Cuphophyllus bondii fromagrassland. Croatia, Mollisia inferiseptata from a rotten Laurus nobilis trunk. Cyprus, Amanita exilis oncalcareoussoil. Czech Republic, Cytospora hippophaicola from wood of symptomatic Vaccinium corymbosum. Denmark, Lasiosphaeria deviata on pieces of wood and herbaceousdebris. Dominican Republic, Calocybella goethei among grass on a lawn. France (Corsica) , Inocybe corsica onwetground. France (French Guiana) , Trechispora patawaensis on decayed branch of unknown angiosperm tree and Trechispora subregularis on decayed log of unknown angiosperm tree. Germany, Paramicrothecium sambuci (incl. Paramicrothecium gen. nov.)ondeadstemsof Sambucus nigra. India, Aureobasidium microtermitis from the gut of a Microtermes sp. termite, Laccaria diospyricola on soil and Phylloporia tamilnadensis on branches of Catunaregam spinosa. Iran, Pythium serotinoosporum from soil under Prunus dulcis. Italy, Pluteus brunneovenosus on twigs of broad leaved trees on the ground. Japan, Heterophoma rehmanniae on leaves of Rehmannia glutinosa f. hueichingensis. Kazakhstan, Murispora kazachstanica from healthy roots of Triticum aestivum. Namibia, Caespitomonium euphorbiae (incl. Caespitomonium gen. nov.)from stems of an Euphorbia sp. Netherlands, Alfaria junci, Myrmecridium junci, Myrmecridium juncicola, Myrmecridium juncigenum, Ophioceras junci, Paradinemasporium junci (incl. Paradinemasporium gen. nov.), Phialoseptomonium junci, Sporidesmiella juncicola, Xenopyricularia junci and Zaanenomyces quadripartis (incl. Zaanenomyces gen. nov.), fromdeadculmsof Juncus effusus, Cylindromonium everniae and Rhodoveronaea everniae from Evernia prunastri, Cyphellophora sambuci and Myrmecridium sambuci from Sambucus nigra, Kiflimonium junci, Saro cladium junci, Zaanenomyces moderatricis academiae and Zaanenomyces versatilis from dead culms of Juncus inflexus, Microcera physciae from Physcia tenella, Myrmecridium dactylidis from dead culms of Dactylis glomerata, Neochalara spiraeae and Sporidesmium spiraeae from leaves of Spiraea japonica, Neofabraea salicina from Salix sp., Paradissoconium narthecii (incl. Paradissoconium gen. nov.)from dead leaves of Narthecium ossifragum, Polyscytalum vaccinii from Vaccinium myrtillus, Pseudosoloacrosporiella cryptomeriae (incl. Pseudosoloacrosporiella gen. nov.)fromleavesof Cryptomeria japonica, Ramularia pararhabdospora from Plantago lanceolata, Sporidesmiella pini from needles of Pinus sylvestris and Xenoacrodontium juglandis (incl. Xenoacrodontium gen. nov. and Xenoacrodontiaceae fam. nov.)from Juglans regia. New Zealand, Cryptometrion metrosideri from twigs of Metrosideros sp., Coccomyces pycnophyllocladi from dead leaves of Phyllocladus alpinus, Hypoderma aliforme from fallen leaves Fuscopora solandri and Hypoderma subiculatum from dead leaves Phormium tenax. Norway, Neodevriesia kalakoutskii from permafrost and Variabilispora viridis from driftwood of Picea abies. Portugal, Entomortierella hereditatis from abio film covering adeteriorated limestone wall. Russia, Colpoma junipericola from needles of Juniperus sabina, Entoloma cinnamomeum on soil in grasslands, Entoloma verae on soil in grasslands, Hyphodermella pallidostraminea on a dry dead branch of Actinidia sp., Lepiota sayanensis onlitterinamixedforest, Papiliotrema horticola from Malus communis , Paramacroventuria ribis (incl. Paramacroventuria gen. nov.)fromleaves of Ribes aureum and Paramyrothecium lathyri from leaves of Lathyrus tuberosus. South Africa, Harzia combreti from leaf litter of Combretum collinum ssp. sulvense, Penicillium xyleborini from Xyleborinus saxesenii , Phaeoisaria dalbergiae from bark of Dalbergia armata, Protocreopsis euphorbiae from leaf litter of Euphorbia ingens and Roigiella syzygii from twigs of Syzygium chordatum. Spain, Genea zamorana on sandy soil, Gymnopus nigrescens on Scleropodium touretii, Hesperomyces parexochomi on Parexochomus quadriplagiatus, Paraphoma variabilis from dung, Phaeococcomyces kinklidomatophilus from a blackened metal railing of an industrial warehouse and Tuber suaveolens in soil under Quercus faginea. Svalbard and Jan Mayen, Inocybe nivea associated with Salix polaris. Thailand, Biscogniauxia whalleyi oncorticatedwood. UK, Parasitella quercicola from Quercus robur. USA , Aspergillus arizonicus from indoor air in a hospital, Caeliomyces tampanus (incl. Caeliomyces gen. nov.)fromoffice dust, Cippumomyces mortalis (incl. Cippumomyces gen. nov.)fromatombstone, Cylindrium desperesense from air in a store, Tetracoccosporium pseudoaerium from air sample in house, Toxicocladosporium glendoranum from air in a brick room, Toxicocladosporium losalamitosense from air in a classroom, Valsonectria portsmouthensis from airinmen'slockerroomand Varicosporellopsis americana from sludge in a water reservoir. Vietnam, Entoloma kovalenkoi on rotten wood, Fusarium chuoi inside seed of Musa itinerans , Micropsalliota albofelina on soil in tropical evergreen mixed forest sand Phytophthora docyniae from soil and roots of Docynia indica. Morphological and culture characteristics are supported by DNA barcodes

Search for strong gravity in multijet final states produced in pp collisions at √s=13 TeV using the ATLAS detector at the LHC

A search is conducted for new physics in multijet final states using 3.6 inverse femtobarns of data from proton-proton collisions at √s = 13TeV taken at the CERN Large Hadron Collider with the ATLAS detector. Events are selected containing at least three jets with scalar sum of jet transverse momenta (HT) greater than 1TeV. No excess is seen at large HT and limits are presented on new physics: models which produce final states containing at least three jets and having cross sections larger than 1.6 fb with HT > 5.8 TeV are excluded. Limits are also given in terms of new physics models of strong gravity that hypothesize additional space-time dimensions

Measurements of fiducial cross-sections for t\bart production with one or two additional b-jets in pp collisions at √s =8 TeVusing the ATLAS detector

Fiducial cross-sections for $t\bar{t}$ production with one or two additional $b$-jets are reported, using an integrated luminosity of 20.3 fb$^{-1}$ of proton--proton collisions at a centre-of-mass energy of 8 TeV at the Large Hadron Collider, collected with the ATLAS detector. The cross-section times branching ratio for $t\bar{t}$ events with at least one additional $b$-jet is measured to be 950 $\pm$ 70 (stat.) $^{+240}_{-190}$ (syst.) fb in the lepton-plus-jets channel and 50 $\pm$ 10 (stat.) $^{+15}_{-10}$ (syst.) fb in the $e \mu$ channel. The cross-section times branching ratio for events with at least two additional $b$-jets is measured to be 19.3 $\pm$ 3.5 (stat.) $\pm$ 5.7 (syst.) fb in the dilepton channel ($e \mu$,\,$\mu\mu$, and \,$ee$) using a method based on tight selection criteria, and 13.5 $\pm$ 3.3 (stat.) $\pm$ 3.6 (syst.) fb using a looser selection that allows the background normalisation to be extracted from data. The latter method also measures a value of 1.30 $\pm$ 0.33 (stat.) $\pm$ 0.28 (syst.)\% for the ratio of $t\bar{t}$ production with two additional $b$-jets to $t\bar{t}$ production with any two additional jets. All measurements are in good agreement with recent theory predictions.Comment: 41 pages plus author list + cover page (58 total), 9 Figures, 16 tables, submitted to EPJC, all figures including auxiliary figures are available at https://atlas.web.cern.ch/Atlas/GROUPS/PHYSICS/PAPERS/TOPQ-2014-10

Measurement of the branching ratio Γ(Λb⁰ → ψ(2S)Λ0)/Γ(Λb⁰ → J/ψΛ0) with the ATLAS detector

An observation of the $\Lambda_b^0 \rightarrow \psi(2S) \Lambda^0$ decay and a comparison of its branching fraction with that of the $\Lambda_b^0 \rightarrow J/\psi \Lambda^0$ decay has been made with the ATLAS detector in proton--proton collisions at $\sqrt{s}=8\,$TeV at the LHC using an integrated luminosity of $20.6\,$fb$^{-1}$. The $J/\psi$ and $\psi(2S)$ mesons are reconstructed in their decays to a muon pair, while the $\Lambda^0\rightarrow p\pi^-$ decay is exploited for the $\Lambda^0$ baryon reconstruction. The $\Lambda_b^0$ baryons are reconstructed with transverse momentum $p_{\rm T}>10\,$GeV and pseudorapidity $|\eta|<2.1$. The measured branching ratio of the $\Lambda_b^0 \rightarrow \psi(2S) \Lambda^0$ and $\Lambda_b^0 \rightarrow J/\psi \Lambda^0$ decays is $\Gamma(\Lambda_b^0 \rightarrow \psi(2S)\Lambda^0)/\Gamma(\Lambda_b^0 \rightarrow J/\psi\Lambda^0) = 0.501\pm 0.033 ({\rm stat})\pm 0.019({\rm syst})$, lower than the expectation from the covariant quark model.Comment: 12 pages plus author list (28 pages total), 5 figures, 1 table, published on Physics Letters B 751 (2015) 63-80. All figures are available at https://atlas.web.cern.ch/Atlas/GROUPS/PHYSICS/PAPERS/BPHY-2013-08

Dijet production in √s = 7 TeV pp collisions with large rapidity gaps at the ATLAS experiment

A 6.8 nb−¹ sample of pp collision data collected under low-luminosity conditions at √s = 7 TeV by the ATLAS detector at the Large Hadron Collider is used to study diffractive dijet production. Events containing at least two jets with pT > 20 GeV are selected and analysed in terms of variables which discriminate between diffractive and non-diffractive processes. Cross sections are measured differentially in ΔηF, the size of the observable forward region of pseudorapidity which is devoid of hadronic activity, and in an estimator, ξ˜, of the fractional momentum loss of the proton assuming single diffractive dissociation (pp → p X). Model comparisons indicate a dominant non-diffractive contribution up to moderately large ηF and small ξ˜, with a diffractive contribution which is significant at the highest ΔηF and the lowest ξ˜. The rapidity-gap survival probability is estimated from comparisons of the data in this latter region with predictions based on diffractive parton distribution functions

A search for prompt lepton-jets in pp collisions at root s=8 TeV with the ATLAS detector

A search is presented for a new, light boson with a mass of about 1 GeV and decaying promptly to jets of collimated electrons and/or muons (lepton-jets). The analysis is performed with 20.3 fb−1 of data collected by the ATLAS detector at the Large Hadron Collider in proton-proton collisions at a centre-of-mass energy of 8 TeV. Events are required to contain at least two lepton-jets. This study finds no statistically significant deviation from predictions of the Standard Model and places 95% confidence-level upper limits on the contribution of new phenomena beyond the SM, incuding SUSY-portal and Higgs-portal models, on the number of events with lepton-jets.We acknowledge the support of ANPCyT, Argentina; YerPhI, Armenia; ARC, Australia; BMWFW and FWF, Austria; ANAS, Azerbaijan; SSTC, Belarus; CNPq and FAPESP, Brazil; NSERC, NRC and CFI, Canada; CERN; CONICYT, Chile; CAS, MOST and NSFC, China; COLCIENCIAS, Colombia; MSMT CR, MPO CR and VSC CR, Czech Republic; DNRF, DNSRC and Lundbeck Foundation, Denmark; IN2P3-CNRS, CEADSM/IRFU, France; GNSF, Georgia; BMBF, HGF, and MPG, Germany; GSRT, Greece; RGC, Hong Kong SAR, China; ISF, I-CORE and Benoziyo Center, Israel; INFN, Italy; MEXT and JSPS, Japan; CNRST, Morocco; FOM and NWO, Netherlands; RCN, Norway; MNiSW and NCN, Poland; FCT, Portugal; MNE/IFA, Romania; MES of Russia and NRC KI, Russian Federation; JINR; MESTD, Serbia; MSSR, Slovakia; ARRS and MIZ. S, Slovenia; DST/NRF, South Africa; MINECO, Spain; SRC and Wallenberg Foundation, Sweden; SERI, SNSF and Cantons of Bern and Geneva, Switzerland; MOST, Taiwan; TAEK, Turkey; STFC, United Kingdom; DOE and NSF, United States of America. In addition, individual groups and members have received support from BCKDF, the Canada Council, CANARIE, CRC, Compute Canada, FQRNT, and the Ontario Innovation Trust, Canada; EPLANET, ERC, FP7, Horizon 2020 and Marie Sklodowska-Curie Actions, European Union; Investissements d'Avenir Labex and Idex, ANR, Region Auvergne and Fondation Partager le Savoir, France; DFG and AvH Foundation, Germany; Herakleitos, Thales and Aristeia programmes co-financed by EU-ESF and the Greek NSRF; BSF, GIF and Minerva, Israel; BRF, Norway; the Royal Society and Leverhulme Trust, United Kingdom

Measurement of jet charge in dijet events from √s = 8 TeV pp collisions with the ATLAS detector

The momentum-weighted sum of the charges of tracks associated to a jet is sensitive to the charge of the initiating quark or gluon. This paper presents a measurement of the distribution of momentum-weighted sums, called jet charge, in dijet events using 20.3 fb−¹ of data recorded with the ATLAS detector at √s = 8 TeV in pp collisions at the LHC. The jet charge distribution is unfolded to remove distortions from detector effects and the resulting particle-level distribution is compared with several models. The pT dependence of the jet charge distribution average and standard deviation are compared to predictions obtained with several leading-order and next-to-leading-order parton distribution functions. The data are also compared to different Monte Carlo simulations of QCD dijet production using various settings of the free parameters within these models. The chosen value of the strong coupling constant used to calculate gluon radiation is found to have a significant impact on the predicted jet charge. There is evidence for a pT dependence of the jet charge distribution for a given jet flavor. In agreement with perturbative QCD predictions, the data show that the average jet charge of quark-initiated jets decreases in magnitude as the energy of the jet increases