82 research outputs found

    TLA+ Proofs

    Get PDF
    TLA+ is a specification language based on standard set theory and temporal logic that has constructs for hierarchical proofs. We describe how to write TLA+ proofs and check them with TLAPS, the TLA+ Proof System. We use Peterson's mutual exclusion algorithm as a simple example to describe the features of TLAPS and show how it and the Toolbox (an IDE for TLA+) help users to manage large, complex proofs.Comment: A shorter version of this article appeared in the proceedings of the conference Formal Methods 2012 (FM 2012, Paris, France, Springer LNCS 7436, pp. 147-154

    A review of the cognitive effects observed in humans following acute supplementation with flavonoids, and their associated mechanisms of action

    Get PDF
    Flavonoids are polyphenolic compounds found in varying concentrations in many plant-based foods. Recent studies suggest that flavonoids can be beneficial to both cognitive and physiological health. Long term flavonoid supplementation over a period of weeks or months has been extensively investigated and reviewed, particularly with respect to cognitive ageing and neurodegenerative disease. Significantly less focus has been directed towards the short term effects of single doses of flavonoids on cognition. Here, we review 21 such studies with particular emphasis on the subclass and dose of flavonoids administered, the cognitive domains affected by flavonoid supplementation, and the effect size of the response. The emerging evidence suggests that flavonoids may be beneficial to attention, working memory, and psychomotor processing speed in a general population. Episodic memory effects are less well defined and may be restricted to child or older adult populations. The evidence also points towards a dose-dependent effect of flavonoids, but the physiological mechanisms of action remain unclear. Overall, there is encouraging evidence that flavonoid supplementation can benefit cognitive outcomes within an acute time frame of 0–6 h. But larger studies, combining cognitive and physiological measures, are needed to strengthen the evidence base

    Flavonoid-Rich Mixed Berries Maintain and Improve Cognitive Function Over a 6h Period in Young Healthy Adults

    Get PDF
    Research with young adults has previously indicated flavonoid-rich berry interventions facilitate improved executive function (EF) and positive affect 20 min–2 h post-dosing. There has been little consideration of the impact of a berry intervention over a working day and interventions have also tended to consider only a single berry type. This study investigated the temporal profile of EF and mood changes over a 6 h period following a mixed-berry intervention. We hypothesized berry-related benefits would be most evident when participants were cognitively compromised on demanding elements of the task or during periods of fatigue. The study employed a single-blind, randomized, placebo controlled, between-subjects design. Forty participants aged 20–30 years consumed a 400 mL smoothie containing equal blueberry, strawberry, raspberry, and blackberry (n = 20) or matched placebo (n = 20). Mood was assessed using the Positive and Negative Affect Schedule; EF was tested using the Modified Attention Network (MANT) and Task Switching (TST) Tasks. Testing commenced at baseline then 2, 4 and 6 h post-dosing. As expected, following placebo intervention, performance decreased across the day as participants became cognitively fatigued. However, following berry intervention, participants maintained accuracy on both cognitive tasks up to and including 6 h, and demonstrated quicker response times on the MANT at 2 and 4 h, and TST at 6 h. This study demonstrates the efficacy of flavonoid rich berries in maintaining or improving cognitive performance across the 6 h day
    • 

    corecore