Infrastructureless pedestrian navigation to assess the response of Alzheimer's patients to visual cues

The aim of the study was to understand how patients with dementia were able to navigate in a domestic environment, and whether the presence of visual cues could assist in route finding. A simulated domestic environment was created in the Pedestrian Accessibility and Movement Environment Laboratory (PAMELA) comprising three different types of corridors and an open room with three doors. Three groups of subjects were studied: i) posterior cortical atrophy; ii) typical Alzheimer’s disease; iii) age- and gender matched controls. Foot-mounted inertial measurement units (IMUs) were used to measure accelerations in 3D. Data from the sensors was transmitted wirelessly to a laptop computer. Local accelerations were converted to global accelerations, and double integration was performed to calculate displacement; corrections for sensor drift were performed during this process

Exploiting the Temporal Logic Hierarchy and the Non-Confluence Property for Efficient LTL Synthesis

The classic approaches to synthesize a reactive system from a linear temporal logic (LTL) specification first translate the given LTL formula to an equivalent omega-automaton and then compute a winning strategy for the corresponding omega-regular game. To this end, the obtained omega-automata have to be (pseudo)-determinized where typically a variant of Safra's determinization procedure is used. In this paper, we show that this determinization step can be significantly improved for tool implementations by replacing Safra's determinization by simpler determinization procedures. In particular, we exploit (1) the temporal logic hierarchy that corresponds to the well-known automata hierarchy consisting of safety, liveness, Buechi, and co-Buechi automata as well as their boolean closures, (2) the non-confluence property of omega-automata that result from certain translations of LTL formulas, and (3) symbolic implementations of determinization procedures for the Rabin-Scott and the Miyano-Hayashi breakpoint construction. In particular, we present convincing experimental results that demonstrate the practical applicability of our new synthesis procedure

Hetonic quartets in a two-layer quasi-geostrophic flow : V-states and stability

M.A.S. and X.C. were supported by RFBR/CNRS (PRC Grant No. 16-55-150001/1069). M.A.S. was supported also by RFBR (Grant No. 16-05-00121), RSF (Grant No. 14-50-00095, geophysical applications) and MESRF (Grant No. 14.W.03.31.0006, numerical simulation, vortex dynamics).We investigate families of finite core vortex quartets in mutual equilibrium in a two- layer quasi-geostrophic flow. The finite core solutions stem from known solutions for discrete (singular) vortex quartets. Two vortices lie in the top layer and two vortices lie in the bottom layer. Two vortices have a positive potential vorticity anomaly while the two others have negative potential vorticity anomaly. The vortex configurations are therefore related to the baroclinic dipoles known in the literature as hetons. Two main branches of solutions exist depending on the arrangement of the vortices: the translating zigzag-shaped hetonic quartets and the rotating zigzag- shaped hetonic quartets. By addressing their linear stability, we show that while the rotating quartets can be unstable over a large range of the parameter space, most translating quartets are stable. This has implications on the longevity of such vortex equilibria in the oceans.PostprintPeer reviewe

STEP-UP: Enabling low-cost IMU sensors to predict the type of dementia during everyday stair climbing

Posterior Cortical Atrophy is a rare but significant form of dementia which affects peoples’ visual ability before their memory. This is often misdiagnosed as an eyesight rather than brain sight problem. This paper aims to address the frequent, initial misdiagnosis of this disease as a vision problem through the use of an intelligent, cost-effective, wearable system, alongside diagnosis of the more typical Alzheimer’s Disease. We propose low-level features constructed from the IMU data gathered from 35 participants, while they performed a stair climbing and descending task in a real-world simulated environment. We demonstrate that with these features the machine learning models predict dementia with 87.02% accuracy. Furthermore, we investigate how system parameters, such as number of sensors, affect the prediction accuracy. This lays the groundwork for a simple clinical test to enable detection of dementia which can be carried out in the wild

Vortex merger near a topographic slope in a homogeneous rotating fluid

This work is a contribution to the PHYSINDIEN research program. It was supported by CNRS-RFBR contract PRC 1069/16-55-150001.The effect of a bottom slope on the merger of two identical Rankine vortices is investigated in a two dimensional, quasi-geostrophic, incompressible fluid. When two cyclones initially lie parallel to the slope, and more than two vortex diameters away from the slope, the critical merger distance is unchanged. When the cyclones are closer to the slope, they can merge at larger distances, but they lose more mass into filaments, thus weakening the efficiency of merger. Several effects account for this: the topographic Rossby wave advects the cyclones, reduces their mutual distance and deforms them. This along shelf wave breaks into filaments and into secondary vortices which shear out the initial cyclones. The global motion of fluid towards the shallow domain and the erosion of the two cyclones are confirmed by the evolution of particles seeded both in the cyclone sand near the topographic slope. The addition of tracer to the flow indicates that diffusion is ballistic at early times. For two anticyclones, merger is also facilitated because one vortex is ejected offshore towards the other, via coupling with a topographic cyclone. Again two anticyclones can merge at large distance but they are eroded in the process. Finally, for taller topographies, the critical merger distance is again increased and the topographic influence can scatter or completely erode one of the two initial cyclones. Conclusions are drawn on possible improvements of the model configuration for an application to the ocean.PostprintPeer reviewe

Detection and Localisation of Hesitant Steps in People with Alzheimer's Disease Navigating Routes of Varying Complexity

People with Alzheimer’s disease (AD) have characteristic problems navigating everyday environments. While patients may exhibit abnormal gait parameters, adaptive gait irregularities when navigating environments are little explored or understood. The aim of this study was to assess adaptive locomotor responses of AD subjects in a complex environment requiring spatial navigation. A controlled environment of three corridors was set up: straight (I), U-shaped (U), and dog-leg (S). Participants were asked to walk along corridors as part of a counterbalanced repeated-measures design. Three groups were studied: 11 people with posterior cortical atrophy (PCA), 10 with typical Alzheimer’s disease (tAD) and 13 controls. Spatiotemporal gait parameters and position within the corridors were monitored with shoe-mounted inertial measurement units (IMUs). Hesitant steps were identified from statistical analysis of the distribution of step time data. Walking paths were generated from position data calculated by double integration of IMU acceleration. People with PCA and tAD had similar gait characteristics, having shorter steps and longer step times than controls. Hesitant steps tended to be clustered within certain regions of the walking paths. IMUs enabled identification of key gait characteristics in this clinical population (step time, length and step hesitancy) and environmental conditions (route complexity) modifying their expression

Gas Accretion and Galactic Chemical Evolution: Theory and Observations

This chapter reviews how galactic inflows influence galaxy metallicity. The goal is to discuss predictions from theoretical models, but particular emphasis is placed on the insights that result from using models to interpret observations. Even as the classical G-dwarf problem endures in the latest round of observational confirmation, a rich and tantalizing new phenomenology of relationships between $M_*$, $Z$, SFR, and gas fraction is emerging both in observations and in theoretical models. A consensus interpretation is emerging in which star-forming galaxies do most of their growing in a quiescent way that balances gas inflows and gas processing, and metal dilution with enrichment. Models that explicitly invoke this idea via equilibrium conditions can be used to infer inflow rates from observations, while models that do not assume equilibrium growth tend to recover it self-consistently. Mergers are an overall subdominant mechanism for delivering fresh gas to galaxies, but they trigger radial flows of previously-accreted gas that flatten radial gas-phase metallicity gradients and temporarily suppress central metallicities. Radial gradients are generically expected to be steep at early times and then flattened by mergers and enriched inflows of recycled gas at late times. However, further theoretical work is required in order to understand how to interpret observations. Likewise, more observational work is needed in order to understand how metallicity gradients evolve to high redshifts.Comment: Invited review to appear in Gas Accretion onto Galaxies, Astrophysics and Space Science Library, eds. A. J. Fox & R. Dav\'e, to be published by Springer. 29 pages, 2 figure

On the representation error in data assimilation

Representation, representativity, representativeness error, forward interpolation error, forward model error, observation operator error, aggregation error and sampling error are all terms used to refer to components of observation error in the context of data assimilation. This paper is an attempt to consolidate the terminology that has been used in the earth sciences literature and was suggested at a European Space Agency workshop held in Reading in April 2014. We review the state-of-the-art, and through examples, motivate the terminology. In addition to a theoretical framework, examples from application areas of satellite data assimilation, ocean reanalysis and atmospheric chemistry data assimilation are provided. Diagnosing representation error statistics as well as their use in state-of-the-art data assimilation systems is discussed within a consistent framework