Predicting global usages of resources endowed with local policies

The effective usages of computational resources are a primary concern of up-to-date distributed applications. In this paper, we present a methodology to reason about resource usages (acquisition, release, revision, ...), and therefore the proposed approach enables to predict bad usages of resources. Keeping in mind the interplay between local and global information occurring in the application-resource interactions, we model resources as entities with local policies and global properties governing the overall interactions. Formally, our model takes the shape of an extension of pi-calculus with primitives to manage resources. We develop a Control Flow Analysis computing a static approximation of process behaviour and therefore of the resource usages.Comment: In Proceedings FOCLASA 2011, arXiv:1107.584

The physiological cost index of walking with a powered knee ankle foot orthosis in subjects with poliomyelitis : A pilot study

Background: A powered knee ankle foot orthosis (KAFO) was developed to provide restriction of knee flexion during stance phase and active flexion and extension of the knee during swing phase of gait. Objectives: The purpose of this study was to determine its effect on the physiological cost index (PCI), walking speed and the distance walked in people with poliomyelitis compared to when walking with a KAFO with drop lock knee joints. Methods: Seven subjects with poliomyelitis volunteered for the study, and undertook gait analysis with both types of KAFO. Results: Walking with the powered KAFO significantly reduced walking speed (p=0.015) and the distance walked (p=0.004), and also it did not improve PCI values (p =0.009) compared to walking with the locked KAFO. Conclusion: Using a powered KAFO did not significantly improve any of the primary outcome measures during walking for poliomyelitis subjects

Parameterized Verification of Safety Properties in Ad Hoc Network Protocols

We summarize the main results proved in recent work on the parameterized verification of safety properties for ad hoc network protocols. We consider a model in which the communication topology of a network is represented as a graph. Nodes represent states of individual processes. Adjacent nodes represent single-hop neighbors. Processes are finite state automata that communicate via selective broadcast messages. Reception of a broadcast is restricted to single-hop neighbors. For this model we consider a decision problem that can be expressed as the verification of the existence of an initial topology in which the execution of the protocol can lead to a configuration with at least one node in a certain state. The decision problem is parametric both on the size and on the form of the communication topology of the initial configurations. We draw a complete picture of the decidability and complexity boundaries of this problem according to various assumptions on the possible topologies.Comment: In Proceedings PACO 2011, arXiv:1108.145

Evaluation of gait symmetry in poliomyelitis subjects : Comparison of a conventional knee ankle foot orthosis (KAFO) and a new powered KAFO.

Background: Compared to able-bodied subjects, subjects with post polio syndrome and poliomyelitis demonstrate a preference for weight-bearing on the non-paretic limb, causing gait asymmetry. Objectives: The purpose of this study was to evaluate the gait symmetry of the poliomyelitis subjects when ambulating with either a drop- locked knee ankle foot orthosis (KAFO) or a newly developed powered KAFO. Methods: Seven subjects with poliomyelitis who routinely wore conventional KAFOs participated in this study, and received training to enable them to ambulate with the powered KAFO on level ground, prior to gait analysis. Results: There were no significant differences in the gait symmetry index (SI) of step length (P=0.085), stance time (P=0.082), double limb support time (P=0.929) or speed of walking (p=0.325) between the two test conditions. However, using the new powered KAFO improved the SI in step width (P=0.037), swing time (P=0.014), stance phase percentage (P=0.008) and knee flexion during swing phase (p≤0.001) compared to wearing the dropped locked KAFO. Conclusion: The use of a powered KAFO for ambulation by poliomyelitis subjects affects gait symmetry in the base of support, swing time, stance phase percentage and knee flexion during swing phase

Estimating the incidence of lung cancer attributable to occupational exposure in Iran

<p>Abstract</p> <p>Objective</p> <p>The aim of this study was to estimate the fraction of lung cancer incidence in Iran attributed to occupational exposures to the well-established lung cancer carcinogens, including silica, cadmium, nickel, arsenic, chromium, diesel fumes, beryllium, and asbestos.</p> <p>Methods</p> <p>Nationwide exposure to each of the mentioned carcinogens was estimated using workforce data from the Iranian population census of 1995, available from the International Labor Organization (ILO) website. The prevalence of exposure to carcinogens in each industry was estimated using exposure data from the CAREX (CARcinogen EXposure) database, an international occupational carcinogen information system kept and maintained by the European Union. The magnitude of the relative risk of lung cancer for each carcinogen was estimated from local and international literature. Using the Levin modified population attributable risk (incidence) fraction, lung cancer incidence (as estimated by the Tehran Population-Based Cancer Registry) attributable to workplace exposure to carcinogens was estimated.</p> <p>Results</p> <p>The total workforce in Iran according to the 1995 census identified 12,488,020 men and 677,469 women. Agriculture is the largest sector with 25% of the male and 0.27% of female workforce. After applying the CAREX exposure estimate to each sector, the proportion exposed to lung carcinogens was 0.08% for male workers and 0.02% for female workers. Estimating a relative risk of 1.9 (95% CI of 1.7–2.1) for high exposure and 1.3 (95% CI 1.2–1.4) for low exposure, and employing the Levin modified formula, the fraction of lung cancer attributed to carcinogens in the workplace was 1.5% (95% CI of 1.2–1.9) for females and 12% (95% CI of 10–15) for males. These fractions correspond to an estimated incidence of 1.3 and 0.08 cases of lung cancer per 100,000 population for males and females, respectively.</p> <p>Conclusion</p> <p>The incidence of lung cancer due to occupational exposure is low in Iran and, as in other countries, more lung cancer is due to occupational exposure among males than females.</p

Soluble Fas might serve as a diagnostic tool for gastric adenocarcinoma

<p>Abstract</p> <p>Background</p> <p>Fas (Apo-1/CD95) and its specific ligand (FasL) are key elements in apoptosis. They have been studied in different malignancies but there are few published studies about the soluble forms of these markers (i.e. sFas/sFasL) in gastric cancer. We have compared the serum levels of sFas/sFasL in gastric adenocarcinoma patients and cases with pre-neoplastic lesions as potential markers for early diagnosis, and investigated their relation with clinicopathological characteristics.</p> <p>Methods</p> <p>Fifty-nine newly-diagnosed cases of gastric adenocarcinoma who had undergone gastrectomy, along with 62 endoscopically- and histologically-confirmed non-cancer individuals were enrolled in this study. sFas/sFasL serum levels were detected by Enzyme Linked Immunosurbent Assay.</p> <p>Results</p> <p>Mean serum sFas level was significantly higher in gastric cancer patients than in control group (305.97 ± 63.71 (pg/ml) vs. 92.98 ± 4.95 (pg/ml), P < 0.001); while the mean serum level of sFasL was lower in patients with gastric adenocarcinoma (0.138 ± 0.04 (pg/ml) vs. 0.150 ± 0.02 (pg/ml), P < 0.001). Mean serum levels of sFas/sFasL were significantly different in both intestinal/diffuse and cardiac/non-cardiac subtypes when compared to the control group (P < 0.001). There was an increase in the serum level of sFas from the first steps of pre-neoplastic lesions to gastric adenocarcinoma (P < 0.001). Patients who had no lymph node involvement (<it>N₀</it>) showed significantly higher serum levels of sFas compared to others (P = 0.044).</p> <p>Conclusions</p> <p>Production of sFas may play a critical role in the carcinogenesis of intestinal-type gastric cancer. sFas serum level may serve as a non-invasive tool for early diagnosis of gastric cancer.</p

p16INK4a hypermethylation and p53, p16 and MDM2 protein expression in Esophageal Squamous Cell Carcinoma

<p>Abstract</p> <p>Background</p> <p>Tumor suppressor genes <it>p53 </it>and <it>p16</it>^INK4aand the proto-oncogene <it>MDM2 </it>are considered to be essential G1 cell cycle regulatory genes whose loss of function is associated with ESCC carcinogenesis. We assessed the aberrant methylation of the <it>p16 </it>gene and its impact on <it>p16</it>^{<it>INK4a </it>}protein expression and correlations with <it>p53 </it>and <it>MDM2 </it>protein expressions in patients with ESCC in the Golestan province of northeastern Iran in which ESCC has the highest incidence of cancer, well above the world average.</p> <p>Methods</p> <p>Cancerous tissues and the adjacent normal tissue obtained from 50 ESCC patients were assessed with Methylation-Specific-PCR to examine the methylation status of <it>p16</it>. The expression of <it>p16</it>, <it>p53 </it>and <it>MDM2 </it>proteins was detected by immunohistochemical staining.</p> <p>Results</p> <p>Abnormal expression of <it>p16 </it>and <it>p53</it>, but not <it>MDM2</it>, was significantly higher in the tumoral tissue. <it>p53 </it>was concomitantly accumulated in ESCC tumor along with <it>MDM2 </it>overexpression and <it>p16 </it>negative expression. Aberrant methylation of the <it>p16</it>^{<it>INK4a </it>}gene was detected in 31/50 (62%) of esophageal tumor samples, while two of the adjacent normal mucosa were methylated (P < 0.001). <it>p16</it>^{<it>INK4a </it>}aberrant methylation was significantly associated with decreased <it>p16 </it>protein expression (P = 0.033), as well as the overexpression of <it>p53 </it>(P = 0.020).</p> <p>Conclusions</p> <p><it>p16 </it>hypermethylation is the principal mechanism of <it>p16 </it>protein underexpression and plays an important role in ESCC development. It is associated with p53 protein overexpression and may influence the accumulation of abnormally expressed proteins in <it>p53-MDM2 </it>and <it>p16-Rb </it>pathways, suggesting a possible cross-talk of the involved pathways in ESCC development.</p

Mapping 123 million neonatal, infant and child deaths between 2000 and 2017

Since 2000, many countries have achieved considerable success in improving child survival, but localized progress remains unclear. To inform efforts towards United Nations Sustainable Development Goal 3.2—to end preventable child deaths by 2030—we need consistently estimated data at the subnational level regarding child mortality rates and trends. Here we quantified, for the period 2000–2017, the subnational variation in mortality rates and number of deaths of neonates, infants and children under 5 years of age within 99 low- and middle-income countries using a geostatistical survival model. We estimated that 32% of children under 5 in these countries lived in districts that had attained rates of 25 or fewer child deaths per 1,000 live births by 2017, and that 58% of child deaths between 2000 and 2017 in these countries could have been averted in the absence of geographical inequality. This study enables the identification of high-mortality clusters, patterns of progress and geographical inequalities to inform appropriate investments and implementations that will help to improve the health of all populations