Logic Program Synthesis via Proof Planning

We propose a novel approach to automating the synthesis of logic programs: Logic programs are synthesized as a by-product of the planning of a verification proof. The approach is a two-level one: At the object level, we prove program verification conjectures in a sorted, first-order theory. The conjectures are of the form $\forall \vec{args}. \; prog(\vec{args}) \leftrightarrow spec(\vec{args})$. At the meta-level, we plan the object-level verification with an unspecified program definition. The definition is represented with a (second-order) meta-level variable, which becomes instantiated in the course of the planning. This technique is an application of the Clam proof planning system. Clam is currently powerful enough to plan verification proofs for given programs. We show that, if Clam's use of middle-out reasoning is extended, it will also be able to synthesize programs

Chirped pulse Raman amplification in warm plasma: towards controlling saturation

Stimulated Raman backscattering in plasma is potentially an efficient method of amplifying laser pulses to reach exawatt powers because plasma is fully broken down and withstands extremely high electric fields. Plasma also has unique nonlinear optical properties that allow simultaneous compression of optical pulses to ultra-short durations. However, current measured efficiencies are limited to several percent. Here we investigate Raman amplification of short duration seed pulses with different chirp rates using a chirped pump pulse in a preformed plasma waveguide. We identify electron trapping and wavebreaking as the main saturation mechanisms, which lead to spectral broadening and gain saturation when the seed reaches several millijoules for durations of 10's - 100's fs for 250 ps, 800 nm chirped pump pulses. We show that this prevents access to the nonlinear regime and limits the efficiency, and interpret the experimental results using slowly-varying-amplitude, current-averaged particle-in-cell simulations. We also propose methods for achieving higher efficiencies.close0

Prevalence and predictors of video game addiction: a study based on a national representative sample of gamers

Video gaming has become a popular leisure activity in many parts of the world, and an increasing number of empirical studies examine the small minority that appears to develop problems as a result of excessive gaming. This study investigated prevalence rates and predictors of video game addiction in a sample of gamers, randomly selected from the National Population Registry of Norway (N =3389). Results showed there were 1.4 % addicted gamers, 7.3 % problem gamers, 3.9 % engaged gamers, and 87.4 % normal gamers. Gender (being male) and age group (being young) were positively associated with addicted-, problem-, and engaged gamers. Place of birth (Africa, Asia, South- and Middle America) were positively associated with addicted- and problem gamers. Video game addiction was negatively associated with conscientiousness and positively associated with neuroticism. Poor psychosomatic health was positively associated with problem- and engaged gaming. These factors provide insight into the field of video game addiction, and may help to provide guidance as to how individuals that are at risk of becoming addicted gamers can be identified

Bilateral myositis ossificans of the masseter muscle after chemoradiotherapy and critical illness neuropathy- report of a rare entity and review of literature

Myositis ossificans in the head and neck is a rare heterotropic bone formation within a muscle. Besides fibrodysplasia ossificans progressiva, traumatic and neurogenic forms are described in the literature

Nutritional correlates of koala persistence in a low-density population

It is widely postulated that nutritional factors drive bottom-up, resource-based patterns in herbivore ecology and distribution. There is, however, much controversy over the roles of different plant constituents and how these influence individual herbivores and herbivore populations. The density of koala (Phascolarctos cinereus) populations varies widely and many attribute population trends to variation in the nutritional quality of the eucalypt leaves of their diet, but there is little evidence to support this hypothesis. We used a nested design that involved sampling of trees at two spatial scales to investigate how leaf chemistry influences free-living koalas from a low-density population in south east New South Wales, Australia. Using koala faecal pellets as a proxy for koala visitation to trees, we found an interaction between toxins and nutrients in leaves at a small spatial scale, whereby koalas preferred trees with leaves of higher concentrations of available nitrogen but lower concentrations of sideroxylonals (secondary metabolites found exclusively in eucalypts) compared to neighbouring trees of the same species. We argue that taxonomic and phenotypic diversity is likely to be important when foraging in habitats of low nutritional quality in providing diet choice to tradeoff nutrients and toxins and minimise movement costs. Our findings suggest that immediate nutritional concerns are an important priority of folivores in low-quality habitats and imply that nutritional limitations play an important role in constraining folivore populations. We show that, with a careful experimental design, it is possible to make inferences about populations of herbivores that exist at extremely low densities and thus achieve a better understanding about how plant composition influences herbivore ecology and persistence.IW and WF received a grant from New South Wales (NSW) Department of Environment, Climate Change & Water

A feasibility study for NOn-Traditional providers to support the management of Elderly People with Anxiety and Depression: the NOTEPAD study Protocol

BACKGROUND: Anxiety and depression are common among older people, with up to 20% reporting such symptoms, and the prevalence increases with co-morbid chronic physical health problems. Access to treatment for anxiety and depression in this population is poor due to a combination of factors at the level of patient, practitioner and healthcare system. There is evidence to suggest that older people with anxiety and/or depression may benefit both from one-to-one interventions and group social or educational activities, which reduce loneliness, are participatory and offer some activity. Non-traditional providers (support workers) working within third-sector (voluntary) organisations are a valuable source of expertise within the community but are under-utilised by primary care practitioners. Such a resource could increase access to care, and be less stigmatising and more acceptable for older people. METHODS: The study is in three phases and this paper describes the protocol for phase III, which will evaluate the feasibility of recruiting general practices and patients into the study, and determine whether support workers can deliver the intervention to older people with sufficient fidelity and whether this approach is acceptable to patients, general practitioners and the third-sector providers. Phase III of the NOTEPAD study is a randomised controlled trial (RCT) that is individually randomised. It recruited participants from approximately six general practices in the UK. In total, 100 participants aged 65 years and over who score 10 or more on PHQ9 or GAD7 for anxiety or depression will be recruited and randomised to the intervention or usual general practice care. A mixed methods approach will be used and follow-up will be conducted 12 weeks post-randomisation. DISCUSSION: This study will inform the design and methods of a future full-scale RCT. TRIAL REGISTRATION: ISRCTN, ID: ISRCTN16318986 . Registered 10 November 2016. The ISRCTN registration is in line with the World Health Organization Trial Registration Data Set. The present paper represents the original version of the protocol. Any changes to the protocol will be communicated to ISRCTN

MicroRNA-34a is a potent tumor suppressor molecule in vivo in neuroblastoma

<p>ABSTRACT</p> <p>Background</p> <p>Neuroblastoma is a paediatric cancer which originates from precursor cells of the sympathetic nervous system and accounts for 15% of childhood cancer mortalities. With regards to the role of miRNAs in neuroblastoma, miR-34a, mapping to a chromosome 1p36 region that is commonly deleted, has been found to act as a tumor suppressor through targeting of numerous genes associated with cell proliferation and apoptosis.</p> <p>Methods</p> <p>A synthetic miR-34a (or negative control) precursor molecule was transfected into NB1691^lucand SK-N-AS^lucneuroblastoma cells. Quantitative PCR was used to verify increased miR-34a levels in NB1691^lucand SK-N-AS^luccell lines prior to <it>in vitro </it>and <it>in vivo </it>analysis. <it>In vitro </it>analysis of the effects of miR-34a over expression on cell growth, cell cycle and phosphoprotein activation in signal transduction pathways was performed. Neuroblastoma cells over expressing miR-34a were injected retroperitoneally into immunocompromised CB17-SCID mice and tumor burden was assessed over a 21 day period by measuring bioluminescence (photons/sec/cm²).</p> <p>Results</p> <p>Over expression of miR-34a in both NB1691^lucand SK-N-AS^lucneuroblastoma cell lines led to a significant decrease in cell number relative to premiR-negative control treated cells over a 72 hour period. Flow cytometry results indicated that miR-34a induced cell cycle arrest and subsequent apoptosis activation. Phosphoprotein analysis highlighted key elements involved in signal transduction, whose activation was dysregulated as a result of miR-34a introduction into cells. As a potential mechanism of miR-34a action on phosphoprotein levels, we demonstrate that miR-34a over-expression results in a significant reduction of <it>MAP3K9 </it>mRNA and protein levels. Although <it>MAP3K9 </it>is a predicted target of miR-34a, direct targeting could not be validated with luciferase reporter assays. Despite this fact, any functional effects of reduced MAP3K9 expression as a result of miR-34a would be expected to be similar regardless of the mechanism involved. Most notably, <it>in vivo </it>studies showed that tumor growth was significantly repressed after exogenous miR-34a administration in retroperitoneal neuroblastoma tumors.</p> <p>Conclusion</p> <p>We demonstrate for the first time that miR-34a significantly reduces tumor growth in an <it>in vivo </it>orthotopic murine model of neuroblastoma and identified novel effects that miR-34a has on phospho-activation of key proteins involved with apoptosis.</p

Sensory over-responsivity: parent report, direct assessment measures, and neural architecture

BACKGROUND: Sensory processing difficulties are common across neurodevelopmental disorders. Thus, reliable measures are needed to understand the biological underpinnings of these differences. This study aimed to define a scoring methodology specific to auditory (AOR) and tactile (TOR) over-responsivity. Second, in a pilot cohort using MRI Diffusion Tensor Imaging, we performed a proof of concept study of whether children with AOR showed measurable differences in their white matter integrity. METHODS: This study included children with AOR and TOR from a mixed neurodevelopmental disorder cohort including autism and sensory processing dysfunction (n = 176) as well as neurotypical children (n = 128). We established cohorts based on sensory over-responsivity using parent report (Short Sensory Profile (SSP)) and direct assessment (Sensory Processing-Three Dimensions: Assessment (SP-3D:A)) measures. With a subset of the children (n = 39), group comparisons, based on AOR phenotype, were conducted comparing the white matter fractional anisotropy in 23 regions of interest. RESULTS: Using direct assessment, 31% of the children with neurodevelopmental disorders had AOR and 27% had TOR. The inter-test agreement between SSP and SP-3D:A for AOR was 65% and TOR was 50%. Children with AOR had three white matter tracts showing decreased fractional anisotropy relative to children without AOR. CONCLUSIONS: This study identified cut-off scores for AOR and TOR using the SSP parent report and SP-3D:A observation. A combination of questionnaire and direct observation measures should be used in clinical and research settings. The SSP parent report and SP-3D:A direct observation ratings overlapped moderately for sensory related behaviors. Based on these preliminary structural neuroimaging results, we suggest a putative neural network may contribute to AOR

Tissue specific characteristics of cells isolated from human and rat tendons and ligaments

<p>Abstract</p> <p>Background</p> <p>Tendon and ligament injuries are common and costly in terms of surgery and rehabilitation. This might be improved by using tissue engineered constructs to accelerate the repair process; a method used successfully for skin wound healing and cartilage repair. Progress in this field has however been limited; possibly due to an over-simplistic choice of donor cell. For tissue engineering purposes it is often assumed that all tendon and ligament cells are similar despite their differing roles and biomechanics. To clarify this, we have characterised cells from various tendons and ligaments of human and rat origin in terms of proliferation, response to dexamethasone and cell surface marker expression.</p> <p>Methods</p> <p>Cells isolated from tendons by collagenase digestion were plated out in DMEM containing 10% fetal calf serum, penicillin/streptomycin and ultraglutamine. Cell number and collagen accumulation were by determined methylene blue and Sirius red staining respectively. Expression of cell surface markers was established by flow cytometry.</p> <p>Results</p> <p>In the CFU-f assay, human PT-derived cells produced more and bigger colonies suggesting the presence of more progenitor cells with a higher proliferative capacity. Dexamethasone had no effect on colony number in ACL or PT cells but 10 nM dexamethasone increased colony size in ACL cultures whereas higher concentrations decreased colony size in both ACL and PT cultures. In secondary subcultures, dexamethasone had no significant effect on PT cultures whereas a stimulation was seen at low concentrations in the ACL cultures and an inhibition at higher concentrations. Collagen accumulation was inhibited with increasing doses in both ACL and PT cultures. This differential response was also seen in rat-derived cells with similar differences being seen between Achilles, Patellar and tail tendon cells. Cell surface marker expression was also source dependent; CD90 was expressed at higher levels by PT cells and in both humans and rats whereas D7fib was expressed at lower levels by PT cells in humans.</p> <p>Conclusion</p> <p>These data show that tendon & ligament cells from different sources possess intrinsic differences in terms of their growth, dexamethasone responsiveness and cell surface marker expression. This suggests that for tissue engineering purposes the cell source must be carefully considered to maximise their efficacy.</p

Modelling creativity: identifying key components through a corpus-based approach

Creativity is a complex, multi-faceted concept encompassing a variety of related aspects, abilities, properties and behaviours. If we wish to study creativity scientifically, then a tractable and well-articulated model of creativity is required. Such a model would be of great value to researchers investigating the nature of creativity and in particular, those concerned with the evaluation of creative practice. This paper describes a unique approach to developing a suitable model of how creative behaviour emerges that is based on the words people use to describe the concept. Using techniques from the field of statistical natural language processing, we identify a collection of fourteen key components of creativity through an analysis of a corpus of academic papers on the topic. Words are identified which appear significantly often in connection with discussions of the concept. Using a measure of lexical similarity to help cluster these words, a number of distinct themes emerge, which collectively contribute to a comprehensive and multi-perspective model of creativity. The components provide an ontology of creativity: a set of building blocks which can be used to model creative practice in a variety of domains. The components have been employed in two case studies to evaluate the creativity of computational systems and have proven useful in articulating achievements of this work and directions for further research