Using formal methods to support testing

Formal methods and testing are two important approaches that assist in the development of high quality software. While traditionally these approaches have been seen as rivals, in recent years a new consensus has developed in which they are seen as complementary. This article reviews the state of the art regarding ways in which the presence of a formal specification can be used to assist testing

Lempel-Ziv Complexity Analysis of Local Field Potentials in Different Vigilance States with Different Coarse-Graining Techniques

Analysis of electrophysiological signals recorded from the brain with Lempel-Ziv (LZ) complexity, a measure based on coarse-graining of the signal, can provide valuable insights into understanding brain activity. LZ complexity of local field potential signals recorded from the neocortex of 11 adult male Wistar-Kyoto rats in different vigilance states - waking, non-rapid-eye movement (NREM) and REM sleep - was estimated with different coarse-graining techniques (median, LZCm, and k-means, LZCkm). Furthermore, surrogate data were used to test the hypothesis that LZ complexity results reveal effects accounted for by temporal structure of the signal, rather than merely its frequency content. LZ complexity values were significantly lower in NREM sleep as compared to waking and REM sleep, for both real and surrogate signals. LZCkm and LZCm values were similar, although in NREM sleep the values deviated in some epochs, where signals also differed significantly in terms of temporal structure and spectral content. Thus, the interpretation of LZ complexity results should take into account the specific algorithm used to coarse-grain the signal. Moreover, the occurrence of high amplitude slow waves during NREM sleep determines LZ complexity to a large extent, but characteristics such as the temporal sequence of slow waves or cross-frequency interactions might also play a role. © Springer International Publishing Switzerland 2014

Subbarrel patterns in somatosensory cortical barrels can emerge from local dynamic instabilities

Complex spatial patterning, common in the brain as well as in other biological systems, can emerge as a result of dynamic interactions that occur locally within developing structures. In the rodent somatosensory cortex, groups of neurons called "barrels" correspond to individual whiskers on the contralateral face. Barrels themselves often contain subbarrels organized into one of a few characteristic patterns. Here we demonstrate that similar patterns can be simulated by means of local growth-promoting and growth-retarding interactions within the circular domains of single barrels. The model correctly predicts that larger barrels contain more spatially complex subbarrel patterns, suggesting that the development of barrels and of the patterns within them may be understood in terms of some relatively simple dynamic processes. We also simulate the full nonlinear equations to demonstrate the predictive value of our linear analysis. Finally, we show that the pattern formation is robust with respect to the geometry of the barrel by simulating patterns on a realistically shaped barrel domain. This work shows how simple pattern forming mechanisms can explain neural wiring both qualitatively and quantitatively even in complex and irregular domains. © 2009 Ermentrout et al

Stimulus Dependence of Barrel Cortex Directional Selectivity

Neurons throughout the rat vibrissa somatosensory pathway are sensitive to the angular direction of whisker movement. Could this sensitivity help rats discriminate stimuli? Here we use a simple computational model of cortical neurons to analyze the robustness of directional selectivity. In the model, directional preference emerges from tuning of synaptic conductance amplitude and latency, as in recent experimental findings. We find that directional selectivity during stimulation with random deflection sequences is strongly dependent on the mean deflection frequency: Selectivity is weakened at high frequencies even when each individual deflection evokes strong directional tuning. This variability of directional selectivity is due to generic properties of synaptic integration by the neuronal membrane, and is therefore likely to hold under very general physiological conditions. Our results suggest that directional selectivity depends on stimulus context. It may participate in tasks involving brief whisker contact, such as detection of object position, but is likely to be weakened in tasks involving sustained whisker exploration (e.g., texture discrimination)

Inconsistent boundaries

Research on this paper was supported by a grant from the Marsden Fund, Royal Society of New Zealand.Mereotopology is a theory of connected parts. The existence of boundaries, as parts of everyday objects, is basic to any such theory; but in classical mereotopology, there is a problem: if boundaries exist, then either distinct entities cannot be in contact, or else space is not topologically connected (Varzi in Noûs 31:26–58, 1997). In this paper we urge that this problem can be met with a paraconsistent mereotopology, and sketch the details of one such approach. The resulting theory focuses attention on the role of empty parts, in delivering a balanced and bounded metaphysics of naive space.PostprintPeer reviewe

Nursing students motivation toward their studies – a survey study

<p>Abstract</p> <p>Background</p> <p>This study focuses on Swedish nursing students' motivation toward their studies during their three year academic studies. Earlier studies show the importance of motivation for study commitment and result. The aim was to analyze nursing students' estimation of their degree of motivation during different semester during their education and to identify reasons for the degree of motivation.</p> <p>Methods</p> <p>A questionnaire asking for scoring motivation and what influenced the degree of motivation was distributed to students enrolled in a nursing programme. 315 students who studied at different semesters participated. Analyzes were made by statistical calculation and content analysis.</p> <p>Results</p> <p>The mean motivation score over all semesters was 6.3 (ranked between 0–10) and differed significantly during the semesters with a tendency to lower score during the 5th semester. Students (73/315) with motivation score <4 reported explanations such as negative opinion about the organisation of the programme, attitude towards the studies, life situation and degree of difficulty/demand on studies. Students (234/315) with motivation score >6 reported positive opinions to becoming a nurse (125/234), organization of the programme and attitude to the studies. The mean score value for the motivation ranking differed significantly between male (5.8) and female (6.8) students.</p> <p>Conclusion</p> <p>Conclusions to be drawn are that nursing students mainly grade their motivation positive distributed different throughout their entire education. The main motivation factor was becoming a nurse. This study result highlights the need of understanding the students' situation and their need of tutorial support.</p

Sprint interval and sprint continuous training increases circulating CD34+ cells and cardio-respiratory fitness in young healthy women

The improvement of vascular health in the exercising limb can be attained by sprint interval training (SIT). However, the effects on systemic vascular function and on circulating angiogenic cells (CACs) which may contribute to endothelial repair have not been investigated. Additionally, a comparison between SIT and sprint continuous training (SCT) which is less time committing has not been made

Bedside Interactions from the Other Side of the Bedrail

To assess the importance to patients of various aspects of bedside interactions with physician teams. Design : Cross-sectional survey. Setting : VA hospital. Patients : Ninety-seven medical inpatients. Intervention : Survey of 44 questions including short answer, multiple choice, and Likert-type questions. Measurements and Main Results : Data analysis included descriptive statistics. The sample was predominantly male, with a mean age of 62. Overall satisfaction with the hospital experience and with the team of doctors were both high (95% and 96% reported being very or mostly satisfied, respectively). Patients reported learning about several issues during their interactions with the teams; the 3 most highly rated areas were new problems, tests that will be done, and treatments that will be done. Most patients (76%) felt that their teams cared about them very much. Patients were made comfortable when the team showed that they cared, listened, and appeared relaxed (reported by 63%, 57%, and 54%, respectively). Patients were made uncomfortable by the team using language they did not understand (22%) and when several people examined them at once (13%). Many (58%) patients felt personally involved in teaching. The majority of patients liked having medical students and residents involved in their care (69% and 64%, respectively). Conclusions : Patients have much to teach about what is important about interacting with physician teams. Although patients' reactions to team interactions are generally positive, patients are different with respect to what makes them comfortable and uncomfortable. Taking their preferences into account could improve the experience of being in a teaching hospital.Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/75456/1/j.1525-1497.2005.40192.x.pd