20,959 research outputs found

    Efficient, Near Complete and Often Sound Hybrid Dynamic Data Race Prediction (extended version)

    Full text link
    Dynamic data race prediction aims to identify races based on a single program run represented by a trace. The challenge is to remain efficient while being as sound and as complete as possible. Efficient means a linear run-time as otherwise the method unlikely scales for real-world programs. We introduce an efficient, near complete and often sound dynamic data race prediction method that combines the lockset method with several improvements made in the area of happens-before methods. By near complete we mean that the method is complete in theory but for efficiency reasons the implementation applies some optimizations that may result in incompleteness. The method can be shown to be sound for two threads but is unsound in general. We provide extensive experimental data that shows that our method works well in practice.Comment: typos, appendi

    The effects of latent variables in the development of comorbidity among common mental disorders

    Get PDF
    Background: Although numerous studies have examined the role of latent predispositions to internalizing and externalizing disorders in the structure of comorbidity among common mental disorders, none examined latent predispositions in predicting development of comorbidity. Methods: A novel method was used to study the role of latent variables in the development of comorbidity among lifetime DSM-IV disorders in the National Comorbidity Surveys. Broad preliminary findings are briefly presented to describe the method. The method used survival analysis to estimate time-lagged associations among 18 lifetime DSM-IV anxiety, mood, behavior, and substance disorders. A novel estimation approach examined the extent to which these predictive associations could be explained by latent canonical variables representing internalizing and externalizing disorders. Results: Consistently significant positive associations were found between temporally primary and secondary disorders. Within-domain time-lagged associations were generally stronger than between-domain associations. The vast majority of associations were explained by a model that assumed mediating effects of latent internalizing and externalizing variables, although the complexity of this model differed across samples. A number of intriguing residual associations emerged that warrant further investigation. Conclusions: The good fit of the canonical model suggests that common causal pathways account for most comorbidity among the disorders considered. These common pathways should be the focus of future research on the development of comorbidity. However, the existence of several important residual associations shows that more is involved than simple mediation. The method developed to carry out these analyses provides a unique way to pinpoint these significant residual associations for subsequent focused study. Depression and Anxiety, 2011. (c) 2011 Wiley-Liss, Inc

    GraphLab: A New Framework for Parallel Machine Learning

    Full text link
    Designing and implementing efficient, provably correct parallel machine learning (ML) algorithms is challenging. Existing high-level parallel abstractions like MapReduce are insufficiently expressive while low-level tools like MPI and Pthreads leave ML experts repeatedly solving the same design challenges. By targeting common patterns in ML, we developed GraphLab, which improves upon abstractions like MapReduce by compactly expressing asynchronous iterative algorithms with sparse computational dependencies while ensuring data consistency and achieving a high degree of parallel performance. We demonstrate the expressiveness of the GraphLab framework by designing and implementing parallel versions of belief propagation, Gibbs sampling, Co-EM, Lasso and Compressed Sensing. We show that using GraphLab we can achieve excellent parallel performance on large scale real-world problems

    Estimating HIV Medication Adherence and Persistence: Two Instruments for Clinical and Research Use

    Get PDF
    Antiretroviral therapy (ART) requires lifelong daily oral therapy. While patient characteristics associated with suboptimal ART adherence and persistence have been described in cohorts of HIV-infected persons, these factors are poor predictors of individual medication taking behaviors. We aimed to create and test instruments for the estimation of future ART adherence and persistence for clinical and research applications. Following formative work, a battery of 148 items broadly related to HIV infection and treatment was developed and administered to 181 HIV-infected patients. ART adherence and persistence were assessed using electronic monitoring for 3 months. Perceived confidence in medication taking and self-reported barriers to adherence were strongest in predicting non-adherence over time. Barriers to adherence (e.g., affordability, scheduling) were the strongest predictors of non-adherence, as well as 3- and 7-day non-persistence. A ten-item battery for prediction of these outcomes (www.med.unc.edu/ncaidstraining/adherence/for-providers) and a 30-item battery reflective of underlying psychological constructs can help identify and study individuals at risk for suboptimal ART adherence and persistence
    • …
    corecore