Molecular structure and genetic mapping of the mouse gastrin gene

Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/117035/1/feb20014579396004309.pd

Adjunctive dabigatran therapy improves outcome of experimental left-sided <i>Staphylococcus aureus</i> endocarditis

<div><p>Background</p><p><i>Staphylococcus aureus</i> is the most frequent and fatal cause of left-sided infective endocarditis (IE). New treatment strategies are needed to improve the outcome. <i>S</i>. <i>aureus</i> coagulase promotes clot and fibrin formation. We hypothesized that dabigatran, could reduce valve vegetations and inflammation in <i>S</i>. <i>aureus</i> IE.</p><p>Methods</p><p>We used a rat model of severe aortic valve <i>S</i>. <i>aureus</i> IE. All infected animals were randomized to receive adjunctive dabigatran (10 mg/kg b.i.d., <i>n</i> = 12) or saline (controls, <i>n</i> = 11) in combination with gentamicin. Valve vegetation size, bacterial load, cytokine, cell integrins expression and peripheral platelets and neutrophils were assessed 3 days post-infection.</p><p>Results</p><p>Adjunctive dabigatran treatment significantly reduced valve vegetation size compared to controls (p< 0.0001). A significant reduction of the bacterial load in aortic valves was seen in dabigatran group compared to controls (p = 0.02), as well as expression of key pro-inflammatory markers keratinocyte-derived chemokine, IL-6, ICAM-1, TIMP-1, L-selectin (p< 0.04). Moreover, the dabigatran group had a 2.5-fold increase of circulating platelets compared to controls and a higher expression of functional and activated platelets (CD62p⁺) unbound to neutrophils.</p><p>Conclusion</p><p>Adjunctive dabigatran reduced the vegetation size, bacterial load, and inflammation in experimental <i>S</i>. <i>aureus</i> IE.</p></div

On the relative expressiveness of higher-order session processes

By integrating constructs from the λ-calculus and the π-calculus, in higher-order process calculi exchanged values may contain processes. This paper studies the relative expressiveness of HOπ, the higher-order π-calculus in which communications are governed by session types. Our main discovery is that HO, a subcalculus of HOπ which lacks name-passing and recursion, can serve as a new core calculus for session-typed higher-order concurrency. By exploring a new bisimulation for HO, we show that HO can encode HOπ fully abstractly (up to typed contextual equivalence) more precisely and efficiently than the first-order session π-calculus (π). Overall, under session types, HOπ, HO, and π are equally expressive; however, HOπ and HO are more tightly related than HOπ and π

Bigraphical Refinement

We propose a mechanism for the vertical refinement of bigraphical reactive systems, based upon a mechanism for limiting observations and utilising the underlying categorical structure of bigraphs. We present a motivating example to demonstrate that the proposed notion of refinement is sensible with respect to the theory of bigraphical reactive systems; and we propose a sufficient condition for guaranteeing the existence of a safety-preserving vertical refinement. We postulate the existence of a complimentary notion of horizontal refinement for bigraphical agents, and finally we discuss the connection of this work to the general refinement of Reeves and Streader.Comment: In Proceedings Refine 2011, arXiv:1106.348