870 research outputs found

    Advances in DIY Health and Wellbeing

    Get PDF
    The choice of consumer healthcare and wellbeing technologies has never been greater, and the introduction of consumer wearable technologies and inexpensive sensor kits means that developing bespoke personalized health devices is now possible. For example, there is a growing community making DIY diabetes technologies and the trend is spreading to other health areas where people want to design, customize, manufacture and disseminate their own DIY health and wellbeing technologies. Although the CHI community has started to investigate these trends, the pace that motivated open-source health 'makers' and 'hackers' are developing technologies means that there is a need to bring together researchers to discuss the HCI implications of this changing landscape

    Proof Relevant Corecursive Resolution

    Full text link
    Resolution lies at the foundation of both logic programming and type class context reduction in functional languages. Terminating derivations by resolution have well-defined inductive meaning, whereas some non-terminating derivations can be understood coinductively. Cycle detection is a popular method to capture a small subset of such derivations. We show that in fact cycle detection is a restricted form of coinductive proof, in which the atomic formula forming the cycle plays the role of coinductive hypothesis. This paper introduces a heuristic method for obtaining richer coinductive hypotheses in the form of Horn formulas. Our approach subsumes cycle detection and gives coinductive meaning to a larger class of derivations. For this purpose we extend resolution with Horn formula resolvents and corecursive evidence generation. We illustrate our method on non-terminating type class resolution problems.Comment: 23 pages, with appendices in FLOPS 201

    Gamma-Ray Telescopes (in "400 Years of Astronomical Telescopes")

    Full text link
    The last half-century has seen dramatic developments in gamma-ray telescopes, from their initial conception and development through to their blossoming into full maturity as a potent research tool in astronomy. Gamma-ray telescopes are leading research in diverse areas such as gamma-ray bursts, blazars, Galactic transients, and the Galactic distribution of aluminum-26.Comment: 11 pages, 6 figures/ in "400 Years of Astronomical Telescopes: A Review of History, Science and Technology", ed. B.R. Brandl, R. Stuik, & J.K. Katgert-Merkeli (Exp. Astron. 26, 111-122 [2009]

    Features of mammalian microRNA promoters emerge from polymerase II chromatin immunoprecipitation data

    Get PDF
    Background: MicroRNAs (miRNAs) are short, non-coding RNA regulators of protein coding genes. miRNAs play a very important role in diverse biological processes and various diseases. Many algorithms are able to predict miRNA genes and their targets, but their transcription regulation is still under investigation. It is generally believed that intragenic miRNAs (located in introns or exons of protein coding genes) are co-transcribed with their host genes and most intergenic miRNAs transcribed from their own RNA polymerase II (Pol II) promoter. However, the length of the primary transcripts and promoter organization is currently unknown. Methodology: We performed Pol II chromatin immunoprecipitation (ChIP)-chip using a custom array surrounding regions of known miRNA genes. To identify the true core transcription start sites of the miRNA genes we developed a new tool (CPPP). We showed that miRNA genes can be transcribed from promoters located several kilobases away and that their promoters share the same general features as those of protein coding genes. Finally, we found evidence that as many as 26% of the intragenic miRNAs may be transcribed from their own unique promoters. Conclusion: miRNA promoters have similar features to those of protein coding genes, but miRNA transcript organization is more complex. © 2009 Corcoran et al

    Circulating markers of arterial thrombosis and late-stage age-related macular degeneration: a case-control study.

    No full text
    PURPOSE: The aim of this study was to examine the relation of late-stage age-related macular degeneration (AMD) with markers of systemic atherothrombosis. METHODS: A hospital-based case-control study of AMD was undertaken in London, UK. Cases of AMD (n=81) and controls (n=77) were group matched for age and sex. Standard protocols were used for colour fundus photography and to classify AMD; physical examination included height, weight, history of or treatment for vascular-related diseases and smoking status. Blood samples were taken for measurement of fibrinogen, factor VIIc (FVIIc), factor VIIIc, prothrombin fragment F1.2 (F1.2), tissue plasminogen activator, and von Willebrand factor. Odds ratios from logistic regression analyses of each atherothrombotic marker with AMD were adjusted for age, sex, and established cardiovascular disease risk factors, including smoking, blood pressure, body mass index, and total cholesterol. RESULTS: After adjustment FVIIc and possibly F1.2 were inversely associated with the risk of AMD; per 1 standard deviation increase in these markers the odds ratio were, respectively, 0.62 (95% confidence interval 0.40, 0.95) and 0.71 (0.46, 1.09). None of the other atherothrombotic risk factors appeared to be related to AMD status. There was weak evidence that aspirin is associated with a lower risk of AMD. CONCLUSIONS: This study does not provide strong evidence of associations between AMD and systematic markers of arterial thrombosis, but the potential effects of FVIIc, and F1.2 are worthy of further investigation

    Lattice Boltzmann simulations of soft matter systems

    Full text link
    This article concerns numerical simulations of the dynamics of particles immersed in a continuum solvent. As prototypical systems, we consider colloidal dispersions of spherical particles and solutions of uncharged polymers. After a brief explanation of the concept of hydrodynamic interactions, we give a general overview over the various simulation methods that have been developed to cope with the resulting computational problems. We then focus on the approach we have developed, which couples a system of particles to a lattice Boltzmann model representing the solvent degrees of freedom. The standard D3Q19 lattice Boltzmann model is derived and explained in depth, followed by a detailed discussion of complementary methods for the coupling of solvent and solute. Colloidal dispersions are best described in terms of extended particles with appropriate boundary conditions at the surfaces, while particles with internal degrees of freedom are easier to simulate as an arrangement of mass points with frictional coupling to the solvent. In both cases, particular care has been taken to simulate thermal fluctuations in a consistent way. The usefulness of this methodology is illustrated by studies from our own research, where the dynamics of colloidal and polymeric systems has been investigated in both equilibrium and nonequilibrium situations.Comment: Review article, submitted to Advances in Polymer Science. 16 figures, 76 page

    Socioeconomic position across the lifecourse & allostatic load: data from the West of Scotland Twenty-07 cohort study

    Get PDF
    Background: We examined how socioeconomic position (SEP) across the lifecourse (three critical periods, social mobility and accumulated over time) is associated with allostatic load (a measure of cumulative physiological burden). Methods. Data are from the West of Scotland Twenty-07 Study, with respondents aged 35 (n = 740), 55 (n = 817) and 75 (n = 483). SEP measures representing childhood, the transition to adulthood and adulthood SEP were used. Allostatic load was produced by summing nine binary biomarker scores (1 = in the highest-risk quartile). Linear regressions were used for each of the lifecourse models; with model fits compared using partial F-tests. Results: For those aged 35 and 55, higher SEP was associated with lower allostatic load (no association in the 75-year-olds). The accumulation model (more time spent with higher SEP) had the best model fit in those aged 35 (b = -0.50, 95%CI = -0.68, -0.32, P = 0.002) and 55 (b = -0.31, 95%CI = -0.49, -0.12, P < 0.001). However, the relative contributions of each life-stage differed, with adulthood SEP less strongly associated with allostatic load. Conclusions: Long-term, accumulated higher SEP has been shown to be associated with lower allostatic load (less physiological burden). However, the transition to adulthood may represent a particularly sensitive period for SEP to impact on allostatic load. © 2014 Robertson et al.; licensee BioMed Central Ltd

    A Measurement of Rb using a Double Tagging Method

    Get PDF
    The fraction of Z to bbbar events in hadronic Z decays has been measured by the OPAL experiment using the data collected at LEP between 1992 and 1995. The Z to bbbar decays were tagged using displaced secondary vertices, and high momentum electrons and muons. Systematic uncertainties were reduced by measuring the b-tagging efficiency using a double tagging technique. Efficiency correlations between opposite hemispheres of an event are small, and are well understood through comparisons between real and simulated data samples. A value of Rb = 0.2178 +- 0.0011 +- 0.0013 was obtained, where the first error is statistical and the second systematic. The uncertainty on Rc, the fraction of Z to ccbar events in hadronic Z decays, is not included in the errors. The dependence on Rc is Delta(Rb)/Rb = -0.056*Delta(Rc)/Rc where Delta(Rc) is the deviation of Rc from the value 0.172 predicted by the Standard Model. The result for Rb agrees with the value of 0.2155 +- 0.0003 predicted by the Standard Model.Comment: 42 pages, LaTeX, 14 eps figures included, submitted to European Physical Journal

    Impaired Representation of Geometric Relationships in Humans with Damage to the Hippocampal Formation

    Get PDF
    The pivotal role of the hippocampus for spatial memory is well-established. However, while neurophysiological and imaging studies suggest a specialization of the hippocampus for viewpoint-independent or allocentric memory, results from human lesion studies have been less conclusive. It is currently unclear whether disproportionate impairment in allocentric memory tasks reflects impairment of cognitive functions that are not sufficiently supported by regions outside the medial temporal lobe or whether the deficits observed in some studies are due to experimental factors. Here, we have investigated whether hippocampal contributions to spatial memory depend on the spatial references that are available in a certain behavioral context. Patients with medial temporal lobe lesions affecting systematically the right hippocampal formation performed a series of three oculomotor tasks that required memory of a spatial cue either in retinal coordinates or relative to a single environmental reference across a delay of 5000 ms. Stimulus displays varied the availability of spatial references and contained no complex visuo-spatial associations. Patients showed a selective impairment in a condition that critically depended on memory of the geometric relationship between spatial cue and environmental reference. We infer that regions of the medial temporal lobe, most likely the hippocampal formation, contribute to behavior in conditions that exceed the potential of viewpoint-dependent or egocentric representations. Apparently, this already applies to short-term memory of simple geometric relationships and does not necessarily depend on task difficulty or integration of landmarks into more complex representations. Deficient memory of basic geometric relationships may represent a core deficit that contributes to impaired performance in allocentric spatial memory tasks
    • …
    corecore