Mathematical notation in formal specification: Too difficult for the masses? [Correspondence]

The phrase “not much mathematics required” can imply a variety of skill levels. When this phrase is applied to computer scientists, software engineers, and clients in the area of formal specification, the word “much” can be widely misinterpreted with disastrous consequences. A small experiment in reading specifications revealed that students already trained in discrete mathematics and the specification notation performed very poorly; much worse than could reasonably be expected if formal methods proponents are to be believed.

The creative masses of digital Britain

The present recession has prompted scholarly and journalistic questioning of the contributions of the cultural industries to the economy. The talent-rich metropolitan clusters of London and New York are well-placed to ride out a thoroughgoing shakeup of the media markets if they manage their infrastructure, space and resources strategically, as Richard Florida has recently argued. This seems to be the assumption behind the recent Digital Britain interim report, and Gordon Brown's remarks that a digital revolution "lies at the heart" of Britain's economic recovery and that broadband and the media industry can play a leading role in pulling the UK out of the recession. Focusing on the Digital Britain report and consultation documents, this presentation seeks to unpack some of the fundamental assumptions behind this link between digital infrastructure, creativity and profitability. In particular the implicit notion of an engaged audience of users, generating "content" as well as shaping new media platforms calls into question long-held theoretical constructions of the mass audience of consumers as spectators; instead, the audience emerges as a potential economic powerhouse, an underused resource for tomorrow's cultural industries.

Organ damage in Atlantic herring larvae as a result of ocean acidification

The dissolution of anthropogenically emitted excess carbon dioxide lowers the pH of the world's ocean water. The larvae of mass spawning marine fishes may be particularly vulnerable to such ocean acidification (OA), yet the generality of earlier results is unclear. Here we show the detrimental effects of OA on the development of a commercially important fish species, the Atlantic herring (Clupea harengus). Larvae were reared at three levels of CO2: today (0.0385 kPa), end of next century (0.183 kPa), and a coastal upwelling scenario (0.426 kPa), under near-natural conditions in large outdoor tanks. Exposure to elevated CO2 levels resulted in stunted growth and development, decreased condition, and severe tissue damage in many organs, with the degree of damage increasing with CO2 concentration. This complements earlier studies of OA on Atlantic cod larvae that revealed similar organ damage but at increased growth rates and no effect on condition.

Dermatoxin and phylloxin from the waxy monkey frog, Phyllomedusa sauvagei: cloning of precursor cDNAs and structural characterization from lyophilized skin secretion

Amphibian skin is a morphologically, biochemically and physiologically complex organ that performs the wide range of functions necessary for amphibian survival. Here we describe the primary structures of representatives of two novel classes of amphibian skin antimicrobials, dermatoxin and phylloxin, from the skin secretion of Phyllomedusa sauvagei, deduced from their respective precursor encoding cDNAs cloned from a lyophilized skin secretion library. A degenerate primer, designed to a highly conserved domain in the 5'-untranslated region of analogous peptide precursor cDNAs from Phyllomedusa bicolor, was employed in a 3'-RACE reaction. Peptides with molecular masses coincident with precursor-deduced mature toxin peptides were identified in LC/MS fractions of skin secretion and primary structures were confirmed by MS/MS fragmentation. This integrated experimental approach can thus rapidly expedite the primary structural characterization of amphibian skin peptides in a manner that circumvents specimen sacrifice whilst preserving robustness of scientific data.

The component masses of the cataclysmic variable V347 Puppis

We present time-resolved spectroscopy and photometry of the double-lined eclipsing cataclysmic variable V347 Pup ( = LB 1800). There is evidence of irradiation on the inner hemisphere of the secondary star, which we correct for using a model to give a secondary-star radial velocity of K R = 198 +/- 5 km s(-1). The rotational velocity of the secondary star in V347 Pup is found to be v sin i = 131 +/- 5 km s(-1) and the system inclination is i = 84degrees.0 +/- 2degrees.3. From these parameters we obtain masses of M-1 = 0.63 +/- 0.04 M for the white dwarf primary and M-2 = 0.52 +/- 0.06 M for the M0.5V secondary star, giving a mass ratio of q = 0.83 +/- 0.05. On the basis of the component masses, and the spectral type and radius of the secondary star in V347 Pup, we find tentative evidence for an evolved companion. V347 Pup shows many of the characteristics of the SW Sex stars, exhibiting single-peaked emission lines, high-velocity S-wave components and phase-offsets in the radial velocity curve. We find spiral arms in the accretion disc of V347 Pup and measure the disc radius to be close to the maximum allowed in a pressureless disc.