Distinguishing sequences for partially specified FSMs

Distinguishing Sequences (DSs) are used inmany Finite State Machine (FSM) based test techniques. Although Partially Specified FSMs (PSFSMs) generalise FSMs, the computational complexity of constructing Adaptive and Preset DSs (ADSs/PDSs) for PSFSMs has not been addressed. This paper shows that it is possible to check the existence of an ADS in polynomial time but the corresponding problem for PDSs is PSPACE-complete. We also report on the results of experiments with benchmarks and over 8 * 106 PSFSMs. © 2014 Springer International Publishing

Isoforms of U1-70k control subunit dynamics in the human spliceosomal U1 snRNP

Most human protein-encoding genes contain multiple exons that are spliced together, frequently in alternative arrangements, by the spliceosome. It is established that U1 snRNP is an essential component of the spliceosome, in human consisting of RNA and ten proteins, several of which are post- translationally modified and exist as multiple isoforms. Unresolved and challenging to investigate are the effects of these post translational modifications on the dynamics, interactions and stability of the particle. Using mass spectrometry we investigate the composition and dynamics of the native human U1 snRNP and compare native and recombinant complexes to isolate the effects of various subunits and isoforms on the overall stability. Our data reveal differential incorporation of four protein isoforms and dynamic interactions of subunits U1-A, U1-C and Sm-B/B’. Results also show that unstructured post- ranslationally modified C-terminal tails are responsible for the dynamics of Sm-B/B’ and U1-C and that their interactions with the Sm core are controlled by binding to different U1-70k isoforms and their phosphorylation status in vivo. These results therefore provide the important functional link between proteomics and structure as well as insight into the dynamic quaternary structure of the native U1 snRNP important for its function.This work was funded by: BBSRC (OVM), BBSRC and EPSRC (HH and NM), EU Prospects (HH), European Science Foundation (NM), the Royal Society (CVR), and fellowship from JSPS and HFSP (YM and DAPK respectively)

Congenital aplasia of the optic chiasm and esophageal atresia: a case report

<p>Abstract</p> <p>Introduction</p> <p>The complete absence of the chiasm (chiasmal aplasia) is a rare clinical condition. Hypoplasia of the optic nerve and congenital nystagmus are almost invariably associated characteristics. Microphthalmos or anophthalmos are common features in chiasmal aplasia, while central nervous system abnormalities are less frequent. Esophageal atresia can be isolated or syndromic. In syndromic cases, it is frequently associated with cardiac, limb, renal or vertebral malformations and anal atresia. More rarely, esophageal atresia can be part of anophthalmia-esophageal-genital syndrome, which comprises anophthalmia or microphthalmia, genital abnormalities, vertebral defects and cerebral malformations. Here, a previously unreported case of chiasmal aplasia presenting without microphthalmos and associated with esophageal atresia is described.</p> <p>Case presentation</p> <p>Aplasia of the optic chiasm was identified in a Caucasian Italian 8-month-old boy with esophageal atresia. An ultrasound examination carried out at 21 weeks' gestation revealed polyhydramnios. Intrauterine growth retardation, esophageal atresia and a small atrial-septal defect were subsequently detected at 28 weeks' gestation. Repair of the esophageal atresia was carried out shortly after birth. A jejunostomy was carried out at four months to facilitate enteral feeding. The child was subsequently noted to be visually inattentive and to be neurodevelopmentally delayed. Magnetic resonance imaging revealed chiasmal aplasia. No other midline brain defects were found. His karyotype was normal.</p> <p>Conclusion</p> <p>If achiasmia is a spectrum, our patient seems to depict the most severe form, since he appears to have an extremely severe visual impairment. This is in contrast to most of the cases described in the literature, where patients maintain good--or at least useful-- visual function. To the best of our knowledge, the association of optic nerve hypoplasia, complete chiasmal aplasia, esophageal atresia and atrial-septal defect, choanal atresia, hypertelorism and psychomotor retardation has never been described before.</p

Diverse species-specific phenotypic consequences of loss of function sorting nexin 14 mutations

Mutations in the SNX14 gene cause spinocerebellar ataxia, autosomal recessive 20 (SCAR20) in both humans and dogs. Studies implicating the phenotypic consequences of SNX14 mutations to be consequences of subcellular disruption to autophagy and lipid metabolism have been limited to in vitro investigation of patient-derived dermal fibroblasts, laboratory engineered cell lines and developmental analysis of zebrafish morphants. SNX14 homologues Snz (Drosophila) and Mdm1 (yeast) have also been conducted, demonstrated an important biochemical role during lipid biogenesis. In this study we report the effect of loss of SNX14 in mice, which resulted in embryonic lethality around mid-gestation due to placental pathology that involves severe disruption to syncytiotrophoblast cell differentiation. In contrast to other vertebrates, zebrafish carrying a homozygous, maternal zygotic snx14 genetic loss-of-function mutation were both viable and anatomically normal. Whilst no obvious behavioural effects were observed, elevated levels of neutral lipids and phospholipids resemble previously reported effects on lipid homeostasis in other species. The biochemical role of SNX14 therefore appears largely conserved through evolution while the consequences of loss of function varies between species. Mouse and zebrafish models therefore provide valuable insights into the functional importance of SNX14 with distinct opportunities for investigating its cellular and metabolic function in vivo

Ancient Chinese medicine and mechanistic evidence of acupuncture physiology

Acupuncture has been widely used in China for three millennia as an art of healing. Yet, its physiology is not yet understood. The current interest in acupuncture started in 1971. Soon afterward, extensive research led to the concept of neural signaling with possible involvement of opioid peptides, glutamate, adenosine and identifying responsive parts in the central nervous system. In the last decade scientists began investigating the subject with anatomical and molecular imaging. It was found that mechanical movements of the needle, ignored in the past, appear to be central to the method and intracellular calcium ions may play a pivotal role. In this review, we trace the technique of clinical treatment from the first written record about 2,200 years ago to the modern time. The ancient texts have been used to introduce the concepts of yin, yang, qi, de qi, and meridians, the traditional foundation of acupuncture. We explore the sequence of the physiological process, from the turning of the needle, the mechanical wave activation of calcium ion channel to beta-endorphin secretion. By using modern terminology to re-interpret the ancient texts, we have found that the 2nd century b.c. physiologists were meticulous investigators and their explanation fits well with the mechanistic model derived from magnetic resonance imaging (MRI) and confocal microscopy. In conclusion, the ancient model appears to have withstood the test of time surprisingly well confirming the popular axiom that the old wine is better than the new

Deqi sensations without cutaneous sensory input: results of an RCT

<p>Abstract</p> <p>Background</p> <p>Deqi is defined in relation to acupuncture needling as a sensory perception of varying character. In a recently published sham laser validation study, we found that subjects in the verum and the sham laser group experienced deqi sensations. Therefore, we aim to further analyze whether the perceptions reported in the two study arms were distinguishable and whether expectancy effects exhibited considerable impact on our results.</p> <p>Methods</p> <p>A detailed re-analysis focusing on deqi sensations was performed from data collected in a previously published placebo-controlled, double-blind, clinical cross-over trial for a sham laser evaluation. Thirty-four healthy volunteers (28 ± 10.7 years; 16 women, 18 men) received two laser acupuncture treatments at three acupuncture points LI4 (hégu), LU7 (liéque), and LR3 (táichong); once by verum laser and once using a sham device containing an inactive laser in randomized order. Outcome measures were frequency, intensity (evaluated by visual analogue scale; VAS), and quality of the subjects' sensations perceived during treatments (assessed with the "acupuncture sensation scale").</p> <p>Results</p> <p>Both, verum and the sham laser acupuncture result in similar deqi sensations with regard to frequency (p-value = 0.67), intensity (p-value = 0.71) and quality (p-values between 0.15 - 0.98). In both groups the most frequently used adjectives to describe these perceptions were "spreading", "radiating", "tingling", "tugging", "pulsing", "warm", "dull", and "electric". Sensations reported were consistent with the perception of deqi as previously defined in literature. Subjects' conviction regarding the effectiveness of laser acupuncture or the history of having received acupuncture treatments before did not correlate with the frequency or intensity of sensations reported.</p> <p>Conclusions</p> <p>Since deqi sensations, described as sensory perceptions, were elicited without any cutaneous sensory input, we assume that they are a product of non-specific effects from the overall treatment procedure. Expectancy-effects due to previous acupuncture experience and belief in laser acupuncture do not seem to play a major role in elicitation of deqi sensations. Our results give hints that deqi might be a central phenomenon of awareness and consciousness, and that its relevance should be taken into account, even in clinical trials. However, further research is required to understand mechanisms underlying deqi.</p

Herpesviruses carrying a Brainbow cassette reveal replication and expression of limited numbers of incoming genomes

Whether all the infectious herpesvirus particles entering a cell are able to replicate and/or express their genomes is not known. Here, we developed a general method to determine the number of viral genomes expressed in an infected cell. We constructed and analysed fluorophore expression from a recombinant pseudorabies virus (PRV263) carrying a Brainbow cassette (Cre-conditional expression of different fluorophores). Using three isogenic strains derived from PRV263, each expressing a single fluorophore, we analysed the colour composition of cells infected with these three viruses at different multiplicities. We estimate that fewer than seven incoming genomes are expressed per cell. In addition, those templates that are expressed are the genomes selected for replication and packaging into virions. This finite limit on the number of viral genomes that can be expressed is an intrinsic property of the infected cell and may be influenced by viral and cellular factors