Combining Static and Dynamic Contract Checking for Curry

Static type systems are usually not sufficient to express all requirements on function calls. Hence, contracts with pre- and postconditions can be used to express more complex constraints on operations. Contracts can be checked at run time to ensure that operations are only invoked with reasonable arguments and return intended results. Although such dynamic contract checking provides more reliable program execution, it requires execution time and could lead to program crashes that might be detected with more advanced methods at compile time. To improve this situation for declarative languages, we present an approach to combine static and dynamic contract checking for the functional logic language Curry. Based on a formal model of contract checking for functional logic programming, we propose an automatic method to verify contracts at compile time. If a contract is successfully verified, dynamic checking of it can be omitted. This method decreases execution time without degrading reliable program execution. In the best case, when all contracts are statically verified, it provides trust in the software since crashes due to contract violations cannot occur during program execution.Comment: Pre-proceedings paper presented at the 27th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2017), Namur, Belgium, 10-12 October 2017 (arXiv:1708.07854

Efficacy of Stochastic Vestibular Stimulation to Improve Locomotor Performance in a Discordant Sensory Environment

Astronauts exposed to microgravity face sensorimotor challenges incurred when readapting to a gravitational environment. Sensorimotor Adaptability (SA) training has been proposed as a countermeasure to improve locomotor performance during re-adaptation, and it is suggested that the benefits of SA training may be further enhanced by improving detection of weak sensory signals via mechanisms such as stochastic resonance when a non-zero level of stochastic white noise based electrical stimulation is applied to the vestibular system (stochastic vestibular stimulation, SVS). The purpose of this study was to test the efficacy of using SVS to improve short-term adaptation in a sensory discordant environment during performance of a locomotor task

Integrative Model of Oxidative Stress Adaptation in the Fungal Pathogen Candida albicans

Acknowledgments We are grateful to the Ian Fraser Cytometry Centre and our Mass Spetrometry and qPCR Facilities for help with the flow cytometry, glutathione and qRT-PCR assays, respectively. We also thank our many colleagues in the CRISP Consortium and in the medical mycology and systems biology communities for insightful discussions. Funding: This work was supported by the CRISP project (Combinatorial Responses In Stress Pathways), which was funded by the UK Biotechnology and Biological Research Council (www.bbsrc.ac.uk): AJPB, KH, CG, ADM, NARG, MT, MCR. (Research Grants; BB/F00513X/1, BB/F005210/1-2). AJPB and JQ received additional support from the BBSRC (Research Grants; BB/K016393/1; BB/K017365/1). NARG and AJPB were also supported by the Wellcome Trust (www.wellcome.ac.uk), (Grants: 080088; 097377). AJPB was also supported by the European Research Council (http://erc.europa.eu/), (STRIFE Advanced Grant; ERC-2009-AdG-249793). The funders had no role in study design, data collection and analysis, decision to publish, or preparation of the manuscript.Peer reviewedPublisher PD

Perceptions and Memorization Strategies of Piano Students Toward Piano Performance: A Phenomenological Study

For many piano students, it has always been a challenge to memorize pieces. Most of them would admit to making mistakes and experiencing a mental block during a performance. Difficulty in memorizing may cause difficulty in playing the piano. Though some studies about this case have already been done, this research tried to look for new findings regarding the perceptions of piano students about memorization as a major element for piano performance. The study also described the memorization strategies utilized by the students. Through purposive sampling, ten piano students were selected to participate in this phenomenological study. They were also observed during their piano practices to confirm gathered data from a semi-structured interview. An interview guide was utilized to gather information which was transcribed, categorized, and thematically analyzed. The results revealed that the piano students highly preferred to memorize because it helps boost confidence, focus, and interpret the music well. It was also revealed that during practice, certain memorization strategies such as separation of hands, repetition, singing of the melody, and listening to recordings were used to perform by memory. However, the process of being able to perform by memory takes a lot of hard work and discipline. Therefore, it is recommended for students and teachers to work together in the learning and memorization process

Neuromapping: Inflight Evaluation of Cognition and Adaptability

In consideration of the health and performance of crewmembers during flight and postflight, we are conducting a controlled prospective longitudinal study to investigate the effects of spaceflight on the extent, longevity and neural bases of sensorimotor, cognitive, and neural changes. Previous studies investigating sensorimotor adaptation to the microgravity environment longitudinally inflight have shown reduction in the ability to perform complex dual tasks. In this study we perform a series of tests investigating the longitudinal effects of adaptation to the microgravity environment and how it affects spatial cognition, manual visuo-motor adaption and dual tasking

Characterization of a megapixel CMOS charge dump and read camera

Abstract not provide

Food and beverage intakes according to physical activity levels in European children: The IDEFICS (Identification and prevention of Dietary and lifestyle induced health EFfects in Children and infantS) study

Objective Physical activity (PA) levels and dietary habits are considered some of the most important factors associated with obesity. The present study aimed to examine the association between PA level and food and beverage consumption in European children (2-10 years old).Design/Setting/Subjects A sample of 7229 children (49·0 % girls) from eight European countries participating in the IDEFICS (Identification and prevention of Dietary and lifestyle induced health EFfects In Children and infantS) study was included. Moderate-to-vigorous PA (MVPA) was assessed objectively with accelerometers. FFQ was used to register dietary habits. ANCOVA and binary logistic regression were applied.Results Boys who spent less time in MVPA reported lower consumption of vegetables, fruits, cereals, yoghurt, milk, bread, pasta, candies and sugar-sweetened beverages (SSB) than boys who spent more time in MVPA (P<0·05). Moreover, boys who spent less time in MVPA were more likely to consume fast foods and water than those in the highest MVPA tertile (P<0·05). Girls who spent less time in MVPA reported lower consumption frequencies of vegetables, pasta, bread, yoghurt, candies, jam/honey and SSB than girls in the highest MVPA tertile (P<0·05). Also, girls in the lowest MVPA tertile were more likely to consume fast foods and water than those with high levels of MVPA (P<0·05).Conclusions Food intake among European children varied with different levels of daily MVPA. Low time spent in MVPA was associated with lowest consumption of both high- and low-energy-dense foods and high fast-food consumption

Neural correlates of multi-day learning and savings in sensorimotor adaptation

Abstract In the present study we evaluated changes in neural activation that occur over the time course of multiple days of sensorimotor adaptation, and identified individual neural predictors of adaptation and savings magnitude. We collected functional MRI data while participants performed a manual adaptation task during four separate test sessions over a three-month period. This allowed us to examine changes in activation and associations with adaptation and savings at subsequent sessions. Participants exhibited reliable savings of adaptation across the four sessions. Brain activity associated with early adaptation increased across the sessions in a variety of frontal, parietal, cingulate, and temporal cortical areas, as well as various subcortical areas. We found that savings was positively associated with activation in several striatal, parietal, and cingulate cortical areas including the putamen, precuneus, angular gyrus, dorsal anterior cingulate cortex (dACC), and cingulate motor area. These findings suggest that participants may learn how to better engage cognitive processes across days, potentially reflecting improvements in action selection. We propose that such improvements may rely on action-value assignments, which previously have been linked to the dACC and striatum. As correct movements are assigned a higher value than incorrect movements, the former are more likely to be performed again

Focal Gray Matter Plasticity as a Function of Long Duration Bedrest: Preliminary Results

Long duration spaceflight (i.e., 22 days or longer) has been associated with changes in sensorimotor systems, resulting in difficulties that astronauts experience with posture control, locomotion, and manual control. It is unknown whether and how spaceflight impacts sensorimotor brain structure and function, and whether such changes may potentially underlie behavioral effects. Long duration head down tilt bed rest has been used repeatedly as an exclusionary analog to study microgravity effects on the sensorimotor system [1]. Bed rest mimics microgravity in body unloading and bodily fluid shifts. We are currently testing sensorimotor function, brain structure, and brain function pre and post a 70day bed rest period. We will acquire the same measures on NASA crewmembers starting in 2014. Here we present the results of the first eight bed rest subjects. Subjects were assessed at 12 and 7 days before, at 7, 30, and ~70 days in, and at 8 and 12 days post 70 days of bed rest at the NASA bed rest facility, UTMB, Galveston, TX, USA. At each time point structural MRI scans (i.e., high resolution T1weighted imaging and Diffusion Tensor Imaging (DTI)) were obtained using a 3T Siemens scanner. Focal changes over time in gray matter density were assessed using the voxel based morphometry 8 (VBM8) toolbox under SPM. Focal changes in white matter microstructural integrity were assessed using tract based spatial statistics (TBSS) as part of the FMRIB software library (FSL). TBSS registers all DTI scans to standard space. It subsequently creates a study specific white matter skeleton of the major white matter tracts. Nonparametric permutation based ttests and ANOVA's were used for voxelwise comparison of the skeletons. For both VBM and TBSS, comparison of the two pre bed rest measurements did not show significant differences. VBM analysis revealed decreased gray matter density in bilateral areas including the frontal medial cortex, the insular cortex and the caudate nucleus from pre to in bed rest. Over the same time period, there was an increase in gray matter density in the cerebellum, occipital, and parietal cortices. The majority of these changes did not recover from during to post bed rest. TBSS analyses will also be presented. Extended bed rest, which is an analog for microgravity, can result in gray matter changes and potentially in microstructural white matter changes in areas that are important for neuromotor behavior and cognition. These changes did not recover at two weeks post bed rest. These results have significant public health implications, and will also aid in interpretation of our future data obtained pre and post spaceflight. Whether the effects of bed rest wear off at longer times post bed rest, and if they are associated with behavior are important questions that warrant further research