Unravelling the spirits’ message: a study of help-seeking steps and explanatory models among patients suffering from spirit possession in Uganda

As in many cultures, also in Uganda spirit possession is a common idiom of distress associated with traumatic experiences. In the DSM-IV and -5, possession trance disorders can be classified as dissociative disorders. Dissociation in Western countries is associated with complicated, time-consuming and costly therapies. Patients with spirit possession in SW Uganda, however, often report partial or full recovery after treatment by traditional healers. The aim of this study is to explore how the development of symptoms concomitant help-seeking steps, and explanatory models (EM) eventually contributed to healing of patients with spirit possession in SW Uganda. Illness narratives of 119 patients with spirit possession referred by traditional healers were analysed using a mixed-method approach. Treatments of two-thirds of the patients were unsuccessful when first seeking help in the medical sector. Their initially physical symptoms subsequently developed into dissociative possession symptoms. After an average of two help-seeking steps, patients reached a healing place where 99% of them found satisfactory EM and effective healing. During healing sessions, possessing agents were summoned to identify themselves and underlying problems were addressed. Often-mentioned explanations were the following: neglect of rituals and of responsibilities towards relatives and inheritance, the call to become a healer, witchcraft, grief, and land conflicts. The results demonstrate that traditional healing processes of spirit possession can play a role in restoring connections with the supra-, inter-, intra-, and extra-human worlds. It does not always seem necessary to address individual traumatic experiences per se, which is in line with other research in this field. The study leads to additional perspectives on treatment of trauma-related dissociation in Western countries and on developing effective mental health services in low -and middle-income countries

Human-in-the-loop optimization of rocker shoes via different cost functions during walking

Personalised footwear could be used to enhance the function of the foot–ankle complex to a person’s maximum. Human-in-the-loop optimization could be used as an effective and efficient way to find a personalised optimal rocker profile (i.e., apex position and angle). The outcome of this process likely depends on the selected optimization objective and its responsiveness to the rocker parameters being tuned. This study aims to explore whether and how human-in-the-loop optimization via different cost functions (i.e., metabolic cost, collision work as measure for external mechanical work, and step distance variability as measure for gait stability) affects the optimal apex position and angle of a rocker profile differently for individuals during walking. Ten healthy individuals walked on a treadmill with experimental rocker shoes in which apex position and angle were optimized using human-in-the-loop optimization using different cost functions. We compared the obtained optimal apex parameters for the different cost functions and how these affected the selected gait related objectives. Optimal apex parameters differed substantially between participants and optimal apex positions differed between cost functions. The responsiveness to changes in apex parameters differed between cost functions. Collision work was the only cost function that resulted in a significant improvement of its performance criteria. Improvements in metabolic cost or step distance variability were not found after optimization. This study showed that cost function selection is important when human-in-the-loop optimization is used to design personalised footwear to allow conversion to an optimum that suits the individual

Towards Knowledge Management for HOL Light

Abstract. The libraries of deduction systems are growing constantly, so much that knowledge management concerns are becoming increasingly urgent to address. However, due to time constraints and legacy design choices, there is barely any deduction system that can keep up with the MKM state of the art. HOL Light in particular was designed as a lightweight deduction system that systematically relegates most MKM aspects to external solutions — not even the list of theorems is stored by the HOL Light kernel. We make the first and hardest step towards knowledge management for HOL Light: We provide a representation of the HOL Light library in a standard MKM format that preserves the logical semantics and notations but is independent of the system itself. This provides an interface layer at which independent MKM applications can be developed. Moreover, we develop two such applications as examples. We employ the MMT system and its interactive web browser to view and navigate the library. And w