Towards a method for rigorous development of generic requirements patterns

We present work in progress on a method for the engineering, validation and verification of generic requirements using domain engineering and formal methods. The need to develop a generic requirement set for subsequent system instantiation is complicated by the addition of the high levels of verification demanded by safety-critical domains such as avionics. Our chosen application domain is the failure detection and management function for engine control systems: here generic requirements drive a software product line of target systems. A pilot formal specification and design exercise is undertaken on a small (twosensor) system element. This exercise has a number of aims: to support the domain analysis, to gain a view of appropriate design abstractions, for a B novice to gain experience in the B method and tools, and to evaluate the usability and utility of that method.We also present a prototype method for the production and verification of a generic requirement set in our UML-based formal notation, UML-B, and tooling developed in support. The formal verification both of the structural generic requirement set, and of a particular application, is achieved via translation to the formal specification language, B, using our U2B and ProB tools

A new conceptual framework for revenge firesetting

Revenge has frequently been acknowledged to account for a relatively large proportion of motives in deliberate firesetting. However, very little is actually known about the aetiology of revenge firesetting. Theoretical approaches to revenge-seeking behaviour are discussed. A brief review of how revenge is accounted for in existing theoretical explanations of deliberate firesetting and the known characteristics of revenge firesetters are provided. On this basis, the authors suggest, as a motive, revenge firesetting has to date been misconceptualised. A new conceptual framework is thus proposed, paying particular attention to the contextual, affective, cognitive, volitional and behavioural factors which may influence and generate a single episode of revenge firesetting. Treatment implications and suggestions for future research are also provided

Vertical consolidation and financial sustainability: evidence from English local government

Proponents of the vertical consolidation of lower-tier units into a smaller number of single-tier local governments suggest that it improves the financial sustainability of governments by generating economies of scale and scope. However, critics suggest that such structural change is beset with disruptive and unanticipated costs that outweigh any potential efficiency savings. I investigate the validity of these contrasting arguments by analysing the expenditure and fiscal health of English county councils before and after the consolidation of the lower-tier units within several counties that took place in 2009. Levels of financial sustainability are modelled using a difference-in-difference estimator for the years 2003–2012. The results suggest that in the short run the consolidated governments have been able to realize administrative economies, but their fiscal health has weakened. These findings appear to be robust to the possibility of selection effects. Theoretical and practical implications are discussed

Methylomic analysis of monozygotic twins discordant for autism spectrum disorder and related behavioural traits

Autism spectrum disorder (ASD) defines a group of common, complex neurodevelopmental disorders. Although the aetiology of ASD has a strong genetic component, there is considerable monozygotic (MZ) twin discordance indicating a role for non-genetic factors. Because MZ twins share an identical DNA sequence, disease-discordant MZ twin pairs provide an ideal model for examining the contribution of environmentally driven epigenetic factors in disease. We performed a genome-wide analysis of DNA methylation in a sample of 50 MZ twin pairs (100 individuals) sampled from a representative population cohort that included twins discordant and concordant for ASD, ASD-associated traits and no autistic phenotype. Within-twin and between-group analyses identified numerous differentially methylated regions associated with ASD. In addition, we report significant correlations between DNA methylation and quantitatively measured autistic trait scores across our sample cohort. This study represents the first systematic epigenomic analyses of MZ twins discordant for ASD and implicates a role for altered DNA methylation in autism

Syncytiotrophoblast Microvesicles Released from Pre-Eclampsia Placentae Exhibit Increased Tissue Factor Activity

Background: Pre-eclampsia is a complication of pregnancy associated with activation of coagulation. It is caused by the placenta, which sheds increased amounts of syncytiotrophoblast microvesicles (STBM) into the maternal circulation. We hypothesized that STBM could contribute to the haemostatic activation observed in pre-eclampsia. Methodology/Principal Findings: STBM were collected by perfusion of the maternal side of placentae from healthy pregnant women and women with pre-eclampsia at caesarean section. Calibrated automated thrombography was used to assess thrombin generation triggered by STBM-borne tissue factor in platelet poor plasma (PPP). No thrombin was detected in PPP alone but the addition of STBM initiated thrombin generation in 14/16 cases. Pre-eclampsia STBM significantly shortened the lag time (LagT, P = 0.01) and time to peak thrombin generation (TTP, P = 0.005) when compared to normal STBM. Blockade of tissue factor eliminated thrombin generation, while inhibition of tissue factor pathway inhibitor significantly shortened LagT (p = 0.01) and TTP (P,0.0001), with a concomitant increase in endogenous thrombin potential. Conclusions/Significance: STBM triggered thrombin generation in normal plasma in a tissue factor dependent manner, indicating that TF activity is expressed by STBM. This is more pronounced in STBM shed from pre-eclampsia placentae. As more STBM are shed in pre-eclampsia these observations give insight into the disordered haemostasis observed in thi

The sperm factor: paternal impact beyond genes

The fact that sperm carry more than the paternal DNA has only been discovered just over a decade ago. With this discovery, the idea that the paternal condition may have direct implications for the fitness of the offspring had to be revisited. While this idea is still highly debated, empirical evidence for paternal effects is accumulating. Male condition not only affects male fertility but also offspring early development and performance later in life. Several factors have been identified as possible carriers of non-genetic information, but we still know little about their origin and function and even less about their causation. I consider four possible non-mutually exclusive adaptive and non-adaptive explanations for the existence of paternal effects in an evolutionary context. In addition, I provide a brief overview of the main non-genetic components found in sperm including DNA methylation, chromatin modifications, RNAs and proteins. I discuss their putative functions and present currently available examples for their role in transferring non-genetic information from the father to the offspring. Finally, I identify some of the most important open questions and present possible future research avenues

Neuropsychological patterns following lesions of the anterior insula in a series of forty neurosurgical patients

In the present study we investigated the effects of lesions affecting mainly the anterior insula in a series of 22 patients with lesions in the left hemisphere (LH), and 18 patients with lesions involving the right hemisphere (RH). The site of the lesion was established by performing an overlap of the probabilistic cytoarchitectonic maps of the posterior insula. Here we report the patients\u2019 neuropsychological profile and an analysis of their pre-surgical symptoms. We found that pre-operatory symptoms significantly differed in patients depending on whether the lesion affected the right or left insula and a strict parallelism between the patterns emerged in the pre-surgery symptoms analysis, and the patients\u2019 cognitive profile. In particular, we found that LH patients showed cognitive deficits. By contrast, the RH patients, with the exception of one case showing an impaired performance at the visuo-spatial planning test were within the normal range in performing all the tests. In addition, a sub-group of patients underwent to the post-surgery follow-up examination