The Potential and Challenges of CAD with Equational Constraints for SC-Square

Cylindrical algebraic decomposition (CAD) is a core algorithm within Symbolic Computation, particularly for quantifier elimination over the reals and polynomial systems solving more generally. It is now finding increased application as a decision procedure for Satisfiability Modulo Theories (SMT) solvers when working with non-linear real arithmetic. We discuss the potentials from increased focus on the logical structure of the input brought by the SMT applications and SC-Square project, particularly the presence of equational constraints. We also highlight the challenges for exploiting these: primitivity restrictions, well-orientedness questions, and the prospect of incrementality.Comment: Accepted into proceedings of MACIS 201

Clinical research:Developing an appropriate career structure

The veterinary profession needs to become more successful in producing the next generation of clinician scientists, say Richard Mellanby and others, who set out a roadmap for future academic postgraduate clinical training

An ongoing case-control study to evaluate the NHS Bowel Cancer Screening Programme

© 2014 Massat et al.; licensee BioMed Central. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly credited. The Creative Commons Public Domain Dedication waiver (http://creativecommons.org/publicdomain/zero/1.0/) applies to the data made available in this article, unless otherwise stated

Effect of Smoking on Circulating Angiogenic Factors in High Risk Pregnancies

Objective: Changes in maternal concentrations of the anti-angiogenic factors, soluble fms-like tyrosine kinase 1 (sFlt1) and soluble endoglin (sEng), and the pro-angiogenic placental growth factor (PlGF) precede the development of preeclampsia in healthy women. The risk of preeclampsia is reduced in women who smoke during pregnancy. The objective of this study was to investigate whether smoking affects concentrations of angiogenic factors (sFlt1, PlGF, and sEng) in women at high risk for developing preeclampsia. Study Design: We performed a secondary analysis of serum samples from 993 high-risk women (chronic hypertension, diabetes, multifetal gestation, and previous preeclampsia) in a preeclampsia prevention trial. sFlt1, sEng and PlGF were measured in serum samples obtained at study entry, which was prior to initiation of aspirin (median 19.0 weeks' [interquartile range of 16.0-22.6 weeks']). Smoking status was determined by self-report. Results: sFlt1 was not significantly different in smokers from any high-risk groups compared to their nonsmoking counterparts. PlGF was higher among smokers compared to nonsmokers among diabetic women (142.7 [77.4-337.3] vs 95.9 [48.5-180.7] pg/ml, p = 0.005) and women with a history of preeclampsia (252.2 [137.1-486.0] vs 152.2 [73.6-253.7] pg/ml, p = 0.001). sEng was lower in smokers with multifetal gestations (5.8 [4.6-6.5] vs 6.8 [5.5-8.7] ng/ml, p = 0.002) and trended lower among smokers with diabetes (4.9 [3.8-5.6] vs 5.3 [4.3-6.3] ng/ml, p = 0.05). Smoking was not associated with a lower incidence of preeclampsia in any of these groups. Conclusions: In certain high-risk groups, smoking is associated with changes in the concentrations of these factors towards a pro-angiogenic direction during early pregnancy; however, there was no apparent association between smoking and the development of preeclampsia in our cohort

Patients’ willingness to attend the NHS cardiovascular health checks in primary care: A qualitative interview study

Background: The NHS Cardiovascular Health Check (NHSHC) programme was introduced in England in 2009 to reduce cardiovascular disease mortality and morbidity for all patients aged 40 to 74 years old. Programme cost-effectiveness was based on an assumed uptake of 75% but current estimates of uptake in primary care are less than 50%. The purpose of this study was to identify factors influencing patients’ willingness to attend an NHSHC. For those who attended, their views, experiences and their future willingness to engage in the programme were explored. Method: Telephone or face-to-face interviews were conducted with patients who had recently been invited for an NHSHC by a letter from four general practices in Torbay, England. Patients were purposefully sampled (by gender, age, attendance status). Interviews were audio recorded, transcribed verbatim and analysed thematically. Results: 17 attendees and 10 non-attendees were interviewed. Patients who attended an NHSHC viewed it as worthwhile. Proactive attitudes towards their health, a desire to prevent disease before they developed symptoms, and a willingness to accept screening and health check invitations motivated many individuals to attend. Non-attendees cited not seeing the NHSHC as a priority, or how it differed from regular monitoring already received for other conditions as barriers to attendance. Some non-attendees actively avoided GP practices when feeling well, while others did not want to waste health professionals’ time. Misunderstandings of what the NHSHC involved and negative views of what the likely outcome might be were common. Conclusion: While a minority of non-attendees simply had made an informed choice not to have an NHSHC, improving the clarity and brevity of invitational materials, better advertising, and simple administrative interventions such as sending reminder letters, have considerable potential to improve NHSHC uptake

A pragmatic harm reduction approach to manage a large outbreak of wound botulism in people who inject drugs, Scotland 2015

Abstract Background People who inject drugs (PWID) are at an increased risk of wound botulism, a potentially fatal acute paralytic illness. During the first 6 months of 2015, a large outbreak of wound botulism was confirmed among PWID in Scotland, which resulted in the largest outbreak in Europe to date. Methods A multidisciplinary Incident Management Team (IMT) was convened to conduct an outbreak investigation, which consisted of enhanced surveillance of cases in order to characterise risk factors and identify potential sources of infection. Results Between the 24th of December 2014 and the 30th of May 2015, a total of 40 cases were reported across six regions in Scotland. The majority of the cases were male, over 30 and residents in Glasgow. All epidemiological evidence suggested a contaminated batch of heroin or cutting agent as the source of the outbreak. There are significant challenges associated with managing an outbreak among PWID, given their vulnerability and complex addiction needs. Thus, a pragmatic harm reduction approach was adopted which focused on reducing the risk of infection for those who continued to inject and limited consequences for those who got infected. Conclusions The management of this outbreak highlighted the importance and need for pragmatic harm reduction interventions which support the addiction needs of PWID during an outbreak of spore-forming bacteria. Given the scale of this outbreak, the experimental learning gained during this and similar outbreaks involving spore-forming bacteria in the UK was collated into national guidance to improve the management and investigation of future outbreaks among PWID

‘Test n Treat (TnT)’: a cluster-randomised feasibility trial of frequent, rapid-testing and same-day, on-site treatment to reduce rates of chlamydia in high-risk further education college students: statistical analysis plan

Background There are high rates of sexually transmitted infections (STIs) in ethnically diverse, sexually active students aged 16–24 years attending London further education (FE) colleges. However, uptake of chlamydia screening remains low. The TnT study aims to assess the feasibility of conducting a future trial in FE colleges to investigate if frequent, rapid, on-site testing and treatment (TnT) reduces chlamydia rates. This article presents the statistical analysis plan for the main study publication as approved and signed off by the Trial Management Group prior to the first data extraction for the final report. Methods/design TnT is a cluster-randomised feasibility trial conducted over 7 months with parallel qualitative and economic assessments. Colleges will be randomly allocated into the intervention (TnT) or the control group (no TnT). Six FE colleges in London will be included. At each college for 2 days, 80 consecutive sexually active students aged 16–24 years (total 480 students across all six colleges) will be recruited from public areas and asked to provide baseline samples. One and 4 months after recruitment intervention colleges will be visited on two consecutive days by the TnT team where participating students will be texted and invited to come for same-day, on-site, rapid chlamydia testing and, if positive, treatment. Participants in the control colleges will receive ‘thank you’ texts 1 and 4 months after recruitment. Seven months after recruitment, participants from both groups will be invited to complete questionnaires and provide samples for TnT. All samples will be tested, and same-day treatment offered to participants with positive results. Key feasibility outcomes include: recruitment rates, testing and treatment uptake rates (at 1 and 4 months) and follow-up rates (at 7 months). Trial registration ISRCTN 58038795. Registered on 31 August 2016

Lessons learned from England's Health Checks Programme : Using qualitative research to identify and share best practice

Background: This study aimed to explore the challenges and barriers faced by staff involved in the delivery of the National Health Service (NHS) Health Check, a systematic cardiovascular disease (CVD) risk assessment and management program in primary care. Methods: Data have been derived from three qualitative evaluations that were conducted in 25 General Practices and involved in depth interviews with 58 staff involved all levels of the delivery of the Health Checks. Analysis of the data was undertaken using the framework approach and findings are reported within the context of research and practice considerations. Results: Findings indicated that there is no ‘one size fits all’ blueprint for maximising uptake although success factors were identified: evolution of the programme over time in response to local needs to suit the particular characteristics of the patient population; individual staff characteristics such as being proactive, enthusiastic and having specific responsibility; a supportive team. Training was clearly identified as an area that needed addressing and practitioners would benefit from CVD specific baseline training and refresher courses to keep them up to date with recent developments in the area. However there were other external factors that impinged on an individual’s ability to provide an effective service, some of these were outside the control of individuals and included cutbacks in referral services, insufficient space to run clinics or general awareness of the Health Checks amongst patients. Conclusions: The everyday experiences of practitioners who participated in this study suggest that overall, Health Check is perceived as a worthwhile exercise. But, organisational and structural barriers need to be addressed. We also recommend that clear referral pathways be in place so staff can refer patients to appropriate services (healthy eating sessions, smoking cessation, and exercise referrals). Local authorities need to support initiatives that enable data sharing and linkage so that GP Practices are informed when patients take up services such as smoking cessation or alcohol harm reduction programmes run by social services

Not all waits are equal: An investigation of emergency care patient pathway.

Abstract Background: Increasing pressure in the United Kingdom (UK) urgent care system has led to Emergency Departments (EDs) failing to meet the national requirement that 95% of patients are admitted, discharged or transferred within 4-h of arrival. Despite the target being the same for all acute hospitals, individual Trusts organise their services in different ways. The impact of this variation on patient journey time and waiting is unknown. Our study aimed to apply the Lean technique of Value Stream Mapping (VSM) to investigate care processes and delays in patient journeys at four contrasting hospitals. Methods: VSM timing data were collected for patients accessing acute care at four hospitals in South West England. Data were categorised according to waits and activities, which were compared across sites to identify variations in practice from the patient viewpoint. We included Public and Patient Involvement (PPI) to fully interpret our findings; observations and initial findings were considered in a PPI workshop. Results: One hundred eight patients were recruited, comprising 25,432 min of patient time containing 4098 episodes of care or waiting. The median patient journey was 223 min (3 h, 43 min); just within the 4-h target. Although total patient journey times were similar between sites, the stage where the greatest proportion of waiting occurred varied. Reasons for waiting were dominated by waits for beds, investigations or results to be available. From our sample we observed that EDs without a discharge/clinical decision area exhibited a greater proportion of waiting time following an admission or discharge decision. PPI interpretation indicated that patients who experience waits at the beginning of their journey feel more anxious because they are ‘not in the system yet’. Conclusions: The novel application of VSM analysis across different hospitals, coupled with PPI interpretation, provides important insight into the impact of care provision on patient experience. Measures that could reduce patient waiting include automatic notification of test results, and the option of discharge/clinical decision areas for patients awaiting results or departure. To enhance patient experience, good communication with patients and relatives about reasons for waits is essential. Keywords: Health service research, Acute care, Emergency admissions, Patient care, Value stream mapping, Emergency department, Patient public involvemen