Real-Reward Testing for Probabilistic Processes (Extended Abstract)

We introduce a notion of real-valued reward testing for probabilistic processes by extending the traditional nonnegative-reward testing with negative rewards. In this richer testing framework, the may and must preorders turn out to be inverses. We show that for convergent processes with finitely many states and transitions, but not in the presence of divergence, the real-reward must-testing preorder coincides with the nonnegative-reward must-testing preorder. To prove this coincidence we characterise the usual resolution-based testing in terms of the weak transitions of processes, without having to involve policies, adversaries, schedulers, resolutions, or similar structures that are external to the process under investigation. This requires establishing the continuity of our function for calculating testing outcomes.Comment: In Proceedings QAPL 2011, arXiv:1107.074

Testing Reactive Probabilistic Processes

We define a testing equivalence in the spirit of De Nicola and Hennessy for reactive probabilistic processes, i.e. for processes where the internal nondeterminism is due to random behaviour. We characterize the testing equivalence in terms of ready-traces. From the characterization it follows that the equivalence is insensitive to the exact moment in time in which an internal probabilistic choice occurs, which is inherent from the original testing equivalence of De Nicola and Hennessy. We also show decidability of the testing equivalence for finite systems for which the complete model may not be known

Using satellites to monitor Severn Bridge structure, UK

The Severn Bridge is a large UK suspension bridge. In 2010, a series of field surveys was commissioned to monitor the magnitude and frequencies of the bridge’s movements, through attaching nine dual-frequency survey grade global navigation satellite system receivers on the bridge and two reference satellite receivers adjacent to the structure. The satellite antenna locations and configuration allow the movements of the north cable to be analysed at four locations, as well as the differential movements of the two suspension cables to each other. In addition, this configuration allows the movements of the tops of the towers to be compared to the cables’ movements, as well as with each other. All in all, this allowed the relative movements of the various locations on the bridge’s suspension cables and tower tops to be compared to each other, at a rate of up to 20 Hz. Overall, some 3 days of raw code and carrier phase satellite data were gathered. During these sessions, normal traffic loading was experienced. This paper describes the survey, presents a selection of the key results and draws conclusions about the effective use of satellite positioning systems to enhance structural health monitoring.The Highways Agency, Severn River Crossing plc and Mott MacDonal

Is mindfulness Buddhist? (and why it matters).

Modern exponents of mindfulness meditation promote the therapeutic effects of "bare attention"--a sort of non-judgmental, non-discursive attending to the moment-to-moment flow of consciousness. This approach to Buddhist meditation can be traced to Burmese Buddhist reform movements of the first half of the 20th century, and is arguably at odds with more traditional Theravāda Buddhist doctrine and meditative practices. But the cultivation of present-centered awareness is not without precedent in Buddhist history; similar innovations arose in medieval Chinese Zen (Chan) and Tibetan Dzogchen. These movements have several things in common. In each case the reforms were, in part, attempts to render Buddhist practice and insight accessible to laypersons unfamiliar with Buddhist philosophy and/or unwilling to adopt a renunciatory lifestyle. In addition, these movements all promised astonishingly quick results. And finally, the innovations in practice were met with suspicion and criticism from traditional Buddhist quarters. Those interested in the therapeutic effects of mindfulness and bare attention are often not aware of the existence, much less the content, of the controversies surrounding these practices in Asian Buddhist history

Development and Validation of the Behavioral Tendencies Questionnaire

At a fundamental level, taxonomy of behavior and behavioral tendencies can be described in terms of approach, avoid, or equivocate (i.e., neither approach nor avoid). While there are numerous theories of personality, temperament, and character, few seem to take advantage of parsimonious taxonomy. The present study sought to implement this taxonomy by creating a questionnaire based on a categorization of behavioral temperaments/tendencies first identified in Buddhist accounts over fifteen hundred years ago. Items were developed using historical and contemporary texts of the behavioral temperaments, described as “Greedy/Faithful”, “Aversive/Discerning”, and “Deluded/Speculative”. To both maintain this categorical typology and benefit from the advantageous properties of forced-choice response format (e.g., reduction of response biases), binary pairwise preferences for items were modeled using Latent Class Analysis (LCA). One sample (n1 = 394) was used to estimate the item parameters, and the second sample (n2 = 504) was used to classify the participants using the established parameters and cross-validate the classification against multiple other measures. The cross-validated measure exhibited good nomothetic span (construct-consistent relationships with related measures) that seemed to corroborate the ideas present in the original Buddhist source documents. The final 13-block questionnaire created from the best performing items (the Behavioral Tendencies Questionnaire or BTQ) is a psychometrically valid questionnaire that is historically consistent, based in behavioral tendencies, and promises practical and clinical utility particularly in settings that teach and study meditation practices such as Mindfulness Based Stress Reduction (MBSR)

Probabilistic Model-Based Safety Analysis

Model-based safety analysis approaches aim at finding critical failure combinations by analysis of models of the whole system (i.e. software, hardware, failure modes and environment). The advantage of these methods compared to traditional approaches is that the analysis of the whole system gives more precise results. Only few model-based approaches have been applied to answer quantitative questions in safety analysis, often limited to analysis of specific failure propagation models, limited types of failure modes or without system dynamics and behavior, as direct quantitative analysis is uses large amounts of computing resources. New achievements in the domain of (probabilistic) model-checking now allow for overcoming this problem. This paper shows how functional models based on synchronous parallel semantics, which can be used for system design, implementation and qualitative safety analysis, can be directly re-used for (model-based) quantitative safety analysis. Accurate modeling of different types of probabilistic failure occurrence is shown as well as accurate interpretation of the results of the analysis. This allows for reliable and expressive assessment of the safety of a system in early design stages

‘Paying Attention’ in a Digital Economy: Reflections on the Role of Analysis and Judgement Within Contemporary Discourses of Mindfulness and Comparisons with Classical Buddhist Accounts of Sati

This chapter examines the question of the role of intellectual analysis and ethical judgement in ancient Indian Buddhist accounts of sati and contemporary discourses about ‘mindfulness’. Attention is paid to the role of paññ? (Sanskrit: prajñ?: ‘wisdom’ or ‘analytical insight’) and ethical reflection in the cultivation of sati in mainstream Abhidharma and early Mah?y?na philosophical discussions in India, noting the existence of a subordinate strand of Buddhist thought which focuses upon the non-conceptuality of final awakening (bodhi) and the quiescence of mind. Modern discourses of mindfulness are examined in relation to detraditionalization, the global spread of capitalism and widespread adoption of new information technologies. It is argued that analysis of the exponential growth in popularity of ‘mindfulness’ techniques must be linked to an exploration of the modern history of attention, more specifically, the possibility that the use of fast-paced, digital, multimedia technologies is facilitating a demand for fragmented or dispersed attention. It is argued that the fault line between divergent contemporary accounts of mindfulness can be seen most clearly over the issue of the role of ethical judgements and mental ratiocination within mindfulness practice. The two most extreme versions on this spectrum see mindfulness on the one hand as a secular mental technology for calming the mind and reducing stress and discomfort, and on the other as a deeply ethical and experiential realization of the geopolitics of human experience. These, it is suggested, constitute an emerging discursive split in accounts of mindfulness reflective of divergent responses to the social, economic, political and technological changes occurring in relation to the global spread of neoliberal forms of capitalism

Side effects of analgesia may significantly reduce quality of life in symptomatic multiple myeloma: a cross-sectional prevalence study

Background Pain is a common symptom in patients with multiple myeloma (MM). Many patients are dependent on analgesics and in particular opioids, but there is limited information on the impact of these drugs and their side effects on health-related quality of life (HRQoL). Method In a cross-sectional study, semi-structured interviews were performed in 21 patients attending the hospital with symptomatic MM on pain medications. HRQoL was measured using items 29 and 30 of the European Organisation for Research and Treatment of Cancer (EORTC) QLQ-C30. Results Patients were able to recall a median of two (range 0–4) analgesics. They spontaneously identified a median of two (range 1–5) side effects attributable to their analgesic medications. Patients’ assessment of HRQoL based on the EORTC QLQ-C30 questions 29/30 was mean 48.3 (95 % CI; 38.7–57.9) out of 100. Patients’ assessment of their HRQoL in the hypothetical situation, in which they would not experience any side effects from analgesics, was significantly higher: 62.6 (53.5–71.7) (t test, p=0.001). Conclusion This study provides, for the first time, evidence that side effects of analgesics are common in symptomatic MM and may result in a statistically and clinically significant reduction of self-reported HRQoL

Taking reincarnation seriously: Critical discussion of some central ideas from John Hick

Reincarnation has not been entirely neglected in the philosophy of religion but it has not always been taken seriously or carefully discussed in relation to its role in believers’ lives. John Hick is exceptional insofar as he gave sustained attention to the belief, at least as it features in the philosophies of Vedānta and Buddhism. While acknowledging the value of Hick’s recognition of the variety of reincarnation beliefs, this article critically engages with certain aspects of his approach. It argues that Hick’s search for a ‘criterion’ of reincarnation is misguided, and that his distinction between ‘factual’ and ‘mythic’ forms of the doctrine is over-simplifying