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

A New Linear Logic for Deadlock-Free Session-Typed Processes

The π -calculus, viewed as a core concurrent programming language, has been used as the target of much research on type systems for concurrency. In this paper we propose a new type system for deadlock-free session-typed π -calculus processes, by integrating two separate lines of work. The first is the propositions-as-types approach by Caires and Pfenning, which provides a linear logic foundation for session types and guarantees deadlock-freedom by forbidding cyclic process connections. The second is Kobayashi’s approach in which types are annotated with priorities so that the type system can check whether or not processes contain genuine cyclic dependencies between communication operations. We combine these two techniques for the first time, and define a new and more expressive variant of classical linear logic with a proof assignment that gives a session type system with Kobayashi-style priorities. This can be seen in three ways: (i) as a new linear logic in which cyclic structures can be derived and a CYCLE -elimination theorem generalises CUT -elimination; (ii) as a logically-based session type system, which is more expressive than Caires and Pfenning’s; (iii) as a logical foundation for Kobayashi’s system, bringing it into the sphere of the propositions-as-types paradigm

How Changes in Extracellular Matrix Mechanics and Gene Expression Variability Might Combine to Drive Cancer Progression

Changes in extracellular matrix (ECM) structure or mechanics can actively drive cancer progression; however, the underlying mechanism remains unknown. Here we explore whether this process could be mediated by changes in cell shape that lead to increases in genetic noise, given that both factors have been independently shown to alter gene expression and induce cell fate switching. We do this using a computer simulation model that explores the impact of physical changes in the tissue microenvironment under conditions in which physical deformation of cells increases gene expression variability among genetically identical cells. The model reveals that cancerous tissue growth can be driven by physical changes in the microenvironment: when increases in cell shape variability due to growth-dependent increases in cell packing density enhance gene expression variation, heterogeneous autonomous growth and further structural disorganization can result, thereby driving cancer progression via positive feedback. The model parameters that led to this prediction are consistent with experimental measurements of mammary tissues that spontaneously undergo cancer progression in transgenic C3(1)-SV40Tag female mice, which exhibit enhanced stiffness of mammary ducts, as well as progressive increases in variability of cell-cell relations and associated cell shape changes. These results demonstrate the potential for physical changes in the tissue microenvironment (e.g., altered ECM mechanics) to induce a cancerous phenotype or accelerate cancer progression in a clonal population through local changes in cell geometry and increased phenotypic variability, even in the absence of gene mutation

Education in mine waste engineering: the experience of "SIGEO" Master's Course

On 19th July 1985 the failure of two tailings dams at the service of a fluorite mine in the Stava Valley (Italy) caused the death of 268 people and severe environmental and socioeconomic damage. Similar accidents have happened in Sgorigrad (Bulgaria, 1966), Aberfan (U.K., 1966), Buffalo Creek (USA, 1972), Aznalcollar (Spain, 1998), Taoshi (China, 2008) and many other places worldwide. The European Union has recognized the seriousness of the problems concerning the management and disposal of mining waste (over 400 million tonnes per year worldwide). With the 2006/21/CE Directive, the EU has urged all member States to carry out censuses, monitoring and consolidation of existing structures under the supervision of qualified experts. These experts should be provided with interdisciplinary knowledge that is difficult to attain during normal degree courses. For this reason, the Trento and Modena-Reggio Emilia Universities and the Turin Polytechnic have set up a post-graduate Master’s Course in “Analysis and Management of Geotechnical Structures”. The article describes the interdisciplinary approach adopted in the course and aims to stimulate the sharing of this initiative among other European Universities

A duality of generalized metric spaces

AbstractWe develop a duality theory for Lawvereʼs generalized metric spaces that extends the Lawson duality for continuous dcpos and open filter reflecting maps: we prove that the category of relatively cocomplete and continuous [0,∞]-categories considered with open filter reflecting maps is self-dual

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