Functional Characterisation of Alpha-Galactosidase A Mutations as a Basis for a New Classification System in Fabry Disease

This is an open-access article distributed under the terms of the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original author and source are credited.The study has been supported partially by an unrestricted scientific grant from Shire Human Genetic Therapies (Germany

Instability and `Sausage-String' Appearance in Blood Vessels during High Blood Pressure

A new Rayleigh-type instability is proposed to explain the `sausage-string' pattern of alternating constrictions and dilatations formed in blood vessels under influence of a vasoconstricting agent. Our theory involves the nonlinear elasticity characteristics of the vessel wall, and provides predictions for the conditions under which the cylindrical form of a blood vessel becomes unstable.Comment: 4 pages, 4 figures submitted to Physical Review Letter

Backward Reachability of Array-based Systems by SMT solving: Termination and Invariant Synthesis

The safety of infinite state systems can be checked by a backward reachability procedure. For certain classes of systems, it is possible to prove the termination of the procedure and hence conclude the decidability of the safety problem. Although backward reachability is property-directed, it can unnecessarily explore (large) portions of the state space of a system which are not required to verify the safety property under consideration. To avoid this, invariants can be used to dramatically prune the search space. Indeed, the problem is to guess such appropriate invariants. In this paper, we present a fully declarative and symbolic approach to the mechanization of backward reachability of infinite state systems manipulating arrays by Satisfiability Modulo Theories solving. Theories are used to specify the topology and the data manipulated by the system. We identify sufficient conditions on the theories to ensure the termination of backward reachability and we show the completeness of a method for invariant synthesis (obtained as the dual of backward reachability), again, under suitable hypotheses on the theories. We also present a pragmatic approach to interleave invariant synthesis and backward reachability so that a fix-point for the set of backward reachable states is more easily obtained. Finally, we discuss heuristics that allow us to derive an implementation of the techniques in the model checker MCMT, showing remarkable speed-ups on a significant set of safety problems extracted from a variety of sources.Comment: Accepted for publication in Logical Methods in Computer Scienc

Vibrational Enhancement of the Effective Donor - Acceptor Coupling

The paper deals with a simple three sites model for charge transfer phenomena in an one-dimensional donor (D) - bridge (B) - acceptor (A) system coupled with vibrational dynamics of the B site. It is found that in a certain range of parameters the vibrational coupling leads to an enhancement of the effective donor - acceptor electronic coupling as a result of the formation of the polaron on the B site. This enhancement of the charge transfer efficiency is maximum at the resonance, where the effective energy of the fluctuating B site coincides with the donor (acceptor) energy.Comment: 5 pages, 3 figure

Interferometry with Bose-Einstein Condensates in Microgravity

Atom interferometers covering macroscopic domains of space-time are a spectacular manifestation of the wave nature of matter. Due to their unique coherence properties, Bose-Einstein condensates are ideal sources for an atom interferometer in extended free fall. In this paper we report on the realization of an asymmetric Mach-Zehnder interferometer operated with a Bose-Einstein condensate in microgravity. The resulting interference pattern is similar to the one in the far-field of a double-slit and shows a linear scaling with the time the wave packets expand. We employ delta-kick cooling in order to enhance the signal and extend our atom interferometer. Our experiments demonstrate the high potential of interferometers operated with quantum gases for probing the fundamental concepts of quantum mechanics and general relativity.Comment: 8 pages, 3 figures; 8 pages of supporting materia

Influence of Retardation on the Vibrational Wave Function and Binding Energy of the Helium Dimer

Because of the extremely small binding energy of the helium dimer, the nuclear wave function is delocalized over an extremely large range of separations. One might therefore expect the properties of this extraordinary species to be sensitive to the potential at very large internuclear distances, r, where relativistic corrections to the usual van der Waals interaction may be important. We have estimated the effect of retardation, which changes the r-6 dependence of the potential to r-7 in the limit of large r, and have found that the binding energy and expectation value (r) are indeed significantly affected by its inclusion

Velocity Dependence Of One- And Two-electron Processes In Intermediate-velocity Ar16++He Collisions

We report investigations of one- and two-electron processes in the collisions of 0.9-keV/u to 60-keV/u (vp=0.19-1.55 a.u.) Ar16+ ions with He targets. The cross sections for these processes were measured by observing the final charges of the Ar ions and the recoiling target ions in coincidence. The average Q values for the capture channels were determined by measuring the longitudinal momenta of the recoiling target ions. Single capture (SC) is the dominant process and is relatively independent of the projectile energy. The two-electron transfer-ionization (TI) process is the next largest and slowly increases with projectile energy. The Q values for both SC and TI decrease with increasing projectile energy. Our data thereby suggest that electrons are captured into less tightly bound states as the collision velocity is increased. Both double capture and single ionization are much smaller and fairly independent of the projectile energy. The energy independence of SI is somewhat surprising as our energy range spans the region of the target electron velocity where ionization would be expected to increase. Our analysis suggests that the ionization process is being suppressed by SC and TI processes. © 1993 The American Physical Society