Optimising oscillating waveform-shape for pore size sensitivity in diffusion-weighted MR

Optimising the shape of a generalised gradient waveform (GEN) in diffusion-weighted MR has been shown to, in theory, greatly increase sensitivity to pore size. The broad class of optimised shapes takes simple oscillatory forms. To speed up convergence of the optimisation, improve computation times and make the waveforms more practical, here we explore various oscillatory waveforms constructed from trapezoidal and sinusoidal shapes and compare their performance with the optimised GEN waveform. The oscillating waveforms are optimised to maximise sensitivity to parameters, such as axon radius, intra-cellular volume fraction and diffusion constants, of a simple white matter model. Simulation experiments find that all oscillating waveforms we tried perform significantly better than the original generalised waveform due to the improved convergence of the optimisation. Differences among the oscillating shapes however are very small and although a truncated sinusoidal waveform consistently gives the lowest cost function, no significant difference in the estimated model parameters was found. Therefore the simplest choice, i.e. the trapezoidal parametrisation, seems sufficient for most practical purposes

Formalizing Size-Optimal Sorting Networks: Extracting a Certified Proof Checker

Since the proof of the four color theorem in 1976, computer-generated proofs have become a reality in mathematics and computer science. During the last decade, we have seen formal proofs using verified proof assistants being used to verify the validity of such proofs. In this paper, we describe a formalized theory of size-optimal sorting networks. From this formalization we extract a certified checker that successfully verifies computer-generated proofs of optimality on up to 8 inputs. The checker relies on an untrusted oracle to shortcut the search for witnesses on more than 1.6 million NP-complete subproblems.Comment: IMADA-preprint-c

Optimizing a Certified Proof Checker for a Large-Scale Computer-Generated Proof

In recent work, we formalized the theory of optimal-size sorting networks with the goal of extracting a verified checker for the large-scale computer-generated proof that 25 comparisons are optimal when sorting 9 inputs, which required more than a decade of CPU time and produced 27 GB of proof witnesses. The checker uses an untrusted oracle based on these witnesses and is able to verify the smaller case of 8 inputs within a couple of days, but it did not scale to the full proof for 9 inputs. In this paper, we describe several non-trivial optimizations of the algorithm in the checker, obtained by appropriately changing the formalization and capitalizing on the symbiosis with an adequate implementation of the oracle. We provide experimental evidence of orders of magnitude improvements to both runtime and memory footprint for 8 inputs, and actually manage to check the full proof for 9 inputs.Comment: IMADA-preprint-c

A constitutive law for dense granular flows

A continuum description of granular flows would be of considerable help in predicting natural geophysical hazards or in designing industrial processes. However, the constitutive equations for dry granular flows, which govern how the material moves under shear, are still a matter of debate. One difficulty is that grains can behave like a solid (in a sand pile), a liquid (when poured from a silo) or a gas (when strongly agitated). For the two extreme regimes, constitutive equations have been proposed based on kinetic theory for collisional rapid flows, and soil mechanics for slow plastic flows. However, the intermediate dense regime, where the granular material flows like a liquid, still lacks a unified view and has motivated many studies over the past decade. The main characteristics of granular liquids are: a yield criterion (a critical shear stress below which flow is not possible) and a complex dependence on shear rate when flowing. In this sense, granular matter shares similarities with classical visco-plastic fluids such as Bingham fluids. Here we propose a new constitutive relation for dense granular flows, inspired by this analogy and recent numerical and experimental work. We then test our three-dimensional (3D) model through experiments on granular flows on a pile between rough sidewalls, in which a complex 3D flow pattern develops. We show that, without any fitting parameter, the model gives quantitative predictions for the flow shape and velocity profiles. Our results support the idea that a simple visco-plastic approach can quantitatively capture granular flow properties, and could serve as a basic tool for modelling more complex flows in geophysical or industrial applications.Comment: http://www.nature.com/nature/journal/v441/n7094/abs/nature04801.htm

Sensory Electrical Stimulation Improves Foot Placement during Targeted Stepping Post-Stroke

Proper foot placement is vital for maintaining balance during walking, requiring the integration of multiple sensory signals with motor commands. Disruption of brain structures post-stroke likely alters the processing of sensory information by motor centers, interfering with precision control of foot placement and walking function for stroke survivors. In this study, we examined whether somatosensory stimulation, which improves functional movements of the paretic hand, could be used to improve foot placement of the paretic limb. Foot placement was evaluated before, during, and after application of somatosensory electrical stimulation to the paretic foot during a targeted stepping task. Starting from standing, twelve chronic stroke participants initiated movement with the non-paretic limb and stepped to one of five target locations projected onto the floor with distances normalized to the paretic stride length. Targeting error and lower extremity kinematics were used to assess changes in foot placement and limb control due to somatosensory stimulation. Significant reductions in placement error in the medial–lateral direction (p = 0.008) were observed during the stimulation and post-stimulation blocks. Seven participants, presenting with a hip circumduction walking pattern, had reductions (p = 0.008) in the magnitude and duration of hip abduction during swing with somatosensory stimulation. Reductions in circumduction correlated with both functional and clinical measures, with larger improvements observed in participants with greater impairment. The results of this study suggest that somatosensory stimulation of the paretic foot applied during movement can improve the precision control of foot placement

Sign-reversal of the in-plane resistivity anisotropy in hole-doped iron pnictides

The in-plane anisotropy of the electrical resistivity across the coupled orthorhombic and magnetic transitions of the iron pnictides has been extensively studied in the parent and electron-doped compounds. All these studies universally show that the resistivity $\rho_{a}$ across the long orthorhombic axis $a_{O}$ - along which the spins couple antiferromagnetically below the magnetic transition temperature - is smaller than the resistivity $\rho_{b}$ of the short orthorhombic axis $b_{O}$, i. e. $\rho_{a}<\rho_{b}$. Here we report that in the hole-doped compounds Ba$_{1-x}$K$_{x}$Fe$_{2}$As$_{2}$, as the doping level increases, the resistivity anisotropy initially becomes vanishingly small, and eventually changes sign for sufficiently large doping, i. e. $\rho_{b}<\rho_{a}$. This observation is in agreement with a recent theoretical prediction that considers the anisotropic scattering of electrons by spin-fluctuations in the orthorhombic/nematic state.Comment: This paper has been replaced by the new version offering new explanation of the experimental results first reported her

Paternal obesity is associated with IGF2 hypomethylation in newborns: results from a Newborn Epigenetics Study (NEST) cohort

Data from epidemiological and animal model studies suggest that nutrition during pregnancy may affect the health status of subsequent generations. These transgenerational effects are now being explained by disruptions at the level of the epigenetic machinery. Besides in vitro environmental exposures, the possible impact on the reprogramming of methylation profiles at imprinted genes at a much earlier time point, such as during spermatogenesis or oogenesis, has not previously been considered. In this study, our aim was to determine associations between preconceptional obesity and DNA methylation profiles in the offspring, particularly at the differentially methylated regions (DMRs) of the imprinted Insulin-like Growth Factor 2 (IGF2) gene

An introduction to Graph Data Management

A graph database is a database where the data structures for the schema and/or instances are modeled as a (labeled)(directed) graph or generalizations of it, and where querying is expressed by graph-oriented operations and type constructors. In this article we present the basic notions of graph databases, give an historical overview of its main development, and study the main current systems that implement them

Magnetism and its microscopic origin in iron-based high-temperature superconductors

High-temperature superconductivity in the iron-based materials emerges from, or sometimes coexists with, their metallic or insulating parent compound states. This is surprising since these undoped states display dramatically different antiferromagnetic (AF) spin arrangements and N$\rm \acute{e}$el temperatures. Although there is general consensus that magnetic interactions are important for superconductivity, much is still unknown concerning the microscopic origin of the magnetic states. In this review, progress in this area is summarized, focusing on recent experimental and theoretical results and discussing their microscopic implications. It is concluded that the parent compounds are in a state that is more complex than implied by a simple Fermi surface nesting scenario, and a dual description including both itinerant and localized degrees of freedom is needed to properly describe these fascinating materials.Comment: 14 pages, 4 figures, Review article, accepted for publication in Nature Physic