BACKGROUND Zoonotic cutaneous leishmaniasis (ZCL) is an expanding disease and public health problem in Iran. In the current study, natural Leishmania infection rate and seasonal fluctuation of the infection in Rhombomys opimus population of a hyperendemic focus of ZCL in Iran was investigated. METHODS The study was conducted from October 2006 to October 2008 in Esfahan Province, central part ...

Secure Nested Transactions are an adaptation of traditional nested transactions to support the synergy of language-based security and multi-level database security. They have application in security for enterprise applications, where transactional semantics are a critical feature in middleware systems. This article considers correctness in terms of transactional properties for secure nested tra...

DIAPLAN is a language for programming with graphs representing diagrams that is currently being developed. The computational model of the languages, nested graph transformation, supports nested structuring of graphs, and graph variables, but is—hopefully—still intuitive. This paper is about structural typing of nested graphs and nested graph transformation systems by shape rules. We extend the ...

leishmania infantum is the most frequent cause of visceral leishmaniasis and l. tropica has been rarely linked to the disease in iran. in this study, bone marrow aspirates were collected from 10 child patients, suspected with visceral leishmaniasis referred to the pediatric wards of kerman medical hospitals, kerman, iran during 2002–2011. leishmania species were identified by using nested pcr i...

In an effort to address the limitations on high power accelerator target performance prompted by the elevated dose levels and the associated irradiation damage, an experimental study has been undertaken to evaluate the potential applicability of super alloys characterized by low thermal expansion over certain thermal regimes. The intriguing properties associated with materials such as super-Inv...

J.B. Murphy, I. Ben-Zvi, N. Towne, J.M. Wang, X.J. Wang, J.H. Wu, V. Yakimenko NSLS, BNL, Upton, NY 11973 Abstract The Photoinjected Energy Recovery Linac (PERL) design study at the NSLS is considering the feasibility of a new synchrotron light source based on a 3-7 GeV energy recovering superconducting linac initiated by a photoinjected RF gun [1]. To be a competitive light source the photoinj...

Compensation is the process b y which a committed transaction in a database is undone b y running the semantic inverse o f that transaction on the database. Compensation has been proposed as a technique for undoing committed work in various situations where strict atomicity cannot be maintained [GS87, MR91]. In this paper, we discuss compensation i n longrunning multidatabase transactions. W e ...

Nested transactions[6, 5] provide fine grain atomicity, efficient recovery control, and structural modularity. In distributed environments, they provide a natural and semantically clean way of modelin g computations . However, the characteristics of nested transactions are sufficiently different from those o f traditional single-level transactions that concurrency control for nested transaction...

We see how nested sequents, a natural generalisation of hypersequents, allow us to develop a systematic proof theory for modal logics. As opposed to other prominent formalisms, such as the display calculus and labelled sequents, nested sequents stay inside the modal language and allow for proof systems which enjoy the subformula property in the literal sense. In the first part we study a system...

results in a total of 40 sporadic prostate cancer and 80 benign prostatic hyperplasia cases, no xmrv was detected by real-time pcr and nested-pcr. rnase l r462q polymorphism analysis reveals that although there was an increase in the risk of prostate cancer correlated with the q/q allele of rnase l at position 462, the frequencies of the rnase l r462q alleles were not statistically significant ...