Generic identifiability and second-order sufficiency in tame convex optimization

We consider linear optimization over a fixed compact convex feasible region that is semi-algebraic (or, more generally, "tame"). Generically, we prove that the optimal solution is unique and lies on a unique manifold, around which the feasible region is "partly smooth", ensuring finite identification of the manifold by many optimization algorithms. Furthermore, second-order optimality conditions hold, guaranteeing smooth behavior of the optimal solution under small perturbations to the objective

Editorial overview: recent innovations in the metabolomics revolution

No abstract available

Overlapping memory replay during sleep builds cognitive schemata

Sleep enhances integration across multiple stimuli, abstraction of general rules, insight into hidden solutions and false memory formation. Newly learned information is better assimilated if compatible with an existing cognitive framework or schema. This article proposes a mechanism by which the reactivation of newly learned memories during sleep could actively underpin both schema formation and the addition of new knowledge to existing schemata. Under this model, the overlapping replay of related memories selectively strengthens shared elements. Repeated reactivation of memories in different combinations progressively builds schematic representations of the relationships between stimuli. We argue that this selective strengthening forms the basis of cognitive abstraction, and explain how it facilitates insight and false memory formation

Measuring attitude toward theistic faith : assessing the Astley-Francis Scale among Christian, Muslim and secular youth in England

Empirical research within the social scientific study of religion in general and within the psychology of religion in particular remains very conscious of the complex nature of its subject matter. Empirical research in this field needs to take cognisance of the many forms in which religion is expressed (say, Buddhism, Christianity, Hinduism, Islam, Judaism, and Sikhism) and the many facets within the forms (say, beliefs, behaviours and affiliation). Working in the 1970s, Francis (1978a; 1978b) advanced the view that the attitudinal dimension of religion offered a particularly fruitful basis for coordinating empirical enquiry into the correlates, antecedents and consequences of religiosity across the life span

Channel and active component abstractions for WSN programming - a language model with operating system support

To support the programming of Wireless Sensor Networks, a number of unconventional programming models have evolved, in particular the event-based model. These models are non-intuitive to programmers due to the introduction of unnecessary, non-intrinsic complexity. Component-based languages like Insense can eliminate much of this unnecessary complexity via the use of active components and synchronous channels. However, simply layering an Insense implementation over an existing event-based system, like TinyOS, while proving efficacy, is insufficiently space and time efficient for production use. The design and implementation of a new language-specific OS, InceOS, enables both space and time efficient programming of sensor networks using component-based languages like Insense

Bacillus subtilis regulatory protein GerE

GerE is the latest-acting of a series of factors which regulate gene expression in the mother cell during sporulation in Bacillus. The gene encoding GerE has been cloned from B. subtilis and overexpressed in Escherichia coli. Purified GerE has been crystallized by the hanging-drop vapour-diffusion method using polyethylene glycol as a precipitant. The small plate-like crystals belong to the monoclinic space group C2 and diffract beyond 2.2 Angstrom resolution with a synchrotron radiation X-ray source

Crystallization and preliminary X-ray analysis of the sporulation factor SpoIIAA in its native and phosphorylated forms

Sporulation in Bacillus begins with an asymmetric cell division producing two progeny with identical chromosomes but different developmental fates. As such, it is a simple example of cellular differentiation. The establishment of cell type is controlled by a series of alternate RNA polymerase sigma subunits. The first compartment-specific sigma factor is sigma (F), whose activity is controlled by SpoIIAB, an anti-sigma factor, and SpoIIAA, an anti-sigma factor antagonist which is phosphorylated by the kinase activity of SpoIIAB. Here, the preliminary crystallographic analysis of SpoIIAA and phosphorylated SpoIIAA from B. sphaericus in forms suitable for high-resolution structure determination are reported

The Cosmic Microwave Background and the Ionization History of the Universe

Details of how the primordial plasma recombined and how the universe later reionized are currently somewhat uncertain. This uncertainty can restrict the accuracy of cosmological parameter measurements from the Cosmic Microwave Background (CMB). More positively, future CMB data can be used to constrain the ionization history using observations. We first discuss how current uncertainties in the recombination history impact parameter constraints, and show how suitable parameterizations can be used to obtain unbiased parameter estimates from future data. Some parameters can be constrained robustly, however there is clear motivation to model recombination more accurately with quantified errors. We then discuss constraints on the ionization fraction binned in redshift during reionization. Perfect CMB polarization data could in principle distinguish different histories that have the same optical depth. We discuss how well the Planck satellite may be able to constrain the ionization history, and show the currently very weak constraints from WMAP three-year data.Comment: Changes to match MNRAS accepted versio