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

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

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

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

Fostering students’ evaluation behaviour while searching the internet

the interne

Psychological determinants of whole-body endurance performance

Background: No literature reviews have systematically identified and evaluated research on the psychological determinants of endurance performance, and sport psychology performance-enhancement guidelines for endurance sports are not founded on a systematic appraisal of endurance-specific research. Objective: A systematic literature review was conducted to identify practical psychological interventions that improve endurance performance and to identify additional psychological factors that affect endurance performance. Additional objectives were to evaluate the research practices of included studies, to suggest theoretical and applied implications, and to guide future research. Methods: Electronic databases, forward-citation searches, and manual searches of reference lists were used to locate relevant studies. Peer-reviewed studies were included when they chose an experimental or quasi-experimental research design, a psychological manipulation, endurance performance as the dependent variable, and athletes or physically-active, healthy adults as participants. Results: Consistent support was found for using imagery, self-talk, and goal setting to improve endurance performance, but it is unclear whether learning multiple psychological skills is more beneficial than learning one psychological skill. The results also demonstrated that mental fatigue undermines endurance performance, and verbal encouragement and head-to-head competition can have a beneficial effect. Interventions that influenced perception of effort consistently affected endurance performance. Conclusions: Psychological skills training could benefit an endurance athlete. Researchers are encouraged to compare different practical psychological interventions, to examine the effects of these interventions for athletes in competition, and to include a placebo control condition or an alternative control treatment. Researchers are also encouraged to explore additional psychological factors that could have a negative effect on endurance performance. Future research should include psychological mediating variables and moderating variables. Implications for theoretical explanations of endurance performance and evidence-based practice are described

A transcriptomic snapshot of early molecular communication between Pasteuria penetrans and Meloidogyne incognita

© The Author(s). 2018Background: Southern root-knot nematode Meloidogyne incognita (Kofoid and White, 1919), Chitwood, 1949 is a key pest of agricultural crops. Pasteuria penetrans is a hyperparasitic bacterium capable of suppressing the nematode reproduction, and represents a typical coevolved pathogen-hyperparasite system. Attachment of Pasteuria endospores to the cuticle of second-stage nematode juveniles is the first and pivotal step in the bacterial infection. RNA-Seq was used to understand the early transcriptional response of the root-knot nematode at 8 h post Pasteuria endospore attachment. Results: A total of 52,485 transcripts were assembled from the high quality (HQ) reads, out of which 582 transcripts were found differentially expressed in the Pasteuria endospore encumbered J2 s, of which 229 were up-regulated and 353 were down-regulated. Pasteuria infection caused a suppression of the protein synthesis machinery of the nematode. Several of the differentially expressed transcripts were putatively involved in nematode innate immunity, signaling, stress responses, endospore attachment process and post-attachment behavioral modification of the juveniles. The expression profiles of fifteen selected transcripts were validated to be true by the qRT PCR. RNAi based silencing of transcripts coding for fructose bisphosphate aldolase and glucosyl transferase caused a reduction in endospore attachment as compared to the controls, whereas, silencing of aspartic protease and ubiquitin coding transcripts resulted in higher incidence of endospore attachment on the nematode cuticle. Conclusions: Here we provide evidence of an early transcriptional response by the nematode upon infection by Pasteuria prior to root invasion. We found that adhesion of Pasteuria endospores to the cuticle induced a down-regulated protein response in the nematode. In addition, we show that fructose bisphosphate aldolase, glucosyl transferase, aspartic protease and ubiquitin coding transcripts are involved in modulating the endospore attachment on the nematode cuticle. Our results add new and significant information to the existing knowledge on early molecular interaction between M. incognita and P. penetrans.Peer reviewedFinal Published versio

Role of mitochondrial raft-like microdomains in the regulation of cell apoptosis

Lipid rafts are envisaged as lateral assemblies of specific lipids and proteins that dissociate and associate rapidly and form functional clusters in cell membranes. These structural platforms are not confined to the plasma membrane; indeed lipid microdomains are similarly formed at subcellular organelles, which include endoplasmic reticulum, Golgi and mitochondria, named raft-like microdomains. In addition, some components of raft-like microdomains are present within ER-mitochondria associated membranes. This review is focused on the role of mitochondrial raft-like microdomains in the regulation of cell apoptosis, since these microdomains may represent preferential sites where key reactions take place, regulating mitochondria hyperpolarization, fission-associated changes, megapore formation and release of apoptogenic factors. These structural platforms appear to modulate cytoplasmic pathways switching cell fate towards cell survival or death. Main insights on this issue derive from some pathological conditions in which alterations of microdomains structure or function can lead to severe alterations of cell activity and life span. In the light of the role played by raft-like microdomains to integrate apoptotic signals and in regulating mitochondrial dynamics, it is conceivable that these membrane structures may play a role in the mitochondrial alterations observed in some of the most common human neurodegenerative diseases, such as Amyotrophic lateral sclerosis, Huntington's chorea and prion-related diseases. These findings introduce an additional task for identifying new molecular target(s) of pharmacological agents in these pathologies

Association between retinal vein occlusion, axial length and vitreous chamber depth measured by optical low coherence reflectometry.

BACKGROUND: Results of ocular biometric measurements in retinal vein occlusion (RVO) eyes are still inconclusive and controversial. The aim of this study was to evaluate the association between ocular axial length (AL), vitreous chamber depth (VCD) and both central (CRVO) and branch retinal vein occlusions (BRVO) using optical low coherence reflectometry (OLCR). METHODS: Both eyes of 37 patients with unilateral CRVO (mean age: 66 +/- 14 years, male:female - 21:16) and 46 patients with unilateral BRVO (mean age: 63 +/- 12 years, male:female - 24:22) were enrolled in this study. The control group consisted of randomly selected single eyes of 67 age and gender matched volunteers without the presence or history of RVO (mean age: 64 +/- 14 years, male:female - 34:33). Optical biometry was performed by OLCR biometer (LenStar LS 900). Average keratometry readings, central corneal thickness (CCT), anterior chamber depth (ACD), lens thickness (LT), AL and VCD of eyes with RVO were compared with those of fellow eyes using paired t-tests and with those of control eyes using independent t-tests. RESULTS: Mean CCT, ACD and LT, average keratometry readings of affected RVO eyes, unaffected fellow eyes and control eyes was not statistically different in either groups. In eyes with CRVO mean AL and VCD of affected eyes were significantly shorter than those of control eyes (p < 0.001, p < 0.05), mean difference in AL and VCD between the affected and control eyes was 0.56 +/- 0.15 mm and 0.45 +/- 0.19 mm, respectively. In eyes with BRVO, mean AL of the affected eyes was significantly shorter with a mean difference of 0.57 +/- 0.15 mm (p < 0.001) and the VCD was significantly shorter with a mean difference of 0.61 +/- 0.15 mm (p < 0.001) comparing with the control eyes. CONCLUSION: Shorter AL and VCD might be a potential anatomical predisposing factor for development either of CRVO or BRVO

Sialic Acid Glycobiology Unveils Trypanosoma cruzi Trypomastigote Membrane Physiology.

Trypanosoma cruzi, the flagellate protozoan agent of Chagas disease or American trypanosomiasis, is unable to synthesize sialic acids de novo. Mucins and trans-sialidase (TS) are substrate and enzyme, respectively, of the glycobiological system that scavenges sialic acid from the host in a crucial interplay for T. cruzi life cycle. The acquisition of the sialyl residue allows the parasite to avoid lysis by serum factors and to interact with the host cell. A major drawback to studying the sialylation kinetics and turnover of the trypomastigote glycoconjugates is the difficulty to identify and follow the recently acquired sialyl residues. To tackle this issue, we followed an unnatural sugar approach as bioorthogonal chemical reporters, where the use of azidosialyl residues allowed identifying the acquired sugar. Advanced microscopy techniques, together with biochemical methods, were used to study the trypomastigote membrane from its glycobiological perspective. Main sialyl acceptors were identified as mucins by biochemical procedures and protein markers. Together with determining their shedding and turnover rates, we also report that several membrane proteins, including TS and its substrates, both glycosylphosphatidylinositol-anchored proteins, are separately distributed on parasite surface and contained in different and highly stable membrane microdomains. Notably, labeling for α(1,3)Galactosyl residues only partially colocalize with sialylated mucins, indicating that two species of glycosylated mucins do exist, which are segregated at the parasite surface. Moreover, sialylated mucins were included in lipid-raft-domains, whereas TS molecules are not. The location of the surface-anchored TS resulted too far off as to be capable to sialylate mucins, a role played by the shed TS instead. Phosphatidylinositol-phospholipase-C activity is actually not present in trypomastigotes. Therefore, shedding of TS occurs via microvesicles instead of as a fully soluble form