23,050 research outputs found
'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
H and He nuclei. We also performed {\textit ab initio} NCGSM
calculations for the unstable nucleus He and determined the ground state
energy and decay width, starting from a realistic NLO 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
- âŠ