The quantitative verification benchmark set

We present an extensive collection of quantitative models to facilitate the development, comparison, and benchmarking of new verification algorithms and tools. All models have a formal semantics in terms of extensions of Markov chains, are provided in the Jani format, and are documented by a comprehensive set of metadata. The collection is highly diverse: it includes established probabilistic verification and planning benchmarks, industrial case studies, models of biological systems, dynamic fault trees, and Petri net examples, all originally specified in a variety of modelling languages. It archives detailed tool performance data for each model, enabling immediate comparisons between tools and among tool versions over time. The collection is easy to access via a client-side web application at qcomp.org with powerful search and visualisation features. It can be extended via a Git-based submission process, and is openly accessible according to the terms of the CC-BY license

Noise correlation in PET, CT, SPECT and PET/CT data evaluated using autocorrelation function: a phantom study on data, reconstructed using FBP and OSEM

BACKGROUND: Positron Emission Tomography (PET), Computed Tomography (CT), PET/CT and Single Photon Emission Tomography (SPECT) are non-invasive imaging tools used for creating two dimensional (2D) cross section images of three dimensional (3D) objects. PET and SPECT have the potential of providing functional or biochemical information by measuring distribution and kinetics of radiolabelled molecules, whereas CT visualizes X-ray density in tissues in the body. PET/CT provides fused images representing both functional and anatomical information with better precision in localization than PET alone. Images generated by these types of techniques are generally noisy, thereby impairing the imaging potential and affecting the precision in quantitative values derived from the images. It is crucial to explore and understand the properties of noise in these imaging techniques. Here we used autocorrelation function (ACF) specifically to describe noise correlation and its non-isotropic behaviour in experimentally generated images of PET, CT, PET/CT and SPECT. METHODS: Experiments were performed using phantoms with different shapes. In PET and PET/CT studies, data were acquired in 2D acquisition mode and reconstructed by both analytical filter back projection (FBP) and iterative, ordered subsets expectation maximisation (OSEM) methods. In the PET/CT studies, different magnitudes of X-ray dose in the transmission were employed by using different mA settings for the X-ray tube. In the CT studies, data were acquired using different slice thickness with and without applied dose reduction function and the images were reconstructed by FBP. SPECT studies were performed in 2D, reconstructed using FBP and OSEM, using post 3D filtering. ACF images were generated from the primary images, and profiles across the ACF images were used to describe the noise correlation in different directions. The variance of noise across the images was visualised as images and with profiles across these images. RESULTS: The most important finding was that the pattern of noise correlation is rotation symmetric or isotropic, independent of object shape in PET and PET/CT images reconstructed using the iterative method. This is, however, not the case in FBP images when the shape of phantom is not circular. Also CT images reconstructed using FBP show the same non-isotropic pattern independent of slice thickness and utilization of care dose function. SPECT images show an isotropic correlation of the noise independent of object shape or applied reconstruction algorithm. Noise in PET/CT images was identical independent of the applied X-ray dose in the transmission part (CT), indicating that the noise from transmission with the applied doses does not propagate into the PET images showing that the noise from the emission part is dominant. The results indicate that in human studies it is possible to utilize a low dose in transmission part while maintaining the noise behaviour and the quality of the images. CONCLUSION: The combined effect of noise correlation for asymmetric objects and a varying noise variance across the image field significantly complicates the interpretation of the images when statistical methods are used, such as with statistical estimates of precision in average values, use of statistical parametric mapping methods and principal component analysis. Hence it is recommended that iterative reconstruction methods are used for such applications. However, it is possible to calculate the noise analytically in images reconstructed by FBP, while it is not possible to do the same calculation in images reconstructed by iterative methods. Therefore for performing statistical methods of analysis which depend on knowing the noise, FBP would be preferred

Non-invasive monitoring of Streptococcus pyogenes vaccine efficacy using biophotonic imaging.

Streptococcus pyogenes infection of the nasopharynx represents a key step in the pathogenic cycle of this organism and a major focus for vaccine development, requiring robust models to facilitate the screening of potentially protective antigens. One antigen that may be an important target for vaccination is the chemokine protease, SpyCEP, which is cell surface-associated and plays a role in pathogenesis. Biophotonic imaging (BPI) can non-invasively characterize the spatial location and abundance of bioluminescent bacteria in vivo. We have developed a bioluminescent derivative of a pharyngeal S. pyogenes strain by transformation of an emm75 clinical isolate with the luxABCDE operon. Evaluation of isogenic recombinant strains in vitro and in vivo confirmed that bioluminescence conferred a growth deficit that manifests as a fitness cost during infection. Notwithstanding this, bioluminescence expression permitted non-invasive longitudinal quantitation of S. pyogenes within the murine nasopharynx albeit with a detection limit corresponding to approximately 10(5) bacterial colony forming units (CFU) in this region. Vaccination of mice with heat killed streptococci, or with SpyCEP led to a specific IgG response in the serum. BPI demonstrated that both vaccine candidates reduced S. pyogenes bioluminescence emission over the course of nasopharyngeal infection. The work suggests the potential for BPI to be used in the non-invasive longitudinal evaluation of potential S. pyogenes vaccines

Microarray analysis of genes associated with cell surface NIS protein levels in breast cancer

<p>Abstract</p> <p>Background</p> <p>Na⁺/I^-symporter (NIS)-mediated iodide uptake allows radioiodine therapy for thyroid cancer. NIS is also expressed in breast tumors, raising potential for radionuclide therapy of breast cancer. However, NIS expression in most breast cancers is low and may not be sufficient for radionuclide therapy. We aimed to identify biomarkers associated with NIS expression such that mechanisms underlying NIS modulation in human breast tumors may be elucidated.</p> <p>Methods</p> <p>Published oligonucleotide microarray data within the National Center for Biotechnology Information Gene Expression Omnibus database were analyzed to identify gene expression tightly correlated with NIS mRNA level among human breast tumors. NIS immunostaining was performed in a tissue microarray composed of 28 human breast tumors which had corresponding oligonucleotide microarray data available for each tumor such that gene expression associated <it>w</it>ith cell surface NIS protein level could be identified.</p> <p>Results and Discussion</p> <p>NIS mRNA levels do not vary among breast tumors or when compared to normal breast tissues when detected by Affymetrix oligonucleotide microarray platforms. Cell surface NIS protein levels are much more variable than their corresponding NIS mRNA levels. Despite a limited number of breast tumors examined, our analysis identified cysteinyl-tRNA synthetase as a biomarker that is highly associated with cell surface NIS protein levels in the ER-positive breast cancer subtype.</p> <p>Conclusions</p> <p>Further investigation on genes associated with cell surface NIS protein levels within each breast cancer molecular subtype may lead to novel targets for selectively increasing NIS expression/function in a subset of breast cancers patients.</p

Health Status of Sand Flathead (Platycephalus bassensis), Inhabiting an Industrialised and Urbanised Embayment, Port Phillip Bay, Victoria as Measured by Biomarkers of Exposure and Effects

Port Phillip Bay, Australia, is a large semi-closed bay with over four million people living in its catchment basin. The Bay receives waters from the Yarra River which drains the city of Melbourne, as well as receiving the discharges of sewage treatment plants and petrochemical and agricultural chemicals. A 1999 study demonstrated that fish inhabiting Port Phillip Bay showed signs of effects related to pollutant exposure despite pollution management practices having been implemented for over a decade. To assess the current health status of the fish inhabiting the Bay, a follow up survey was conducted in 2015. A suite of biomarkers of exposure and effects were measured to determine the health status of Port Phillip Bay sand flathead (Platycephalus bassensis), namely ethoxyresorufin-O-deethylase (EROD) activity, polycyclic aromatic hydrocarbons (PAH) biliary metabolites, carboxylesterase activity (CbE) and DNA damage (8-oxo-dG). The reduction in EROD activity in the present study suggests a decline in the presence of EROD activity-inducing chemicals within the Bay since the 1990s. Fish collected in the most industrialised/urbanised sites did not display higher PAH metabolite levels than those in less developed areas of the Bay. Ratios of PAH biliary metabolite types were used to indicate PAH contaminant origin. Ratios indicated fish collected at Corio Bay and Hobsons Bay were subjected to increased low molecular weight hydrocarbons of petrogenic origin, likely attributed to the close proximity of these sites to oil refineries, compared to PAH biliary metabolites in fish from Geelong Arm and Mordialloc.Quantification of DNA damage indicated a localised effect of exposure to pollutants, with a 10-fold higher DNA damage level in fish sampled from the industrial site of Corio Bay relative to the less developed site of Sorrento. Overall, integration of biomarkers by multivariate analysis indicated that the health of fish collected in industrialised areas was compromised, with biologically significant biomarkers of effects (LSI, CF and DNA damage) discriminating between individuals collected in industrialised areas from observations made in fish collected in less developed areas of the Bay

Health-related quality of life among general practice patients with differing chronic diseases in Germany: Cross sectional survey

Background This study was carried out to compare the HRQoL of patients in general practice with differing chronic diseases with the HRQoL of patients without chronic conditions, to evaluate the HRQoL of general practice patients in Germany compared with the HRQoL of the general population, and to explore the influence of different chronic diseases on patients HRQoL, independently of the effects of multiple confounding variables. Methods A cross-sectional questionnaire survey including the SF-36, the EQ-5D and demographic questions was conducted in 20 general practices in Germany. 1009 consecutive patients aged 15–89 participated. The SF-36 scale scores of general practice patients with differing chronic diseases were compared with those of patients without chronic conditions. Differences in the SF-36 scale/summary scores and proportions in the EQ-5D dimensions between patients and the general population were analyzed. Independent effects of chronic conditions and demographic variables on the HRQoL were analyzed using multivariable linear regression and polynomial regression models. Results The HRQoL for general practice patients with differing chronic diseases tended to show more physical than mental health impairments compared with the reference group of patients without. Patients in general practice in Germany had considerably lower SF-36 scores than the general population (P < 0.001 for all) and showed significantly higher proportions of problems in all EQ-5D dimensions except for the self-care dimension (P < 0.001 for all). The mean EQ VAS for general practice patients was lower than that for the general population (69.2 versus 77.4, P < 0.001). The HRQoL for general practice patients in Germany seemed to be more strongly affected by diseases like depression, back pain, OA of the knee, and cancer than by hypertension and diabetes. Conclusion General practice patients with differing chronic diseases in Germany had impaired quality of life, especially in terms of physical health. The independent impacts on the HRQoL were different depending on the type of chronic disease. Findings from this study might help health professionals to concern more influential diseases in primary care from the patient´s perspective

A Linear Model for Transcription Factor Binding Affinity Prediction in Protein Binding Microarrays

Protein binding microarrays (PBM) are a high throughput technology used to characterize protein-DNA binding. The arrays measure a protein's affinity toward thousands of double-stranded DNA sequences at once, producing a comprehensive binding specificity catalog. We present a linear model for predicting the binding affinity of a protein toward DNA sequences based on PBM data. Our model represents the measured intensity of an individual probe as a sum of the binding affinity contributions of the probe's subsequences. These subsequences characterize a DNA binding motif and can be used to predict the intensity of protein binding against arbitrary DNA sequences. Our method was the best performer in the Dialogue for Reverse Engineering Assessments and Methods 5 (DREAM5) transcription factor/DNA motif recognition challenge. For the DREAM5 bonus challenge, we also developed an approach for the identification of transcription factors based on their PBM binding profiles. Our approach for TF identification achieved the best performance in the bonus challenge

Search for new phenomena in final states with an energetic jet and large missing transverse momentum in pp collisions at √ s = 8 TeV with the ATLAS detector

Results of a search for new phenomena in final states with an energetic jet and large missing transverse momentum are reported. The search uses 20.3 fb−1 of √ s = 8 TeV data collected in 2012 with the ATLAS detector at the LHC. Events are required to have at least one jet with pT > 120 GeV and no leptons. Nine signal regions are considered with increasing missing transverse momentum requirements between Emiss T > 150 GeV and Emiss T > 700 GeV. Good agreement is observed between the number of events in data and Standard Model expectations. The results are translated into exclusion limits on models with either large extra spatial dimensions, pair production of weakly interacting dark matter candidates, or production of very light gravitinos in a gauge-mediated supersymmetric model. In addition, limits on the production of an invisibly decaying Higgs-like boson leading to similar topologies in the final state are presente

Expression of CD11c Is Associated with Unconventional Activated T Cell Subsets with High Migratory Potential

Ajudes rebudes: Marie Curie Career Integration Grant; Dexeus Foundation for Women's Health Research; i Contratos Ramón y CajalCD11c is an α integrin classically employed to define myeloid dendritic cells. Although there is little information about CD11c expression on human T cells, mouse models have shown an association of CD11c expression with functionally relevant T cell subsets. In the context of genital tract infection, we have previously observed increased expression of CD11c in circulating T cells from mice and women. Microarray analyses of activated effector T cells expressing CD11c derived from naïve mice demonstrated enrichment for natural killer (NK) associated genes. Here we find that murine CD11c+ T cells analyzed by flow cytometry display markers associated with non-conventional T cell subsets, including γδ T cells and invariant natural killer T (iNKT) cells. However, in women, only γδ T cells and CD8+ T cells were enriched within the CD11c fraction of blood and cervical tissue. These CD11c+ cells were highly activated and had greater interferon (IFN)-γ secretory capacity than CD11c- T cells. Furthermore, circulating CD11c+ T cells were associated with the expression of multiple adhesion molecules in women, suggesting that these cells have high tissue homing potential. These data suggest that CD11c expression distinguishes a population of circulating T cells during bacterial infection with innate capacity and mucosal homing potential