Plasma myeloperoxidase,NT‐proBNP,and troponin‐I in patients on CAPD compared with those on regular hemodialysis

Myeloperoxidase (MPO) is a hemoprotein that is released during inflammation and may lead to irreversible protein and lipid modification, increasing levels of oxidized low density lipoprotein, and promoting athrogenesis. Recently, it has been considered as a risk factor for cardiovascular diseases. Similarly, the measurement of carotid intima‐media thickness gives an indication about the degree of atherosclerosis and prediction of clinical cardiovascular events. Elevated white blood cells counts may indicate a state of acute inflammation and follow its progression. Dialysis patients are at a high risk of developing cardiovascular disease compared with healthy subjects. The role of N‐terminal pro‐brain natriuretic peptide and increased cardiac troponin in identification and prognostication of cardiovascular diseases in end‐stage renal disease patients has been investigated. The current study aimed to evaluate plasma MPO and its possible relationship with carotid intima‐media thickness, troponin I, N‐terminal pro‐brain natriuretic peptide (NT‐proBNP), and insulin resistance as measured by homeostatic model assessment (HOMA index) in a cohort of Saudi patients who are undergoing hemodialysis (HD) vs. continuous ambulatory peritoneal dialysis for end‐stage renal disease. Plasma MPO was significantly higher in patients on continuous ambulatory peritoneal dialysis (CAPD) than in those on HD and in normal subjects (P<0.001). Conversely, NT‐proBNP plasma levels were significantly higher in patients on HD (both predialysis and postdialysis) than in those on CAPD (P<0.01) and than normal subjects. Similarly, plasma troponin‐I levels were significantly higher in patients on HD compared with those of CAPD and than normal subjects (P<0.001). Plasma troponin‐I and NT‐proBNP levels were positively correlated in the 3 groups namely those on CAPD, Pre‐HD, and post‐HD (r: 0.464 and P=0.047; r: 0.330 and P=0.013; and r: 0.452 and P=0.024), respectively. There was no correlation between the MPO level and carotid intima‐media thickness (P>0.05). However, plasma MPO level correlated positively with the white blood cell count in patients on CAPD and in those on HD (P<0.05). Our findings suggest an increased oxidative stress in CAPD patients compared with HD patients, while the reported difference in plasma NT‐proBNP and troponin‐I may be related to the rapid decline of residual renal function in HD and type of membrane used in the HD dialysis procedure itself.     

Acute Oral Toxicity Evaluations of Some Zinc(II) Complexes Derived from 1-(2-Salicylaldiminoethyl)piperazine Schiff Bases in Rats

The current study described the synthesis and the in vivo acute oral toxicity evaluations in Sprague Dawley rats. The compounds were characterized by elemental analyses, LC-MS, FTIR, (1)H NMR, (13)C NMR and UV-visible spectroscopy. In the acute toxicity study, a single administration of the compounds was performed orally to the rats at the single doses of 2000 mg/kg and they were then monitored for possible side effects, mortality or behavioral changes up to 14 days. The serum level of aspartate (AST), alanine aminotransferases (ALT), alkaline phosphate (ALP), triglyceride, high density lipoprotein (HDL), immunoglobulins (GAM) and the C-reactive proteins did not significantly change. The hematological indices white blood cells (WBC), haematocrit (HCT), red blood cells (RBC), mean corpuscular volume (MCV), mean corpuscular haemoglobin concentration (MCHC), and mean corpuscular hemoglobin (MCH) were within the normal range. The renal function indices examined were also within the reference range. Generally, the compounds exhibited low toxic effects as required for further in vivo therapeutic studies.     

Impact of Instant Controlled Pressure Drop Treatment on Moisture Adsorption Isotherm of Cork Granules

Some special thermal and mechanical treatments may completely modify the composition, and the structure of organic material changes its interaction with water. In the case of the instant controlled pressure drop (DIC) technique, the main modification, which is structure expansion and high porosity, allows the product to generally reduce moisture activity. In the special case of cork granules, the impact of DIC in terms of porosity is completely absent and expansion is linked to a tear effect obtained from only the large size granules. In order to characterize this type of treatment, we considered natural and DIC-treated cork granules and determined moisture adsorption isotherms at three different temperatures (25, 40, and 60°C) and different water activity levels ranging from 0.05 to 0.9 using the static gravimetric method. We used three samples of the same cork variety with 0.5–1 mm, 2–4 mm, and 4–6 mm as granule diameter. The adsorption isotherms of both natural untreated and DIC-treated cork whatever granules display a sigmoid form type II isotherm, with equilibrium moisture contents at constant water activity decreasing when temperature increases. The impact of DIC treatment depends of cork shape; the larger the shape, the lower the water activity for the same water content. Such a result is linked to the modification of structure. Thus, for the smallest shape, DIC implying only low thermal effect without any structure modification allows cork to lightly increase its water activity compared to the untreated samples. With higher shape cork granules, as DIC treatment induces a tear effect and some expansion, activity of water is lower for the same water content. For describing the experimental data of adsorption isotherms, we used GAB, BET, and Henderson models. We found the GAB to be the most suitable model with predicted values higher than those obtained using the BET model. We note that monolayer moisture content values increase in the case of big shape cork granules after having been treated by DIC.     

Simulating perfect channels with probabilistic lossy channels

We consider the problem of deciding whether an infinite-state system (expressed as a Markov chain) satisfies a correctness property with probability 1. This problem is, of course, undecidable for general infinite-state systems. We focus our attention on the model of probabilistic lossy channel systems consisting of finite-state processes that communicate over unbounded lossy FIFO channels. Abdulla and Jonsson have shown that safety properties are decidable while progress properties are undecidable for non-probabilistic lossy channel systems. Under assumptions of “sufficiently high” probability of loss, Baier and Engelen have shown how to check whether a property holds of probabilistic lossy channel system with probability 1. In this paper, we consider a model of probabilistic lossy channel systems, where messages can be lost only during send transitions. In contrast to the model of Baier and Engelen, once a message is successfully sent to channel, it can only be removed through a transition which receives the message. We show that checking whether safety properties hold with probability 1 is undecidable for this model. Our proof depends upon simulating a perfect channel, with a high degree of confidence, using lossy channels.     

Efficiency enhancement of a commercial natural gas liquid recovery plant: A MINLP optimization analysis

ABSTRACT

This paper aims at modeling and optimizing a Middle East-based commercial natural gas liquid (NGL) recovery and fractionation plant, using a predictive process simulator. NGL units are known to be highly energy-intensive as steam-based heating and refrigeration-based cryogenic cooling are critical requirements for their operation. Indeed, these units govern the degree of profitability of gas plants especially during low natural gas price scenarios. As a result, this study explores the ways of improving the performance of NGL units through a deterministic optimization analysis. A steady state model of the plant is built using gPROMS process builder followed by validation using plant data to ensure the model accuracy. A mixed integer nonlinear programming optimization problem is formulated with the objective of maximizing the net revenue of the plants by means of manipulating various decision variables such as feed gas temperature, column operating pressure, feed stage location, reflux and boil up ratios subject to specific process constraints. Optimization problem is solved using outer approximation equality relaxation augmented penalty algorithm. It is determined that the process optimization yields an additional revenue of 4.1 MM USD annually due to ~22% increase in Liquefied Petroleum Gas (LPG) production, ~6% increase in Naphtha production, and ~16% reduction in steam consumption in the reboiler of the columns.     

Preparation of void-free casts from vinyl polysiloxane impressions

PURPOSE: To investigate two techniques to produce void-free casts from vinyl polysiloxane impressions. MATERIALS AND METHODS: Thirty casts prepared using a conventional technique were compared with 30 casts prepared using a technique involving syringing of stone in terms of numbers of surface voids. RESULTS: Significantly fewer surface voids were observed in the casts prepared using syringing technique. CONCLUSION: The syringing technique investigated is considered to have advantages over the conventional technique for the production of casts from vinyl polysiloxane impressions.     

Budget-bounded model-checking pushdown systems

We address the verification problem for concurrent programs modeled as multi-pushdown systems (MPDS). In general, MPDS are Turing powerful and hence come along with undecidability of all basic decision problems. Because of this, several subclasses of MPDS have been proposed and studied in the literature (Atig et al. in LNCS, Springer, Berlin, 2005; La Torre et al. in LICS, IEEE, 2007; Lange and Lei in Inf Didact 8, 2009; Qadeer and Rehof in TACAS, LNCS, Springer, Berlin, 2005). In this paper, we propose the class of bounded-budget MPDS, which are restricted in the sense that each stack can perform an unbounded number of context switches only if its depth is below a given bound, and a bounded number of context switches otherwise. We show that the reachability problem for this subclass is Pspace-complete and that LTL-model-checking is Exptime-complete. Furthermore, we propose a code-to-code translation that inputs a concurrent program \(P\) and produces a sequential program \(P'\) such that running \(P\) under the budget-bounded restriction yields the same set of reachable states as running \(P'\) . Moreover, detecting (fair) non-terminating executions in \(P\) can be reduced to LTL-Model-Checking of \(P'\) . By leveraging standard sequential analysis tools, we have implemented a prototype tool and applied it on a set of benchmarks, showing the feasibility of our translation.     

A dual-direction technique for fast file downloads with dynamic load balancing in the Cloud

File downloads make up a large percentage of the Internet traffic to satisfy various clients using distributed environments for their Cloud, Grid and Internet applications. In particular, the Cloud has become a popular data storage provider and users (individuals and corporates) are relying heavily on it to keep their data. Furthermore, most cloud data servers replicate their data storage infrastructures and servers at various sites to meet the overall high demands of their clients and increase availability. However, most of them do not use that replication to enhance the download performance per client. To make use of this redundancy and to enhance the download speed, we introduce a fast and efficient concurrent technique for downloading large files from replicated Cloud data servers and traditional FTP servers as well. The technique, DDFTP utilizes the availability of replicated files on distributed servers to enhance file download times through concurrent downloads of file blocks from opposite directions in the files. DDFTP does not require coordination between the servers and relies on the in-order and reliability features of TCP to provide fast file downloads. In addition, DDFTP offers efficient load balancing among multiple heterogeneous data servers with minimal overhead. As a result, we can maximize network utilization while maintaining efficient load balancing on dynamic environments where resources, current loads and operational properties vary dynamically. We implemented and evaluated DDFTP and experimentally demonstrated considerable performance gains for file downloads compared to other concurrent/parallel file/data download models.     

Tools for software verification

Developing tools that are able to perform automatic verification on realistic models of software systems is one of the main challenges facing the formal methods community. We briefly review the research area and introduce three papers selected from the Seventeenth International Conference on Tools and Algorithms for the Construction and Analysis of Systems (tacas 2011).     

Statistical measures for quantifying task and machine heterogeneities

We study heterogeneous computing (HC) systems that consist of a set of different machines that have varying capabilities. These machines are used to execute a set of heterogeneous tasks that vary in their computational complexity. Finding the optimal mapping of tasks to machines in an HC system has been shown to be, in general, an NP-complete problem. Therefore, heuristics have been used to find near-optimal mappings. The performance of allocation heuristics can be affected significantly by factors such as task and machine heterogeneities. In this paper, we identify different statistical measures used to quantify the heterogeneity of HC systems, and show the correlation between the performance of the heuristics and these measures through simple mapping examples and synthetic data analysis. In addition, we illustrate how regression trees can be used to predict the most appropriate heuristic for an HC system based on its heterogeneity.