A Computational Interpretation of Context-Free Expressions

We phrase parsing with context-free expressions as a type inhabitation problem where values are parse trees and types are context-free expressions. We first show how containment among context-free and regular expressions can be reduced to a reachability problem by using a canonical representation of states. The proofs-as-programs principle yields a computational interpretation of the reachability problem in terms of a coercion that transforms the parse tree for a context-free expression into a parse tree for a regular expression. It also yields a partial coercion from regular parse trees to context-free ones. The partial coercion from the trivial language of all words to a context-free expression corresponds to a predictive parser for the expression

Fischer–Tropsch Synthesis Over Zr-Promoted Co/γ-Al2O3 Catalysts

Two Zr-modified alumina supports were synthetized containing the same amount of Zr but a different distribution of this modifier over the alumina surface. These supports, together with the unmodified alumina carrier, were used to prepare three cobalt-based catalysts which were characterized and tested under relevant Fischer–Tropsch conditions. The three catalysts presented very similar porosity and cobalt dispersion. The addition of Zr nor its distribution enhanced the catalyst reducibility. The catalyst activity was superior when using a carrier consisting of large ZrO2 islands over the alumina surface. The use of a carrier with a homogeneous Zr distribution had however, a detrimental effect. Moreover, a faster initial deactivation rate was observed for the Zr-promoted catalysts, fact that may explain this contradictory effect of Zr on activity. Finally, the addition of Zr showed a clear enhancement of the selectivity to long chain hydrocarbons and ethylene, especially when Zr was well dispersed

LNCS

We provide a procedure for detecting the sub-segments of an incrementally observed Boolean signal ω that match a given temporal pattern ϕ. As a pattern specification language, we use timed regular expressions, a formalism well-suited for expressing properties of concurrent asynchronous behaviors embedded in metric time. We construct a timed automaton accepting the timed language denoted by ϕ and modify it slightly for the purpose of matching. We then apply zone-based reachability computation to this automaton while it reads ω, and retrieve all the matching segments from the results. Since the procedure is automaton based, it can be applied to patterns specified by other formalisms such as timed temporal logics reducible to timed automata or directly encoded as timed automata. The procedure has been implemented and its performance on synthetic examples is demonstrated

Altered Metabolic Signature in Pre-Diabetic NOD Mice

Altered metabolism proceeding seroconversion in children progressing to Type 1 diabetes has previously been demonstrated. We tested the hypothesis that non-obese diabetic (NOD) mice show a similarly altered metabolic profile compared to C57BL/6 mice. Blood samples from NOD and C57BL/6 female mice was collected at 0, 1, 2, 3, 4, 5, 6, 7, 9, 11, 13 and 15 weeks and the metabolite content was analyzed using GC-MS. Based on the data of 89 identified metabolites OPLS-DA analysis was employed to determine the most discriminative metabolites. In silico analysis of potential involved metabolic enzymes was performed using the dbSNP data base. Already at 0 weeks NOD mice displayed a unique metabolic signature compared to C57BL/6. A shift in the metabolism was observed for both strains the first weeks of life, a pattern that stabilized after 5 weeks of age. Multivariate analysis revealed the most discriminative metabolites, which included inosine and glutamic acid. In silico analysis of the genes in the involved metabolic pathways revealed several SNPs in either regulatory or coding regions, some in previously defined insulin dependent diabetes (Idd) regions. Our result shows that NOD mice display an altered metabolic profile that is partly resembling the previously observation made in children progressing to Type 1 diabetes. The level of glutamic acid was one of the most discriminative metabolites in addition to several metabolites in the TCA cycle and nucleic acid components. The in silico analysis indicated that the genes responsible for this reside within previously defined Idd regions

Serum procalcitonin elevation in critically ill patients at the onset of bacteremia caused by either gram negative or gram positive bacteria

<p>Abstract</p> <p>Background</p> <p>In the ICU, bacteremia is a life-threatening infection whose prognosis is highly dependent on early recognition and treatment with appropriate antibiotics. Procalcitonin levels have been shown to distinguish between bacteremia and noninfectious inflammatory states accurately and quickly in critically ill patients. However, we still do not know to what extent the magnitude of PCT elevation at the onset of bacteremia varies according to the Gram stain result.</p> <p>Methods</p> <p>Review of the medical records of every patient treated between May, 2004 and December, 2006 who had bacteremia caused by either Gram positive (GP) or Gram negative (GN) bacteria, and whose PCT dosage at the onset of infection was available.</p> <p>Results</p> <p>97 episodes of either GN bacteremia (<it>n </it>= 52) or GP bacteremia (<it>n </it>= 45) were included. Procalcitonin levels were found to be markedly higher in patients with GN bacteremia than in those with GP bacteremia, whereas the SOFA score value in the two groups was similar. Moreover, in the study population, a high PCT value was found to be independently associated with GN bacteremia. A PCT level of 16.0 ng/mL yielded an 83.0% positive predictive value and a 74.0% negative predictive value for GN-related bacteremia in the study cohort (AUROCC = 0.79; 95% CI, 0.71–0.88).</p> <p>Conclusion</p> <p>In a critically ill patient with clinical sepsis, GN bacteremia could be associated with higher PCT values than those found in GP bacteremia, regardless of the severity of the disease.</p

Defining strawberry shape uniformity using 3D imaging and genetic mapping

Strawberry shape uniformity is a complex trait, influenced by multiple genetic and environmental components. To complicate matters further, the phenotypic assessment of strawberry uniformity is confounded by the difficulty of quantifying geometric parameters ‘by eye’ and variation between assessors. An in-depth genetic analysis of strawberry uniformity has not been undertaken to date, due to the lack of accurate and objective data. Nonetheless, uniformity remains one of the most important fruit quality selection criteria for the development of a new variety. In this study, a 3D-imaging approach was developed to characterise berry shape uniformity. We show that circularity of the maximum circumference had the closest predictive relationship with the manual uniformity score. Combining five or six automated metrics provided the best predictive model, indicating that human assessment of uniformity is highly complex. Furthermore, visual assessment of strawberry fruit quality in a multi-parental QTL mapping population has allowed the identification of genetic components controlling uniformity. A “regular shape” QTL was identified and found to be associated with three uniformity metrics. The QTL was present across a wide array of germplasm, indicating a potential candidate for marker-assisted breeding, while the potential to implement genomic selection is explored. A greater understanding of berry uniformity has been achieved through the study of the relative impact of automated metrics on human perceived uniformity. Furthermore, the comprehensive definition of strawberry shape uniformity using 3D imaging tools has allowed precision phenotyping, which has improved the accuracy of trait quantification and unlocked the ability to accurately select for uniform berries

Phenotypic Overlap between MMP-13 and the Plasminogen Activation System during Wound Healing in Mice

BACKGROUND: Proteolytic degradation of extracellular matrix is a crucial step in the healing of incisional skin wounds. Thus, healing of skin wounds is delayed by either plasminogen-deficiency or by treatment with the broad-spectrum metalloproteinase (MP) inhibitor Galardin alone, while the two perturbations combined completely prevent wound healing. Both urokinase-type plasminogen activator and several matrix metallo proteinases (MMPs), such as MMP-3, -9 and -13, are expressed in the leading-edge keratinocytes of skin wounds, which may account for this phenotypic overlap between these classes of proteases. METHODOLOGY: To further test that hypothesis we generated Mmp13;Plau and Mmp13;Plg double-deficient mice in a cross between Mmp13- and Plau-deficient mice as well as Mmp13- and Plg-deficient mice. These mice were examined for normal physiology in a large cohort study and in a well-characterized skin wound healing model, in which we made incisional 20 mm-long full-thickness skin wounds. PRINCIPAL FINDINGS: While mice that are deficient in Mmp13 have a mean healing time indistinguishable to wild-type mice, wound healing in both Plau- and Plg-deficient mice is significantly delayed. Histological analysis of healed wounds revealed a significant increase in keratin 10/14 immunoreactive layers of kerationcytes in the skin surface in Mmp13;Plau double-deficient mice. Furthermore, we observe, by immunohistological analysis, an aberrant angiogenic pattern during wound healing induced by Plau-deficiency, which has not previously been described. CONCLUSIONS: We demonstrate a phenotypic overlap, defined as an additional delay in wound healing in the double-deficient mice compared to the individual single-deficient mice, between MMP-13 and the plasminogen activation system in the process of wound healing, but not during gestation and in postnatal development. Thus, a dual targeting of uPA and MMP-13 might be a possible future strategy in designing therapies aimed at tissue repair or other pathological processes, such as cancer invasion, where proteolytic degradation is a hallmark