'It burdens me': The impact of stroke in central Aceh, Indonesia

This is the accepted version of the following article: Norris, M., Allotey, P. and Barrett, G. (2012), ‘It burdens me’: the impact of stroke in central Aceh, Indonesia. Sociology of Health & Illness, 34: 826–840. doi: 10.1111/j.1467-9566.2011.01431.x, which has been published in final form at http://onlinelibrary.wiley.com/doi/10.1111/j.1467-9566.2011.01431.x/abstract.The complex primary and secondary consequences of stroke have often been equated with the concept of biographical disruption, although a number of mediating factors have been identified. However, the research to date is almost exclusively based in western contexts, despite the fact that stroke is increasing most rapidly in low-income and middle-income countries. This research explores the experience of stroke in the rural community of central Aceh, Indonesia. The participants included 11 stroke survivors and 18 carers, with data collected through in-depth interviews and photographic facilitated interviews, supported with participant observation over a nine month period. The participants discussed and illustrated the disruptive result of their stroke, but for most, their ability to maintain religious duties and contribute to their family resulted in a form of biographical continuity. Their strategies and challenges are discussed alongside the implications for care in this context

"I feel like half my body is clogged up": Lay models of stroke in Central Aceh, Indonesia

This is the post-print version of the final paper published in Social Science and Medicine. The published article is available from the link below. Changes resulting from the publishing process, such as peer review, editing, corrections, structural formatting, and other quality control mechanisms may not be reflected in this document. Changes may have been made to this work since it was submitted for publication. Copyright @ 2010 Elsevier B.V.Stroke in low and middle income countries is an increasing cause of death and disability, with rates and the estimated burden considerably higher than that of high income countries. Lay explanatory models are believed to be one of the major influences on health seeking behaviour and essential to understand for appropriate education strategies. Despite stroke being a considerable health concern in Indonesia and particularly in Aceh, no studies to date have explored lay stroke models in that context. This paper presents the findings of a qualitative study informed by both hermeneutic phenomenology and ethnography. Based in rural communities in Bener Meriah and Aceh Tengah in Central Aceh, Indonesia, data were gathered through interviews, photographs and observations with 11 persons with stroke (aged 32–69 years) and 18 of their carers. Fieldwork was conducted over nine months between 2007 and 2008. The study examined lay concepts of stroke, described as a condition resulting from a local blockage in blood from multiple causes, many of which are not recognised within the biomedical frame. The blockage is understood to be reversible and therefore the condition curable. This understanding is embedded and sustained in the specific political, cultural, religious and social context. The results illustrate similarities and differences with other cross-cultural studies and suggest areas of future research and points of consideration for stroke education strategies

Personal propulsion unit Patent

Lightweight propulsion unit for movement of personnel and equipment across lunar surfac

Asymptotics of Relativistic Spin Networks

The stationary phase technique is used to calculate asymptotic formulae for SO(4) Relativistic Spin Networks. For the tetrahedral spin network this gives the square of the Ponzano-Regge asymptotic formula for the SU(2) 6j symbol. For the 4-simplex (10j-symbol) the asymptotic formula is compared with numerical calculations of the Spin Network evaluation. Finally we discuss the asymptotics of the SO(3,1) 10j-symbol.Comment: 31 pages, latex. v3: minor clarification

Ab-initio No-Core Gamow Shell Model calculations with realistic interactions

No-Core Gamow Shell Model (NCGSM) is applied for the first time to study selected well-bound and unbound states of helium isotopes. This model is formulated on the complex energy plane and, by using a complete Berggren ensemble, treats bound, resonant, and scattering states on equal footing. We use the Density Matrix Renormalization Group method to solve the many-body Schr\"{o}dinger equation. To test the validity of our approach, we benchmarked the NCGSM results against Faddeev and Faddeev-Yakubovsky exact calculations for $^3$H and $^4$He nuclei. We also performed {\textit ab initio} NCGSM calculations for the unstable nucleus $^5$He and determined the ground state energy and decay width, starting from a realistic N$^3$LO chiral interaction.Comment: 17 pages, 14 figures. Revised version. Discussion on microscopic overlap functions, SFs and ANCs is added. Added references. Accepted for publication at PR

The Vampire and the FOOL

This paper presents new features recently implemented in the theorem prover Vampire, namely support for first-order logic with a first class boolean sort (FOOL) and polymorphic arrays. In addition to having a first class boolean sort, FOOL also contains if-then-else and let-in expressions. We argue that presented extensions facilitate reasoning-based program analysis, both by increasing the expressivity of first-order reasoners and by gains in efficiency

Holonomy observables in Ponzano-Regge type state sum models

We study observables on group elements in the Ponzano-Regge model. We show that these observables have a natural interpretation in terms of Feynman diagrams on a sphere and contrast them to the well studied observables on the spin labels. We elucidate this interpretation by showing how they arise from the no-gravity limit of the Turaev-Viro model and Chern-Simons theory.Comment: 15 pages, 2 figure

Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks

Deep neural networks have emerged as a widely used and effective means for tackling complex, real-world problems. However, a major obstacle in applying them to safety-critical systems is the great difficulty in providing formal guarantees about their behavior. We present a novel, scalable, and efficient technique for verifying properties of deep neural networks (or providing counter-examples). The technique is based on the simplex method, extended to handle the non-convex Rectified Linear Unit (ReLU) activation function, which is a crucial ingredient in many modern neural networks. The verification procedure tackles neural networks as a whole, without making any simplifying assumptions. We evaluated our technique on a prototype deep neural network implementation of the next-generation airborne collision avoidance system for unmanned aircraft (ACAS Xu). Results show that our technique can successfully prove properties of networks that are an order of magnitude larger than the largest networks verified using existing methods.Comment: This is the extended version of a paper with the same title that appeared at CAV 201