240 research outputs found
Persistency semantics of the Intel-x86 architecture
Emerging non-volatile memory (NVM) technologies promise the durability of disks with the performance of RAM. To describe the persistency guarantees of NVM, several memory persistency models have been proposed in the literature. However, the persistency semantics of the ubiquitous x86 architecture remains unexplored to date. To close this gap, we develop the Px86 (‘persistent x86’) model, formalising the persistency semantics of Intel-x86 for the first time. We formulate Px86 both operationally and declaratively, and prove that the two characterisations are equivalent. To demonstrate the application of Px86, we develop two persistent libraries over Px86: a persistent transactional library, and a persistent variant of the Michael–Scott queue. Finally, we encode our declarative Px86 model in Alloy and use it to generate persistency litmus tests automatically
Efficacy-aware Business Process Modeling
In business process design, business objective models can fulfill the role of formal requirement definitions. Matching process models against objective models would, for instance, enable sound comparison of implementation alternatives. For that purpose, objective models should be available independently of their concrete implementation in a business process. This issue is not addressed by common business process management concepts yet. Moreover, process models are currently not sufficiently expressive to determine business process efficacy in the sense of fulfilling a business objective. Therefore, this paper develops and integrates constructs required for efficacy-aware process modeling and apt to extend common modeling approaches. The concept is illustrated with a sample scenario. Overall, it serves as an enabler for progressive applications like automated process optimization
Retroactive causation and the temporal construction of news: contingency and necessity, content and form
This article affords particular attention to the relationship between memory, the narrativization of news and its linear construction, conceived as journalism’s ‘memory- work’. In elaborating upon this ‘work’, it is proposed that the Hegelian notion of retroactive causation (as used by Slavoj Žižek) can examine how analyses of news journalists ‘retroactively’ employ the past in the temporal construction of news. In fact, such retroactive (re)ordering directs attention to the ways in which journalists contingently select ‘a past’ to confer meaning on the present. With regard to current literature, it is noted that a retroactive analysis can highlight two important dialectics within the practice of news journalism: 1) the relation between contingency and necessity; and, 2) the relation between content and form. Indeed, it is argued that this theoretical account offers a novel approach to examining the significance of memory in news journalism as well as the inconsistencies which underscore journalism’s memory-work. It is in accordance with such inconsistency that broader reflections on time, temporality and our relations to the past can be made
Prevalence of non Helicobacter pylori species in patients presenting with dyspepsia
<p>Abstract</p> <p>Background</p> <p>Helicobacter species associated with human infection include <it>Helicobacter pylori, Helicobacter heilmannii </it>and <it>Helicobacter felis </it>among others. In this study we determined the prevalence of <it>H. pylori </it>and non-<it>Helicobacter pylori </it>organisms <it>H. felis and H. heilmannii </it>and analyzed the association between coinfection with these organisms and gastric pathology in patients presenting with dyspepsia. Biopsy specimens were obtained from patients with dyspepsia on esophagogastroduodenoscopy (EGD) for rapid urease test, histology and PCR examination for Helicobacter genus specific 16S rDNA, <it>H. pylori </it>phosphoglucosamine mutase (<it>glmM</it>) and urease B (<it>ureB</it>) gene of <it>H. heilmannii </it>and <it>H. felis</it>. Sequencing of PCR products of <it>H. heilmannii </it>and <it>H. felis </it>was done.</p> <p>Results</p> <p>Two hundred-fifty patients with dyspepsia were enrolled in the study. The mean age was 39 ± 12 years with males 162(65%). Twenty-six percent (66 out of 250) were exposed to cats or dogs. PCR for Helicobacter genus specific 16S rDNA was positive in 167/250 (67%), <it>H. pylori glmM </it>in 142/250 (57%), <it>H. heilmannii </it>in 17/250 (6%) and <it>H. felis </it>in 10/250 (4%), respectively. All the <it>H. heilmannii </it>and <it>H. felis </it>PCR positive patients were also positive for <it>H. pylori </it>PCR amplification. The occurrence of coinfection of <it>H. pylori </it>and <it>H. heilmannii </it>was 17(6%) and with <it>H. felis </it>was 10(4%), respectively. Only one out of 66 exposed to pets were positive for <it>H. heilmannii </it>and two for <it>H. felis</it>. Histopathology was carried out in 160(64%) of 250 cases. Chronic active inflammation was observed in 53(56%) (p = 0.001) of the patients with <it>H. pylori </it>infection alone as compared to 3(37%) (p = 0.73) coinfected with <it>H. heilmannii </it>and <it>H. pylori </it>and 3(60%) coinfected with <it>H. felis </it>and <it>H. pylori </it>(p = 0.66). Intestinal metaplasia was observed in 3(3%)(p = 1.0) of the patients with <it>H. pylori </it>infection alone as compared to 2(25%) (p = 0.02) coinfected with <it>H. heilmannii </it>and <it>H. pylori </it>and 1(20%) coinfected with <it>H. felis </it>and <it>H. pylori </it>(p = 0.15).</p> <p>Conclusion</p> <p>The prevalence of <it>H. heilmannii </it>and <it>H. felis </it>was low in our patients with dyspepsia. Exposure to pets did not increase the risk of <it>H. heilmannii </it>or <it>H. felis </it>infection. The coinfection of <it>H. pylori </it>with <it>H. heilmannii </it>was seen associated with intestinal metaplasia, however this need further confirmation.</p
‘Maintaining balance and harmony’: Javanese perceptions of health and cardiovascular disease
Community intervention programmes to reduce cardiovascular disease (CVD) risk factors within urban communities in developing countries are rare. One possible explanation is the difficulty of designing an intervention that corresponds to the local context and culture
Diagnosing gestational diabetes
The newly proposed criteria for diagnosing gestational diabetes will result in a gestational diabetes prevalence of 17.8%, doubling the numbers of pregnant women currently diagnosed. These new diagnostic criteria are based primarily on the levels of glucose associated with a 1.75-fold increased risk of giving birth to large-for-gestational age infants (LGA) in the Hyperglycemia Adverse Pregnancy Outcome (HAPO) study; they use a single OGTT. Thus, of 23,316 pregnancies, gestational diabetes would be diagnosed in 4,150 women rather than in 2,448 women if a twofold increased risk of LGA were used. It should be recognised that the majority of women with LGA have normal glucose levels during pregnancy by these proposed criteria and that maternal obesity is a stronger predictor of LGA. The expected benefit of a diagnosis of gestational diabetes in these 1,702 additional women would be the prevention of 140 cases of LGA, 21 cases of shoulder dystocia and 16 cases of birth injury. The reproducibility of an OGTT for diagnosing mild hyperglycaemia is poor. Given that (1) glucose is a weak predictor of LGA, (2) treating these extra numbers has a modest outcome benefit and (3) the diagnosis may be based on a single raised OGTT value, further debate should occur before resources are allocated to implementing this change
Cost-effectiveness of external cephalic version for term breech presentation
<p>Abstract</p> <p>Background</p> <p>External cephalic version (ECV) is recommended by the American College of Obstetricians and Gynecologists to convert a breech fetus to vertex position and reduce the need for cesarean delivery. The goal of this study was to determine the incremental cost-effectiveness ratio, from society's perspective, of ECV compared to scheduled cesarean for term breech presentation.</p> <p>Methods</p> <p>A computer-based decision model (TreeAge Pro 2008, Tree Age Software, Inc.) was developed for a hypothetical base case parturient presenting with a term singleton breech fetus with no contraindications for vaginal delivery. The model incorporated actual hospital costs (e.g., 5,581 for vaginal delivery), utilities to quantify health-related quality of life, and probabilities based on analysis of published literature of successful ECV trial, spontaneous reversion, mode of delivery, and need for unanticipated emergency cesarean delivery. The primary endpoint was the incremental cost-effectiveness ratio in dollars per quality-adjusted year of life gained. A threshold of 7,900/QALY. If the estimated probability of successful ECV is less than 32%, then ECV costs more to society and has poorer QALYs for the patient. However, as the probability of successful ECV was between 32% and 63%, ECV cost more than cesarean delivery but with greater associated QALY such that the cost-effectiveness ratio was less than $50,000/QALY. If the probability of successful ECV was greater than 63%, the computer modeling indicated that a trial of ECV is less costly and with better QALYs than a scheduled cesarean. The cost-effectiveness of a trial of ECV is most sensitive to its probability of success, and not to the probabilities of a cesarean after ECV, spontaneous reversion to breech, successful second ECV trial, or adverse outcome from emergency cesarean.</p> <p>Conclusions</p> <p>From society's perspective, ECV trial is cost-effective when compared to a scheduled cesarean for breech presentation provided the probability of successful ECV is > 32%. Improved algorithms are needed to more precisely estimate the likelihood that a patient will have a successful ECV.</p
Pets as Sentinels of Human Exposure to Neurotoxic Metals
The idea that animals may be used as sentinels of environmental hazards
pending over humans and the associated public health implications is not a new one.
Nowadays pets are being used as bioindicators for the effects of environmental contaminants
in human populations. This is of paramount importance due to the large
increase in the worldwide distribution of synthetic chemicals, particularly in the
built environment. Companion animals share the habitat with humans being simultaneously
exposed to and suffering the same disease spectrum as their masters.
Moreover, their shorter latency periods (due to briefer lifespans) enable them to act
as early warning systems, allowing timely public health interventions. The rise on
ethical constraints on the use of animals and, consequently, on the sampling they
can be subjected to has led to the preferential use of noninvasive matrices, and in
this case we are looking into hair. This chapter focuses in three non-essential metals:
mercury, lead, and cadmium, due to their ubiquitous presence in the built environment
and their ability of affecting the mammal nervous system. There is a fairly
short amount of studies reporting the concentrations of these metals in pets’ hair,
particularly for cats. These studies are characterized, and the metal concentrations
corresponding to different parameters (e.g., age, sex, diet, rearing) are described in
order to provide the reader with a general vision on the use of this noninvasive
matrix on the studies conducted since the last two decades of the twentieth
century.publishe
The Interplay Between Post-Critical Beliefs and Anxiety: An Exploratory Study in a Polish Sample
The present research investigates the relationship between anxiety and the religiosity dimensions that Wulff (Psychology of religion: classic and contemporary views, Wiley, New York, 1991; Psychology of religion. Classic and contemporary views, Wiley, New York, 1997; Psychologia religii. Klasyczna i współczesna, Wydawnictwo Szkolne i Pedagogiczne, Warszawa, 1999) described as Exclusion vs. Inclusion of Transcendence and Literal vs. Symbolic. The researchers used the Post-Critical Belief scale (Hutsebaut in J Empir Theol 9(2):48–66, 1996; J Empir Theol 10(1):39–54, 1997) to measure Wulff’s religiosity dimensions and the IPAT scale (Krug et al. 1967) to measure anxiety. Results from an adult sample (N = 83) suggest that three dimensions show significant relations with anxiety. Orthodoxy correlated negatively with suspiciousness (L) and positively with guilt proneness (O) factor—in the whole sample. Among women, Historical Relativism negatively correlated with suspiciousness (L), lack of integration (Q3), general anxiety and covert anxiety. Among men, Historical Relativism positively correlated with tension (Q4) and emotional instability (C), general anxiety, covert anxiety and overt anxiety. External Critique was correlated with suspiciousness (L) by men
- …