Immunohistochemical Localization of Barx2 in the Developing Fetal Mouse Submandibular Glands

The development of mouse submandibular gland (SMG) begins at embryonic day 11.5–12 (E11.5–12), during which successive rounds of epithelial clefting and branching create complex epithelial tree-like structures. Homeobox genes regulate place-dependent morphogenesis, including epithelial-mesenchymal interactions, and control the expression patterns of signaling molecules. The Barx2 containing Homeobox exerts several key roles in development. Some studies have shown that the Barx2 plays important roles in the epithelial-mesenchymal interactions of organogenesis. However, the mechanisms of Barx2 associated with the development of SMG are obscure. In this study, we demonstrated for the first time the exact spatial and temporal Barx2 expression pattern in SMG epithelial tissue during development using immunohistochemical staining and Real-Time quantitative PCR. Barx2 was expressed in the nucleus of the epithelial cells located in the proliferative and differentiative regions of the developing SMG during the early development stages (E11.5–E13.5). After the E14.5-time period, the expression gradually decreased, and at E16.5, expression mostly disappeared despite the fact that evidence of cytodifferentiation, such as the appearance of proacinar cells, distinct lumen formation, and secretory products, was beginning to be observed. Results of Real-Time PCR demonstrated that the amount of Barx2 mRNA expression in SMG was maximal on E14.5, and gradually decreased by E18.5. These results indicate that Barx2 is associated with early stage epithelial tissue development, and can be a useful epithelial marker of the SMG during early developmental stages

A Deductive Proof System for Multithreaded Java with Exceptions

Besides the features of a class-based object-oriented language, Java integrates concurrency via its thread-classes, allowing for a multithreaded flow of control.Besides that, the language offers a flexible exception mechanism for handling errors or exceptional program conditions. To reason about safety-properties Java-programs and extending previous work on the proof theory for monitor synchronization, we introduce in this report an assertional proof method for JavaMT (Multi-Threaded Java), a small concurrent sublanguage of Java, covering concurrency and especially (exception handling). We show soundness and relative completeness of the proof method

Changes in Brain Tissue Oxygenation and Metabolism During Rewarming After Neonatal Encephalopathy are Related to Electrical Abnormality

Hypoxic ischemic encephalopathy (HIE) leads to significant mortality and morbidity, and therapeutic hypothermia (TH) has become a standard of care following HIE. After TH, the body temperature is brought back to 37 °C. Early electroencephalography (EEG) is a reliable outcome biomarker following HIE. We hypothesized that changes in cerebral oxidative metabolism, measured as Δ[oxCCO], in relation to changes in brain tissue oxygenation (measured as Δ[HbD]) during rewarming will correlate with injury severity as evidenced on amplitude integrated EEG/EEG at initial presentation. Broadband near-infrared spectroscopy (NIRS) and systemic data were collected during rewarming from 14 infants following HIE over a mean period of 12.5 h. All infants were monitored with video EEG telemetry using a standard neonatal montage. aEEG and EEG background was classified into mild, moderate and severely abnormal groups based on the background pattern. Two infants had mild, 6 infants had moderate and another 6 infants had severe abnormality at presentation. The relationship between [oxCCO] and [HbD] was evaluated between two groups of infants with abnormal electrical activity (mild vs moderate to severe). A significant difference was noted between the groups in the relationship between [oxCCO] and [HbD] (as r2) (p = 0.02). This result indicates that the mitochondrial injury and deranged oxidative metabolism persists in the moderate to severely abnormal group during rewarming

Surgery-Induced Weight Loss and Changes in Hormonally Active Fibroblast Growth Factors: a Systematic Review and Meta-Analysis

This systematic review and meta-analysis was performed to investigate the possible changes of FGF-19 and FGF-21 after bariatric surgery (BS). Electronic databases including PubMed and Scopus were systematically searched up to February 2020 to identify pertinent studies. A total of 25 different studies were included. The overall pooled analysis identified that BS caused a significant increase in FGF-19, but had no significant effect on FGF-21. For FGF-19, this finding was supported in the subgroup analyses. For FGF-21, Roux-en-Y gastric bypass (RYGB) surgery significantly increased FGF-21 levels, whereas, in studies with follow-up duration � 1 year, FGF-21 levels decreased significantly. BS reduces circulating concentration of FGF-19, but might increase FGF-21 after RYGB or decrease FGF-21 after � 1 year. © 2020, Springer Science+Business Media, LLC, part of Springer Nature

Widespread CO2-rich cordierite in the UHT Bakhuis granulite belt, Surinam

The Bakhuis Granulite Belt, approx. 30 x 100 km, transects the large Paleoproterozoic greenstone belt along the north-eastern coast of South America. Part of the Granulite belt witnessed typical Ultrahigh-Temperature Metamorphism (UHTM). A metapelite area in the NE of the belt shows assemblages characteristic of UHTM: aluminous (up to 10 wt.%) orthopyroxene + sillimanite +/- sapphirine. Leucosomes commonly show mesoperthite or K-rich antiperthite. Ternary feldspar thermometry indicates a peak temperature of 1000-1050°C and pressure is estimated to have been around 9 kbar. Metapelites elsewhere in the belt lack mineral assemblages characteristic of UHTM. However, feldspar thermometry for these metapelites as well as for mesoperthite granulites indicates that peak temperatures were 900°C or higher throughout the belt and locally reached 1000-1050°C. It is, therefore, concluded that the other parts of the belt also witnessed UHTM, despite their lack of typical UHTM assemblages. Study of peak assemblages in metapelites in these parts is hampered by varying, but usually considerable retrograde metamorphism. The main mafic mineral in metapelites is coarse Mg-rich cordierite, accompanied by coarse sillimanite. Widespread occurrence of cordierite + sillimanite in metapelites is unusual for UHTM, the more so as UHTM assemblages are commonly formed at the expense of cordierite-bearing assemblages. In a small part of the metapelites cordierite is accompanied by coarse aluminous (up to 9 wt.%) orthopyroxene. Associated cordierite and orthopyroxene appear to have formed in equilibrium with each other. Only the presence of aluminous orthopyroxene (as well as the presence of mesoperthite) is typical for UHTM, but is limited to a small part of the metapelites. Peak P-T conditions for the cordierite-bearing part of the belt are estimated to have been similar to those in the NE area with its characteristic UHTM assemblages. Primary and secondary fluid inclusions in UHT quartz blebs in orthopyroxene consist of pure CO2 and have a high density. Raman spectroscopy indicated a considerable CO2 content in cordierite. Estimated from their birefringence, the CO2 content of most cordierites is in the range of 1-2 wt.% CO2. This corresponds to a substantial filling of the cordierite channels with CO2 and for the higher levels possibly near-saturation with CO2 according to the model of Harley and Thompson for the maximum level of CO2 in cordierite. Thermodynamic data for CO2-rich cordierite are poorly known. However, a high level of CO2 in cordierite has been considered to lead to a substantial expansion of its stability field, also into the field of UHTM, at T > 900°C. This is, therefore, assumed to be the explanation for the unusual, widespread occurrence of cordierite in the UHTM belt. A small part of the metapelite samples shows cordierite of a high birefringence, twice that of quartz. SIMS analysis of such cordierite showed 3.0 wt.% CO2, the highest level known from nature. The level is far too high to have formed at UHTM conditions according to the model of Harley and Thompson and would be possible only at conditions such as 700°C and 10 kbar. It is assumed that locally the CO2 level of cordierite changed after UHTM, by taking up additional CO2. Secondary fluid CO2 inclusions in UHT quartz have a higher density than the primary inclusions, indicating a near-isobaric cooling path down to 700-750°C. In these conditions cordierite probably could steadily re-equilibrate at decreasing temperature while taking up more and more CO2, up to 3 wt.% around 700°C. The heat source for the UHTM in the Bakhuis Granulite belt is considered to be asthenospheric upwelling or mafic underplating, but mafic magmatism of identical age to the UHTM has not yet been found. One mafic intrusion was found to be around 20 Ma older than the UHTM, whereas in the SW of the belt numerous mafic intrusions formed around 70 Ma after UHTM

Compositional semantics for real-time distributed computing

We give a compositional denotational semantics for a real-time distributed language, based on the linear history semantics for CSP of Francez et al. Concurrent execution is not modelled by interleaving but by an extension of the maximal parallelism model of Salwicki, that allows the modelling of transmission time for communications. The importance of constructing a semantics (and in general a proof theory) for real-time is stressed by such different sources as the problem of formalizing the real-time aspects of Ada and the elimination of errors in real-time flight control software ([Sunday Times 7-22-84])

A theory of normed simulations

In existing simulation proof techniques, a single step in a lower-level specification may be simulated by an extended execution fragment in a higher-level one. As a result, it is cumbersome to mechanize these techniques using general purpose theorem provers. Moreover, it is undecidable whether a given relation is a simulation, even if tautology checking is decidable for the underlying specification logic. This paper introduces various types of normed simulations. In a normed simulation, each step in a lower-level specification can be simulated by at most one step in the higher-level one, for any related pair of states. In earlier work we demonstrated that normed simulations are quite useful as a vehicle for the formalization of refinement proofs via theorem provers. Here we show that normed simulations also have pleasant theoretical properties: (1) under some reasonable assumptions, it is decidable whether a given relation is a normed forward simulation, provided tautology checking is decidable for the underlying logic; (2) at the semantic level, normed forward and backward simulations together form a complete proof method for establishing behavior inclusion, provided that the higher-level specification has finite invisible nondeterminism.Comment: 31 pages, 10figure

Interrelationship Between Broadband NIRS Measurements of Cerebral Cytochrome C Oxidase and Systemic Changes Indicates Injury Severity in Neonatal Encephalopathy

Perinatal hypoxic ischaemic encephalopathy (HIE) is associated with severe neurodevelopmental problems and mortality. There is a clinical need for techniques to provide cotside assessment of the injury extent. This study aims to use non-invasive cerebral broadband near-infrared spectroscopy (NIRS) in combination with systemic physiology to assess the severity of HIE injury. Broadband NIRS is used to measure the changes in haemodynamics, oxygenation and the oxidation state of cytochrome c oxidase (oxCCO). We used canonical correlation analysis (CCA), a multivariate statistical technique, to measure the relationship between cerebral broadband NIRS measurements and systemic physiology. A strong relationship between the metabolic marker, oxCCO, and systemic changes indicated severe brain injury; if more than 60 % of the oxCCO signal could be explained by the systemic variations, then the neurodevelopmental outcome was poor. This boundary has high sensitivity and specificity (100 and 83 %, respectively). Broadband NIRS measured concentration changes of the oxidation state of cytochrome c oxidase has the potential to become a useful cotside tool for assessment of injury severity following hypoxic ischaemic brain injury

Report on the first round of the Mock LISA Data Challenges

The Mock LISA Data Challenges (MLDCs) have the dual purpose of fostering the development of LISA data analysis tools and capabilities, and demonstrating the technical readiness already achieved by the gravitational-wave community in distilling a rich science payoff from the LISA data output. The first round of MLDCs has just been completed: nine data sets containing simulated gravitational wave signals produced either by galactic binaries or massive black hole binaries embedded in simulated LISA instrumental noise were released in June 2006 with deadline for submission of results at the beginning of December 2006. Ten groups have participated in this first round of challenges. Here we describe the challenges, summarise the results, and provide a first critical assessment of the entries.Comment: Proceedings report from GWDAW 11. Added author, added reference, clarified some text, removed typos. Results unchanged; Removed author, minor edits, reflects submitted versio

Pointfree factorization of operation refinement

The standard operation refinement ordering is a kind of “meet of op- posites”: non-determinism reduction suggests “smaller” behaviour while increase of definition suggests “larger” behaviour. Groves’ factorization of this ordering into two simpler relations, one per refinement concern, makes it more mathe- matically tractable but is far from fully exploited in the literature. We present a pointfree theory for this factorization which is more agile and calculational than the standard set-theoretic approach. In particular, we show that factorization leads to a simple proof of structural refinement for arbitrary parametric types and ex- ploit factor instantiation across different subclasses of (relational) operation. The prospect of generalizing the factorization to coalgebraic refinement is discussedFundação para a Ciência e a Tecnologia (FCT) - PURE Project (Program Understanding and Re-engineering: Calculi and Applications), contract POSI/ICHS/44304/2002