SmartEmbed: A tool for clone and bug detection in smart contracts through structural code embedding

Ministry of Education, Singapore under its Academic Research Funding Tier 1authors' own version</p

Age-related changes in afferent pathways and urothelial function in the male mouse bladder

Key points •The prevalence of bladder conditions such as overactive bladder syndrome and urinary incontinence significantly increases with age, but how bladder function is altered by ageing is unclear. •Sensory nerves together with the epithelial lining of the bladder known as the urothelium play a key role in mediating bladder function. •In aged male mice we find a significant increase in natural bladder voiding, augmented afferent nerve firing during bladder filling and a significant increase in urothelial responses to purinergic receptor stimulation. •This suggests that with ageing there is increased purinergic transmission in the mouse bladder which may lead to increased sensation and result in bladder hypersensitivity. •These findings help us better understand how the function of the bladder may be affected by advancing age. Abstract The prevalence of lower urinary tract storage disorders such as overactive bladder syndrome and urinary incontinence significantly increase with age. Previous studies have demonstrated age-related changes in detrusor function and urothelial transmitter release but few studies have investigated how the urothelium and sensory pathways are affected. The aim of this study was to investigate the effect of ageing on urothelial-afferent signalling in the mouse bladder. Three-month-old control and 24-month-old aged male mice were used. In vivo natural voiding behaviour, sensory nerve activity, urothelial cell function, muscle contractility, transmitter release and gene and protein expression were measured to identify how all three components of the bladder (neural, contractile and urothelial) are affected by ageing. In aged mice, increased voiding frequency and enhanced low threshold afferent nerve activity was observed, suggesting that ageing induces overactivity and hypersensitivity of the bladder. These changes were concurrent with altered ATP and acetylcholine bioavailability, measured as transmitter overflow into the lumen, increased purinergic receptor sensitivity and raised P2X3 receptor expression in the urothelium. Taken together, these data suggest that ageing results in aberrant urothelial function, increased afferent mechanosensitivity, increased smooth muscle contractility, and changes in gene and protein expression (including of P2X3). These data are consistent with the hypothesis that ageing evokes changes in purinergic signalling from the bladder, and further studies are now required to fully validate this idea

Recommendations for assessing cognitive risks in young children treated for ependymoma for clinical and research protocols: evidence from a systematic literature review

Background: Current treatment approaches for pediatric ependymoma differ between North American and European studies. Post-surgical adjuvant irradiation is used in children aged <36 months in North America, whilst European approaches use chemotherapy to avoid or defer radiotherapy until three years of age, in order to avoid late neurocognitive toxicity. To establish evidence for the effects of cranial radiotherapy in children aged <36 months with ependymoma on neurocognitive outcomes, we conducted a systematic literature review assessing methodological approaches for measuring neurocognitive outcome. Methods: Eight databases were selected to perform an advanced search, retrieval and systematic review of papers describing neurocognitive outcome in children diagnosed with ependymoma who received cranial radiotherapy at <36 months. Results: Limitations of published data permitted descriptive analysis only. Considerable variation in reporting survival rates, techniques and timing of psychometric testing and the results of neurocognitive outcomes was identified. Conclusions: The review identified significant inconsistencies of neurocognitive testing, particularly literacy skills, developmental time points for testing and methods of data reporting. The role of the cerebellum for cognitive development, especially reading, has been inadequately evaluated in published studies. Recommendations are made to improve assessment methods, and time points for testing, so that reports do not fail to identify children who acquire deficits as they mature through childhood and adolescence. We conclude that claims that radiation treatment for ependymoma administered aged <36 months is associated with limited neurocognitive consequences, are not supported by the literature

Assessing the number of users who are excluded by domestic heating controls

This is the pre-print version of the Article. This Article is also referred to as: "Assessing the 'Design Exclusion' of Heating Controls at a Low-Cost, Low-Carbon Housing Development". - Copyright @ 2011 Taylor & FrancisSpace heating accounts for almost 60% of the energy delivered to housing which in turn accounts for nearly 27% of the total UK's carbon emissions. This study was conducted to investigate the influence of heating control design on the degree of ‘user exclusion’. This was calculated using the Design Exclusion Calculator, developed by the Engineering Design Centre at the University of Cambridge. To elucidate the capability requirements of the system, a detailed hierarchical task analysis was produced, due to the complexity of the overall task. The Exclusion Calculation found that the current design placed excessive demands upon the capabilities of at least 9.5% of the UK population over 16 years old, particularly in terms of ‘vision’, ‘thinking’ and ‘dexterity’ requirements. This increased to 20.7% for users over 60 years old. The method does not account for the level of numeracy and literacy and so the true exclusion may be higher. Usability testing was conducted to help validate the results which indicated that 66% of users at a low-carbon housing development could not programme their controls as desired. Therefore, more detailed analysis of the cognitive demands placed upon the users is required to understand where problems within the programming process occur. Further research focusing on this cognitive interaction will work towards a solution that may allow users to behave easily in a more sustainable manner

Material condition assessment with eddy current sensors

Eddy current sensors and sensor arrays are used for process quality and material condition assessment of conducting materials. In an embodiment, changes in spatially registered high resolution images taken before and after cold work processing reflect the quality of the process, such as intensity and coverage. These images also permit the suppression or removal of local outlier variations. Anisotropy in a material property, such as magnetic permeability or electrical conductivity, can be intentionally introduced and used to assess material condition resulting from an operation, such as a cold work or heat treatment. The anisotropy is determined by sensors that provide directional property measurements. The sensor directionality arises from constructs that use a linear conducting drive segment to impose the magnetic field in a test material. Maintaining the orientation of this drive segment, and associated sense elements, relative to a material edge provides enhanced sensitivity for crack detection at edges

Preliminary genetic evidence of two different populations of Opisthorchis viverrini in Lao PDR

Opisthorchis viverrini is a major public health concern in Southeast Asia. Various reports have suggested that this parasite may represent a species complex, with genetic structure in the region perhaps being dictated by geographical factors and different species of intermediate hosts. We used four microsatellite loci to analyze O. viverrini adult worms originating from six species of cyprinid fish in Thailand and Lao PDR. Two distinct O. viverrini populations were observed. In Ban Phai, Thailand, only one subgroup occurred, hosted by two different fish species. Both subgroups occurred in fish from That Luang, Lao PDR, but were represented to very different degrees among the fish hosts there. Our data suggest that, although geographical separation is more important than fish host specificity in influencing genetic structure, it is possible that two species of Opisthorchis, with little interbreeding, are present near Vientiane in Lao PDR

Garden and landscape-scale correlates of moths of differing conservation status: significant effects of urbanization and habitat diversity

Moths are abundant and ubiquitous in vegetated terrestrial environments and are pollinators, important herbivores of wild plants, and food for birds, bats and rodents. In recent years, many once abundant and widespread species have shown sharp declines that have been cited by some as indicative of a widespread insect biodiversity crisis. Likely causes of these declines include agricultural intensification, light pollution, climate change, and urbanization; however, the real underlying cause(s) is still open to conjecture. We used data collected from the citizen science Garden Moth Scheme (GMS) to explore the spatial association between the abundance of 195 widespread British species of moth, and garden habitat and landscape features, to see if spatial habitat and landscape associations varied for species of differing conservation status. We found that associations with habitat and landscape composition were species-specific, but that there were consistent trends in species richness and total moth abundance. Gardens with more diverse and extensive microhabitats were associated with higher species richness and moth abundance; gardens near to the coast were associated with higher richness and moth abundance; and gardens in more urbanized locations were associated with lower species richness and moth abundance. The same trends were also found for species classified as increasing, declining and vulnerable under IUCN (World Conservation Union) criteria

Towards an Intelligent Tutor for Mathematical Proofs

Computer-supported learning is an increasingly important form of study since it allows for independent learning and individualized instruction. In this paper, we discuss a novel approach to developing an intelligent tutoring system for teaching textbook-style mathematical proofs. We characterize the particularities of the domain and discuss common ITS design models. Our approach is motivated by phenomena found in a corpus of tutorial dialogs that were collected in a Wizard-of-Oz experiment. We show how an intelligent tutor for textbook-style mathematical proofs can be built on top of an adapted assertion-level proof assistant by reusing representations and proof search strategies originally developed for automated and interactive theorem proving. The resulting prototype was successfully evaluated on a corpus of tutorial dialogs and yields good results.Comment: In Proceedings THedu'11, arXiv:1202.453

The current consensus on the clinical management of intracranial ependymoma and its distinct molecular variants

Multiple independent genomic profiling efforts have recently identified clinically and molecularly distinct subgroups of ependymoma arising from all three anatomic compartments of the central nervous system (supratentorial brain, posterior fossa, and spinal cord). These advances motivated a consensus meeting to discuss: (1) the utility of current histologic grading criteria, (2) the integration of molecular-based stratification schemes in future clinical trials for patients with ependymoma and (3) current therapy in the context of molecular subgroups. Discussion at the meeting generated a series of consensus statements and recommendations from the attendees, which comment on the prognostic evaluation and treatment decisions of patients with intracranial ependymoma (WHO Grade II/III) based on the knowledge of its molecular subgroups. The major consensus among attendees was reached that treatment decisions for ependymoma (outside of clinical trials) should not be based on grading (II vs III). Supratentorial and posterior fossa ependymomas are distinct diseases, although the impact on therapy is still evolving. Molecular subgrouping should be part of all clinical trials henceforth