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

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

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

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

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

An Integrated Decision Making Approach for Adaptive Shared Control of Mobility Assistance Robots

© 2016, Springer Science+Business Media Dordrecht. Mobility assistance robots provide support to elderly or patients during walking. The design of a safe and intuitive assistance behavior is one of the major challenges in this context. We present an integrated approach for the context-specific, on-line adaptation of the assistance level of a rollator-type mobility assistance robot by gain-scheduling of low-level robot control parameters. A human-inspired decision-making model, the drift-diffusion Model, is introduced as the key principle to gain-schedule parameters and with this to adapt the provided robot assistance in order to achieve a human-like assistive behavior. The mobility assistance robot is designed to provide (a) cognitive assistance to help the user following a desired path towards a predefined destination as well as (b) sensorial assistance to avoid collisions with obstacles while allowing for an intentional approach of them. Further, the robot observes the user long-term performance and fatigue to adapt the overall level of (c) physical assistance provided. For each type of assistance a decision-making problem is formulated that affects different low-level control parameters. The effectiveness of the proposed approach is demonstrated in technical validation experiments. Moreover, the proposed approach is evaluated in a user study with 35 elderly persons. Obtained results indicate that the proposed gain-scheduling technique incorporating ideas of human decision-making models shows a general high potential for the application in adaptive shared control of mobility assistance robots

Insulin-Like Peptides and the Target of Rapamycin Pathway Coordinately Regulate Blood Digestion and Egg Maturation in the Mosquito Aedes aegypti

Mosquitoes are insects that vector many serious pathogens to humans and other vertebrates. Most mosquitoes must feed on the blood of a vertebrate host to produce eggs. In turn, multiple cycles of blood feeding promote frequent contacts with hosts and make mosquitoes ideal disease vectors. Both hormonal and nutritional factors are involved in regulating egg development in the mosquito, Aedes aegypti. However, the processes that regulate digestion of the blood meal remain unclear.Here we report that insulin peptide 3 (ILP3) directly stimulated late phase trypsin-like gene expression in blood fed females. In vivo knockdown of the mosquito insulin receptor (MIR) by RNA interference (RNAi) delayed but did not fully inhibit trypsin-like gene expression in the midgut, ecdysteroid (ECD) production by ovaries, and vitellogenin (Vg) expression by the fat body. In contrast, in vivo treatment with double-stranded MIR RNA and rapamycin completely blocked egg production. In vitro experiments showed that amino acids did not simulate late phase trypsin-like gene expression in the midgut or ECD production by the ovaries. However, amino acids did enhance ILP3-mediated stimulation of trypsin-like gene expression and ECD production.Overall, our results indicate that ILPs from the brain synchronize blood meal digestion and amino acid availability with ovarian ECD production to maximize Vg expression by the fat body. The activation of digestion by ILPs may also underlie the growth promoting effects of insulin and TOR signaling in other species