Formal Specification and Testing of a Management Architecture

The importance of network and distributed systems management to supply and maintain services required by users has led to a demand for management facilities. Open network management is assisted by representing the system resources to be managed as objects, and providing standard services and protocols for interrogating and manipulating these objects. This paper examines the application of formal description techniques to the specification of managed objects by presenting a case study in the specification and testing of a management architecture. We describe a formal specification of a management architecture suitable for scheduling and distributing services across nodes in a distributed system. In addition, we show how formal specifications can be used to generate conformance tests for the management architecture

SUPPORT Tools for evidence-informed health Policymaking (STP) 16: Using research evidence in balancing the pros and cons of policies

This article is part of a series written for people responsible for making decisions about health policies and programmes and for those who support these decision makers

Behind the confession: Relating false confession, interrogative compliance, personality traits, and psychopathy

The present study further supports the established notion that personality traits contribute to the phenomenon of false confessions and compliance in an interrogative setting. Furthermore, the study provides an investigation into the more recent interest in the potential effect of psychopathic traits in this context. A sample of university students (N = 607) completed questionnaires measuring psychopathic traits, interrogative compliance, and the big five personality factors. Of these, only 4.9% (n=30) claimed to have falsely confessed to an academic or criminal offense, with no participant taking the blame for both types of offense. Across measures the big five personality traits were the strongest predictors of compliance. The five personality traits accounted for 17.9 % of the total variance in compliance, with neuroticism being the strongest predictor, followed by openness and agreeableness. Psychopathy accounted for 3.3% of variance, with the lifestyle facet being the only significant predictor. After controlling for the big five personality factors, psychopathy only accounted for a small percentage of interrogative compliance, indicating that interrogators should take into account a person’s personality traits during the interrogation.N/

Recognition of cancer warning signs and anticipated time to help-seeking in a population sample of adults in the UK

Background: Not recognising a symptom as suspicious is a common reason given by cancer patients for delayed help-seeking; but inevitably this is retrospective. We therefore investigated associations between recognition of warning signs for breast, colorectal and lung cancer and anticipated time to help-seeking for symptoms of each cancer. Methods: Computer-assisted telephone interviews were conducted with a population-representative sample (N=6965) of UK adults age greater than or equal to50 years, using the Awareness and Beliefs about Cancer scale. Anticipated time to help-seeking for persistent cough, rectal bleeding and breast changes was categorised as >2 vs less than or equal to2 weeks. Recognition of persistent cough, unexplained bleeding and unexplained lump as cancer warning signs was assessed (yes/no). Associations between recognition and help-seeking were examined for each symptom controlling for demographics and perceived ease of health-care access. Results: For each symptom, the odds of waiting for >2 weeks were significantly increased in those who did not recognise the related warning sign: breast changes: OR=2.45, 95% CI 1.47–4.08; rectal bleeding: OR=1.77, 1.36–2.30; persistent cough: OR=1.30, 1.17–1.46, independent of demographics and health-care access. Conclusion: Recognition of warning signs was associated with anticipating faster help-seeking for potential symptoms of cancer. Strategies to improve recognition are likely to facilitate earlier diagnosis

Narrative as re-fusion: making sense and value from sickle cell and thalassaemia trait

The moral turn within sociology suggests that we need to be attentive to values and have a rapprochement with philosophy. The study of illness narratives is one area of sociology that has consistently addressed itself to moral domains but has tended to focus on stories of living with genetic or chronic illness per se rather than liminal states such as genetic traits. This article takes the case of genetic carriers within racialized minority groups, namely, those with sickle cell or thalassaemia trait, and takes seriously the notion that their narratives are ethical practices. In line with the work of Paul Ricoeur, such storied practices are found to link embodiment, social relationships with significant others and wider socio-cultural and socio-political relations. At the same time, such practices are about embodying values. These narratives may be considered as practices that re-fuse what genetic counselling has de-fused, in order to make sense of a life in its entirety and to strive ethically and collectively towards preferred social realities

SUPPORT Tools for evidence-informed health Policymaking (STP) 12: Finding and using research evidence about resource use and costs

This article is part of a series written for people responsible for making decisions about health policies and programmes and for those who support these decision makers

P-splines with derivative based penalties and tensor product smoothing of unevenly distributed data

The P-splines of Eilers and Marx (1996) combine a B-spline basis with a discrete quadratic penalty on the basis coefficients, to produce a reduced rank spline like smoother. P-splines have three properties that make them very popular as reduced rank smoothers: i) the basis and the penalty are sparse, enabling efficient computation, especially for Bayesian stochastic simulation; ii) it is possible to flexibly `mix-and-match' the order of B-spline basis and penalty, rather than the order of penalty controlling the order of the basis as in spline smoothing; iii) it is very easy to set up the B-spline basis functions and penalties. The discrete penalties are somewhat less interpretable in terms of function shape than the traditional derivative based spline penalties, but tend towards penalties proportional to traditional spline penalties in the limit of large basis size. However part of the point of P-splines is not to use a large basis size. In addition the spline basis functions arise from solving functional optimization problems involving derivative based penalties, so moving to discrete penalties for smoothing may not always be desirable. The purpose of this note is to point out that the three properties of basis-penalty sparsity, mix-and-match penalization and ease of setup are readily obtainable with B-splines subject to derivative based penalization. The penalty setup typically requires a few lines of code, rather than the two lines typically required for P-splines, but this one off disadvantage seems to be the only one associated with using derivative based penalties. As an example application, it is shown how basis-penalty sparsity enables efficient computation with tensor product smoothers of scattered data

Extinction times in the subcritical stochastic SIS logistic epidemic

Many real epidemics of an infectious disease are not straightforwardly super- or sub-critical, and the understanding of epidemic models that exhibit such complexity has been identified as a priority for theoretical work. We provide insights into the near-critical regime by considering the stochastic SIS logistic epidemic, a well-known birth-and-death chain used to model the spread of an epidemic within a population of a given size $N$. We study the behaviour of the process as the population size $N$ tends to infinity. Our results cover the entire subcritical regime, including the "barely subcritical" regime, where the recovery rate exceeds the infection rate by an amount that tends to 0 as $N \to \infty$ but more slowly than $N^{-1/2}$. We derive precise asymptotics for the distribution of the extinction time and the total number of cases throughout the subcritical regime, give a detailed description of the course of the epidemic, and compare to numerical results for a range of parameter values. We hypothesise that features of the course of the epidemic will be seen in a wide class of other epidemic models, and we use real data to provide some tentative and preliminary support for this theory.Comment: Revised; 34 pages; 6 figure

Discovery of new methylation markers to improve screening for cervical intraepithelial neoplasia grade 2/3

Background: Assessment of DNA promoter methylation markers in cervical scrapings for the detection of cervical intraepithelial neoplasia (CIN) and cervical cancer is feasible, but finding methylation markers with both high sensitivity as well as high specificity remains a challenge. In this study, we aimed to identify new methylation markers for the detection of high-grade CIN (CIN2/3 or worse, CIN2+) by using innovative genome-wide methylation analysis (MethylCap-seq). We focused on diagnostic performance of methylation markers with high sensitivity and high specificity considering any methylation level as positive. Results: MethylCap-seq of normal cervices and CIN2/3 revealed 176 differentially methylated regions (DMRs) comprising 164 genes. After verification and validation of the 15 best discriminating genes with methylation-specific PCR (MSP), 9 genes showed significant differential methylation in an independent cohort of normal cervices versus CIN2/3 lesions (p < 0.05). For further diagnostic evaluation, these 9 markers were tested with quantitative MSP (QMSP) in cervical scrapings from 2 cohorts: (1) cervical carcinoma versus healthy controls and (2) patients referred from population-based screening with an abnormal Pap smear in whom also HPV status was determined. Methylation levels of 8/9 genes were significantly higher in carcinoma compared to normal scrapings. For all 8 genes, methylation levels increased with the severity of the underlying histological lesion in scrapings from patients referred with an abnormal Pap smear. In addition, the diagnostic performance was investigated, using these 8 new genes and 4 genes (previously identified by our group: C13ORF18, JAM3, EPB41L3, and TERT). In a triage setting (after a positive Pap smear), sensitivity for CIN2+ of the best combination of genes (C13ORF18/JAM3/ANKRD18CP) (74 %) was comparable to hrHPV testing (79 %), while specificity was significantly higher (76 % versus 42 %, p <= 0.05). In addition, in hrHPV-positive scrapings, sensitivity and specificity for CIN2+ of this best-performing combination was comparable to the population referred with abnormal Pap smear. Conclusions: We identified new CIN2/3-specific methylation markers using genome-wide DNA methylation analysis. The diagnostic performance of our new methylation panel shows higher specificity, which should result in prevention of unnecessary colposcopies for women referred with abnormal cytology. In addition, these newly found markers might be applied as a triage test in hrHPV-positive women from population-based screening. The next step before implementation in primary screening programs will be validation in population-based cohorts

Modeling the scaling properties of human mobility

While the fat tailed jump size and the waiting time distributions characterizing individual human trajectories strongly suggest the relevance of the continuous time random walk (CTRW) models of human mobility, no one seriously believes that human traces are truly random. Given the importance of human mobility, from epidemic modeling to traffic prediction and urban planning, we need quantitative models that can account for the statistical characteristics of individual human trajectories. Here we use empirical data on human mobility, captured by mobile phone traces, to show that the predictions of the CTRW models are in systematic conflict with the empirical results. We introduce two principles that govern human trajectories, allowing us to build a statistically self-consistent microscopic model for individual human mobility. The model not only accounts for the empirically observed scaling laws but also allows us to analytically predict most of the pertinent scaling exponents