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

Joint-action coordination in transferring objects

Here we report a study of joint-action coordination in transferring objects. Fourteen dyads were asked to repeatedly reposition a cylinder in a shared workspace without using dialogue. Variations in task constraints concerned the size of the two target regions in which the cylinder had to be (re)positioned and the size and weight of the transferred cylinder. Movements of the wrist, index finger and thumb of both actors were recorded by means of a 3D motion-tracking system. Data analyses focused on the interpersonal transfer of lifting-height and movement-speed variations. Whereas the analyses of variance did not reveal any interpersonal transfer effects targeted data comparisons demonstrated that the actor who fetched the cylinder from where the other actor had put it was systematically less surprised by cylinder-weight changes than the actor who was first confronted with such changes. In addition, a moderate, accuracy-constraint independent adaptation to each other’s movement speed was found. The current findings suggest that motor resonance plays only a moderate role in collaborative motor control and confirm the independency between sensorimotor and cognitive processing of action-related information

Extracellular Matrix Aggregates from Differentiating Embryoid Bodies as a Scaffold to Support ESC Proliferation and Differentiation

Embryonic stem cells (ESCs) have emerged as potential cell sources for tissue engineering and regeneration owing to its virtually unlimited replicative capacity and the potential to differentiate into a variety of cell types. Current differentiation strategies primarily involve various growth factor/inducer/repressor concoctions with less emphasis on the substrate. Developing biomaterials to promote stem cell proliferation and differentiation could aid in the realization of this goal. Extracellular matrix (ECM) components are important physiological regulators, and can provide cues to direct ESC expansion and differentiation. ECM undergoes constant remodeling with surrounding cells to accommodate specific developmental event. In this study, using ESC derived aggregates called embryoid bodies (EB) as a model, we characterized the biological nature of ECM in EB after exposure to different treatments: spontaneously differentiated and retinoic acid treated (denoted as SPT and RA, respectively). Next, we extracted this treatment-specific ECM by detergent decellularization methods (Triton X-100, DOC and SDS are compared). The resulting EB ECM scaffolds were seeded with undifferentiated ESCs using a novel cell seeding strategy, and the behavior of ESCs was studied. Our results showed that the optimized protocol efficiently removes cells while retaining crucial ECM and biochemical components. Decellularized ECM from SPT EB gave rise to a more favorable microenvironment for promoting ESC attachment, proliferation, and early differentiation, compared to native EB and decellularized ECM from RA EB. These findings suggest that various treatment conditions allow the formulation of unique ESC-ECM derived scaffolds to enhance ESC bioactivities, including proliferation and differentiation for tissue regeneration applications. © 2013 Goh et al

Phylogenetic Codivergence Supports Coevolution of Mimetic Heliconius Butterflies

The unpalatable and warning-patterned butterflies _Heliconius erato_ and _Heliconius melpomene_ provide the best studied example of mutualistic Müllerian mimicry, thought – but rarely demonstrated – to promote coevolution. Some of the strongest available evidence for coevolution comes from phylogenetic codivergence, the parallel divergence of ecologically associated lineages. Early evolutionary reconstructions suggested codivergence between mimetic populations of _H. erato_ and _H. melpomene_, and this was initially hailed as the most striking known case of coevolution. However, subsequent molecular phylogenetic analyses found discrepancies in phylogenetic branching patterns and timing (topological and temporal incongruence) that argued against codivergence. We present the first explicit cophylogenetic test of codivergence between mimetic populations of _H. erato_ and _H. melpomene_, and re-examine the timing of these radiations. We find statistically significant topological congruence between multilocus coalescent population phylogenies of _H. erato_ and _H. melpomene_, supporting repeated codivergence of mimetic populations. Divergence time estimates, based on a Bayesian coalescent model, suggest that the evolutionary radiations of _H. erato_ and _H. melpomene_ occurred over the same time period, and are compatible with a series of temporally congruent codivergence events. This evidence supports a history of reciprocal coevolution between Müllerian co-mimics characterised by phylogenetic codivergence and parallel phenotypic change

Hepatitis B virus infected physicians and disclosure of transmission risks to patients: A critical analysis

BACKGROUND: The potential for transmission of blood-borne pathogens such as hepatitis B virus from infected healthcare workers to patients is an important and difficult issue facing healthcare policymakers internationally. Law and policy on the subject is still in its infancy, and subject to a great degree of uncertainty and controversy. Policymakers have made few recommendations regarding the specifics of practice restriction for health care workers who are hepatitis B seropositive. Generally, they have deferred this work to vaguely defined "expert panels" which will have the power to dictate the conditions under which infected health care workers may continue to practice. DISCUSSION: In this paper we use recent Canadian policy statements as a critical departure point to propose more specific recommendations regarding disclosure of transmission risks in a way that minimizes practice restriction of hepatitis B seropositive health care workers without compromising patient safety. The range of arguments proposed in the literature are critically examined from the perspective of ethical analysis. SUMMARY: A process for considering the ethical implications of the disclosure of the sero-status of health care workers is advanced that considers the varied perspectives of different stakeholders

COSMIC 2005

The Catalogue Of Somatic Mutations In Cancer (COSMIC) database and web site was developed to preserve somatic mutation data and share it with the community. Over the past 25 years, approximately 350 cancer genes have been identified, of which 311 are somatically mutated. COSMIC has been expanded and now holds data previously reported in the scientific literature for 28 known cancer genes. In addition, there is data from the systematic sequencing of 518 protein kinase genes. The total gene count in COSMIC stands at 538; 25 have a mutation frequency above 5% in one or more tumour type, no mutations were found in 333 genes and 180 are rarely mutated with frequencies <5% in any tumour set. The COSMIC web site has been expanded to give more views and summaries of the data and provide faster query routes and downloads. In addition, there is a new section describing mutations found through a screen of known cancer genes in 728 cancer cell lines including the NCI-60 set of cancer cell lines

STC1 and PTHrP modify carbohydrate and lipid metabolism in liver of a teleost fish

Stanniocalcin 1 (STC1) and parathyroid hormone-related protein (PTHrP) are calciotropic hormones in vertebrates. Here, a recently hypothesized metabolic role for these hormones is tested on European sea bass treated with: (i) teleost PTHrP(1-34), (ii) PTHrP(1-34) and anti-STC1 serum (pro-PTHrP groups), (iii) a PTHrP antagonist PTHrP(7-34) or (iv) PTHrP(7-34) and STC1 (pro-STC1 groups). Livers were analysed using untargeted metabolic profiling based on proton nuclear magnetic resonance (1H-NMR) spectroscopy. Concentrations of branched-chain amino acid (BCAA), alanine, glutamine and glutamate increased in pro-STC1 groups suggesting their mobilization from the muscle to the liver for degradation and gluconeogenesis from alanine and glutamine. In addition, only STC1 treatment decreased the concentrations of succinate, fumarate and acetate, indicating slowing of the citric acid cycle. In the pro-PTHrP groups the concentrations of glucose, erythritol and lactate decreased, indicative of gluconeogenesis from lactate. Taurine, trimethylamine, trimethylamine N-oxide and carnitine changed in opposite directions in the pro-STC1 versus the pro-PTHrP groups, suggesting opposite effects, with STC1 stimulating lipogenesis and PTHrP activating lipolysis/β-oxidation of fatty acids. These findings suggest a role for STC1 and PTHrP related to strategic energy mechanisms that involve the production of glucose and safeguard of liver glycogen reserves for stressful situations.Portuguese Foundation for Science and Technology (FCT) SFRH/BD/103185/2014info:eu-repo/semantics/publishedVersio

A qualitative evaluation of the impact of a palliative care course on preregistration nursing students' practice in Cameroon

Background Current evidence suggests that palliative care education can improve preregistration nursing students’ competencies in palliative care. However, it is not known whether these competencies are translated into students’ practice in the care of patients who are approaching the end of life. This paper seeks to contribute to the palliative care evidence base by examining how nursing students in receipt of education report transfer of learning to practice, and what the barriers and facilitators may be, in a resource-poor country. Methods We utilised focus groups and individual critical incident interviews to explore nursing students’ palliative care learning transfer. Three focus groups, consisting of 23 participants and 10 individual critical incident interviews were conducted with preregistration nursing student who had attended a palliative care course in Cameroon and had experience caring for a patient approaching the end of life. Data was analysed thematically, using the framework approach. Results The results suggest that nursing students in receipt of palliative care education can transfer their learning to practice. Students reported recognizing patients with palliative care needs, providing patients with physical, psychosocial and spiritual support and communicating patient information to the wider care team. They did however perceive some barriers to this transfer which were either related to themselves, qualified nurses, the practice setting or family caregivers and patients. Conclusion The findings from this study suggest that nursing student in receipt of palliative care education can use their learning in practice to provide care to patients and their families approaching the end of life. Nevertheless, these findings need to be treated with some caution given the self-reported nature of the data. Demonstrating the link between preregistration palliative care education and patient care is vital to ensuring that newly acquired knowledge and skills are translated and embedded into clinical practice. This study also has implications for advocating for palliative care policies and adequately preparing clinical placement sites for students’ learning and transfer of learning