MOTIVATION It is widely acknowledged that microarray data are subject to high noise levels and results are often platform dependent. Therefore, microarray experiments should be replicated several times and in several laboratories before the results can be relied upon. To make the best use of such extensive datasets, methods for microarray data fusion are required. Ideally, the fused data should...

Combining symbolic techniques such as: (i) SMT solving, (ii) rewriting modulo theories, and (iii) model checking can enable the analysis of infinite-state systems outside the scope of each such technique. This paper proposes rewriting modulo SMT as a new technique combining the powers of (i)-(iii) and ideally suited to model and analyze infinite-state open systems; that is, systems that interac...

We study theoretically the collective E⊗e Jahn–Teller–Dicke distortion in a system of trapped ions. In a previous work (Porras et al 2012 Phys. Rev. Lett. 108 235701) we have focused on cooperative Jahn–Teller models consisting of an ensemble of effective spins coupled to a set of many vibrational modes. Here, we show that under suitable conditions the spin ensemble may interact only with a sin...

BACKGROUND Human immunodeficiency virus (HIV)-1 infection continues to challenge the development of antigen-specific immune-based strategies for the management (therapeutic immunisation) and prevention (vaccination) of HIV-1 infection. OBJECTIVE This review aims to assess current prospects for HIV-1 therapeutic immunisation with particular emphasis on the contribution of peptide-based immunog...

Understanding protein conformation, interactions, and ligand binding is essential to all biological inquiry. We report a novel biochemical technique, called misincorporation proton-alkyl exchange (MPAX), that can be used to footprint protein structure at single amino acid resolution. MPAX exploits translational misincorporation of cysteine residues to generate probes for physical analysis. We a...

The epidemic of childhood obesity is rising globally. Although the risk factors for obesity are multifactorial, many are related to lifestyle and may be amenable to intervention. These factors include sedentary time and non-exercise activity thermogenesis, as well as the frequency, intensity, amounts and types of physical activity. Front-line health care practitioners are ideally suited to moni...