arXiv subjects

Oliver Pearce

Publications and source records attributed to Oliver Pearce.

3 recordsLinked to original sources

arXiv2026

Designing wearable haptic cueing for neurological gait rehabilitation: user requirements across residential care and community settings

Wearable haptic cueing offers rhythmic prompts for neurological gait rehabilitation while leaving hearing available for communication and environmental awareness. We investigated the user, design, and implementation requirements needed to make these systems usable in practice. We analysed six linked studies involving 17 people with neurological conditions affecting gait and three physiotherapists across formative sessions, residential care, and community self-management. Wearable devices served as technology probes. Observations, interviews, diaries, physiotherapist records, gait analysis, and activity logs informed thematic analysis and cross-study comparison. Seven recurring requirement areas concerned haptic perceptibility and placement, wearability and fastening, interaction burden, rhythm personalisation, real-world walking contexts, supported use, and perceived value beyond gait outcomes. Requirements interacted: perceptible cue locations could be difficult to access for fastening or control, while fixed rhythms did not always accommodate terrain, fatigue, interruptions, or changing pace. Carers and clinicians supported configuration, operation, safety, and interpretation. Participants described confidence, routine formation, and willingness to walk; these accounts were interpreted as perceived value rather than evidence of therapeutic efficacy. Low sensation, cognitive burden, and mobility limitations could make wearable cueing impractical. Future systems should offer adjustable haptic output, flexible placement, accessible fastening, simple controls, personalised rhythms, and robustness during everyday walking. Design should accommodate support from carers and clinicians and consider trade-offs between requirements. These findings inform wearable rehabilitation design rather than establish clinical efficacy.

cs.HC↗

arXiv2025

RustMC: Extending the GenMC stateless model checker to Rust

RustMC is a stateless model checker that enables verification of concurrent Rust programs. As both Rust and C/C++ compile to LLVM IR, RustMC builds on GenMC which provides a verification framework for LLVM IR. This enables the automatic verification of Rust code and any C/C++ dependencies. This tool paper presents the key challenges we addressed to extend GenMC. These challenges arise from Rust's unique compilation strategy and include intercepting threading operations, handling memory intrinsics and uninitialized accesses. Through case studies adapted from real-world programs, we demonstrate RustMC's effectiveness at finding concurrency bugs stemming from unsafe Rust code, FFI calls to C/C++, and incorrect use of atomic operations.

cs.PL↗

arXiv2023

ExoMol line lists -- LII. Line Lists for the Methylidyne Cation (CH+)

Comprehensive and accurate rovibronic line lists for the X $^{1}Σ^{+}$ and A $^{1}Π$ states of $^{12}$C$^{1}$H$^{+}$ and $^{13}$C$^{1}$H$^{+}$ which should be applicable up to temperatures of 5000 K are presented. Available empirical potential energy curves and high-level ab initio dipole and transition dipole moment curves are used with the program LEVEL to compute rovibronic energy levels and Einstein $A$ coefficients. $Λ$-doubling is incorporated into the energy levels and $A$-coefficients involving the A $^{1}Π$ state using an empirical method. For $^{12}$C$^{1}$H$^{+}$, line positions are improved by using both laboratory and astronomical observational spectra as input to the MARVEL procedure. The $^{12}$C$^{1}$H$^{+}$ line list contains 1505 states and 34194 transitions over the frequency range of 0 - 33010 cm$^{-1}$ ($λ> 300$ nm). Comparisons with observed astronomical and laboratory spectra give very good agreement. The PYT CH$^{+}$ line lists and partition functions are available from the ExoMol database at www.exomol.com.

astro-ph.SR↗