Hydrogen bonding and coordination in normal and supercritical water from X-ray inelastic scattering

A direct measure of hydrogen bonding in water under conditions ranging from the normal state to the supercritical regime is derived from the Compton scattering of inelastically-scattered X-rays. First, we show that a measure of the number of electrons $n_e$ involved in hydrogen bonding at varying thermodynamic conditions can be directly obtained from Compton profile differences. Then, we use first-principles simulations to provide a connection between $n_e$ and the number of hydrogen bonds $n_{HB}$. Our study shows that over the broad range studied the relationship between $n_e$ and $n_{HB}$ is linear, allowing for a direct experimental measure of bonding and coordination in water. In particular, the transition to supercritical state is characterized by a sharp increase in the number of water monomers, but also displays a significant number of residual dimers and trimers.Comment: 14 pages, 5 figures, 1 tabl

Phonon dispersion and lifetimes in MgB2

We measure phonon dispersion and linewidth in a single crystal of MgB_2 along the Gamma-A, Gamma-M and A-L directions using inelastic X-Ray scattering. We use Density Functional Theory to compute the effect of both electron-phonon coupling and anharmonicity on the linewidth, obtaining excellent agreement with experiment. Anomalous broadening of the E_2g phonon mode is found all along Gamma-A. The dominant contribution to the linewidth is always the electron-phonon coupling.Comment: 4 pages, 3 figure

Multiparty Session Types as Coherence Proofs

We propose a Curry-Howard correspondence between a language for programming multiparty sessions and a generalisation of Classical Linear Logic (CLL). In this framework, propositions correspond to the local behaviour of a participant in a multiparty session type, proofs to processes, and proof normalisation to executing communications. Our key contribution is generalising duality, from CLL, to a new notion of n-ary compatibility, called coherence. Building on coherence as a principle of compositionality, we generalise the cut rule of CLL to a new rule for composing many processes communicating in a multiparty session. We prove the soundness of our model by showing the admissibility of our new rule, which entails deadlock-freedom via our correspondence

Directional Reflective Surface Formed via Gradient-Impeding Acoustic Meta-Surfaces

Artificially designed acoustic meta-surfaces have the ability to manipulate sound energy to an extraordinary extent. Here, we report on a new type of directional reflective surface consisting of an array of sub-wavelength Helmholtz resonators with varying internal coiled path lengths, which induce a reflection phase gradient along a planar acoustic meta-surface. The acoustically reshaped reflective surface created by the gradient-impeding meta-surface yields a distinct focal line similar to a parabolic cylinder antenna, and is used for directive sound beamforming. Focused beam steering can be also obtained by repositioning the source (or receiver) off axis, i.e., displaced from the focal line. Besides flat reflective surfaces, complex surfaces such as convex or conformal shapes may be used for sound beamforming, thus facilitating easy application in sound reinforcement systems. Therefore, directional reflective surfaces have promising applications in fields such as acoustic imaging, sonic weaponry, and underwater communicationope

Observed communication semantics for classical processes

Classical Linear Logic (CLL) has long inspired readings of its proofs as communicating processes. Wadler's CP calculus is one of these readings. Wadler gave CP an operational semantics by selecting a subset of the cut-elimination rules of CLL to use as reduction rules. This semantics has an appealing close connection to the logic, but does not resolve the status of the other cut-elimination rules, and does not admit an obvious notion of observational equivalence. We propose a new operational semantics for CP based on the idea of observing communication, and use this semantics to define an intuitively reasonable notion of observational equivalence. To reason about observational equivalence, we use the standard relational denotational semantics of CLL. We show that this denotational semantics is adequate for our operational semantics. This allows us to deduce that, for instance, all the cut-elimination rules of CLL are observational equivalences

Lumazine Synthase Protein Nanoparticle-Gd(III)-DOTA Conjugate as a T1 contrast agent for high-field MRI

With the applications of magnetic resonance imaging (MRI) at higher magnetic fields increasing, there is demand for MRI contrast agents with improved relaxivity at higher magnetic fields. Macromolecule-based contrast agents, such as protein-based ones, are known to yield significantly higher r(1) relaxivity at low fields, but tend to lose this merit when used as T-1 contrast agents (r(1)/r(2) = 0.5 similar to 1), with their r(1) decreasing and r(2) increasing as magnetic field strength increases. Here, we developed and characterized an in vivo applicable magnetic resonance (MR) positive contrast agent by conjugating Gd(III)-chelating agent complexes to lumazine synthase isolated from Aquifex aeolicus (AaLS). The r(1) relaxivity of Gd(III)-DOTA-AaLS-R108C was 16.49 mM(-1)s(-1) and its r(1)/r(2) ratio was 0.52 at the magnetic field strength of 7 T. The results of 3D MR angiography demonstrated the feasibility of vasculature imaging within 2 h of intravenous injection of the agent and a significant reduction in T-1 values were observed in the tumor region 7 h post-injection in the SCC-7 flank tumor model. Our findings suggest that Gd(III)-DOTA-AaLS-R108C could serve as a potential theranostic nanoplatform at high magnetic field strength.open0

Impact of Obesity on Pediatric Acute Recurrent and Chronic Pancreatitis

OBJECTIVE: The aim of this study was to assess the impact of obesity on pediatric acute recurrent pancreatitis or chronic pancreatitis (CP). METHODS: We determined body mass index (BMI) status at enrollment in INSPPIRE (INternational Study group of Pediatric Pancreatitis: In search for a cuRE) cohort using CDC criteria for pediatric-specific BMI percentiles. We used the Cochran-Armitage test to assess trends and the Jonckheere-Terpstra test to determine associations. RESULTS: Of 446 subjects (acute recurrent pancreatitis, n = 241; CP, n = 205), 22 were underweight, 258 normal weight, 75 overweight, and 91 were obese. The BMI groups were similar in sex, race, and age at presentation. Hypertriglyceridemia was more common in overweight or obese. Obese children were less likely to have CP and more likely to have acute inflammation on imaging. Compared with children with normal weight, obese or overweight children were older at first acute pancreatitis episode and diagnosed with CP at an older age. Obese or overweight children were less likely to undergo medical or endoscopic treatment, develop exocrine pancreatic insufficiency, and require total pancreatectomy with islet autotransplantation. Diabetes was similar among all groups. CONCLUSIONS: Obesity or overweight seems to delay the initial acute pancreatitis episode and diagnosis of CP compared with normal weight or underweight. The impact of obesity on pediatric CP progression and severity deserves further study