15 research outputs found

    The Effects of Isontonic Resistance Exercise on the Muscles of Mastication

    Get PDF
    Item does not contain fulltex

    Precondition Inference via Partitioning of Initial States

    Full text link
    Precondition inference is a non-trivial task with several applications in program analysis and verification. We present a novel iterative method for automatically deriving sufficient preconditions for safety and unsafety of programs which introduces a new dimension of modularity. Each iteration maintains over-approximations of the set of \emph{safe} and \emph{unsafe} \emph{initial} states. Then we repeatedly use the current abstractions to partition the program's \emph{initial} states into those known to be safe, known to be unsafe and unknown, and construct a revised program focusing on those initial states that are not yet known to be safe or unsafe. An experimental evaluation of the method on a set of software verification benchmarks shows that it can solve problems which are not solvable using previous methods.Comment: 19 pages, 8 figure

    Tetrahydrocannabinol in the treatment of neuropsychiatric symptoms in dementia

    No full text

    Tetrahydrocannabinol in the treatment of neuropsychiatric symptoms in dementia

    Get PDF
    Contains fulltext : 155621.pdf (publisher's version ) (Open Access)Radboud Universiteit Nijmegen, 4 maart 2016Promotores : Olde Rikkert, M.G.M., Verkes, R.J. Co-promotores : Kramers, C., Marck, M.A. van de

    Cannabinoids in late-onset Alzheimer's disease

    No full text
    Item does not contain fulltextGiven the lack of effective treatments for late-onset Alzheimer's disease (LOAD) and the substantial burden on patients, families, health care systems, and economies, finding an effective therapy is one of the highest medical priorities. The past few years have seen a growing interest in the medicinal uses of cannabinoids, the bioactive components of the cannabis plant, including the treatment of LOAD and other physical conditions that are common in older people. Several in vitro and in vivo studies have demonstrated that cannabinoids can reduce oxidative stress, neuroinflammation, and the formation of amyloid plaques and neurofibrillary tangles, the key hallmarks of LOAD. In addition, in population-based studies, cannabinoids reduced dementia-related symptoms (e.g., behavioral disturbances). The current article provides an overview of the potential of cannabinoids in the treatment of LOAD and related neuropsychiatric symptoms in older people. We also discuss the efficacy, safety, and pharmacokinetics of cannabinoid-based drugs in older people with dementia.10 p

    Treatment of dementia

    No full text
    Item does not contain fulltex
    corecore