Progressive Compression of 3D Mesh Geometry Using Sparse Approximations from Redundant Frame Dictionaries

In this paper, we present a new approach for the progressive compression of three‐dimensional (3D) mesh geometry using redundant frame dictionaries and sparse approximation techniques. We construct the proposed frames from redundant linear combinations of the eigenvectors of a combinatorial mesh Laplacian matrix. We achieve a sparse synthesis of the mesh geometry by selecting atoms from a frame using matching pursuit. Experimental results show that the resulting rate‐distortion performance compares favorably with other progressive mesh compression algorithms in the same category, even when a very simple, sub‐optimal encoding strategy is used for the transmitted data. The proposed frames also have the desirable property of being able to be applied directly to a manifold mesh having arbitrary topology and connectivity types; thus, no initial remeshing is required and the original mesh connectivity is preserved.     

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.     

Efficient orientation impacts of box-type solar cooker on the cooker performance

The addition of a plane reflector to a box-type solar cooker increases the obtained cooker temperature and this depends upon the efficient orientation of the cooker. In order to find out the effect of the cooker orientation on its performance, the present analysis is carried out. A method is outlined to find out a reflector performance factor and an orientation factor that depend upon the elevation angle of the sun, the solar surface azimuth angle and the reflector tilt angle. The analysis is applied to a cooker placed at Aden (Yemen). The results indicate that with proper cooker orientation the improvement in the performance of the cooker due to the reflector reached during winter is more than 100% at lower elevation angles and is more than 60% at higher elevation angles. It is concluded that with the help of the analysis the optimum position for any place, for any day of the year and for any specific time of the day can be found.     

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.