Requirements modelling and formal analysis using graph operations

The increasing complexity of enterprise systems requires a more advanced analysis of the representation of services expected than is currently possible. Consequently, the specification stage, which could be facilitated by formal verification, becomes very important to the system life-cycle. This paper presents a formal modelling approach, which may be used in order to better represent the reality of the system and to verify the awaited or existing system’s properties, taking into account the environmental characteristics. For that, we firstly propose a formalization process based upon properties specification, and secondly we use Conceptual Graphs operations to develop reasoning mechanisms of verifying requirements statements. The graphic visualization of these reasoning enables us to correctly capture the system specifications by making it easier to determine if desired properties hold. It is applied to the field of Enterprise modelling

Evolutionary connectionism: algorithmic principles underlying the evolution of biological organisation in evo-devo, evo-eco and evolutionary transitions

The mechanisms of variation, selection and inheritance, on which evolution by natural selection depends, are not fixed over evolutionary time. Current evolutionary biology is increasingly focussed on understanding how the evolution of developmental organisations modifies the distribution of phenotypic variation, the evolution of ecological relationships modifies the selective environment, and the evolution of reproductive relationships modifies the heritability of the evolutionary unit. The major transitions in evolution, in particular, involve radical changes in developmental, ecological and reproductive organisations that instantiate variation, selection and inheritance at a higher level of biological organisation. However, current evolutionary theory is poorly equipped to describe how these organisations change over evolutionary time and especially how that results in adaptive complexes at successive scales of organisation (the key problem is that evolution is self-referential, i.e. the products of evolution change the parameters of the evolutionary process). Here we first reinterpret the central open questions in these domains from a perspective that emphasises the common underlying themes. We then synthesise the findings from a developing body of work that is building a new theoretical approach to these questions by converting well-understood theory and results from models of cognitive learning. Specifically, connectionist models of memory and learning demonstrate how simple incremental mechanisms, adjusting the relationships between individually-simple components, can produce organisations that exhibit complex system-level behaviours and improve the adaptive capabilities of the system. We use the term “evolutionary connectionism” to recognise that, by functionally equivalent processes, natural selection acting on the relationships within and between evolutionary entities can result in organisations that produce complex system-level behaviours in evolutionary systems and modify the adaptive capabilities of natural selection over time. We review the evidence supporting the functional equivalences between the domains of learning and of evolution, and discuss the potential for this to resolve conceptual problems in our understanding of the evolution of developmental, ecological and reproductive organisations and, in particular, the major evolutionary transitions

Characterisation of the pathogenic effects of the in vivo expression of an ALS-linked mutation in D-amino acid oxidase: Phenotype and loss of spinal cord motor neurons

Amyotrophic lateral sclerosis (ALS) is the most common adult-onset neuromuscular disorder characterised by selective loss of motor neurons leading to fatal paralysis. Current therapeutic approaches are limited in their effectiveness. Substantial advances in understanding ALS disease mechanisms has come from the identification of pathogenic mutations in dominantly inherited familial ALS (FALS). We previously reported a coding mutation in D-amino acid oxidase (DAOR199W) associated with FALS. DAO metabolises D-serine, an essential co-agonist at the N-Methyl-D-aspartic acid glutamate receptor subtype (NMDAR). Using primary motor neuron cultures or motor neuron cell lines we demonstrated that expression of DAOR199W, promoted the formation of ubiquitinated protein aggregates, activated autophagy and increased apoptosis. The aim of this study was to characterise the effects of DAOR199W in vivo, using transgenic mice overexpressing DAOR199W. Marked abnormal motor features, e.g. kyphosis, were evident in mice expressing DAOR199W, which were associated with a significant loss (19%) of lumbar spinal cord motor neurons, analysed at 14 months. When separated by gender, this effect was greater in females (26%; p< 0.0132). In addition, we crossed the DAOR199W transgenic mouse line with the SOD1G93A mouse model of ALS to determine whether the effects of SOD1G93A were potentiated in the double transgenic line (DAOR199W/SOD1G93A). Although overall survival was not affected, onset of neurological signs was significantly earlier in female double transgenic animals than their female SOD1G93A littermates (125 days vs 131 days, P = 0.0239). In summary, some significant in vivo effects of DAOR199W on motor neuron function (i.e. kyphosis and loss of motor neurons) were detected which were most marked in females and could contribute to the earlier onset of neurological signs in double transgenic females compared to SOD1G93A littermates, highlighting the importance of recognizing gender effects present in animal models of ALS

The ethics of digital well-being: a multidisciplinary perspective

This chapter serves as an introduction to the edited collection of the same name, which includes chapters that explore digital well-being from a range of disciplinary perspectives, including philosophy, psychology, economics, health care, and education. The purpose of this introductory chapter is to provide a short primer on the different disciplinary approaches to the study of well-being. To supplement this primer, we also invited key experts from several disciplines—philosophy, psychology, public policy, and health care—to share their thoughts on what they believe are the most important open questions and ethical issues for the multi-disciplinary study of digital well-being. We also introduce and discuss several themes that we believe will be fundamental to the ongoing study of digital well-being: digital gratitude, automated interventions, and sustainable co-well-being

Spatial contrast sensitivity in adolescents with autism spectrum disorders

Adolescents with autism spectrum disorders (ASD) and typically developing (TD) controls underwent a rigorous psychophysical assessment that measured contrast sensitivity to seven spatial frequencies (0.5-20 cycles/degree). A contrast sensitivity function (CSF) was then fitted for each participant, from which four measures were obtained: visual acuity, peak spatial frequency, peak contrast sensitivity, and contrast sensitivity at a low spatial frequency. There were no group differences on any of the four CSF measures, indicating no differential spatial frequency processing in ASD. Although it has been suggested that detail-oriented visual perception in individuals with ASD may be a result of differential sensitivities to low versus high spatial frequencies, the current study finds no evidence to support this hypothesis

Cisplatin-induced emesis: systematic review and meta-analysis of the ferret model and the effects of 5-HT3 receptor antagonists

PURPOSE: The ferret cisplatin emesis model has been used for ~30 years and enabled identification of clinically used anti-emetics. We provide an objective assessment of this model including efficacy of 5-HT(3) receptor antagonists to assess its translational validity. METHODS: A systematic review identified available evidence and was used to perform meta-analyses. RESULTS: Of 182 potentially relevant publications, 115 reported cisplatin-induced emesis in ferrets and 68 were included in the analysis. The majority (n = 53) used a 10 mg kg(−1) dose to induce acute emesis, which peaked after 2 h. More recent studies (n = 11) also used 5 mg kg(−1), which induced a biphasic response peaking at 12 h and 48 h. Overall, 5-HT(3) receptor antagonists reduced cisplatin (5 mg kg(−1)) emesis by 68% (45–91%) during the acute phase (day 1) and by 67% (48–86%) and 53% (38–68%, all P < 0.001), during the delayed phase (days 2, 3). In an analysis focused on the acute phase, the efficacy of ondansetron was dependent on the dosage and observation period but not on the dose of cisplatin. CONCLUSION: Our analysis enabled novel findings to be extracted from the literature including factors which may impact on the applicability of preclinical results to humans. It reveals that the efficacy of ondansetron is similar against low and high doses of cisplatin. Additionally, we showed that 5-HT(3) receptor antagonists have a similar efficacy during acute and delayed emesis, which provides a novel insight into the pharmacology of delayed emesis in the ferret

WNT signalling in prostate cancer

Genome sequencing and gene expression analyses of prostate tumours have highlighted the potential importance of genetic and epigenetic changes observed in WNT signalling pathway components in prostate tumours-particularly in the development of castration-resistant prostate cancer. WNT signalling is also important in the prostate tumour microenvironment, in which WNT proteins secreted by the tumour stroma promote resistance to therapy, and in prostate cancer stem or progenitor cells, in which WNT-β-catenin signals promote self-renewal or expansion. Preclinical studies have demonstrated the potential of inhibitors that target WNT receptor complexes at the cell membrane or that block the interaction of β-catenin with lymphoid enhancer-binding factor 1 and the androgen receptor, in preventing prostate cancer progression. Some WNT signalling inhibitors are in phase I trials, but they have yet to be tested in patients with prostate cancer

Circumstellar disks and planets. Science cases for next-generation optical/infrared long-baseline interferometers

We present a review of the interplay between the evolution of circumstellar disks and the formation of planets, both from the perspective of theoretical models and dedicated observations. Based on this, we identify and discuss fundamental questions concerning the formation and evolution of circumstellar disks and planets which can be addressed in the near future with optical and infrared long-baseline interferometers. Furthermore, the importance of complementary observations with long-baseline (sub)millimeter interferometers and high-sensitivity infrared observatories is outlined.Comment: 83 pages; Accepted for publication in "Astronomy and Astrophysics Review"; The final publication is available at http://www.springerlink.co

The Rossiter-McLaughlin effect in Exoplanet Research

The Rossiter-McLaughlin effect occurs during a planet's transit. It provides the main means of measuring the sky-projected spin-orbit angle between a planet's orbital plane, and its host star's equatorial plane. Observing the Rossiter-McLaughlin effect is now a near routine procedure. It is an important element in the orbital characterisation of transiting exoplanets. Measurements of the spin-orbit angle have revealed a surprising diversity, far from the placid, Kantian and Laplacian ideals, whereby planets form, and remain, on orbital planes coincident with their star's equator. This chapter will review a short history of the Rossiter-McLaughlin effect, how it is modelled, and will summarise the current state of the field before describing other uses for a spectroscopic transit, and alternative methods of measuring the spin-orbit angle.Comment: Review to appear as a chapter in the "Handbook of Exoplanets", ed. H. Deeg & J.A. Belmont

Frequent burning promotes invasions of alien plants into a mesic African savanna

Fire is both inevitable and necessary for maintaining the structure and functioning of mesic savannas. Without disturbances such as fire and herbivory, tree cover can increase at the expense of grass cover and over time dominate mesic savannas. Consequently, repeated burning is widely used to suppress tree recruitment and control bush encroachment. However, the effect of regular burning on invasion by alien plant species is little understood. Here, vegetation data from a long-term fire experiment, which began in 1953 in a mesic Zimbabwean savanna, were used to test whether the frequency of burning promoted alien plant invasion. The fire treatments consisted of late season fires, lit at 1-, 2-, 3-, and 4-year intervals, and these regularly burnt plots were compared with unburnt plots. Results show that over half a century of frequent burning promoted the invasion by alien plants relative to areas where fire was excluded. More alien plant species became established in plots that had a higher frequency of burning. The proportion of alien species in the species assemblage was highest in the annually burnt plots followed by plots burnt biennially. Alien plant invasion was lowest in plots protected from fire but did not differ significantly between plots burnt triennially and quadrennially. Further, the abundance of five alien forbs increased significantly as the interval (in years) between fires became shorter. On average, the density of these alien forbs in annually burnt plots was at least ten times as high as the density of unburnt plots. Plant diversity was also altered by long-term burning. Total plant species richness was significantly lower in the unburnt plots compared to regularly burnt plots. These findings suggest that frequent burning of mesic savannas enhances invasion by alien plants, with short intervals between fires favouring alien forbs. Therefore, reducing the frequency of burning may be a key to minimising the risk of alien plant spread into mesic savannas, which is important because invasive plants pose a threat to native biodiversity and may alter savanna functioning