On the engineering of crucial software

The various aspects of the conventional software development cycle are examined. This cycle was the basis of the augmented approach contained in the original grant proposal. This cycle was found inadequate for crucial software development, and the justification for this opinion is presented. Several possible enhancements to the conventional software cycle are discussed. Software fault tolerance, a possible enhancement of major importance, is discussed separately. Formal verification using mathematical proof is considered. Automatic programming is a radical alternative to the conventional cycle and is discussed. Recommendations for a comprehensive approach are presented, and various experiments which could be conducted in AIRLAB are described

Cumulative Risk Assessment and Environmental Equity in Air Permitting: Interpretation, Methods, Community Participation and Implementation of a Unique Statute

In 2008, the statute authorizing the Minnesota Pollution Control Agency (MPCA) to issue air permits was amended to include a unique requirement to analyze and consider “cumulative levels and effects of past and current environmental pollution from all sources on the environment and residents of the geographic area within which the facility’s emissions are likely to be deposited.” Data describing the Statute Area suggest it is challenged by environmental and socioeconomic concerns, i.e., concerns which are often described by the phrase ‘environmental equity’. With input from diverse stakeholders, the MPCA developed a methodology for implementing a cumulative levels and effects analysis when issuing air permits in the designated geographic area. A Process Document was created defining explicit steps a project proposer must complete in the analysis. An accompanying Reference Document compiles all available environmental health data relevant to the Statute Area that could be identified. The final cumulative levels and effects methodology is organized by health endpoint and identifies hazard, exposure and health indices that require further evaluation. The resulting assessment is summarized and presented to decision makers for consideration in the regulatory permitting process. We present a description of the methodology followed by a case study summary of the first air permit processed through the “cumulative levels and effects analysis”

Worldwide use of the first set of physical activity Country Cards: The Global Observatory for Physical Activity - GoPA!

Background: The work of The Global Observatory for Physical Activity-GoPA! is the first global effort to compile standardized country-level surveillance, policy and research data for physical activity in order to better understand how countries and regions address promoting physical activity. GoPA! developed standardized country-specific physical activity profiles (“Country Cards”) to summarize country-level data through 2013. The aim of this study was to assess use of the Country Cards, identify the factors associated with their use, and develop recommendations for supporting country-level physical activity promotion. Methods: Cross sectional internet-based survey conducted between August–October 2016. Target study participants were national physical activity leaders and advocates in academia, government and practice from the GoPA! countries, and members of the International Society of Physical Activity and Health. A Country Card use composite score was created based on the diversity and frequency of use. Statistical analyses on the associations between the composite score and respondent characteristics, country characteristics, barriers and opinions were conducted (including descriptive analyses and a logistic regression with robust standard errors). Results: One hundred forty three participants from 68 countries completed the survey. Use of the Country Cards was associated with being part of the GoPA! network, knowing about the Country Cards, and on the stage of country capacity for physical activity promotion. Country Card knowledge varied by country income group, region and the country specific context. More diverse and frequent use of the cards (highest tertile of the composite score for use) was associated with: 1. Being a country contact vs general participant (OR 18.32–95% CI 5.63–59.55, p = 0.002), and 2. Collaborating with a government representative working in NCDs on a monthly or more frequent contact vs less frequent contact (OR 3.39–95% CI 1.00–11.54, P < 0.05). Conclusions: For the Country Cards to have a broader impact, GoPA! will need to widen its reach beyond the academic sector. With further refinement of the cards, and training in their implementation, they could be an important tool for advancing country capacity for contextually-relevant strategies, actions and timelines for PA promotion

Grouping practices in the primary school: what influences change?

During the 1990s, there was considerable emphasis on promoting particular kinds of pupil grouping as a means of raising educational standards. This survey of 2000 primary schools explored the extent to which schools had changed their grouping practices in responses to this, the nature of the changes made and the reasons for those changes. Forty eight percent of responding schools reported that they had made no change. Twenty two percent reported changes because of the literacy hour, 2% because of the numeracy hour, 7% because of a combination of these and 21% for other reasons. Important influences on decisions about the types of grouping adopted were related to pupil learning and differentiation, teaching, the implementation of the national literacy strategy, practical issues and school self-evaluation

A Minimal Threshold of c-di-GMP Is Essential for Fruiting Body Formation and Sporulation in Myxococcus xanthus

Generally, the second messenger bis-(3’-5’)-cyclic dimeric GMP (c-di-GMP) regulates the switch between motile and sessile lifestyles in bacteria. Here, we show that c-di-GMP is an essential regulator of multicellular development in the social bacterium Myxococcus xanthus. In response to starvation, M. xanthus initiates a developmental program that culminates in formation of spore-filled fruiting bodies. We show that c-di-GMP accumulates at elevated levels during development and that this increase is essential for completion of development whereas excess c-di-GMP does not interfere with development. MXAN3735 (renamed DmxB) is identified as a diguanylate cyclase that only functions during development and is responsible for this increased c-di-GMP accumulation. DmxB synthesis is induced in response to starvation, thereby restricting DmxB activity to development. DmxB is essential for development and functions downstream of the Dif chemosensory system to stimulate exopolysaccharide accumulation by inducing transcription of a subset of the genes encoding proteins involved in exopolysaccharide synthesis. The developmental defects in the dmxB mutant are non-cell autonomous and rescued by co-development with a strain proficient in exopolysaccharide synthesis, suggesting reduced exopolysaccharide accumulation as the causative defect in this mutant. The NtrC-like transcriptional regulator EpsI/Nla24, which is required for exopolysaccharide accumulation, is identified as a c-diGMP receptor, and thus a putative target for DmxB generated c-di-GMP. Because DmxB can be—at least partially—functionally replaced by a heterologous diguanylate cyclase, these results altogether suggest a model in which a minimum threshold level of c-di-GMP is essential for the successful completion of multicellular development in M. xanthus

Geographically touring the eastern bloc: British geography, travel cultures and the Cold War

This paper considers the role of travel in the generation of geographical knowledge of the eastern bloc by British geographers. Based on oral history and surveys of published work, the paper examines the roles of three kinds of travel experience: individual private travels, tours via state tourist agencies, and tours by academic delegations. Examples are drawn from across the eastern bloc, including the USSR, Poland, Romania, East Germany and Albania. The relationship between travel and publication is addressed, notably within textbooks, and in the Geographical Magazine. The study argues for the extension of accounts of cultures of geographical travel, and seeks to supplement the existing historiography of Cold War geography

The XMM-BCS galaxy cluster survey: I. The X-ray selected cluster catalog from the initial 6 deg2^2

The XMM-Newton - Blanco Cosmology Survey project (XMM-BCS) is a coordinated X-ray, optical and mid-infrared cluster survey in a field also covered by Sunyaev-Zel'dovich effect surveys by the South Pole Telescope and the Atacama Cosmology Telescope. The aim of the project is to study the cluster population in a 14 deg$^2$ field. In this work, we present a catalog of 46 X-ray selected clusters from the initial 6 deg$^2$ survey core. We describe the XMM-BCS source detection pipeline and derive physical properties of the clusters. We provide photometric redshift estimates derived from the BCS imaging data and spectroscopic redshift measurements for a low redshift subset of the clusters. We derive the cluster log N - log S relation using an approximation to the survey selection function and find it in good agreement with previous studies. We carry out an initial comparison between X-ray luminosity derived masses and masses from optical estimators from the Southern Cosmology Survey for a subset of the cluster sample. Optical masses based on cluster richness and total optical luminosity are found to be significantly higher than the X-ray values. (abridged)Comment: Accepted to A&A. Version with full resolution images and better layout is available at the author or at A&A. 34 pages, 35 figures, 18 table

Upper limits on the strength of periodic gravitational waves from PSR J1939+2134

The first science run of the LIGO and GEO gravitational wave detectors presented the opportunity to test methods of searching for gravitational waves from known pulsars. Here we present new direct upper limits on the strength of waves from the pulsar PSR J1939+2134 using two independent analysis methods, one in the frequency domain using frequentist statistics and one in the time domain using Bayesian inference. Both methods show that the strain amplitude at Earth from this pulsar is less than a few times $10^{-22}$.Comment: 7 pages, 1 figure, to appear in the Proceedings of the 5th Edoardo Amaldi Conference on Gravitational Waves, Tirrenia, Pisa, Italy, 6-11 July 200

Improving the sensitivity to gravitational-wave sources by modifying the input-output optics of advanced interferometers

We study frequency dependent (FD) input-output schemes for signal-recycling interferometers, the baseline design of Advanced LIGO and the current configuration of GEO 600. Complementary to a recent proposal by Harms et al. to use FD input squeezing and ordinary homodyne detection, we explore a scheme which uses ordinary squeezed vacuum, but FD readout. Both schemes, which are sub-optimal among all possible input-output schemes, provide a global noise suppression by the power squeeze factor, while being realizable by using detuned Fabry-Perot cavities as input/output filters. At high frequencies, the two schemes are shown to be equivalent, while at low frequencies our scheme gives better performance than that of Harms et al., and is nearly fully optimal. We then study the sensitivity improvement achievable by these schemes in Advanced LIGO era (with 30-m filter cavities and current estimates of filter-mirror losses and thermal noise), for neutron star binary inspirals, and for narrowband GW sources such as low-mass X-ray binaries and known radio pulsars. Optical losses are shown to be a major obstacle for the actual implementation of these techniques in Advanced LIGO. On time scales of third-generation interferometers, like EURO/LIGO-III (~2012), with kilometer-scale filter cavities, a signal-recycling interferometer with the FD readout scheme explored in this paper can have performances comparable to existing proposals. [abridged]Comment: Figs. 9 and 12 corrected; Appendix added for narrowband data analysi

Perturbations of MicroRNA Function in Mouse Dicer Mutants Produce Retinal Defects and Lead to Aberrant Axon Pathfinding at the Optic Chiasm

During development axons encounter a variety of choice points where they have to make appropriate pathfinding decisions. The optic chiasm is a major decision point for retinal ganglion cell (RGC) axons en route to their target in order to ensure the correct wiring of the visual system. MicroRNAs (miRNAs) belong to the class of small non-coding RNA molecules and have been identified as important regulators of a variety of processes during embryonic development. However, their involvement in axon guidance decisions is less clear.We report here that the early loss of Dicer, an essential protein for the maturation of miRNAs, in all cells of the forming retina and optic chiasm leads to severe phenotypes of RGC axon pathfinding at the midline. Using a conditional deletion approach in mice, we find in homozygous Dicer mutants a marked increase of ipsilateral projections, RGC axons extending outside the optic chiasm, the formation of a secondary optic tract and a substantial number of RGC axons projecting aberrantly into the contralateral eye. In addition, the mutant mice display a microphthalmia phenotype.Our work demonstrates an important role of Dicer controlling the extension of RGC axons to the brain proper. It indicates that miRNAs are essential regulatory elements for mechanisms that ensure correct axon guidance decisions at the midline and thus have a central function in the establishment of circuitry during the development of the nervous system