When is Containment Decidable for Probabilistic Automata?

The containment problem for quantitative automata is the natural quantitative generalisation of the classical language inclusion problem for Boolean automata. We study it for probabilistic automata, where it is known to be undecidable in general. We restrict our study to the class of probabilistic automata with bounded ambiguity. There, we show decidability (subject to Schanuel's conjecture) when one of the automata is assumed to be unambiguous while the other one is allowed to be finitely ambiguous. Furthermore, we show that this is close to the most general decidable fragment of this problem by proving that it is already undecidable if one of the automata is allowed to be linearly ambiguous

Risk perceptions about personal Internet-of-Things: Research directions from a multi-panel Delphi study

Internet-of-Things (IoT) research has primarily focused on identifying IoT devices\u27 organizational risks with little attention to consumer perceptions about IoT device risks. The purpose of this study is to understand consumer risk perceptions for personal IoT devices and translate these perceptions into guidance for future research directions. We conduct a sequential, mixed-methods study using multi-panel Delphi and thematic analysis techniques to understand consumer risk perceptions. The results identify four themes focused on data exposure and user experiences within IoT devices. Our thematic analysis also identified several emerging risks associated with the evolution of IoT device functionality and its potential positioning as a resource for malicious actors to conduct security attacks

‘Super disabilities’ vs ‘Disabilities’?:Theorizing the role of ableism in (mis)representational mythology of disability in the marketplace

People with disabilities (PWD) constitute one of the largest minority groups with one in five people worldwide having a disability. While recognition and inclusion of this group in the marketplace has seen improvement, the effects of (mis)representation of PWD in shaping the discourse on fostering marketplace inclusion of socially marginalized consumers remain little understood. Although effects of misrepresentation (e.g., idealized, exoticized or selective representation) on inclusion/exclusion perceptions and cognitions has received attention in the context of ethnic/racial groups, the world of disability has been largely neglected. By extending the theory of ableism into the context of PWD representation and applying it to the analysis of the We’re the Superhumans advertisement developed for the Rio 2016 Paralympic Games, this paper examines the relationship between the (mis)representation and the inclusion/exclusion discourse. By uncovering that PWD misrepresentations can partially mask and/or redress the root causes of exclusion experienced by PWD in their lived realities, it contributes to the research agenda on the transformative role of consumption cultures perpetuating harmful, exclusionary social perceptions of marginalized groups versus contributing to advancement of their inclusion

HDAC1 interacts with the p50 NF-κB subunit via its nuclear localization sequence to constrain inflammatory gene expression

The NF-κB p50 subunit is an important regulator of inflammation, with recent experimental evidence to support it also having a tumor suppressor role. Classically, p50 functions in heterodimeric form with the RelA (p65) NF-κB subunit to activate inflammatory genes. However, p50 also forms homodimers which actively repress NF-κB-dependent inflammatory gene expression and exert an important brake on the inflammatory process. This repressive activity of p50:p50 is thought to be in part mediated by an interaction with the epigenetic repressor protein Histone Deacetylase 1 (HDAC1). However, neither the interaction of p50 with HDAC1 nor the requirement of HDAC1 for the repressive activities of p50 has been well defined. Here we employed in silico prediction with in vitro assays to map sites of interaction of HDAC1 on the p50 protein. Directed mutagenesis of one such region resulted in almost complete loss of HDAC1 binding to p50. Transfected mutant p50 protein lacking the putative HDAC1 docking motif resulted in enhanced cytokine and chemokine expression when compared with cells expressing a transfected wild type p50. In addition, expression of this mutant p50 was associated with enhanced chemoattraction of neutrophils and acetylation of known inflammatory genes demonstrating the likely importance of the p50:HDAC1 interaction for controlling inflammation. These new insights provide an advance on current knowledge of the mechanisms by which NF-κB-dependent gene transcription are regulated and highlight the potential for manipulation of p50:HDAC1 interactions to bring about experimental modulation of chronic inflammation and pathologies associated with dysregulated neutrophil accumulation and activation

Discourses of sexual relationships in a sample of German and British young people: a Q methodological study

Young people live in an environment which sexualises young people, particularly women, along traditional gender roles. This, in parallel with a silence about positive sexuality in policy development, means that sexual double standards prevail in young people’s lives. The aim of this study was to explore the discourses young women and men from two European countries, Germany and England, draw on when making sense of sexual relationships, and how these are steeped in the local cultural climate and messages. The study used Q methodology and included 65 German and English young people between 16 and 19 years of age. Six accounts emerged: sex as responsible, intimate and shared experience; sex as joint fun; ideal versus reality; sex has to be responsible, consensual and shared; caring relationships offer the perfect context for fulfilling sex; and equality between partners. The importance of cultural context in the availability of specific dominant and alternative discourses is discussed with a focus on how this influences young people’s sense-making with regard to sexuality and sexual relationships. Future directions for research are highlighted

Life cycle assessment of the environmental performance of conventional and organic methods of open field pepper cultivation

Summarization: As the scale of the organic cultivation sector keeps increasing, there is growing demand for reliable data on organic agriculture and its effect on the environment. Conventional agriculture uses chemical fertilizers and pesticides, whilst organic cultivation mainly relies on crop rotation and organic fertilizers. The aim of this work is to quantify and compare the environmental sustainability of typical conventional and organic pepper cultivation systems. Methods: Two open field pepper cultivations, both located in the Anthemountas basin, Northern Greece, are selected as case studies. Life cycle assessment (LCA) is used to quantify the overall environmental footprint and identify particular environmental weaknesses (i.e. unsustainable practices) of each cultivation system. Results are analysed at both midpoint and endpoint levels in order to obtain a comprehensive overview of the environmental sustainability of each system. Attributional LCA (ALCA) is employed to identify emissions associated with the life cycles of the two systems. Results are presented for problem-oriented (midpoint) and damage-oriented (endpoint) approaches, using ReCiPe impact assessment. Results and discussion: At midpoint level, conventional cultivation exhibits about threefold higher environmental impact on freshwater eutrophication, than organic cultivation. This arises from the extensive use of nitrogen and phosphorus-based fertilizers, with consequent direct emissions to the environment. The remaining impact categories are mainly affected by irrigation, with associated indirect emissions linked to electricity production. At endpoint level, the main hotspots identified for conventional cultivation are irrigation and fertilizing, due to intensive use of chemical fertilizers and (to a lesser degree) pesticides. For organic pepper cultivation, the main environmental hotspots are irrigation, machinery use, and manure loading and spreading processes. Of these, the highest score for irrigation derives from the heavy electricity consumption required for groundwater pumping associated with the fossil-fuel-dependent Greek electricity mix. Conclusions: Organic and conventional cultivation systems have similar total environmental impacts per unit of product, with organic cultivation achieving lower environmental impacts in ‘freshwater eutrophication’, ‘climate change’, ‘terrestrial acidification’ and ‘marine eutrophication’ categories. Conventional cultivation has a significantly greater effect on the freshwater eutrophication impact category, due to phosphate emissions arising from application of chemical fertilizers.Presented on: International Journal of Life Cycle Assessmen

An Integrated TCGA Pan-Cancer Clinical Data Resource to Drive High-Quality Survival Outcome Analytics

For a decade, The Cancer Genome Atlas (TCGA) program collected clinicopathologic annotation data along with multi-platform molecular profiles of more than 11,000 human tumors across 33 different cancer types. TCGA clinical data contain key features representing the democratized nature of the data collection process. To ensure proper use of this large clinical dataset associated with genomic features, we developed a standardized dataset named the TCGA Pan-Cancer Clinical Data Resource (TCGA-CDR), which includes four major clinical outcome endpoints. In addition to detailing major challenges and statistical limitations encountered during the effort of integrating the acquired clinical data, we present a summary that includes endpoint usage recommendations for each cancer type. These TCGA-CDR findings appear to be consistent with cancer genomics studies independent of the TCGA effort and provide opportunities for investigating cancer biology using clinical correlates at an unprecedented scale. Analysis of clinicopathologic annotations for over 11,000 cancer patients in the TCGA program leads to the generation of TCGA Clinical Data Resource, which provides recommendations of clinical outcome endpoint usage for 33 cancer types