A Novel Stochastic Game Via the Quantitative μ-calculus

The quantitative μ-calculus qMμ extends the applicability of Kozen's standard μ-calculus [D. Kozen, Results on the propositional μ-calculus, Theoretical Computer Science 27 (1983) 333–354] to probabilistic systems. Subsequent to its introduction [C. Morgan, and A. McIver, A probabilistic temporal calculus based on expectations, in: L. Groves and S. Reeves, editors, Proc. Formal Methods Pacific '97 (1997), available at [PSG, Probabilistic Systems Group: Collected reports, http://web.comlab.ox.ac.uk/oucl/research/areas/probs/bibliography.html]; also appears at [A. McIver, and C. Morgan, “Abstraction, Refinement and Proof for Probabilistic Systems,” Technical Monographs in Computer Science, Springer, New York, 2005, Chap. 9], M. Huth, and M. Kwiatkowska, Quantitative analysis and model checking, in: Proceedings of 12th annual IEEE Symposium on Logic in Computer Science, 1997] it has been developed by us [A. McIver, and C. Morgan, Games, probability and the quantitative μ-calculus qMu, in: Proc. LPAR, LNAI 2514 (2002), pp. 292–310, revised and expanded at [A. McIver, and C. Morgan, Results on the quantitative μ-calculus qMμ (2005), to appear in ACM TOCL]; also appears at [A. McIver, and C. Morgan, “Abstraction, Refinement and Proof for Probabilistic Systems,” Technical Monographs in Computer Science, Springer, New York, 2005, Chap. 11], A. McIver, and C. Morgan, “Abstraction, Refinement and Proof for Probabilistic Systems,” Technical Monographs in Computer Science, Springer, New York, 2005, A. McIver, and C. Morgan, Results on the quantitative μ-calculus qMμ (2005), to appear in ACM TOCL] and by others [L. de Alfaro, and R. Majumdar, Quantitative solution of omega-regular games, Journal of Computer and System Sciences 68 (2004) 374–397]. Beyond its natural application to define probabilistic temporal logic [C. Morgan, and A. McIver, An expectation-based model for probabilistic temporal logic, Logic Journal of the IGPL 7 (1999), pp. 779–804, also appears at [A. McIver, and C. Morgan, “Abstraction, Refinement and Proof for Probabilistic Systems,” Technical Monographs in Computer Science, Springer, New York, 2005, Chap.10]], there are a number of other areas that benefit from its use.One application is stochastic two-player games, and the contribution of this paper is to depart from the usual notion of “absolute winning conditions” and to introduce a novel game in which players can “draw”.The extension is motivated by examples based on economic games: we propose an extension to qMμ so that they can be specified; we show that the extension can be expressed via a reduction to the original logic; and, via that reduction, we prove that the players can play optimally in the extended game using memoryless strategies.     

Comparative Analysis of Serum microRNA in Diagnosed Ocular Sarcoidosis versus Idiopathic Uveitis with Ocular Manifestations of Sarcoidosis

“Idiopathic” is the most common category of uveitis, representing cases in which a specific diagnosis has not been established despite work-up. Sarcoidosis is a systemic granulomatous disorder affecting multiple organs including the lungs, skin, kidneys, and eyes. We used microRNA (miRNA) microarrays to investigate serum miRNA profiles of patients with ocular sarcoidosis as diagnosed by specific criteria (diagnosed ocular sarcoidosis), and patients with idiopathic uveitis characterized by ocular manifestations of sarcoidosis (suspected ocular sarcoidosis). Principal component analysis (PCA) and hierarchical clustering showed that serum miRNA profiles of diagnosed ocular sarcoidosis and suspected ocular sarcoidosis were both clearly distinguishable from healthy controls. Furthermore, comparative analysis of the miRNA profiles showed highly similar patterns between diagnosed ocular sarcoidosis and suspected ocular sarcoidosis. Pathway analysis revealed common pathways were involved in the two groups, including those of WNT signaling and TGF-beta signaling. Our study demonstrated a high overlap of differentially expressed serum miRNAs in patients with diagnosed ocular sarcoidosis and suspected ocular sarcoidosis, suggesting that these groups share a similar underlying pathology and may represent possible variants of the disease. Characterization of serum miRNA profiles may provide an opportunity for earlier diagnosis and treatment, and may inform more accurate clinical prognosis in patients with an ocular sarcoidosis phenotype.     

Increased Weight Gain and Insulin Resistance in HF-Fed PLTP Deficient Mice Is Related to Altered Inflammatory Response and Plasma Transport of Gut-Derived LPS

Bacterial lipopolysaccharides (LPS, endotoxins) are found in high amounts in the gut lumen. LPS can cross the gut barrier and pass into the blood (endotoxemia), leading to low-grade inflammation, a common scheme in metabolic diseases. Phospholipid transfer protein (PLTP) can transfer circulating LPS to plasma lipoproteins, thereby promoting its detoxification. However, the impact of PLTP on the metabolic fate and biological effects of gut-derived LPS is unknown. This study aimed to investigate the influence of PLTP on low-grade inflammation, obesity and insulin resistance in relationship with LPS intestinal translocation and metabolic endotoxemia. Wild-type (WT) mice were compared with Pltp-deficient mice (Pltp-KO) after a 4-month high-fat (HF) diet or oral administration of labeled LPS. On a HF diet, Pltp-KO mice showed increased weight gain, adiposity, insulin resistance, lipid abnormalities and inflammation, together with a higher exposure to endotoxemia compared to WT mice. After oral administration of LPS, PLTP deficiency led to increased intestinal translocation and decreased association of LPS to lipoproteins, together with an altered catabolism of triglyceride-rich lipoproteins (TRL). Our results show that PLTP, by modulating the intestinal translocation of LPS and plasma processing of TRL-bound LPS, has a major impact on low-grade inflammation and the onset of diet-induced metabolic disorders.     

Hyperbranched Rigid Aromatic Phosphorus-Containing Flame Retardants for Epoxy Resins

A rigid aromatic phosphorus-containing hyperbranched flame retardant structure is synthesized from 10-(2,5-dihydroxyphenyl)-10H-9-oxa-10-phosphaphenanthrene-10-oxide (DOPO-HQ), tris(4-hydroxyphenyl)phosphine oxide (THPPO), and 1,4-terephthaloyl chloride (TPC). The resulting poly-(DOPO-HQ/THPPO-terephthalate) (PDTT) is implemented as a flame retardant into an epoxy resin (EP) at a 10 wt% loading. The effects on EP are compared with those of the monomer DOPO-HQ and triphenylphosphine oxide (OPPh₃) as low molar mass flame retardants. The glass transition temperature, thermal decomposition, flammability (reaction to small flame), and burning behavior of the thermosets are investigated using differential scanning calorimetry, thermogravimetric analysis, pyrolysis combustion flow calorimetry, UL 94-burning chamber testing, and cone calorimeter measurements. Although P-contents are low at only 0.6 wt%, the study aims not at attaining V-0, but at presenting a proof of principle: Epoxy resinswith PDTT show promising fire performance, exhibiting a 25% reduction in total heat evolved (THE), a 30% reduction in peak heat release rate (PHRR) due to flame inhibition (21% reduction in effective heat of combustion (EHC)), and an increase in T_g at the same time. This study indicates that rigid aromatic hyperbranched polymeric structures offer a promising route toward multifunctional flame retardancy.     

Arbutus species (Ericaceae) as source of valuable bioactive products

Abstract

In addition to nutrients, plant foods contain compounds that may provide additional health benefits improving the quality of life. Species from Arbutus genus (Ericaceae) represent a promising source of healthy phytochemicals. Bioactive compounds including such as anthocyanins, iridoids, phenols, triterpenes, sterols, and fatty acids are reported from Arbutus species. Some Arbutus species revealed promising biological activities including antioxidant, anti-inflammatory, anti-proliferative, anti-diabetic, and antimicrobial activities, and deserve for that reason further consideration for new drug discovery. However, only few species are investigated scientifically for their chemical profile and biological activities. The aim of this article is to summarize the current knowledge of the components and biological properties of Arbutus species common in Mediterranean area, as well as the future prospects on their applications as potentially valuable products.     

Experimental and numerical investigations of an oxygen single-bubble shrinkage in a borosilicate glass-forming liquid doped with cerium oxide

The shrinkage of an oxygen single-bubble is investigated in a cerium-doped borosilicate glass melt at 1150°C. Nine glass samples are synthesized and investigated, utilizing three different amounts of Ce₂O₃ and three different redox ratios (Ce-(III)/Ce_total). Employing in-situ observation, the single-bubble behavior is recorded with a camera. For each glass melt, five experiments are performed with different initial bubble radii. The shrinkage rate () depends strongly on the cerium content as well as the redox ratio. Numerical calculations are also conducted to support the understanding of the bubble shrinkage mechanism in the given cases. The model adequately estimates the experimental data for several cases, and an explanation is proposed for the cases, in which it does not. Moreover, we demonstrate, physically and mathematically, the influence of the initial radius of the bubble on the mass transfer between the rising bubble and the melt. We confirm the utilization of the “modified Péclet number,” which is a dimensionless number that takes into consideration the influence of multivalent elements on mass transfer. Finally, we master the bubble shrinkage behavior by normalizing the experimental data employing a characteristic time for the mass transfer (τ).     

Iron and arsenic cycling in intertidal surface sediments during wetland remediation

The accumulation and behavior of arsenic at the redox interface of Fe-rich sediments is strongly influenced by Fe(III) precipitate mineralogy, As speciation, and pH. In this study, we examined the behavior of Fe and As during aeration of natural groundwater from the intertidal fringe of a wetland being remediated by tidal inundation. The groundwater was initially rich in Fe(2+) (32 mmol L(-1)) and As (1.81 μmol L(-1)) with a circum-neutral pH (6.05). We explore changes in the solid/solution partitioning, speciation and mineralogy of Fe and As during long-term continuous groundwater aeration using a combination of chemical extractions, SEM, XRD, and synchrotron XAS. Initial rapid Fe(2+) oxidation led to the formation of As(III)-bearing ferrihydrite and sorption of >95% of the As(aq) within the first 4 h of aeration. Ferrihydrite transformed to schwertmannite within 23 days, although sorbed/coprecipitated As(III) remained unoxidized during this period. Schwertmannite subsequently transformed to jarosite at low pH (2-3), accompanied by oxidation of remaining Fe(2+). This coincided with a repartitioning of some sorbed As back into the aqueous phase as well as oxidation of sorbed/coprecipitated As(III) to As(V). Fe(III) precipitates formed via groundwater aeration were highly prone to reductive dissolution, thereby posing a high risk of mobilizing sorbed/coprecipitated As during any future upward migration of redox boundaries. Longer-term investigations are warranted to examine the potential pathways and magnitude of arsenic mobilization into surface waters in tidally reflooded wetlands.