11,171 research outputs found

    A corrected formulation for marginal inference derived from two-part mixed models for longitudinal semi-continuous data

    Get PDF
    For semi-continuous data which are a mixture of true zeros and continuously distributed positive values, the use of two-part mixed models provides a convenient modelling framework. However, deriving population-averaged (marginal) effects from such models is not always straightforward. Su et al. presented a model that provided convenient estimation of marginal effects for the logistic component of the two-part model but the specification of marginal effects for the continuous part of the model presented in that paper was based on an incorrect formulation. We present a corrected formulation and additionally explore the use of the two-part model for inferences on the overall marginal mean, which may be of more practical relevance in our application and more generally.This work was supported by the Medical Research Council (Unit Programme number U105261167)

    Discovering Implicational Knowledge in Wikidata

    Full text link
    Knowledge graphs have recently become the state-of-the-art tool for representing the diverse and complex knowledge of the world. Examples include the proprietary knowledge graphs of companies such as Google, Facebook, IBM, or Microsoft, but also freely available ones such as YAGO, DBpedia, and Wikidata. A distinguishing feature of Wikidata is that the knowledge is collaboratively edited and curated. While this greatly enhances the scope of Wikidata, it also makes it impossible for a single individual to grasp complex connections between properties or understand the global impact of edits in the graph. We apply Formal Concept Analysis to efficiently identify comprehensible implications that are implicitly present in the data. Although the complex structure of data modelling in Wikidata is not amenable to a direct approach, we overcome this limitation by extracting contextual representations of parts of Wikidata in a systematic fashion. We demonstrate the practical feasibility of our approach through several experiments and show that the results may lead to the discovery of interesting implicational knowledge. Besides providing a method for obtaining large real-world data sets for FCA, we sketch potential applications in offering semantic assistance for editing and curating Wikidata

    A molecular line survey of CRL 2688 at 1 mm and 3 mm wavelengths

    Get PDF
    Author: Dinh-V-Trung (Dinh, VT) = Dinh Van TrungIt is well established that circumstellar envelopes (CSEs) around evolved stars are active sites of molecular synthesis, and CSEs are one of the major sources of chemical enrichment in the interstellar space. The investigation of molecular compositions in CSEs is essential to understand the chemical evolution of the Galaxy. In order to study circumstellar chemistry in different environments, we have been systematically performing molecular line surveys of a sample of evolved stars from asymptotic giant branch (AGB) stars, proto-planetary nebulae (PPNs), to planetary nebulae (PNs). The dynamical time scales in different evolutionary stages can impose a time limit on the reaction time scales. Here we report our results for CRL 2688. © 2013 International Astronomical Union.published_or_final_versio

    Protocol-based verification of message-passing parallel programs

    Get PDF
    © 2015 ACM.We present ParTypes, a type-based methodology for the verification of Message Passing Interface (MPI) programs written in the C programming language. The aim is to statically verify programs against protocol specifications, enforcing properties such as fidelity and absence of deadlocks. We develop a protocol language based on a dependent type system for message-passing parallel programs, which includes various communication operators, such as point-to-point messages, broadcast, reduce, array scatter and gather. For the verification of a program against a given protocol, the protocol is first translated into a representation read by VCC, a software verifier for C. We successfully verified several MPI programs in a running time that is independent of the number of processes or other input parameters. This contrasts with alternative techniques, notably model checking and runtime verification, that suffer from the state-explosion problem or that otherwise depend on parameters to the program itself. We experimentally evaluated our approach against state-of-the-art tools for MPI to conclude that our approach offers a scalable solution

    Arsenic removal by a membrane hybrid filtration system

    Full text link
    Arsenic is a toxic semi-metallic element that can be fatal to human health. Membrane filtration can remove a number of contaminants from water, including arsenic. Removal of arsenic by membrane filtration is highly dependent on the species of arsenic and the properties of the membrane. The performance of the nanofilter is better for removing As(V) than As(III). About 57% of As(III) and 81% of As(V) was removed from 500 mg/L arsenic solutions by nanofiltration (NTR729HF, Nitto Denko Corp., Japan) of 700 molecular weight (MW) cutoff. The removal efficiency of microfiltration (MF) was much lower than that of nanofiltration (NF) due to its larger pore size. By comparison only 37% of As(III) and 40% of As(V) were removed by microfiltration (PVA membrane, Pure-Envitech, Korea). However, the removal efficiency of microfiltration was increased dramatically when a small amount of nanoscale zero valent iron (nZVI) was added. The removal efficiency by MF increased up to 90% with As(V) and 84% with As(III) when an amount of 0.1 g/L of nZVI was added into the arsenic solution. © 2008 Elsevier B.V. All rights reserved

    Smoking reduction intervention for smokers not willing to quit smoking: a randomised controlled trial

    Get PDF
    Key Messages 1. This smoking reduction study examined the effectiveness of smoking reduction counselling together with free nicotine replacement therapy (NRT) for smoking cessation and tested the effectiveness of brief counselling on adherence to NRT among Chinese smokers who were not willing to quit but intended to reduce cigarette consumption. 2. The smoking reduction intervention was effective in helping the unmotivated smokers in quitting (intervention: 17.0% vs control: 10.2%, P=0.012) and in reducing their daily cigarette consumption by 50% or more (intervention: 50.9% vs control: 25.7%, P<0.001) at 6-month follow-up. 3. Our results provided evidence for the effectiveness of smoking reduction intervention, which is important for planning smoking cessation services. 4. Free NRT was widely accepted by participants (8-week NRT adherence rate: 54.5%). Free NRT together with smoking reduction counselling was a feasible and cost-effective approach to help unmotivated smokers to reduce and quit smoking, especially in developing countries like China where NRT is expensive and not used extensively. 5. The motivation to quit smoking was not undermined by smoking reduction intervention. To the contrary, offering assistance to reduce smoking could attract smokers who were not willing or ready to quit.published_or_final_versio
    corecore