Compositional nonblocking verification with always enabled events and selfloop-only events

This paper proposes to improve compositional nonblocking verification through the use of always enabled and selfloop-only events. Compositional verification involves abstraction to simplify parts of a system during verification. Normally, this abstraction is based on the set of events not used in the remainder of the system, i.e., in the part of the system not being simplified. Here, it is proposed to exploit more knowledge about the system and abstract events even though they are used in the remainder of the system. Abstraction rules from previous work are generalised, and experimental results demonstrate the applicability of the resulting algorithm to verify several industrial-scale discrete event system models, while achieving better state-space reduction than before

Corticosterone Potentiation of Cocaine-Induced Reinstatement of Conditioned Place Preference in Mice is Mediated by Blockade of the Organic Cation Transporter 3

The mechanisms by which stressful life events increase the risk of relapse in recovering cocaine addicts are not well understood. We previously reported that stress, via elevated corticosterone, potentiates cocaine-primed reinstatement of cocaine seeking following self-administration in rats and that this potentiation appears to involve corticosterone-induced blockade of dopamine clearance via the organic cation transporter 3 (OCT3). In the present study, we use a conditioned place preference/reinstatement paradigm in mice to directly test the hypothesis that corticosterone potentiates cocaine-primed reinstatement by blockade of OCT3. Consistent with our findings following self-administration in rats, pretreatment of male C57/BL6 mice with corticosterone (using a dose that reproduced stress-level plasma concentrations) potentiated cocaine-primed reinstatement of extinguished cocaine-induced conditioned place preference. Corticosterone failed to re-establish extinguished preference alone but produced a leftward shift in the dose–response curve for cocaine-primed reinstatement. A similar potentiating effect was observed upon pretreatment of mice with the non-glucocorticoid OCT3 blocker, normetanephrine. To determine the role of OCT3 blockade in these effects, we examined the abilities of corticosterone and normetanephrine to potentiate cocaine-primed reinstatement in OCT3-deficient and wild-type mice. Conditioned place preference, extinction and reinstatement of extinguished preference in response to low-dose cocaine administration did not differ between genotypes. However, corticosterone and normetanephrine failed to potentiate cocaine-primed reinstatement in OCT3-deficient mice. Together, these data provide the first direct evidence that the interaction of corticosterone with OCT3 mediates corticosterone effects on drug-seeking behavior and establish OCT3 function as an important determinant of susceptibility to cocaine use

Dominant features in three-dimensional turbulence structure: comparison of non-uniform accelerating and decelerating flows

The results are presented from an experimental study to investigate three-dimensional turbulence structure profiles, including turbulence intensity and Reynolds stress, of different non-uniform open channel flows over smooth bed in subcritical flow regime. In the analysis, the uniform flow profiles have been used to compare with those of the non-uniform flows to investigate their time-averaged spatial flow turbulence structure characteristics. The measured non-uniform velocity profiles are used to verify the von Karman constant κ and to estimate sets of log-law integration constant B r and wake parameter П, where their findings are also compared with values from previous studies. From κ, B r and П findings, it has been found that the log-wake law can sufficiently represent the non-uniform flow in its non-modified form, and all κ, B r and П follow universal rules for different bed roughness conditions. The non-uniform flow experiments also show that both the turbulence intensity and Reynolds stress are governed well by exponential pressure gradient parameter β equations. Their exponential constants are described by quadratic functions in the investigated β range. Through this experimental study, it has been observed that the decelerating flow shows higher empirical constants, in both the turbulence intensity and Reynolds stress compared to the accelerating flow. The decelerating flow also has stronger dominance to determine the flow non-uniformity, because it presents higher Reynolds stress profile than uniform flow, whereas the accelerating flow does not

A meta-analysis and critical review of prospective memory in autism spectrum disorder

Prospective memory (PM) is the ability to remember to carry out a planned intention at an appropriate moment in the future. Research on PM in ASD has produced mixed results. We aimed to establish the extent to which two types of PM (event-based/time-based) are impaired in ASD. In part 1, a meta-analysis of all existing studies indicates a large impairment of time-based, but only a small impairment of event-based, PM in ASD. In Part 2, a critical review concludes that time-based PM appears diminished in ASD, in line with the meta-analysis, but that caution should be taken when interpreting event-based PM findings, given potential methodological limitations of several studies. Clinical implications and directions for future research are discussed

Understanding underutilisation: Methods for studying fruit and vegetable buying behaviours

This paper outlines research focused on understanding why people do or do not buy underutilised fruit and vegetables. This will inform the design of future interventions to promote more sustainable food related behaviour. A background to underutilised crops and food sustainability is provided. This is followed by an overview of the proposed method for capturing the entire purchasing and consumption experience using wearable cameras

Multi-messenger observations of a binary neutron star merger

On 2017 August 17 a binary neutron star coalescence candidate (later designated GW170817) with merger time 12:41:04 UTC was observed through gravitational waves by the Advanced LIGO and Advanced Virgo detectors. The Fermi Gamma-ray Burst Monitor independently detected a gamma-ray burst (GRB 170817A) with a time delay of ~1.7 s with respect to the merger time. From the gravitational-wave signal, the source was initially localized to a sky region of 31 deg2 at a luminosity distance of 40+8-8 Mpc and with component masses consistent with neutron stars. The component masses were later measured to be in the range 0.86 to 2.26 Mo. An extensive observing campaign was launched across the electromagnetic spectrum leading to the discovery of a bright optical transient (SSS17a, now with the IAU identification of AT 2017gfo) in NGC 4993 (at ~40 Mpc) less than 11 hours after the merger by the One- Meter, Two Hemisphere (1M2H) team using the 1 m Swope Telescope. The optical transient was independently detected by multiple teams within an hour. Subsequent observations targeted the object and its environment. Early ultraviolet observations revealed a blue transient that faded within 48 hours. Optical and infrared observations showed a redward evolution over ~10 days. Following early non-detections, X-ray and radio emission were discovered at the transient’s position ~9 and ~16 days, respectively, after the merger. Both the X-ray and radio emission likely arise from a physical process that is distinct from the one that generates the UV/optical/near-infrared emission. No ultra-high-energy gamma-rays and no neutrino candidates consistent with the source were found in follow-up searches. These observations support the hypothesis that GW170817 was produced by the merger of two neutron stars in NGC4993 followed by a short gamma-ray burst (GRB 170817A) and a kilonova/macronova powered by the radioactive decay of r-process nuclei synthesized in the ejecta

The Influence of Object Relative Size on Priming and Explicit Memory

We investigated the effects of object relative size on priming and explicit memory for color photos of common objects. Participants were presented with color photos of pairs of objects displayed in either appropriate or inappropriate relative sizes. Implicit memory was assessed by speed of object size ratings whereas explicit memory was assessed by an old/new recognition test. Study-to-test changes in relative size reduced both priming and explicit memory and had large effects for objects displayed in large vs. small size at test. Our findings of substantial size-specific influences on priming with common objects under some but not other conditions are consistent with instance views of object perception and priming but inconsistent with structural description views

Cognitive activity for the treatment of older adults with mild Alzheimer's Disease (AD) - PACE AD: study protocol for a randomised controlled trial

<p>Abstract</p> <p>Background</p> <p>Participation in cognitive stimulation therapy (CST) may reduce the rate of cognitive decline in people with Alzheimer's disease (AD), however it is unclear if the training of carers to deliver activities is sufficient to improve the clinical outcome of patients. The Promoting Healthy Ageing with Cognitive Exercise for Alzheimer's Disease (PACE-AD) study has been designed to determine if change in cognitive function over a six month period can be achieved with participation in cognitive stimulating activities when the intervention is delivered to carers only as opposed to carers and patients.</p> <p>Methods/Design</p> <p>The study will aim to recruit 128 community-dwelling men and women with probable AD according to NINCDS-ADRDS criteria. Participants will be randomly allocated to one of two cognitive activity treatment groups: (1) Participants with mild AD and their companions together (2) Companions of participants with mild AD alone. The intervention will consist of a twelve-week program of cognitive stimulation. Seven weeks of the program will involve 90-minute group sessions delivered once per week while the remaining weeks of the program will involve structured home based activities with telephone support. The primary outcome measure of the study is the change from baseline in the total score on the Alzheimer Disease Assessment Scale-Cognitive (ADAS-COG). Secondary outcomes of interest include changes in health related quality of life, mood, memory, language, executive functions, independent living abilities and psychiatric symptoms for participants with mild AD. Changes in companion quality of life, mood, and general health will also be monitored. Primary endpoints will be collected 13 and 26 weeks after the baseline assessment.</p> <p>Discussion</p> <p>The proposed project will provide evidence as to whether CST for people with AD and their companions is more beneficial than when used for companions alone. Outcomes sought include a reduction of further cognitive decline and improved quality of life amongst older adults with mild AD. We anticipate that the results of this study will have implications for the development of cost-effective evidence-based best practice to treat people with mild AD.</p> <p>Trial registration</p> <p><a href="http://www.anzctr.org.au/ACTRN12610000653066.aspx">ACTRN12610000653066</a></p