Enforcing Termination of Interprocedural Analysis

Interprocedural analysis by means of partial tabulation of summary functions may not terminate when the same procedure is analyzed for infinitely many abstract calling contexts or when the abstract domain has infinite strictly ascending chains. As a remedy, we present a novel local solver for general abstract equation systems, be they monotonic or not, and prove that this solver fails to terminate only when infinitely many variables are encountered. We clarify in which sense the computed results are sound. Moreover, we show that interprocedural analysis performed by this novel local solver, is guaranteed to terminate for all non-recursive programs --- irrespective of whether the complete lattice is infinite or has infinite strictly ascending or descending chains

Quantum feedback control of a superconducting qubit: Persistent Rabi oscillations

The act of measurement bridges the quantum and classical worlds by projecting a superposition of possible states into a single, albeit probabilistic, outcome. The time-scale of this "instantaneous" process can be stretched using weak measurements so that it takes the form of a gradual random walk towards a final state. Remarkably, the interim measurement record is sufficient to continuously track and steer the quantum state using feedback. We monitor the dynamics of a resonantly driven quantum two-level system -- a superconducting quantum bit --using a near-noiseless parametric amplifier. The high-fidelity measurement output is used to actively stabilize the phase of Rabi oscillations, enabling them to persist indefinitely. This new functionality shows promise for fighting decoherence and defines a path for continuous quantum error correction.Comment: Manuscript: 5 Pages and 3 figures ; Supplementary Information: 9 pages and 3 figure

An impinging remnant meniscus causing early polyethylene failure in total knee arthroplasty: a case report

The management of patients with an apparently normal functional total knee arthroplasty (TKA) suffering from unexplained persistent pain and swelling is a challenging issue. The usual causes of pain after total knee replacement are well known, but there are a small number of patients in whom its aetiology is obscure. Malfunction due to soft tissue impingement has rarely been reported. A patient with an unusual case of posterior soft tissue impingement secondary to a trapped posterior horn of a remnant medial meniscus after TKA and responsible for severe early polyethylene wear, is reported. The diagnosis was confirmed by arthroscopy. Treatment was performed by arthrotomy. The meniscus remnant was removed followed by total synovectomy and isolated exchange of the polyethylene insert. To our knowledge, this is the first well-documented case reporting this association

Photonic quantum state transfer between a cold atomic gas and a crystal

Interfacing fundamentally different quantum systems is key to build future hybrid quantum networks. Such heterogeneous networks offer superior capabilities compared to their homogeneous counterparts as they merge individual advantages of disparate quantum nodes in a single network architecture. However, only very few investigations on optical hybrid-interconnections have been carried out due to the high fundamental and technological challenges, which involve e.g. wavelength and bandwidth matching of the interfacing photons. Here we report the first optical quantum interconnection between two disparate matter quantum systems with photon storage capabilities. We show that a quantum state can be faithfully transferred between a cold atomic ensemble and a rare-earth doped crystal via a single photon at telecommunication wavelength, using cascaded quantum frequency conversion. We first demonstrate that quantum correlations between a photon and a single collective spin excitation in the cold atomic ensemble can be transferred onto the solid-state system. We also show that single-photon time-bin qubits generated in the cold atomic ensemble can be converted, stored and retrieved from the crystal with a conditional qubit fidelity of more than $85\%$. Our results open prospects to optically connect quantum nodes with different capabilities and represent an important step towards the realization of large-scale hybrid quantum networks

Mindfulness-based interventions for young offenders: a scoping review

Youth offending is a problem worldwide. Young people in the criminal justice system have frequently experienced adverse childhood circumstances, mental health problems, difficulties regulating emotions and poor quality of life. Mindfulness-based interventions can help people manage problems resulting from these experiences, but their usefulness for youth offending populations is not clear. This review evaluated existing evidence for mindfulness-based interventions among such populations. To be included, each study used an intervention with at least one of the three core components of mindfulness-based stress reduction (breath awareness, body awareness, mindful movement) that was delivered to young people in prison or community rehabilitation programs. No restrictions were placed on methods used. Thirteen studies were included: three randomized controlled trials, one controlled trial, three pre-post study designs, three mixed-methods approaches and three qualitative studies. Pooled numbers (n = 842) comprised 99% males aged between 14 and 23. Interventions varied so it was not possible to identify an optimal approach in terms of content, dose or intensity. Studies found some improvement in various measures of mental health, self-regulation, problematic behaviour, substance use, quality of life and criminal propensity. In those studies measuring mindfulness, changes did not reach statistical significance. Qualitative studies reported participants feeling less stressed, better able to concentrate, manage emotions and behaviour, improved social skills and that the interventions were acceptable. Generally low study quality limits the generalizability of these findings. Greater clarity on intervention components and robust mixed-methods evaluation would improve clarity of reporting and better guide future youth offending prevention programs

ReseArch with Patient and Public invOlvement: a RealisT evaluation - the RAPPORT study

Background Patient and public involvement (PPI) is a prerequisite for many funding bodies and NHS research ethics approval. PPI in research is defined as research carried out with or by the public rather than to, about or for them. While the benefits of PPI have been widely discussed, there is a lack of evidence on the impact and outcomes of PPI in research. Objectives To determine the types of PPI in funded research, describe key processes, analyse the contextual and temporal dynamics of PPI and explore the experience of PPI in research for all those involved. Mechanisms contributing to the routine incorporation of PPI in the research process were assessed, the impact of PPI on research processes and outcomes evaluated, and barriers and enablers to effective PPI identified. Design A three-staged realist evaluation drawing on Normalisation Process Theory to understand how far PPI was embedded within health-care research in six areas: diabetes mellitus, arthritis, cystic fibrosis, dementia, public health and learning disabilities. The first two stages comprised a scoping exercise and online survey to chief investigators to assess current PPI activity. The third stage consisted of case studies tracked over 18 months through interviews and document analysis. The research was conducted in four regions of England. Participants Non-commercial studies currently running or completed within the previous 2 years eligible for adoption on the UK Clinical Research Network portfolio. A total of 129 case study participants included researchers and PPI representatives from 22 research studies, and representatives from funding bodies and PPI networks

Identification of histone modifications in biomedical text for supporting epigenomic research

Corinna K, Klinger R, Hofmann-Apitius M. Identification of Histone Modifications in Biomedical Text for Supporting Epigenomic Research. BMC Bioinformatics. 2009;10(Suppl 1):S28

Protocol for a feasibility study of a self help cognitive behavioural therapy resource for the reduction of dental anxiety in young people

Background Childhood dental anxiety is very common, with 10–20 % of children and young people reporting high levels of dental anxiety. It is distressing and has a negative impact on the quality of life of young people and their parents as well as being associated with poor oral health. Affected individuals may develop a lifelong reliance on general anaesthetic or sedation for necessary dental treatment thus requiring the support of specialist dental services. Children and young people with dental anxiety therefore require additional clinical time and can be costly to treat in the long term. The reduction of dental anxiety through the use of effective psychological techniques is, therefore, of high importance. However, there is a lack of high-quality research investigating the impact of cognitive behavioural therapy (CBT) approaches when applied to young people’s dental anxiety. Methods/design The first part of the study will develop a profile of dentally anxious young people using a prospective questionnaire sent to a consecutive sample of 100 young people referred to the Paediatric Dentistry Department, Charles Clifford Dental Hospital, in Sheffield. The second part will involve interviewing a purposive sample of 15–20 dental team members on their perceptions of a CBT self-help resource for dental anxiety, their opinions on whether they might use such a resource with patients, and their willingness to recruit participants to a future randomised controlled trial (RCT) to evaluate the resource. The third part of the study will investigate the most appropriate outcome measures to include in a trial, the acceptability of the resource, and retention and completion rates of treatment with a sample of 60 dentally anxious young people using the CBT resource. Discussion This study will provide information on the profile of dentally anxious young people who could potentially be helped by a guided self-help CBT resource. It will gain the perceptions of dental care team members of guided self-help CBT for dental anxiety in young people and their willingness to recruit participants to a trial. Acceptability of the resource to participants and retention and completion rates will also be investigated to inform a future RCT

Expression of Colonization Factor CS5 of Enterotoxigenic Escherichia coli (ETEC) Is Enhanced In Vivo and by the Bile Component Na Glycocholate Hydrate

Enterotoxigenic Escherichia coli (ETEC) is an important cause of acute watery diarrhoea in developing countries. Colonization factors (CFs) on the bacterial surface mediate adhesion to the small intestinal epithelium. Two of the most common CFs worldwide are coli surface antigens 5 and 6 (CS5, CS6). In this study we investigated the expression of CS5 and CS6 in vivo, and the effects of bile and sodium bicarbonate, present in the human gut, on the expression of CS5. Five CS5+CS6 ETEC isolates from adult Bangladeshi patients with acute diarrhoea were studied. The level of transcription from the CS5 operon was approximately 100-fold higher than from the CS6 operon in ETEC bacteria recovered directly from diarrhoeal stool without sub-culturing (in vivo). The glyco-conjugated primary bile salt sodium glycocholate hydrate (NaGCH) induced phenotypic expression of CS5 in a dose-dependent manner and caused a 100-fold up-regulation of CS5 mRNA levels; this is the first description of NaGCH as an enteropathogenic virulence inducer. The relative transcription levels from the CS5 and CS6 operons in the presence of bile or NaGCH in vitro were similar to those in vivo. Another bile salt, sodium deoxycholate (NaDC), previously reported to induce enteropathogenic virulence, also induced expression of CS5, whereas sodium bicarbonate did not