Understanding, Explaining, and Deriving Refinement

Much of what drove us in over twenty years of research in refinement, starting with Z in particular, was the desire to understand where refinement rules came from. The relational model of refinement provided a solid starting point which allowed the derivation of Z refinement rules. Not only did this explain and verify the existing rules - more importantly, it also allowed alternative derivations for different and generalised notions of refinement. In this chapter, we briefly describe the context of our early efforts in this area and Susan Stepney's role in this, before moving on to the motivation and exploration of a recently developed primitive model of refinement: concrete state machines with anonymous transitions

Neo-Aristotelian Naturalism and the Evolutionary Objection: Rethinking the Relevance of Empirical Science

Neo-Aristotelian metaethical naturalism is a modern attempt at naturalizing ethics using ideas from Aristotle’s teleological metaphysics. Proponents of this view argue that moral virtue in human beings is an instance of natural goodness, a kind of goodness supposedly also found in the realm of non-human living things. Many critics question whether neo-Aristotelian naturalism is tenable in light of modern evolutionary biology. Two influential lines of objection have appealed to an evolutionary understanding of human nature and natural teleology to argue against this view. In this paper, I offer a reconstruction of these two seemingly different lines of objection as raising instances of the same dilemma, giving neo-Aristotelians a choice between contradicting our considered moral judgment and abandoning metaethical naturalism. I argue that resolving the dilemma requires showing a particular kind of continuity between the norms of moral virtue and norms that are necessary for understanding non-human living things. I also argue that in order to show such a continuity, neo-Aristotelians need to revise the relationship they adopt with empirical science and acknowledge that the latter is relevant to assessing their central commitments regarding living things. Finally, I argue that to move this debate forward, both neo-Aristotelians and their critics should pay attention to recent work on the concept of organism in evolutionary and developmental biology

Cytosine-to-Uracil Deamination by SssI DNA Methyltransferase

The prokaryotic DNA(cytosine-5)methyltransferase M.SssI shares the specificity of eukaryotic DNA methyltransferases (CG) and is an important model and experimental tool in the study of eukaryotic DNA methylation. Previously, M.SssI was shown to be able to catalyze deamination of the target cytosine to uracil if the methyl donor S-adenosyl-methionine (SAM) was missing from the reaction. To test whether this side-activity of the enzyme can be used to distinguish between unmethylated and C5-methylated cytosines in CG dinucleotides, we re-investigated, using a sensitive genetic reversion assay, the cytosine deaminase activity of M.SssI. Confirming previous results we showed that M.SssI can deaminate cytosine to uracil in a slow reaction in the absence of SAM and that the rate of this reaction can be increased by the SAM analogue 5’-amino-5’-deoxyadenosine. We could not detect M.SssI-catalyzed deamination of C5-methylcytosine (m5C). We found conditions where the rate of M.SssI mediated C-to-U deamination was at least 100-fold higher than the rate of m5C-to-T conversion. Although this difference in reactivities suggests that the enzyme could be used to identify C5-methylated cytosines in the epigenetically important CG dinucleotides, the rate of M.SssI mediated cytosine deamination is too low to become an enzymatic alternative to the bisulfite reaction. Amino acid replacements in the presumed SAM binding pocket of M.SssI (F17S and G19D) resulted in greatly reduced methyltransferase activity. The G19D variant showed cytosine deaminase activity in E. coli, at physiological SAM concentrations. Interestingly, the C-to-U deaminase activity was also detectable in an E. coli ung+ host proficient in uracil excision repair

Early changes in Orthopteran assemblages after grassland restoration : a comparison of space-for-time substitution versus repeated-measures monitoring

Grasslands harbour significant biodiversity and their restoration is a common intervention in biodiversity conservation. However, we know very little on how grassland restoration influences arthropod groups. Here we compared orthopteran assemblages in croplands, natural grasslands and one to four-year-old grasslands restored in a large-scale restoration on former croplands in Hortobágy National Park (E-Hungary). Sampling was done by standardized sweep-netting both in a repeated measures design and space-for-time substitution (chronosequence) design. General linear models with repeated measures from five years showed that species richness, abundance and Shannon diversity of orthopterans decreased in the year following restoration but increased afterwards. By the fourth year, species richness almost doubled and abundance increased almost ten-fold in restored grasslands compared to croplands. Multivariate analyses showed that species composition in the first two years did not progress much but by the third and fourth year there was partial overlap with natural grasslands. Local restoration conditions (last crop, seed mixture) and landscape configuration (proportion of natural grasslands < 1 km away) did not influence the above patterns in either the repeated measures or the chronosequence design, whereas time since restoration affected almost all community variables. Our results suggest that generalist ubiquitous species appeared in restored grasslands first and the more sensitive species colonized the restored fields gradually in later years. The qualitative and quantitative properties of the orthopteran assemblages in restored fields did not yet reach those of natural grasslands, therefore, our study suggests that the full regeneration of the orthopteran assemblages takes more than four years

Repetitive Behavior in Rubinstein–Taybi Syndrome:Parallels with Autism Spectrum Phenomenology

Syndrome specific repetitive behavior profiles have been described previously. A detailed profile is absent for Rubinstein–Taybi syndrome (RTS). The Repetitive Behaviour Questionnaire and Social Communication Questionnaire were completed for children and adults with RTS (N = 87), Fragile-X (N = 196) and Down (N = 132) syndromes, and individuals reaching cut-off for autism spectrum disorder (N = 228). Total and matched group analyses were conducted. A phenotypic profile of repetitive behavior was found in RTS. The majority of behaviors in RTS were not associated with social-communication deficits or degree of disability. Repetitive behavior should be studied at a fine-grained level. A dissociation of the triad of impairments might be evident in RTS

5-Hydroxymethylcytosine is a predominantly stable DNA modification.

5-Hydroxymethylcytosine (hmC) is an oxidation product of 5-methylcytosine which is present in the deoxyribonucleic acid (DNA) of most mammalian cells. Reduction of hmC levels in DNA is a hallmark of cancers. Elucidating the dynamics of this oxidation reaction and the lifetime of hmC in DNA is fundamental to understanding hmC function. Using stable isotope labelling of cytosine derivatives in the DNA of mammalian cells and ultrasensitive tandem liquid-chromatography mass spectrometry, we show that the majority of hmC is a stable modification, as opposed to a transient intermediate. In contrast with DNA methylation, which occurs immediately during replication, hmC forms slowly during the first 30 hours following DNA synthesis. Isotopic labelling of DNA in mouse tissues confirmed the stability of hmC in vivo and demonstrated a relationship between global levels of hmC and cell proliferation. These insights have important implications for understanding the states of chemically modified DNA bases in health and disease.We would like to acknowledge the CRUK CI Flow Cytometry and Histopathology/ISH core facilities for their contributions, David Oxley, Clive d’Santos and Donna Michelle-Smith for their support with mass spectrometry, Xiangang Zou for his help with mES cells and David Tannahill for critical reading of the manuscript. This work was funded by Cancer Research UK (all authors) and the Wellcome Trust Senior Investigator Award (S.B.).This is the accepted manuscript. The final version is available from Nature Chemistry at http://www.nature.com/nchem/journal/vaop/ncurrent/full/nchem.2064.html

Experimental Rugged Fitness Landscape in Protein Sequence Space

The fitness landscape in sequence space determines the process of biomolecular evolution. To plot the fitness landscape of protein function, we carried out in vitro molecular evolution beginning with a defective fd phage carrying a random polypeptide of 139 amino acids in place of the g3p minor coat protein D2 domain, which is essential for phage infection. After 20 cycles of random substitution at sites 12–130 of the initial random polypeptide and selection for infectivity, the selected phage showed a 1.7×10(4)-fold increase in infectivity, defined as the number of infected cells per ml of phage suspension. Fitness was defined as the logarithm of infectivity, and we analyzed (1) the dependence of stationary fitness on library size, which increased gradually, and (2) the time course of changes in fitness in transitional phases, based on an original theory regarding the evolutionary dynamics in Kauffman's n-k fitness landscape model. In the landscape model, single mutations at single sites among n sites affect the contribution of k other sites to fitness. Based on the results of these analyses, k was estimated to be 18–24. According to the estimated parameters, the landscape was plotted as a smooth surface up to a relative fitness of 0.4 of the global peak, whereas the landscape had a highly rugged surface with many local peaks above this relative fitness value. Based on the landscapes of these two different surfaces, it appears possible for adaptive walks with only random substitutions to climb with relative ease up to the middle region of the fitness landscape from any primordial or random sequence, whereas an enormous range of sequence diversity is required to climb further up the rugged surface above the middle region

Absence of Ca2+-stimulated adenylyl cyclases leads to reduced synaptic plasticity and impaired experience-dependent fear memory

Ca2+-stimulated adenylyl cyclase (AC) 1 and 8 are two genes that have been shown to play critical roles in fear memory. AC1 and AC8 couple neuronal activity and intracellular Ca2+ increases to the production of cyclic adenosine monophosphate and are localized synaptically, suggesting that Ca2+-stimulated ACs may modulate synaptic plasticity. Here, we first established that Ca2+-stimulated ACs modulate protein markers of synaptic activity at baseline and after learning. Primary hippocampal cell cultures showed that AC1/AC8 double-knockout (DKO) mice have reduced SV2, a synaptic vesicle protein, abundance along their dendritic processes, and this reduction can be rescued through lentivirus delivery of AC8 to the DKO cells. Additionally, phospho-synapsin, a protein implicated in the regulation of neurotransmitter release at the synapse, is decreased in vivo 1 h after conditioned fear (CF) training in DKO mice. Importantly, additional experiments showed that long-term potentiation deficits present in DKO mice are rescued by acutely replacing AC8 in the forebrain, further supporting the idea that Ca2+-stimulated AC activity is a crucial modulator of synaptic plasticity. Previous studies have demonstrated that memory is continually modulated by gene–environment interactions. The last set of experiments evaluated the effects of knocking out AC1 and AC8 genes on experience-dependent changes in CF memory. We showed that the strength of CF memory in wild-type mice is determined by previous environment, minimal or enriched, whereas memory in DKO mice is unaffected. Thus, overall these results show that AC1 and AC8 modulate markers of synaptic activity and help integrate environmental information to modulate fear memory