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

Tryptophan depletion in chronic fatigue syndrome, a pilot cross-over study

Background: Chronic fatigue syndrome (CFS) is still an enigmatic disorder. CFS can be regarded as a complex disorder with tremendous impact on lives of CFS-patients. Full recovery without treatment is rare. A somatic explanation for the fatigue is lacking. There is clinical and experimental evidence implicating enhanced serotonergic neurotransmission in CFS. Genetic studies and imaging studies support the hypothesis of upregulated serotonin system in CFS. In line with the hypothesis of an increased serotonergic state in CFS, we performed a randomised clinical trial investigated the effect of 5-HT3 receptor antagonism in CFS. No benefit was found of the 5-HT3 receptor antagonist ondansetron compared to placebo. To further investigate the involvement of serotonin in CFS we performed a placebo controlled cross over pilot study investigating the effect of Acute Tryptophan Depletion. Findings: Five female CFS-patients who met the US Center for Disease Control and Prevention criteria for CFS were recruited. There were two test days, one week apart. Each participant received placebo and ATD. To evaluate the efficacy of the ATD procedure tryptophan and the large neutral amino acids were measured. The outcome measures were fatigue severity, concentration and mood states. ATD resulted in a significant plasma tryptophan to large neutral amino acid ratio reduction of 96%. There were no significant differences in fatigue-, depression and concentration between the placebo- and ATD condition. Conclusions: These first five CFS-patients did not respond to the ATD procedure. However, a much larger sample size is needed to draw final conclusions on the hypothesis of an increased serotonergic state in the pathophysiology of CFS. Trial registration: ISRCTN0751814

Antwoord aan Nolen en Knoppert-van der Klein n.a.v. reactie op 'Een patiënte met een manische episode na gebruik van een afslankmiddel'.

Contains fulltext : 127385.pdf (publisher's version ) (Open Access

De vrije wil bestaat niet, leve de vrije wil

Item does not contain fulltex

MDMA Study

Item does not contain fulltext1 p

Vijf jaar A- en B- dwangbehandeling in FPC de Pompestichting. Een evaluatie van toegepaste dwangbehandelingen onder de Beginselenwet verpleging ter beschikking gestelden

Item does not contain fulltext7 p

Better estimate of plasma serotonin by use of a percoll-density-gradient

Item does not contain fulltex

De multidimensionele dader. Oratie uitgesproken op 24 september 2015 bij het aanvaarden van de bijzondere leerstoel forensische psychiatrie, Faculteit Rechtsgeleerdheid, Radboud Universiteit, Nijmegen

Item does not contain fulltext24 september 201

Farmacotherapie van agressie, agitatie en seksueel delictgedrag

Item does not contain fulltex