A novel gammaretrovirus, xenotropic murine leukemia virus-related virus (XMRV), has been identified in patients with prostate cancer and in patients with chronic fatigue syndromes. Standard Mus musculus laboratory mice lack a functional XPR1 receptor for XMRV and are therefore not a suitable model for the virus. In contrast, Gairdner's shrew-mice (Mus pahari) do express functional XPR1. To dete...

Efficient algorithms for extracting minimally unsatisfiable subformulas (MUSes) of Boolean formulas find a wide range of applications in the analysis of systems, e.g., hardware and software bounded model checking. In this paper we study the applicability of preprocessing techniques for Boolean satisfiability (SAT) in the context of MUS extraction. Preprocessing has proven to be extremely import...

This paper tackles the problem of deciding whether a given clause belongs to some minimally unsatisfiable subset (MUS) of a formula, where the formula is in conjunctive normal form (CNF) and unsatisfiable. Deciding MUS-membership helps the understanding of why a formula is unsatisfiable. If a clause does not belong to any MUS, then removing it will certainly not contribute to restoring the form...

Simultaneous recordings of action potentials (APs) of multiple single motor units (MUs) were obtained in brachialis and biceps (caput breve) muscles during si­ nusoidally modulated isometric contractions of elbow flexor muscles and during sinusoidal flexion/extension movements in the elbow against a preload in the exten­ sion direction. The results show that MUs typically fire in one short burs...

Treatment of a cell line derived from the Asian feral mouse Mus caroli with 5-bromodeoxyuridine induces an infectious, xentropic type C virus. This virus shares strongly cross-reactive reverse transcriptase (RNA-dependent DNA polymerase) and p30 antigens and crossinterferes with type C viruses isolated from a woolly monkey (SSAV) and gibbon apes (GALV). By similar criteria, the caroli virus is ...

BACKGROUND The term 'difficult' is pervasively used in relation to medically unexplained symptoms (MUS) and patients with MUS. This article scrutinises the use of the term by analysing interview data from a study of secondary care specialists' experiences with and attitudes towards patients suffering from MUS. DESIGN Qualitative design employing semi-structured open-ended interviews systemati...

Simultaneous recordings of action potentials (APs) of multiple single motor units (MUs) were obtained in brachialis and biceps (caput breve) muscles during si­ nusoidally modulated isometric contractions of elbow flexor muscles and during sinusoidal flexion/extension movements in the elbow against a preload in the exten­ sion direction. The results show that MUs typically fire in one short burs...

Previous work has shown that the gene for the alpha subunit of androgen-binding protein, Abpa, may be involved in premating isolation between different subspecies of the house mouse, Mus musculus. We investigated patterns of DNA sequence variation at Abpa within and between species of mice to test several predictions of a model of neutral molecular evolution. Intraspecific variation among 10 Mu...

The underlying neurophysiology of postural control of the lower back in humans is poorly understood. We have characterized motor unit (MU) discharge activity in the deep lumbar multifidus (LM) muscle in nine healthy subjects (20-40 yr, 3 females). Bilateral fine wire electrodes were implanted at L4 spinal level using ultrasound guidance. EMG was recorded during spontaneous sitting and standing ...