New results in feedback control of unsupported standing in paraplegia

The aim of this study was to implement a new approach to feedback control of unsupported standing and to evaluate it in tests with an intact and a paraplegic subject. In our setup, all joints above the ankles are braced and stabilizing torque at the ankle is generated by electrical stimulation of the plantarflexor muscles. A previous study showed that short periods of unsupported standing with a paraplegic subject could be achieved. In order to improve consistency and reliability and to prolong the duration of standing, we have implemented several modifications to the control strategy. These include a simplified control structure and a different controller design method. While the reliability of standing is mainly limited by the muscle characteristics such as reduced strength and progressive fatigue, the results presented here show that the new strategy allows much longer periods (up to several minutes) of unsupported standing in paraplegia

Mesoscopic phase separation in La2CuO4.02 - a 139La NQR study

In crystals of La2CuO4.02 oxygen diffusion can be limited to such small length scales, that the resulting phase separation is invisible for neutrons. Decomposition of the 139La NQR spectra shows the existence of three different regions, of which one orders antiferromagnetically below 17K concomitantly with the onset of a weak superconductivity in the crystal. These regions are compared to the macroscopic phases seen previously in the title compound and the cluster-glass and striped phases reported for the underdoped Sr-doped cuprates.Comment: 4 pages, RevTeX, 5 figures, to be published in PR

Very static enforcement of dynamic policies

Security policies are naturally dynamic. Reflecting this, there has been a growing interest in studying information-flow properties which change during program execution, including concepts such as declassification, revocation, and role-change. A static verification of a dynamic information flow policy, from a semantic perspective, should only need to concern itself with two things: 1) the dependencies between data in a program, and 2) whether those dependencies are consistent with the intended flow policies as they change over time. In this paper we provide a formal ground for this intuition. We present a straightforward extension to the principal flow-sensitive type system introduced by Hunt and Sands (POPL’06, ESOP’11) to infer both end-to-end dependencies and dependencies at intermediate points in a program. This allows typings to be applied to verification of both static and dynamic policies. Our extension preserves the principal type system’s distinguishing feature, that type inference is independent of the policy to be enforced: a single, generic dependency analysis (typing) can be used to verify many different dynamic policies of a given program, thus achieving a clean separation between (1) and (2). We also make contributions to the foundations of dynamic information flow. Arguably, the most compelling semantic definitions for dynamic security conditions in the literature are phrased in the so-called knowledge-based style. We contribute a new definition of knowledge-based progress insensitive security for dynamic policies. We show that the new definition avoids anomalies of previous definitions and enjoys a simple and useful characterisation as a two-run style property

Self-diffusion in dense granular shear flows

Diffusivity is a key quantity in describing velocity fluctuations in granular materials. These fluctuations are the basis of many thermodynamic and hydrodynamic models which aim to provide a statistical description of granular systems. We present experimental results on diffusivity in dense, granular shear in a 2D Couette geometry. We find that self-diffusivities are proportional to the local shear rate with diffusivities along the mean flow approximately twice as large as those in the perpendicular direction. The magnitude of the diffusivity is D \approx \dot\gamma a^2 where a is the particle radius. However, the gradient in shear rate, coupling to the mean flow, and drag at the moving boundary lead to particle displacements that can appear sub- or super-diffusive. In particular, diffusion appears superdiffusive along the mean flow direction due to Taylor dispersion effects and subdiffusive along the perpendicular direction due to the gradient in shear rate. The anisotropic force network leads to an additional anisotropy in the diffusivity that is a property of dense systems with no obvious analog in rapid flows. Specifically, the diffusivity is supressed along the direction of the strong force network. A simple random walk simulation reproduces the key features of the data, such as the apparent superdiffusive and subdiffusive behavior arising from the mean flow, confirming the underlying diffusive motion. The additional anisotropy is not observed in the simulation since the strong force network is not included. Examples of correlated motion, such as transient vortices, and Levy flights are also observed. Although correlated motion creates velocity fields qualitatively different from Brownian motion and can introduce non-diffusive effects, on average the system appears simply diffusive.Comment: 13 pages, 20 figures (accepted to Phys. Rev. E

Topological doping and the stability of stripe phases

We analyze the properties of a general Ginzburg-Landau free energy with competing order parameters, long-range interactions, and global constraints (e.g., a fixed value of a total ``charge'') to address the physics of stripe phases in underdoped high-Tc and related materials. For a local free energy limited to quadratic terms of the gradient expansion, only uniform or phase-separated configurations are thermodynamically stable. ``Stripe'' or other non-uniform phases can be stabilized by long-range forces, but can only have non-topological (in-phase) domain walls where the components of the antiferromagnetic order parameter never change sign, and the periods of charge and spin density waves coincide. The antiphase domain walls observed experimentally require physics on an intermediate lengthscale, and they are absent from a model that involves only long-distance physics. Dense stripe phases can be stable even in the absence of long-range forces, but domain walls always attract at large distances, i.e., there is a ubiquitous tendency to phase separation at small doping. The implications for the phase diagram of underdoped cuprates are discussed.Comment: 18 two-column pages, 2 figures, revtex+eps

Examining Contextual Factors and Individual Value Dimensions of Healthcare Providers Intention to Adopt Electronic Health Technologies in Developing Countries

Part 5: Research in ProgressInternational audienceDespite substantial research on electronic health (e-Health) adoption, there still exist vast differences between resource-rich and resource-poor populations regarding Information Technology adoption. To help bridge the technological gulf between developed and developing countries, this research-in-progress paper examines healthcare providers’ intention to adopt e-health technologies from two perspectives 1) contextual factors (i.e. specific to developing world settings) and 2) individual value dimensions (i.e. cultural, utilitarian, social and personal). The primary output of this paper is a theoretical model merging both the contextual factors and value dimensions; this forms a strong baseline to examine and help ensure the successful adoption of e-Health technologies within developing countries. Future research will be performed to validate the model developed in this paper, with a specific focus on mobile Health in Malawi, Africa

E-retailing ethics in Egypt and its effect on customer repurchase intention

The theoretical understanding of online shopping behaviour has received much attention. Less focus has been given to the formation of the ethical issues that result from online shopper interactions with e-retailers. The vast majority of earlier research on this area is conceptual in nature and limited in scope by focusing on consumers’ privacy issues. Therefore, the purpose of this paper is to propose a theoretical model explaining what factors contribute to online retailing ethics and its effect on customer repurchase intention. The data were analysed using variance-based structural equation modelling, employing partial least squares regression. Findings indicate that the five factors of the online retailing ethics (security, privacy, non- deception, fulfilment/reliability, and corporate social responsibility) are strongly predictive of online consumers’ repurchase intention. The results offer important implications for e-retailers and are likely to stimulate further research in the area of e-ethics from the consumers’ perspective

Velocity-space sensitivity of the time-of-flight neutron spectrometer at JET

The velocity-space sensitivities of fast-ion diagnostics are often described by so-called weight functions. Recently, we formulated weight functions showing the velocity-space sensitivity of the often dominant beam-target part of neutron energy spectra. These weight functions for neutron emission spectrometry (NES) are independent of the particular NES diagnostic. Here we apply these NES weight functions to the time-of-flight spectrometer TOFOR at JET. By taking the instrumental response function of TOFOR into account, we calculate time-of-flight NES weight functions that enable us to directly determine the velocity-space sensitivity of a given part of a measured time-of-flight spectrum from TOFOR

Manufacturing flow line systems: a review of models and analytical results

The most important models and results of the manufacturing flow line literature are described. These include the major classes of models (asynchronous, synchronous, and continuous); the major features (blocking, processing times, failures and repairs); the major properties (conservation of flow, flow rate-idle time, reversibility, and others); and the relationships among different models. Exact and approximate methods for obtaining quantitative measures of performance are also reviewed. The exact methods are appropriate for small systems. The approximate methods, which are the only means available for large systems, are generally based on decomposition, and make use of the exact methods for small systems. Extensions are briefly discussed. Directions for future research are suggested.National Science Foundation (U.S.) (Grant DDM-8914277