Abstract Learning Frameworks for Synthesis

We develop abstract learning frameworks (ALFs) for synthesis that embody the principles of CEGIS (counter-example based inductive synthesis) strategies that have become widely applicable in recent years. Our framework defines a general abstract framework of iterative learning, based on a hypothesis space that captures the synthesized objects, a sample space that forms the space on which induction is performed, and a concept space that abstractly defines the semantics of the learning process. We show that a variety of synthesis algorithms in current literature can be embedded in this general framework. While studying these embeddings, we also generalize some of the synthesis problems these instances are of, resulting in new ways of looking at synthesis problems using learning. We also investigate convergence issues for the general framework, and exhibit three recipes for convergence in finite time. The first two recipes generalize current techniques for convergence used by existing synthesis engines. The third technique is a more involved technique of which we know of no existing instantiation, and we instantiate it to concrete synthesis problems

Production of α1,3-galactosyltransferase-deficient pigs

The enzyme α1,3-galactosyltransferase (α1,3GT or GGTA1) synthesizes α1,3galactose (α1,3Gal) epitopes (Galα1,3Galβ1,4GlcNAc-R), which are the major xenoantigens causing hyperacute rejection in pig-to-human xenotransplantation. Complete removal of α1,3Gal from pig organs is the critical step toward the success of xenotransplantation. We reported earlier the targeted disruption of one allele of the α1,3GT gene in cloned pigs. A selection procedure based on a bacteria[toxin was used to select for cells in which the second allele of the gene was knocked out. Sequencing analysis demonstrated that knockout of the second allele of the α1,3GT gene was caused by a T-to-G single point mutation at the second base of exon 9, which resulted in inactivation of the α1,3GT protein. Four healthy α1,3GT double-knockout female piglets were produced by three consecutive rounds of cloning. The piglets carrying a point mutation in the α1,3GT gene hold significant value, as they would allow production of α1,3Gal-deficient pigs free of antibiotic-resistance genes and thus have the potential to make a safer product for human use

Prevalence of Malaria and Anaemia among HIV Infected Pregnant women Receiving Co-trimoxazole Prophylaxis in Tanzania: A Cross Sectional Study in Kinondoni Municipality.

HIV-infected pregnant women are particularly more susceptible to the deleterious effects of malaria infection particularly anaemia. In order to prevent opportunistic infections and malaria, a policy of daily co-trimoxazole prophylaxis without the standard Suphadoxine-Pyrimethamine intermittent preventive treatment (SP-IPT) was introduced to all HIV infected pregnant women in the year 2011. However, there is limited information about the effectiveness of this policy. This was a cross sectional study conducted among HIV-infected pregnant women receiving co-trimoxazole prophylaxis in eight public health facilities in Kinondoni Municipality from February to April 2013. Blood was tested for malaria infection and anaemia (haemoglobin <11 g/dl). Data were collected on the adherence to co-trimoxazole prophylaxis and other risk factors for malaria infection and anaemia. Pearson chi-square test, Fischer's exact test and multivariate logistic regression were used in the statistical analysis. This study enrolled 420 HIV infected pregnant women. The prevalence of malaria infection was 4.5%, while that of anaemia was 54%. The proportion of subjects with poor adherence to co-trimoxazole was 50.5%. As compared to HIV infected pregnant women with good adherence to co-trimoxazole prophylaxis, the poor adherents were more likely to have a malaria infection (Adjusted Odds Ratio, AOR = 6.81, 95%CI = 1.35-34.43, P = 0.02) or anaemia (AOR = 1.75, 95%CI = 1.03-2.98, P = 0.039). Other risk factors associated with anaemia were advanced WHO clinical stages, current malaria infection and history of episodes of malaria illness during the index pregnancy. The prevalence of malaria was low; however, a significant proportion of subjects had anaemia. Good adherence to co-trimoxazole prophylaxis was associated with reduction of both malaria infection and anaemia among HIV infected pregnant women

Australian Sphingidae – DNA Barcodes Challenge Current Species Boundaries and Distributions

© 2014 Rougerie et al. This is an open-access article distributed under the terms of the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original author and source are credited. The attached file is the published version of the article

Comparison of embedded and added motor imagery training in patients after stroke: Study protocol of a randomised controlled pilot trial using a mixed methods approach

Copyright @ 2009 Schuster et al; licensee BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.Background: Two different approaches have been adopted when applying motor imagery (MI) to stroke patients. MI can be conducted either added to conventional physiotherapy or integrated within therapy sessions. The proposed study aims to compare the efficacy of embedded MI to an added MI intervention. Evidence from pilot studies reported in the literature suggests that both approaches can improve performance of a complex motor skill involving whole body movements, however, it remains to be demonstrated, which is the more effective one.Methods/Design: A single blinded, randomised controlled trial (RCT) with a pre-post intervention design will be carried out. The study design includes two experimental groups and a control group (CG). Both experimental groups (EG1, EG2) will receive physical practice of a clinical relevant motor task ('Going down, laying on the floor, and getting up again') over a two week intervention period: EG1 with embedded MI training, EG2 with MI training added after physiotherapy. The CG will receive standard physiotherapy intervention and an additional control intervention not related to MI.The primary study outcome is the time difference to perform the task from pre to post-intervention. Secondary outcomes include level of help needed, stages of motor task completion, degree of motor impairment, balance ability, fear of falling measure, motivation score, and motor imagery ability score. Four data collection points are proposed: twice during baseline phase, once following the intervention period, and once after a two week follow up. A nested qualitative part should add an important insight into patients' experience and attitudes towards MI. Semi-structured interviews of six to ten patients, who participate in the RCT, will be conducted to investigate patients' previous experience with MI and their expectations towards the MI intervention in the study. Patients will be interviewed prior and after the intervention period.Discussion: Results will determine whether embedded MI is superior to added MI. Findings of the semi-structured interviews will help to integrate patient's expectations of MI interventions in the design of research studies to improve practical applicability using MI as an adjunct therapy technique

Classification of patients with knee osteoarthritis in clinical phenotypes: data from the osteoarthritis initiative

<div><p>Objectives</p><p>The existence of phenotypes has been hypothesized to explain the large heterogeneity characterizing the knee osteoarthritis. In a previous systematic review of the literature, six main phenotypes were identified: Minimal Joint Disease (MJD), Malaligned Biomechanical (MB), Chronic Pain (CP), Inflammatory (I), Metabolic Syndrome (MS) and Bone and Cartilage Metabolism (BCM). The purpose of this study was to classify a sample of individuals with knee osteoarthritis (KOA) into pre-defined groups characterized by specific variables that can be linked to different disease mechanisms, and compare these phenotypes for demographic and health outcomes.</p><p>Methods</p><p>599 patients were selected from the OAI database FNIH at 24 months’ time to conduct the study. For each phenotype, cut offs of key variables were identified matching the results from previous studies in the field and the data available for the sample. The selection process consisted of 3 steps. At the end of each step, the subjects classified were excluded from the further classification stages. Patients meeting the criteria for more than one phenotype were classified separately into a ‘complex KOA’ group.</p><p>Results</p><p>Phenotype allocation (including complex KOA) was successful for 84% of cases with an overlap of 20%. Disease duration was shorter in the MJD while the CP phenotype included a larger number of Women (81%). A significant effect of phenotypes on WOMAC pain (F = 16.736 p <0.001) and WOMAC physical function (F = 14.676, p < 0.001) was identified after controlling for disease duration.</p><p>Conclusion</p><p>This study signifies the feasibility of a classification of KOA subjects in distinct phenotypes based on subgroup-specific characteristics.</p></div

Sequential Effects in Judgements of Attractiveness: The Influences of Face Race and Sex

In perceptual decision-making, a person’s response on a given trial is influenced by their response on the immediately preceding trial. This sequential effect was initially demonstrated in psychophysical tasks, but has now been found in more complex, real-world judgements. The similarity of the current and previous stimuli determines the nature of the effect, with more similar items producing assimilation in judgements, while less similarity can cause a contrast effect. Previous research found assimilation in ratings of facial attractiveness, and here, we investigated whether this effect is influenced by the social categories of the faces presented. Over three experiments, participants rated the attractiveness of own- (White) and other-race (Chinese) faces of both sexes that appeared successively. Through blocking trials by race (Experiment 1), sex (Experiment 2), or both dimensions (Experiment 3), we could examine how sequential judgements were altered by the salience of different social categories in face sequences. For sequences that varied in sex alone, own-race faces showed significantly less opposite-sex assimilation (male and female faces perceived as dissimilar), while other-race faces showed equal assimilation for opposite- and same-sex sequences (male and female faces were not differentiated). For sequences that varied in race alone, categorisation by race resulted in no opposite-race assimilation for either sex of face (White and Chinese faces perceived as dissimilar). For sequences that varied in both race and sex, same-category assimilation was significantly greater than opposite-category. Our results suggest that the race of a face represents a superordinate category relative to sex. These findings demonstrate the importance of social categories when considering sequential judgements of faces, and also highlight a novel approach for investigating how multiple social dimensions interact during decision-making

Admission decisions following contact with an emergency mental health assessment and intervention service.

AIMS: To define the demographic and clinical profile of individuals referred to an emergency mental health assessment team. To identify factors associated with being admitted to inpatient psychiatric services or not admitted following an emergency assessment. BACKGROUND: Crisis resolution and home treatment services are being developed across the UK, targeted towards people with severe mental health problems, who would otherwise require hospitalization. Further information about people presenting to an emergency mental health assessment service may clarify the skills that are required to deliver effective crisis resolution and home treatment services. METHOD: Over a six-month period referrals to, and admission decisions by, an emergency mental health assessment team were recorded. Measures used were the Health of the Nation Outcome Scale and the Crisis Triage Rating Scale. Age, sex and postcode data were recorded. Postcode data were used to identify the Townsend Deprivation Index for each individual. Reasons given for the referral were categorized. A preliminary descriptive analysis was performed for all people referred. The Demographic and clinical characteristics of referrals admitted and not admitted were then compared. A multivariate logistic regression was performed in order to investigate the possible impact of demographic and clinical characteristics on admission status. RESULTS: A total of 375 individuals were referred. Forty-eight (12.8%) were admitted. Higher referral rates were significantly associated with more deprived areas of the city. Referrers most frequently identified suicide risk as the reason for referral, followed by deterioration of an existing serious mental health problem. The mean Health of the Nation Outcome Scale score of all people referred was 10.5. Those admitted had a significantly greater mean Health of the Nation Outcome Scale score than those not admitted. The mean Crisis Triage Rating Scale score of all people referred was 11.0. Those admitted had a significantly lower (worse) mean Crisis Triage Rating Scale score than those not admitted. Individuals with lower Crisis Triage Rating Scale scores tended to have a higher (more deprived) Townsend index scores. Crisis Triage Rating Scale and Health of the Nation Outcome Scale scores were significantly negatively correlated. Conclusions. Crisis resolution and home treatments need to target areas of greatest deprivation. Social interventions will be important. Presentations related to suicide risk are likely to be common. The Crisis Triage Rating Scale may be a useful brief alternative to Health of the Nation Outcome Scale. RELEVANCE TO CLINICAL PRACTICE: This study highlights the valuable role of mental health nurses in frontline emergency mental health care in particular mental health nurses skills in conducting a risk assessment in an emergency

Molecular Mechanism of Action of Antimalarial Benzoisothiazolones: Species-Selective Inhibitors of the Plasmodium spp. MEP Pathway enzyme, IspD

The methylerythritol phosphate (MEP) pathway is an essential metabolic pathway found in malaria parasites, but absent in mammals, making it a highly attractive target for the discovery of novel and selective antimalarial therapies. Using high-throughput screening, we have identified 2-phenyl benzo[d]isothiazol-3(2H)-ones as species-selective inhibitors of Plasmodium spp. 2-C-methyl-D-erythritol-4-phosphate cytidyltransferase (IspD), the third catalytic enzyme of the MEP pathway. 2-Phenyl benzo[d]isothiazol-3(2H)-ones display nanomolar inhibitory activity against P. falciparum and P. vivax IspD and prevent the growth of P. falciparum in culture, with EC50 values below 400 nM. In silico modeling, along with enzymatic, genetic and crystallographic studies, have established a mechanism-of-action involving initial non-covalent recognition of inhibitors at the IspD binding site, followed by disulfide bond formation through attack of an active site cysteine residue on the benzo[d]isothiazol-3(2H)-one core. The species-selective inhibitory activity of these small molecules against Plasmodium spp. IspD and cultured parasites suggests they have potential as lead compounds in the pursuit of novel drugs to treat malaria

Acute kidney disease and renal recovery : consensus report of the Acute Disease Quality Initiative (ADQI) 16 Workgroup

Consensus definitions have been reached for both acute kidney injury (AKI) and chronic kidney disease (CKD) and these definitions are now routinely used in research and clinical practice. The KDIGO guideline defines AKI as an abrupt decrease in kidney function occurring over 7 days or less, whereas CKD is defined by the persistence of kidney disease for a period of > 90 days. AKI and CKD are increasingly recognized as related entities and in some instances probably represent a continuum of the disease process. For patients in whom pathophysiologic processes are ongoing, the term acute kidney disease (AKD) has been proposed to define the course of disease after AKI; however, definitions of AKD and strategies for the management of patients with AKD are not currently available. In this consensus statement, the Acute Disease Quality Initiative (ADQI) proposes definitions, staging criteria for AKD, and strategies for the management of affected patients. We also make recommendations for areas of future research, which aim to improve understanding of the underlying processes and improve outcomes for patients with AKD