15 research outputs found
The Effects of Isontonic Resistance Exercise on the Muscles of Mastication
Item does not contain fulltex
Precondition Inference via Partitioning of Initial States
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
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
Tetrahydrocannabinol in de behandeling van dementie-gerelateerd probleemgedrag
Item does not contain fulltext4 p
Effectiveness and tolerability of oral vs subcutaneous methotrexate in patients with rheumatoid arthritis
Cannabinoids for pain in dementia: the good, the bad, and the ugly
Item does not contain fulltex
Cannabinoids in late-onset Alzheimer's disease
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