Rational's experience using Ada for very large systems

The experience using the Rational Environment has confirmed the advantages forseen when the project was started. Interactive syntatic and semantic information makes a tremendous difference in the ease of constructing programs and making changes to them. The ability to follow semantic references makes it easier to understand exisiting programs and the impact of changes. The integrated debugger makes it much easier to find bugs and test fixes quickly. Taken together, these facilites have helped greatly in reducing the impact of ongoing maintenance of the ability to produce a new code. Similar improvements are anticipated as the same level of integration and interactivity are achieved for configuration management and version control. The environment has also proven useful in introducing personnel to the project and existing personnel to new parts of the system. Personnel benefit from the assistance with syntax and semantics; everyone benefits from the ability to traverse and understand the structure of unfamiliar software. It is often possible for someone completely unfamiliar with a body of code to use these facilities, to understand it well enough to successfully with a body of code to use these facilities to understand it well enough to successfully diagnose and fix bugs in a matter of minutes

Genotype-Temperature Interaction in the Regulation of Development, Growth, and Morphometrics in Wild-Type, and Growth-Hormone Transgenic Coho Salmon

The neuroendocrine system is an important modulator of phenotype, directing cellular genetic responses to external cues such as temperature. Behavioural and physiological processes in poikilothermic organisms (e.g. most fishes), are particularly influenced by surrounding temperatures.By comparing the development and growth of two genotypes of coho salmon (wild-type and transgenic with greatly enhanced growth hormone production) at six different temperatures, ranging between 8 degrees and 18 degrees C, we observed a genotype-temperature interaction and possible trend in directed neuroendocrine selection. Differences in growth patterns of the two genotypes were compared by using mathematical models, and morphometric analyses of juvenile salmon were performed to detect differences in body shape. The maximum hatching and alevin survival rates of both genotypes occurred at 12 degrees C. At lower temperatures, eggs containing embryos with enhanced GH production hatched after a shorter incubation period than wild-type eggs, but this difference was not apparent at and above 16 degrees C. GH transgenesis led to lower body weights at the time when the yolk sack was completely absorbed compared to the wild genotype. The growth of juvenile GH-enhanced salmon was to a greater extent stimulated by higher temperatures than the growth of the wild-type. Increased GH production significantly influenced the shape of the salmon growth curves.Growth hormone overexpression by transgenesis is able to stimulate the growth of coho salmon over a wide range of temperatures. Temperature was found to affect growth rate, survival, and body morphology between GH transgenic and wild genotype coho salmon, and differential responses to temperature observed between the genotypes suggests they would experience different selective forces should they ever enter natural ecosystems. Thus, GH transgenic fish would be expected to differentially respond and adapt to shifts in environmental conditions compared with wild type, influencing their ability to survive and interact in ecosystems. Understanding these relationships would assist environmental risk assessments evaluating potential ecological effects

Detection of the pairwise kinematic Sunyaev-Zel'dovich effect with BOSS DR11 and the Atacama Cosmology Telescope

We present a new measurement of the kinematic Sunyaev-Zeldovich effect using data from the Atacama Cosmology Telescope (ACT) and the Baryon Oscillation Spectroscopic Survey (BOSS). Using 600 square degrees of overlapping sky area, we evaluate the mean pairwise baryon momentum associated with the positions of 50,000 bright galaxies in the BOSS DR11 Large Scale Structure catalog. A non-zero signal arises from the large-scale motions of halos containing the sample galaxies. The data fits an analytical signal model well, with the optical depth to microwave photon scattering as a free parameter determining the overall signal amplitude. We estimate the covariance matrix of the mean pairwise momentum as a function of galaxy separation, using microwave sky simulations, jackknife evaluation, and bootstrap estimates. The most conservative simulation-based errors give signal-to-noise estimates between 3.6 and 4.1 for varying galaxy luminosity cuts. We discuss how the other error determinations can lead to higher signal-to-noise values, and consider the impact of several possible systematic errors. Estimates of the optical depth from the average thermal Sunyaev-Zeldovich signal at the sample galaxy positions are broadly consistent with those obtained from the mean pairwise momentum signal.Comment: 15 pages, 8 figures, 2 table

An Early Cambrian Rift to Post-Rift Transition in the Cordillera of Western North America

The upper Proterozoic and lower Palaeozoic wedge of miogeoclinal strata in the North American Cordillera is widely regarded as evidence for a proto-Pacific passive margin. The rifting history of this margin appears to have been protracted, possibly spanning more than 200 Myr in a tectonic setting that is not well understood. Quantitative subsidence analyses of lower Palaeozoic strata between British Columbia and Utah, however, provide indirect evidence that the transition from rifting to post-rift cooling occurred within a relatively short interval of time, although probably not synchronously, between 600 and 555 Myr. This age is significantly younger than that implied in previous studies. We describe here new field data, which, together with published geological data, provide direct evidence of a latest Proterozoic or early Cambrian age for the rift to post-rift transition. The data support recent arguments for widespread initiation of passive margins around the edge of the North American craton close to the Cambrian-Precambrian boundary

Marine Ecoregion and Deepwater Horizon Oil Spill Affect Recruitment and Population Structure of a Salt Marsh Snail

Marine species with planktonic larvae often have high spatial and temporal variation in recruitment that leads to subsequent variation in the ecology of benthic adults. Using a combination of published and unpublished data, we compared the population structure of the salt marsh snail, Littoraria irrorata, between the South Atlantic Bight and the Gulf Coast of the United States to infer geographic differences in recruitment and to test the hypothesis that the Deepwater Horizon oil spill led to widespread recruitment failure of L. irrorata in Louisiana in 2010. Size-frequency distributions in both ecoregions were bimodal, with troughs in the distributions consistent with a transition from sub-adults to adults at ~13 mm in shell length as reported in the literature; however, adult snails reached larger sizes in the Gulf Coast. The ratio of sub-adults to adults was 1.5–2 times greater in the South Atlantic Bight than the Gulf Coast, consistent with higher recruitment rates in the South Atlantic Bight. Higher recruitment rates in the South Atlantic Bight could contribute to higher snail densities and reduced adult growth in this region. The ratio of sub-adults to adults in Louisiana was lower in 2011 than in previous years, and began to recover in 2012–2014, consistent with widespread recruitment failure in 2010, when large expanses of spilled oil were present in coastal waters. Our results reveal an important difference in the ecology of a key salt marsh invertebrate between the two ecoregions, and also suggest that the Deepwater Horizon oil spill may have caused widespread recruitment failure in this species and perhaps others with similar planktonic larval stages

Type inference in flexible model-driven engineering using classification algorithms

Flexible or bottom-up model-driven engineering (MDE) is an emerging approach to domain and systems modelling. Domain experts, who have detailed domain knowledge, typically lack the technical expertise to transfer this knowledge using traditional MDE tools. Flexible MDE approaches tackle this challenge by promoting the use of simple drawing tools to increase the involvement of domain experts in the language definition process. In such approaches, no metamodel is created upfront, but instead the process starts with the definition of example models that will be used to infer the metamodel. Pre-defined metamodels created by MDE experts may miss important concepts of the domain and thus restrict their expressiveness. However, the lack of a metamodel, that encodes the semantics of conforming models has some drawbacks, among others that of having models with elements that are unintentionally left untyped. In this paper, we propose the use of classification algorithms to help with the inference of such untyped elements. We evaluate the proposed approach in a number of random generated example models from various domains. The correct type prediction varies from 23 to 100% depending on the domain, the proportion of elements that were left untyped and the prediction algorithm used

The Collaborative Image of The City: Mapping the Inequality of Urban Perception

A traveler visiting Rio, Manila or Caracas does not need a report to learn that these cities are unequal; she can see it directly from the taxicab window. This is because in most cities inequality is conspicuous, but also, because cities express different forms of inequality that are evident to casual observers. Cities are highly heterogeneous and often unequal with respect to the income of their residents, but also with respect to the cleanliness of their neighborhoods, the beauty of their architecture, and the liveliness of their streets, among many other evaluative dimensions. Until now, however, our ability to understand the effect of a city's built environment on social and economic outcomes has been limited by the lack of quantitative data on urban perception. Here, we build on the intuition that inequality is partly conspicuous to create quantitative measure of a city's contrasts. Using thousands of geo-tagged images, we measure the perception of safety, class and uniqueness; in the cities of Boston and New York in the United States, and Linz and Salzburg in Austria, finding that the range of perceptions elicited by the images of New York and Boston is larger than the range of perceptions elicited by images from Linz and Salzburg. We interpret this as evidence that the cityscapes of Boston and New York are more contrasting, or unequal, than those of Linz and Salzburg. Finally, we validate our measures by exploring the connection between them and homicides, finding a significant correlation between the perceptions of safety and class and the number of homicides in a NYC zip code, after controlling for the effects of income, population, area and age. Our results show that online images can be used to create reproducible quantitative measures of urban perception and characterize the inequality of different cities.MIT Media Lab Consortiu

Genome-wide analyses for personality traits identify six genomic loci and show correlations with psychiatric disorders

Personality is influenced by genetic and environmental factors1 and associated with mental health. However, the underlying genetic determinants are largely unknown. We identified six genetic loci, including five novel loci2,3, significantly associated with personality traits in a meta-analysis of genome-wide association studies (N = 123,132–260,861). Of these genomewide significant loci, extraversion was associated with variants in WSCD2 and near PCDH15, and neuroticism with variants on chromosome 8p23.1 and in L3MBTL2. We performed a principal component analysis to extract major dimensions underlying genetic variations among five personality traits and six psychiatric disorders (N = 5,422–18,759). The first genetic dimension separated personality traits and psychiatric disorders, except that neuroticism and openness to experience were clustered with the disorders. High genetic correlations were found between extraversion and attention-deficit– hyperactivity disorder (ADHD) and between openness and schizophrenia and bipolar disorder. The second genetic dimension was closely aligned with extraversion–introversion and grouped neuroticism with internalizing psychopathology (e.g., depression or anxiety)