Detecting stable locality-aware predicates

In a large-scale locality-driven network such as in modular robotics and wireless sensor networks, knowing the state of a local area is sometimes necessary due to either interactions being local and driven by neighborhood proximity or the users being interested in the state of a certain region. We define locality-aware predicates (LAP) that aim at detecting a predicate within a specified area. We model the area of interest as the set of processes that are within a breadth-first search tree (BFST) of height k$k$ rooted at the initiator process. Although a locality-aware predicate specifies a predicate only within a local area, observing the area consistently requires considering the entire system in a consistent manner. This raises the challenge of making the complexities of the corresponding predicate detection algorithms scale-free, i.e., independent of the size of the system. Since all existing algorithms for getting a consistent view of the system require either a global snapshot of the entire system or vector clocks of the size of the system, a new solution is needed. We focus on stable LAP, which are those LAP that remain true once they become true. We propose a scale-free algorithm to detect stable LAP within a k$k$-height BFST. Our algorithm can detect both stable conjunctive LAP and stable relational LAP. In the process of designing our algorithm, we also propose the first distributed algorithm for building a BFST within an area of interest in a graph, and the first distributed algorithm for recording a consistent sub-cut within the area of interest. This paper demonstrates that LAPs are a natural fit for detecting distributed properties in large-scale distributed systems, and stable LAPs can be practically detected at low cost.     

Biomathematical study of time-dependent flow of a Carreau nanofluid through inclined catheterized arteries with overlapping stenosis

Journal of Central South University - This work is concerned with the analysis of blood flow through inclined catheterized arteries having a balloon (angioplasty) with time-variant overlapping...     

Power Control for Cognitive Radio Networks: A Game Theoretic Approach

In communication industry one of the most rapidly growing area is wireless technology and its applications. The efficient access to radio spectrum is a requirement to make this communication feasible for the users that are running multimedia applications and establishing real-time connections on an already overcrowded spectrum. In recent times cognitive radios (CR) are becoming the prime candidates for improved utilization of available spectrum. The unlicensed secondary users share the spectrum with primary licensed user in such manners that the interference at the primary user does not increase from a predefined threshold. In this paper, we propose an algorithm to address the power control problem for CR networks. The proposed solution models the wireless system with a non-cooperative game, in which each player maximize its utility in a competitive environment. The simulation results shows that the proposed algorithm improves the performance of the network in terms of high SINR and low power consumption.

     

A domain decomposition strategy for alignment of multiple biological sequences on multiprocessor platforms

Multiple Sequences Alignment (MSA) of biological sequences is a fundamental problem in computational biology due to its critical significance in wide ranging applications including haplotype reconstruction, sequence homology, phylogenetic analysis, and prediction of evolutionary origins. The MSA problem is considered NP-hard and known heuristics for the problem do not scale well with increasing numbers of sequences. On the other hand, with the advent of a new breed of fast sequencing techniques it is now possible to generate thousands of sequences very quickly. For rapid sequence analysis, it is therefore desirable to develop fast MSA algorithms that scale well with an increase in the dataset size. In this paper, we present a novel domain decomposition based technique to solve the MSA problem on multiprocessing platforms. The domain decomposition based technique, in addition to yielding better quality, gives enormous advantages in terms of execution time and memory requirements. The proposed strategy allows one to decrease the time complexity of any known heuristic of O(N)^x$O{\left(N\right)}^x$ complexity by a factor of O(1/p)^x$O{(1/p)}^x$, where N$N$ is the number of sequences, x$x$ depends on the underlying heuristic approach, and p$p$ is the number of processing nodes. In particular, we propose a highly scalable algorithm, Sample-Align-D, for aligning biological sequences using Muscle system as the underlying heuristic. The proposed algorithm has been implemented on a cluster of workstations using the MPI library. Experimental results for different problem sizes are analyzed in terms of quality of alignment, execution time and speed-up.     

Morphological, structural, and functional properties of maranta (Maranta arundinacea L) starch

Starch isolated from maranta (Maranta arundinacea) tuber and studied for its various physicochemical characteristics. The amylose content of the starch was 24.8%. SEM showed that the granules were small indented and spherical. Maranta starch granule size has a range of 2.92–6.42 μm, (mean of 4.84 μm), length/degree of 1.20, and roundness of 0.73. Maranta starch has a gelatinization temperature of 74.8°C, peak viscosity of 498 BU, and cold paste viscosity of 669 BU. It also possessed higher freeze-thaw stability. Dynamic rheological properties of maranta starch, measured using parallel plate geometry showed increased storage modulus (G’) values, while loss modulus (G″) values were decreased with increasing frequency values (0–100 Hz). The low gelatinization temperature and high freeze thaw stability of starch indicates its potential for application as a thickener in food industries.     

Deformation and water loss from solvent filled microcapsules under compressive loads

Microcapsules filled with liquid solvents for CO₂ absorption can be easily deformed due to their elastic polymer shells. We present a combination of experiments and model predictions to demonstrate that modest compressive forces can lead to significant capsule deformation and performance issues for this enabling technology. Contrary to expectations based on Raoult's law, capsules containing aqueous carbonate solution were found to lose water to flows of humidified nitrogen in centimeter-scale packed beds. Water loss increased with gas velocity, suggesting compression was responsible for mass transfer, an interpretation supported by microscope images of deformed and broken capsules. A model for compression induced mass transfer under packed/fluidized bed operating conditions was developed and validated with the experimental data for a range of conditions (gas velocities, temperatures, humidities). Design criteria for future generations of microcapsules that will more effectively resist compression are evaluated.     

TSAT is a better predictor than ferritin of hemoglobin response to Epoetin alfa in US dialysis patients

Clinical guidelines recommend concurrent treatment of anemia in end‐stage renal disease with erythropoiesis‐stimulating agents (ESAs) and iron. However, there are mixed data about optimal iron supplementation. To help address this gap, the relationship between iron markers and hemoglobin (Hb) response to ESA (Epoetin alfa) dose was examined. Electronic medical records of 1902 US chronic hemodialysis patients were analyzed over a 12‐month period between June 2009 and June 2010. The analysis included patients who had at least one Hb value during each 4‐week interval for four consecutive intervals (k ? 2, k ? 1, k, and k + 1; k is the index interval), received at least one ESA dose during intervals k ? 1 or k, had at least one transferrin saturation (TSAT) value at interval k, and at least one ferritin value during intervals k ? 2, k ? 1, or k. Effect modification by TSAT and ferritin on Hb response was evaluated using the generalized estimating equations approach. Patients had a mean (standard deviation) age of 62 (15) years; 41% were Caucasian, 34% African American, 65% had hypertension, and 39% diabetes. Transferrin saturation, but not ferritin, had a statistically significant (P < 0.05) modifying effect on Hb response. Maximum Hb response was achieved when TSAT was 34%, with minimal incremental effect beyond these levels. Of the two standard clinical iron markers, TSAT should be used as the primary marker of the modifying effect of iron on Hb response to ESA. Long‐term safety of iron use to improve Hb response to ESA warrants further study.     

Evaluation of the FEH Rainfall-Runoff Method for Catchments in the UK

The Flood Estimation Handbook, which was published in 1999, has substantially replaced the Flood Studies Report for design flood estimation in the UK. Although there are substantial differences between the handbook and the report, the philosophy of the rainfall-runoff method has been retained in the handbook. However, there are differences in the equations that have been used to estimate parameters of the rainfall-runoff method.
This paper provides a comprehensive evaluation of the performance of the Flood Estimation Handbook rainfall-runoff method for flood-frequency estimation, using data from eighty-eight catchments in the UK. The performance is evaluated by reference to the flood quantiles obtained from single-site frequency analysis, and comparison is made with the performance of the Flood Studies Report methodology. In general terms, the handbook over-estimates flood quantiles, with respect to (a) those estimated from observed records and (b) the report's quantiles. The paper explores the causes of these over-estimations and seeks linkages with particular catchment characteristics.     

On Plastic Deformation Behavior of Cryorolled AA8090 Alloy

AA8090 alloy was rolled up to 50 and 75 % reductions at both liquid nitrogen (LNR) and room temperatures (RTR). Both hardness and tensile behavior were evaluated on rolled samples. Optical microscope, TEM and EBSD were used for detailed microstructural examination of rolled samples. Williamson-Hall peak broadening analysis on X-ray diffraction data was made to evaluate crystallite size, lattice strain and dislocation density. An enhanced tensile strength was evidenced in LNR samples when compared to RTR samples without sacrificing ductility, which was ascribed to the higher density of dislocations in LNR samples than RTR samples. A large number of dislocation tangled regions along with ultrafine grain structure were evidenced through TEM and EBSD. Significant fraction of special boundaries in combination with increased fraction of texture components like S, Brass, Cu and Goss would be another reason for enhanced properties in LNR conditions than that of RTR. These components were observed to be strengthened with increased rolling reduction. Work hardening behavior clearly evidenced the variation in amount of work hardening and recovery phenomenon. It showed large variation in recovery in the case of 50 % reduction than that of 75 % reduction, which was attributed to significantly higher density of dislocations in 75 % rolled samples in RTR and LNR.     

A bigraphical model for specifying cloud-based elastic systems and their behaviour

The few recent years have witnessed the appearance of a new kind of self-adaptive systems called cloud based-elastic systems. These systems are particularly appealing for their ability to maintain a decent quality of service and reduce a system’s operating cost at the same time. They achieve this by dynamically adjusting resources allocation in terms of elasticity. Meanwhile, complexity of structural and behavioural aspects related to cloud-based elastic systems increase the difficulty of designing and developing such systems. In this paper, we address this challenge by proposing a formal approach based on bigraphical reactive systems for modelling both structural and behavioural aspects of cloud-based elastic systems. In particular, we represent their behaviour in terms of client/application interactions and elasticity methods at different levels using bigraphical reaction rules. The feasibility of the proposed approach is illustrated through a motivating example running on the top of an Amazon Elastic Compute Cloud (EC2) infrastructure.