A Historical Perspective on Runtime Assertion Checking in Software Development

This report presents initial results in the area of software testing and analysis produced as part of the Software Engineering Impact Project. The report describes the historical development of runtime assertion checking, including a description of the origins of and significant features associated with assertion checking mechanisms, and initial findings about current industrial use. A future report will provide a more comprehensive assessment of development practice, for which we invite readers of this report to contribute information

Olive phenology as a sensitive indicator of future climatic warming in the Mediterranean

Experimental and modelling work suggests a strong dependence of olive flowering date on spring temperatures. Since airborne pollen concentrations reflect the flowering phenology of olive populations within a radius of 50 km, they may be a sensitive regional indicator of climatic warming. We assessed this potential sensitivity with phenology models fitted to flowering dates inferred from maximum airborne pollen data. Of four models tested, a thermal time model gave the best fit for Montpellier, France, and was the most effective at the regional scale, providing reasonable predictions for 10 sites in the western Mediterranean. This model was forced with replicated future temperature simulations for the western Mediterranean from a coupled ocean-atmosphere general circulation model (GCM). The GCM temperatures rose by 4·5 °C between 1990 and 2099 with a 1% per year increase in greenhouse gases, and modelled flowering date advanced at a rate of 6·2 d per °C. The results indicated that this long-term regional trend in phenology might be statistically significant as early as 2030, but with marked spatial variation in magnitude, with the calculated flowering date between the 1990s and 2030s advancing by 3–23 d. Future monitoring of airborne olive pollen may therefore provide an early biological indicator of climatic warming in the Mediterranean

Identification of a novel prophage regulator in Escherichia coli controlling the expression of type III secretion

This study has identified horizontally acquired genomic regions of enterohaemorrhagic Escherichia coli O157:H7 that regulate expression of the type III secretion (T3S) system encoded by the locus of enterocyte effacement (LEE). Deletion of O-island 51, a 14.93 kb cryptic prophage (CP-933C), resulted in a reduction in LEE expression and T3S. The deletion also had a reduced capacity to attach to epithelial cells and significantly reduced E. coli O157 excretion levels from sheep. Further characterization of O-island 51 identified a novel positive regulator of the LEE, encoded by ecs1581 in the E. coli O157:H7 strain Sakai genome and present but not annotated in the E. coli strain EDL933 sequence. Functionally important residues of ECs1581 were identified based on phenotypic variants present in sequenced E. coli strains and the regulator was termed RgdR based on a motif demonstrated to be important for stimulation of gene expression. While RgdR activated expression from the LEE1 promoter in the presence or absence of the LEE-encoded regulator (Ler), RgdR stimulation of T3S required ler and Ler autoregulation. RgdR also controlled the expression of other phenotypes, including motility, indicating that this new family of regulators may have a more global role in E. coli gene expression

Kowakare: A New Perspective on the Development of Early Mother–Offspring Relationship

The mother–offspring relationship has components of both positivity and negativity. Kowakare is a new concept introduced to explain an adaptive function of the negativity in the early mother-offspring relationship. Kowakare is the psycho-somatic development of the relationship as the process of accumulation in the otherness of offspring. Early human Kowakare has two frameworks, biological inter-body antagonism and socio-cultural allomothering compensating the antagonism. Some features of feeding/weaning, parental aversion to offspring’s bodily products, and transition from dyad to triad relationship (proto–triad relationship) in tactile play are discussed. Early human Kowakare is promoted by allomothering with the nested systems of objects/persons/institutions as interfaces between mother and offspring. Kowakare makes mother–offspring relationship a mutually autonomous and cooperative companionship

Heterozygosity and ethnic variation in Japanese platelet proteins

Sixty-two polypeptides visualized on silver-stained two-dimensional polyacrylamide gel electrophoresis (2-D PAGE) preparations of platelets from 85 Japanese subjects, in total 5,252 spots, have been scored for genetic variation. Inherited variants of 11 of the polypeptides were recognized; the index of heterozygosity was 2.4%±0.2%. Thus far, 10 genetic polymorphisms identified by 2-D PAGE of plasma, erythrocytes, or platelets have been identified in both Japanese and Caucasian subjects. A comparison of allele frequencies reveals four significant ethnic differences. We also observed four polypeptides exhibiting a low frequency polymorphism in one group but not in the other, as well as three polymorphisms in Caucasians for which no counterpart polypeptide has thus far been recognized in the Japanese group and, vice versa, 11 such polymorphisms in Japanese. Although a similar comparison of 7 enzyme polymorphisms studied with one-dimensional electrophoresis (1-D E) in the same populations revealed a relatively higher number of significant ethnic differences, evidence is presented that this is due primarily to the greater number of 1-D E observations entering into the calculation. It is argued that this similarity in the frequency of ethnic differences among the polypeptides studied by 2-D PAGE and by 1-D E is further evidence that the proteins revealed by 2-D PAGE do not differ greatly in their response to the interplay of mutation, selection, and drift from those revealed by 1-D E studies of plasma proteins and erythrocyte enzymes.Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/47621/1/439_2004_Article_BF00291224.pd

A Reservoir Species for the Emerging Amphibian Pathogen Batrachochytrium dendrobatidis Thrives in a Landscape Decimated by Disease

Chytridiomycosis, a disease caused by the fungal pathogen Batrachochytrium dendrobatidis (Bd), is driving amphibian declines and extinctions in protected areas globally. The introduction of invasive reservoir species has been implicated in the spread of Bd but does not explain the appearance of the pathogen in remote protected areas. In the high elevation (>1500 m) Sierra Nevada of California, the native Pacific chorus frog, Pseudacris regilla, appears unaffected by chytridiomycosis while sympatric species experience catastrophic declines. We investigated whether P. regilla is a reservoir of Bd by comparing habitat occupancy before and after a major Bd outbreak and measuring infection in P. regilla in the field, monitoring susceptibility of P. regilla to Bd in the laboratory, examining tissues with histology to determine patterns of infection, and using an innovative soak technique to determine individual output of Bd zoospores in water. Pseudacris regilla persists at 100% of sites where a sympatric species has been extirpated from 72% in synchrony with a wave of Bd. In the laboratory, P. regilla carried loads of Bd as much as an order of magnitude higher than loads found lethal to sympatric species. Histology shows heavy Bd infection in patchy areas next to normal skin, a possible mechanism for tolerance. The soak technique was 77.8% effective at detecting Bd in water and showed an average output of 68 zoospores per minute per individual. The results of this study suggest P. regilla should act as a Bd reservoir and provide evidence of a tolerance mechanism in a reservoir species

Melanoma Cell Expression of CD200 Inhibits Tumor Formation and Lung Metastasis via Inhibition of Myeloid Cell Functions

CD200 is a cell surface glycoprotein that functions through engaging CD200 receptor on cells of the myeloid lineage and inhibits their functions. Expression of CD200 has been implicated in a variety of human cancer cells including melanoma cells and has been thought to play a protumor role. To investigate the role of cancer cell expression of CD200 in tumor formation and metastasis, we generated CD200-positive and CD200-negative B16 melanoma cells. Subcutaneous injection of CD200-positive B16 melanoma cells inhibited tumor formation and growth in C57BL/6 mice but not in Rag1−/−C57BL/6 mice. However, i.v. injection of CD200-positive B16 melanoma cells dramatically inhibited tumor foci formation in the lungs of both C57BL/6 and Rag1−/−C57BL6 mice. Flow cytometry analysis revealed higher expression of CD200R in Gr1+ myeloid cells in the lung than in peripheral myeloid cells. Depletion of Gr1+ cells or stimulation of CD200R with an agonistic antibody in vivo dramatically inhibited tumor foci formation in the lungs. In addition, treatment with tumor antigen specific CD4 or CD8 T cells or their combination yielded a survival advantage for CD200 positive tumor bearing mice over mice bearing CD200-negative tumors. Taken together, we have revealed a novel role for CD200-CD200R interaction in inhibiting tumor formation and metastasis. Targeting CD200R may represent a novel approach for cancer immunotherapy

Cross-Modal Prediction in Speech Perception

Speech perception often benefits from vision of the speaker's lip movements when they are available. One potential mechanism underlying this reported gain in perception arising from audio-visual integration is on-line prediction. In this study we address whether the preceding speech context in a single modality can improve audiovisual processing and whether this improvement is based on on-line information-transfer across sensory modalities. In the experiments presented here, during each trial, a speech fragment (context) presented in a single sensory modality (voice or lips) was immediately continued by an audiovisual target fragment. Participants made speeded judgments about whether voice and lips were in agreement in the target fragment. The leading single sensory context and the subsequent audiovisual target fragment could be continuous in either one modality only, both (context in one modality continues into both modalities in the target fragment) or neither modalities (i.e., discontinuous). The results showed quicker audiovisual matching responses when context was continuous with the target within either the visual or auditory channel (Experiment 1). Critically, prior visual context also provided an advantage when it was cross-modally continuous (with the auditory channel in the target), but auditory to visual cross-modal continuity resulted in no advantage (Experiment 2). This suggests that visual speech information can provide an on-line benefit for processing the upcoming auditory input through the use of predictive mechanisms. We hypothesize that this benefit is expressed at an early level of speech analysis