Persistency Semantics of the {I}ntel-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

Florida Tech Robotic Mining Team

Florida Tech Robotic Mining team is a multidisciplinary group that aims to design and build a multirobot system to compete in the 2015 NASA Robotics Mining Competition

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

High prevalence of dna from non-H. pylori helicobacters in the gastric mucosa of venezuelan pet dogs and its histological alterations

Non-H. pylori helicobacters (NHPH) have been demonstrated as gastric spiral-shaped bacteria in specimens obtained from dogs; however, their roles in the pathogenesis of upper gastrointestinal disease have not yet been clearly established. The purpose of this study was to evaluate the prevalence of NHPH DNA in the gastric mucosa of dogs and its association with histopathology. Helicobacter was detected through histopathological techniques, PCR, and FISH analysis from fundic biopsies of twenty dogs with or without signs of gastrointestinal disease. PCR and FISH were based on partial 16S rRNA gene sequences. Nineteen dogs showed mild to marked gastritis in the fundus, and only one dog had a healthy gastric mucosa. NHPH DNA was detected in 18 dogs with gastritis and one with normal gastric mucosa. However, there was no significant correlation between the presence of NHPH DNA and the degree of gastritis. These results show a high prevalence of NHPH DNA in the gastric mucosa of dogs from Venezuela. Further studies are necessary to determine a possible association between a specific NHPH species and the degree of gastritis