UK PubMed Central (United Kingdom)

P granules are non-membrane-bound organelles found in the germ-line cytoplasm throughout Caenorhabditis elegans development. Like their “germ granule” counterparts in...Full Text Available

UK PubMed Central (United Kingdom)

Activating AMPK or inactivating calcineurin slows ageing in Caenorhabditis elegans^1,2...Full Text Available

UK PubMed Central (United Kingdom)

Transient receptor potential (TRP) ion channels have been implicated in detecting chemical, thermal and mechanical stimuli in organisms ranging from mammals to Caenorhabditis elegans....Full Text Available

UK PubMed Central (United Kingdom)

Genetic defects in the dystrophin-associated protein complex (DAPC) are responsible for a variety of pathological conditions including muscular dystrophy, cardiomyopathy, and vasospasm. Conserved DAPC...Full Text Available

UK PubMed Central (United Kingdom)

Disorders of mitochondrial fat metabolism lead to sudden death in infants and children. Although survival is possible, the underlying molecular mechanisms which enable this outcome have not yet been...Full Text Available

UK PubMed Central (United Kingdom)

Stem cells are expected to play a key role in the development and maintenance of organisms, and hold great therapeutic promises. However, a number of questions must be answered to achieve an...Full Text Available

UK PubMed Central (United Kingdom)

Cross-resistance to cefoxitin (FOX), chloramphenicol (CMP), and quinolones (nalidixic acid [NAL]) related to a putative efflux system overexpression has recently been reported for Klebsiella...Full Text Available

UK PubMed Central (United Kingdom)

X-linked sideroblastic anemia with ataxia (XLSA/A) is a rare inherited disorder characterized by mild anemia and ataxia. XLSA/A is caused by mutations in the ABCB7 gene, which encodes...Full Text Available

UK PubMed Central (United Kingdom)

Werner syndrome (WS) is characterized by premature onset of age-associated disorders and predisposition to cancer. The WS protein, WRN, encodes 3′ → 5′ DNA helicase and 3′...Full Text Available

UK PubMed Central (United Kingdom)

We review the application of C. elegans as a model system to understand key aspects of stem cell biology. The only bona fide stem cells in C. elegans...Full Text Available

International Nuclear Information System (INIS)

Werner states are paradigmatic examples of quantum states and play an innovative role in quantum information theory. In investigating the correlating capability of Werner states, we find the curious phenomenon that quantum correlations, as quantified by the entanglement of formation, may exceed the total correlations, as measured by the quantum mutual information. Consequently, though the entanglement of formation is so widely used in quantifying entanglement, it cannot be interpreted as a consistent measure of quantum correlations per se if we accept the folklore that total correlations are measured (or rather upper bounded) by the quantum mutual information.

UK PubMed Central (United Kingdom)

Germline-specific granules of unknown function are found in a wide variety of organisms, including C. elegans, where they are called P granules. P granules are cytoplasmic bodies...Full Text Available

UK PubMed Central (United Kingdom)

BackgroundMutations that impair mitochondrial functioning are associated with a variety of metabolic and age-related disorders. A barrier to rigorous tests of the role of mitochondrial...Full Text Available

UK PubMed Central (United Kingdom)

A mild reduction in mitochondrial respiration extends the life span of many species, including C. elegans. We recently showed that hypoxia-inducible factor 1 (HIF-1) is required for...Full Text Available

UK PubMed Central (United Kingdom)

BackgroundA strong association between stress resistance and longevity in multicellular organisms has been established as many mutations that extend lifespan also show increased...Full Text Available

UK PubMed Central (United Kingdom)

Ataxin-3, the protein involved in Machado-Joseph disease, is able to bind ubiquitylated substrates and act as a deubiquitylating enzyme in vitro, and it has been involved in the modulation of protein...Full Text Available

Energy Technology Data Exchange (ETDEWEB)

Uterus didelphys with obstructed hemivagina and ipsilateral renal agenesis is a rare entity, sometimes referred to as Herlyn-Werner-Wunderlich syndrome (HWW). It usually presents after menarche with progressive pelvic pain, sometimes with regular menses, and a palpable mass due to hemihaematocolpos. The diagnosis is generally made only if the suspicion of this genitourinary syndrome is raised. To highlight the imaging diagnostic clues in this rare condition. We report on 11 adolescents with this condition. Sonography mostly allowed the correct diagnosis by showing uterovaginal duplication, haematocolpos or haematometrocolpos, and the absence of the ipsilateral kidney. MRI provided more detailed information regarding uterine morphology, the continuity with each vaginal channel (obstructed and nonobstructed), and the bloody nature of the contents. Early and accurate diagnosis of this syndrome is important so that adequate and prompt surgical therapy (excision of the ...

International Nuclear Information System (INIS)

Favorable reaction channels are searched for in order to obtain the superheavy element "2"9"8114. The interaction energy is supposed to comply with the adiabatic hypothesis. Concerning the deformation energy, a very complete binary macroscopic-microscopic energy method is used to perform calculations. Deformed two-center shell model provides the energy level schemes for shell effects. Yukawa-plus-exponential model gives the macroscopic (liquid drop) part of the total energy. The mass tensor is obtained by the Werner-Wheeler irrotational flow hypothesis. Finally the minimization of the multidimensional action integral produces the highest penetrability values. Kr-projectile reactions provide the best pairs, although generally the presentabilities are very low. (author)

CERN Document Server

Deduction modulo is a paradigm which consists in applying the inference rules of a deductive system (such as for instance natural deduction) modulo a rewrite system over terms and propositions. It has been shown that higher-order logic can be simulated into the first-order natural deduction modulo. However, a theorem stated by Goedel and proved by Parikh expresses that proofs in second-order arithmetic may be unboundedly shorter than proofs in first-order arithmetic, even when considering only formulae provable in first-order arithmetic. We investigate how deduction modulo can be used to translate proofs of higher-order arithmetic into first-order proofs without inflating their length. First we show how higher orders can be encoded through a quite simple (finite, terminating, confluent, left-linear) rewrite system. Then, a proof in higher-order arithmetic can be linearly translated into a proof in first-order arithmetic modulo this system. Second, in the continuation of a work of Dowek ...

Science.gov (United States)

We describe an efficient procedure for proving stabilization of biological systems modeled as qualitative networks or genetic regulatory networks. For scalability, our procedure uses modular proof techniques, where state-space exploration is applied only locally to small pieces of the system rather than the entire system as a whole. Our procedure exploits the observation that, in practice, the form of modular proofs can be restricted to a very limited set. For completeness, our technique falls back on a non-compositional counterexample search. Using our new procedure, we have solved a number of challenging published examples, including: a 3-D model of the mammalian epidermis; a model of metabolic networks operating in type-2 diabetes; a model of fate determination of vulval precursor cells in the C. elegans worm; and a model of pair-rule regulation during segmentation in the Drosophila embryo. Our results show many orders of magnitude speedup in cases where ...