Mapping UML models incorporating OCL constraints into object-Z

Focusing on object-oriented designs, this paper proposes a mapping for translating systems modelled in the Unified Modelling Language (UML) incorporating Object Constraint Language (OCL) constraints into formal software specifications in Object-Z. Joint treatment of semi-formal model constructs and constraints within a single translation framework and conversion tool is novel, and leads to the generation of much richer formal specifications than is otherwise possible. This paper complements previous analyses by paying particular attention to the generation of complete Object-Z structures. Integration of proposals to extend the OCL to include action constraints also boosts the expressivity of the translated specifications. The main features of a tool support are described

Including Systematic Uncertainties in Confidence Interval Construction for Poisson Statistics

One way to incorporate systematic uncertainties into the calculation of confidence intervals is by integrating over probability density functions parametrizing the uncertainties. In this note we present a development of this method which takes into account uncertainties in the prediction of background processes, uncertainties in the signal detection efficiency and background efficiency and allows for a correlation between the signal and background detection efficiencies. We implement this method with the Feldman & Cousins unified approach with and without conditioning. We present studies of coverage for the Feldman & Cousins and Neyman ordering schemes. In particular, we present two different types of coverage tests for the case where systematic uncertainties are included. To illustrate the method we show the relative effect of including systematic uncertainties the case of dark matter search as performed by modern neutrino tel escopes.Comment: 23 pages, 10 figures, replaced to match published versio

Characterisation of the effects of salicylidene acylhydrazide compounds on type three secretion in Escherichia coli O157:H7

Recent work has highlighted a number of compounds that target bacterial virulence by affecting gene regulation. In this work, we show that small-molecule inhibitors affect the expression of the type III secretion system (T3SS) of <i>Escherichia coli</i> O157:H7 in liquid culture and when the bacteria are attached to bovine epithelial cells. The inhibition of T3SS expression resulted in a reduction in the capacity of the bacteria to form attaching and effacing lesions. Our results show a marked variation in the ability of four structurally-related compounds to inhibit the T3SS of a panel of isolates. Using transcriptomics, we provide a comprehensive analysis of the conserved- and inhibitor-specific transcriptional responses to the four compounds. These analyses of gene expression show that numerous virulence genes, located on horizontally-acquired DNA elements, are affected by the compounds but the number of genes significantly affected varied markedly between the compounds. Overall, we highlight the importance of assessing the effect of such "anti-virulence" agents on a range of isolates and discuss the possible mechanisms which may lead to the co-ordinate down-regulation of horizontally acquired virulence genes

Direct measurement of the size of 2003 UB313 from the Hubble Space Telescope

We have used the Hubble Space Telescope to directly measure the angular size of the large Kuiper belt object 2003 UB313. By carefully calibrating the point spread function of a nearby field star, we measure the size of 2003 UB313 to be 34.3$\pm$1.4 milliarcseconds, corresponding to a diameter of 2400$\pm$100 km or a size $\sim5$% larger than Pluto. The V band geometric albedo of 2003 UB313 is $86\pm7$%. The extremely high albedo is consistent with the frosty methane spectrum, the lack of red coloring, and the lack of observed photometric variation on the surface of 2003 UB313. Methane photolysis should quickly darken the surface of 2003 UB313, but continuous evaporation and redeposition of surface ices appears capable of maintaining the extreme alebdo of this body

Inference for bounded parameters

The estimation of signal frequency count in the presence of background noise has had much discussion in the recent physics literature, and Mandelkern [1] brings the central issues to the statistical community, leading in turn to extensive discussion by statisticians. The primary focus however in [1] and the accompanying discussion is on the construction of a confidence interval. We argue that the likelihood function and $p$-value function provide a comprehensive presentation of the information available from the model and the data. This is illustrated for Gaussian and Poisson models with lower bounds for the mean parameter

Large-effect flowering time mutations reveal conditionally adaptive paths through fitness landscapes in Arabidopsis thaliana.

Contrary to previous assumptions that most mutations are deleterious, there is increasing evidence for persistence of large-effect mutations in natural populations. A possible explanation for these observations is that mutant phenotypes and fitness may depend upon the specific environmental conditions to which a mutant is exposed. Here, we tested this hypothesis by growing large-effect flowering time mutants of Arabidopsis thaliana in multiple field sites and seasons to quantify their fitness effects in realistic natural conditions. By constructing environment-specific fitness landscapes based on flowering time and branching architecture, we observed that a subset of mutations increased fitness, but only in specific environments. These mutations increased fitness via different paths: through shifting flowering time, branching, or both. Branching was under stronger selection, but flowering time was more genetically variable, pointing to the importance of indirect selection on mutations through their pleiotropic effects on multiple phenotypes. Finally, mutations in hub genes with greater connectedness in their regulatory networks had greater effects on both phenotypes and fitness. Together, these findings indicate that large-effect mutations may persist in populations because they influence traits that are adaptive only under specific environmental conditions. Understanding their evolutionary dynamics therefore requires measuring their effects in multiple natural environments

Exploring the role of need for cognition, field independence and locus of control on the incidence of lucid dreams during a 12 week induction study

This article reports an investigation of two proposed theories, the predispositional and experiential, regarding the association of personality variables to lucid dreaming incidence during a 12-week lucid dreaming induction programme. The study found no differences between those who did and did not report lucid dreams during the programme on baseline measures of Field Independence, Locus of Control or Need for Cognition. There was an observed significant change towards a Field Independent orientation between baseline and post tests for those successful at inducing a lucid dream; with no statistically significant differences for either Locus of Control or Need for Cognition. Results suggest that Field Independence may not be a predispositional characteristic for the successful induction of lucid dreaming, but an experiential result of having lucid dream experiences. We conclude that experiences within a dream state may have appreciable effects on waking cognition

Lucid dreaming incidence: a quality effects meta-analysis of 50 years of research

We report a quality effects meta-analysis on studies from the period 1966–2016 measuring either (a) lucid dreaming prevalence (one or more lucid dreams in a lifetime); (b) frequent lucid dreaming (one or more lucid dreams in a month) or both. A quality effects meta-analysis allows for the minimisation of the influence of study methodological quality on overall model estimates. Following sensitivity analysis, a heterogeneous lucid dreaming prevalence data set of 34 studies yielded a mean estimate of 55%, 95% C. I. [49%, 62%] for which moderator analysis showed no systematic bias for suspected sources of variability. A heterogeneous lucid dreaming frequency data set of 25 studies yielded a mean estimate of 23%, 95% C. I. [20%, 25%], moderator analysis revealed no suspected sources of variability. These findings are consistent with earlier estimates of lucid dreaming prevalence and frequent lucid dreaming in the population but are based on more robust evidence