Formal verification of CNL health recommendations

This research is partially supported by EPSRC grant EP/M014290/1.Clinical texts, such as therapy algorithms, are often described in natural language and may include hidden inconsistencies, gaps and potential deadlocks. In this paper, we propose an approach to identify such problems with formal verification. From each sentence in the therapy algorithm we automatically generate a parse tree and derive case frames. From the case frames we construct a state-based representation (in our case a timed automaton) and use a model checker (here UPPAAL) to verify the model. Throughout the paper we use an example of the algorithm for blood glucose lowering therapy in adults with type 2 diabetes to illustrate our approach.Postprin

Unsupervised Bayesian linear unmixing of gene expression microarrays

Background: This paper introduces a new constrained model and the corresponding algorithm, called unsupervised Bayesian linear unmixing (uBLU), to identify biological signatures from high dimensional assays like gene expression microarrays. The basis for uBLU is a Bayesian model for the data samples which are represented as an additive mixture of random positive gene signatures, called factors, with random positive mixing coefficients, called factor scores, that specify the relative contribution of each signature to a specific sample. The particularity of the proposed method is that uBLU constrains the factor loadings to be non-negative and the factor scores to be probability distributions over the factors. Furthermore, it also provides estimates of the number of factors. A Gibbs sampling strategy is adopted here to generate random samples according to the posterior distribution of the factors, factor scores, and number of factors. These samples are then used to estimate all the unknown parameters. Results: Firstly, the proposed uBLU method is applied to several simulated datasets with known ground truth and compared with previous factor decomposition methods, such as principal component analysis (PCA), non negative matrix factorization (NMF), Bayesian factor regression modeling (BFRM), and the gradient-based algorithm for general matrix factorization (GB-GMF). Secondly, we illustrate the application of uBLU on a real time-evolving gene expression dataset from a recent viral challenge study in which individuals have been inoculated with influenza A/H3N2/Wisconsin. We show that the uBLU method significantly outperforms the other methods on the simulated and real data sets considered here. Conclusions: The results obtained on synthetic and real data illustrate the accuracy of the proposed uBLU method when compared to other factor decomposition methods from the literature (PCA, NMF, BFRM, and GB-GMF). The uBLU method identifies an inflammatory component closely associated with clinical symptom scores collected during the study. Using a constrained model allows recovery of all the inflammatory genes in a single factor

Inhibition of GATA2 restrains cell proliferation and enhances apoptosis and chemotherapy mediated apoptosis in human GATA2 overexpressing AML cells

GATA2, a zinc finger transcription factor predominantly expressed in hematopoietic cells, acts as an essential regulator of hematopoietic stem cell generation, survival and functionality. Loss and gain of GATA2 expression has been implicated in myelodysplastic syndrome and acute myeloid leukemia (AML) yet the precise biological impact of GATA2 expression on human AML cell fate decisions remains ambiguous. Herein, we performed large-scale bioinformatics that demonstrated relatively frequent GATA2 overexpression in AML patients as well as select human AML (or AML-like) cell lines. By using shRNAi to target GATA2 in these AML cell lines, and an AML cell line expressing normal levels of GATA2, we found that inhibition of GATA2 caused attenuated cell proliferation and enhanced apoptosis exclusively in AML cell lines that overexpress GATA2. We proceeded to pharmacologically inhibit GATA2 in concert with AML chemotherapeutics and found this augmented cell killing in AML cell lines that overexpress GATA2, but not in an AML cell line expressing normal levels of GATA2. These data indicate that inhibition of GATA2 enhances chemotherapy-mediated apoptosis in human AML cells overexpressing GATA2. Thus, we define novel insights into the oncogenic role of GATA2 in human AML cells and suggest the potential utilization of transient GATA2 therapeutic targeting in AML

Adaptation and validation of the Patient Expectations and Satisfaction with Prenatal Care instrument among Brazilian pregnant women

Objective: to adapt and validate the Patient Expectations and Satisfaction with Prenatal Care instrument for use in Brazil. It contains 41 items divided into two dimensions: expectations and satisfaction. The adapted version was submitted to analysis for stability, convergent construct validity, and internal consistency (Cronbach’s alpha) for distinct groups and dimensions. Method: 119 pregnant women receiving prenatal care were interviewed and 26 of these women answered the instrument twice (retest). Internal consistency was appropriate (Cronbach’s alpha ≥ 0.70); test-retest presented strong correlation (r=0.82; p<0.001) for the domain expectations and moderate correlation (r=0.66; p<0.001) for the satisfaction domain. The analysis confirmed that the instrument’s adapted version is valid in the studied group. Results: there is strong evidence for the validity and reliability of the instrument’s adaptation. Conclusion: the instrument needs to be tested in groups of pregnant women with different social characteristics.CAPESCAPE

A matter of life and death: the Middle Neolithic population from Bom Santo Cave (Lisbon, Portugal)

The study of the Bom Santo Cave (central Portugal), a Neolithic cemetery, indicated a complex social, palaeoeconomic and population scenario. With isotope, aDNA and provenience analyses of raw materials coupled with stylistic variability of material culture items and palaeogeographical data light is shed on the territory and social organization of a population dated to 3800–3400 cal BC, i.e. the middle phase of the period. Results indicate an itinerant farming, segmentary society, where exogamic practices were the norm and patrilocality probably predominated. Its lifeway may be that of the earliest megalithic builders of the region, but further research is needed to correctly evaluate the degree of participation in such phenomenon

Overview on the phenomenon of two-qubit entanglement revivals in classical environments

The occurrence of revivals of quantum entanglement between separated open quantum systems has been shown not only for dissipative non-Markovian quantum environments but also for classical environments in absence of back-action. While the phenomenon is well understood in the first case, the possibility to retrieve entanglement when the composite quantum system is subject to local classical noise has generated a debate regarding its interpretation. This dynamical property of open quantum systems assumes an important role in quantum information theory from both fundamental and practical perspectives. Hybrid quantum-classical systems are in fact promising candidates to investigate the interplay among quantum and classical features and to look for possible control strategies of a quantum system by means of a classical device. Here we present an overview on this topic, reporting the most recent theoretical and experimental results about the revivals of entanglement between two qubits locally interacting with classical environments. We also review and discuss the interpretations provided so far to explain this phenomenon, suggesting that they can be cast under a unified viewpoint.Comment: 16 pages, 9 figures. Chapter written for the upcoming book "Lectures on general quantum correlations and their applications

A cross-national study on the antecedents of work–life balance from the fit and balance perspective

Drawing on the perceived work–family fit and balance perspective, this study investigates demands and resources as antecedents of work–life balance (WLB) across four countries (New Zealand, France, Italy and Spain), so as to provide empirical cross-national evidence. Using structural equation modelling analysis on a sample of 870 full time employees, we found that work demands, hours worked and family demands were negatively related to WLB, while job autonomy and supervisor support were positively related to WLB. We also found evidence that resources (job autonomy and supervisor support) moderated the relationships between demands and work–life balance, with high resources consistently buffering any detrimental influence of demands on WLB. Furthermore, our study identified additional predictors of WLB that were unique to some national contexts. For example, in France and Italy, overtime hours worked were negatively associated with WLB, while parental status was positively associated with WLB. Overall, the implications for theory and practice are discussed.Peer ReviewedPostprint (author's final draft

Singular values of the Dirac operator in dense QCD-like theories

We study the singular values of the Dirac operator in dense QCD-like theories at zero temperature. The Dirac singular values are real and nonnegative at any nonzero quark density. The scale of their spectrum is set by the diquark condensate, in contrast to the complex Dirac eigenvalues whose scale is set by the chiral condensate at low density and by the BCS gap at high density. We identify three different low-energy effective theories with diquark sources applicable at low, intermediate, and high density, together with their overlapping domains of validity. We derive a number of exact formulas for the Dirac singular values, including Banks-Casher-type relations for the diquark condensate, Smilga-Stern-type relations for the slope of the singular value density, and Leutwyler-Smilga-type sum rules for the inverse singular values. We construct random matrix theories and determine the form of the microscopic spectral correlation functions of the singular values for all nonzero quark densities. We also derive a rigorous index theorem for non-Hermitian Dirac operators. Our results can in principle be tested in lattice simulations.Comment: 3 references added, version published in JHE

A multiplatform approach identifies miR-152-3p as a common epigenetically regulated onco-suppressor in prostate cancer targeting TMEM97

Prostate cancer (PCa) is a major cause of morbidity and mortality in men worldwide. MicroRNAs are globally downregulated in PCa, especially in poorly differentiated tumors. Nonetheless, the underlying mechanisms are still elusive. Herein, using combined analysis of microRNAs expression and genomewide DNA methylation, we aimed to identify epigenetically downregulated microRNAs in PCa.Research Center of Portuguese Oncology Institute of Porto (FB-GEBC-27 and 19-CI-IPOP-2016). JR-C and CSG are supported by FCT- Fundação para a Ciência e Tecnologia PhD fellowships (SFRH/BD/71293/2010 and SFRH/BD/92786/2013), SS is supported by a PhD fellowship IPO/ESTIMA-1 NORTE-01-0145-FEDER-000027, and IG is a research fellow from the strategic funding of FCT (PCT: PEst- UID/DTP/00776/2013 and COMPETE: POCI-01-0145-FEDER-006868). BMC is funded by FCT-Fundação para a Ciência e a Tecnologia (IF/00601/2012)info:eu-repo/semantics/publishedVersio