Scalable flow-sensitive pointer analysis for fava with strong updates

The ability to perform strong updates is the main contributor to the precision of flow-sensitive pointer analysis algorithms. Traditional flow-sensitive pointer analyses cannot strongly update pointers residing in the heap. This is a severe restriction for Java programs. In this paper, we propose a new flow-sensitive pointer analysis algorithm for Java that can perform strong updates on heap-based pointers effectively. Instead of points-to graphs, we represent our points-to information as maps from access paths to sets of abstract objects. We have implemented our analysis and run it on several large Java benchmarks. The results show considerable improvement in precision over the points-to graph based flow-insensitive and flow-sensitive analyses, with reasonable running time.

Gold nanoparticles anchored reduced graphene oxide as catalyst for oxygen electrode of rechargeable Li-O-2 cells

Gold nanoparticles decorated reduced graphene oxide (Au-RGO) catalyst for O-2 electrode is prepared by in situ reduction of Au3+ ions and graphene oxide dispersed in water. The Au nanoparticles are uniformly distributed on the two-dimensional RGO layers. Li-O-2 cells assembled in a non-aqueous electrolyte using Au-RGO catalyst exhibit an initial discharge capacity as high as 5.89 mA h cm-(2) (5230 mA h g(-1))at a current density of 0.1 mA cm(-2). The voltage gap between the charge and discharge curves is less for Li-O-2(Au-RGO) cell in comparison with Li-O-2(RGO) cell. The Li-O-2(Au-RGO) cells are cycled over about 120 charge-discharge cycles. The results suggest that Au-RGO is a promising catalyst for rechargeable Li-O-2 cells.

Polymer template-assisted microemulsion synthesis of large surface area, porous Li2MnO3 and its characterization as a positive electrode material of Li-ion cells

Lithium-rich manganese oxide (Li2MnO3) is prepared by reverse microemulsion method employing Pluronic acid (P123) as a soft template and studied as a positive electrode material. The as-prepared sample possesses good crystalline structure with a broadly distributed mesoporosity but low surface area. As expected, cyclic voltammetry and charge-discharge data indicate poor electrochemical activity. However, the sample gains surface area with narrowly distributed mesoporosity and also electrochemical activity after treating in 4 M H2SO4. A discharge capacity of about 160 mAh g(-1) is obtained. When the acid-treated sample is heated at 300 A degrees C, the resulting porous sample with a large surface area and dual porosity provides a discharge capacity of 240 mAh g(-1). The rate capability study suggests that the sample provides about 150 mAh g(-1) at a specific discharge current of 1.25 A g(-1). Although the cycling stability is poor, the high rate capability is attributed to porous nature of the material.

Synthesis, characterisation and application of an exfoliated graphite-diamond composite electrode in the electrochemical degradation of trichloroethylene

A composite electrode made up of exfoliated graphite (EG) and diamond was prepared for the electrochemical oxidation of trichloroethylene (TCE). The SEM images of the EG-diamond material showed that diamond powders were dispersed on the surface of EG materials. The N-2 adsorption-desorption isotherm of EG-diamond material resulted in a poor adsorption capability due to the insertion of diamond powders into the porous matrix of EG. Raman spectroscopy revealed the presence of characteristic sp(3) bands of diamond confirming good interaction of diamond with EG. Electrochemical characterisation of EG-diamond in 0.1 M Na2SO4 resulted in an enhanced working potential window. The EG-diamond electrode was employed for the electrochemical oxidation of trichloroethylene (0.2 mM) in a Na2SO4 supporting electrolyte. The EG-diamond, in comparison to the pristine EG electrode, exhibited a higher removal efficiency of 94% (EG was 57%) and faster degradation kinetics of 25.3 x 10(-3) min(-1) showing pseudo first order kinetic behaviour. Under the optimised conditions, 73% total organic content (TOC) removal was achieved after 4 h of electrolysis. The degradation of TCE was also monitored with gas chromatography-mass spectrometry. Dichloroacetic acid (DCAA) was identified as a major intermediate product during the electrochemical oxidation of TCE. The electrochemical degradation of TCE at the EG-diamond electrode represents a cost effective method due to the ease of preparation of EG-diamond composite material without the necessity of diamond activation which is normally achieved through doping.

Studies on thin film based flexible gold electrode arrays for resistivity imaging in electrical impedance tomography

Practical phantoms are essential to assess the electrical impedance tomography (EIT) systems for their validation, calibration and comparison purposes. Metal surface electrodes are generally used in practical phantoms which reduce the SNR of the boundary data due to their design and development errors. Novel flexible and biocompatible gold electrode arrays of high geometric precision are proposed to improve the boundary data quality in EIT. The flexible gold electrode arrays are developed on flexible FR4 sheets using thin film technology and practical gold electrode phantoms are developed with different configurations. Injecting a constant current to the phantom boundary the surface potentials are measured by a LabVIEW based data acquisition system and the resistivity images are reconstructed in EIDORS. Boundary data profile and the resistivity images obtained from the gold electrode phantoms are compared with identical phantoms developed with stainless steel electrodes. Surface profilometry, microscopy and the impedance spectroscopy show that the gold electrode arrays are smooth, geometrically precised and less resistive. Results show that the boundary data accuracy and image quality are improved with gold electrode arrays. Results show that the diametric resistivity plot (DRP), contrast to noise ratio (CNR), percentage of contrast recovery (PCR) and coefficient of contrast (COC) of reconstructed images are improved in gold electrode phantoms. (C) 2013 Elsevier Ltd. All rights reserved.

Zero-sum risk-sensitive stochastic games on a countable state space

Infinite horizon discounted-cost and ergodic-cost risk-sensitive zero-sum stochastic games for controlled Markov chains with countably many states are analyzed. Upper and lower values for these games are established. The existence of value and saddle-point equilibria in the class of Markov strategies is proved for the discounted-cost game. The existence of value and saddle-point equilibria in the class of stationary strategies is proved under the uniform ergodicity condition for the ergodic-cost game. The value of the ergodic-cost game happens to be the product of the inverse of the risk-sensitivity factor and the logarithm of the common Perron-Frobenius eigenvalue of the associated controlled nonlinear kernels. (C) 2013 Elsevier B.V. All rights reserved.

Organic device electrode fabricated by aluminum in nanopowder and bulk form and effect on device properties

Schottky barrier devices of metal/semiconductor/metal structure were fabricated using organic semiconductor polyaniline (PANI) and aluminium thin film cathode. Aluminium contacts were made by thermal evaporation technique using two different forms of metals (bulk and nanopowder). The structure and surface morphology of these films were investigated by X-ray diffraction, scanning electron microscopy, and atomic force microscopy. Grain size of the as-deposited films obtained by Scherrer's method, modified Williamson-Hall method, and SEM were found to be different. Current-voltage (I-V) characteristic of Schottky barrier device structure indicates that the calculated current density (J) for device fabricated from aluminium nanopowder is more than that from aluminium in bulk form.

Efficacious Anticancer Drug Delivery Mediated by a pH-Sensitive Self-Assembly of a Conserved Tripeptide Derived from Tyrosine Kinase NGF Receptor

We present herein a short tripeptide sequence (Lys-Phe-Gly or KFG) that is situated in the juxtamembrane region of the tyrosine kinase nerve growth factor (Trk NGF) receptors. KFG self-assembles in water and shows a reversible and concentration-dependent switching of nanostructures from nanospheres (vesicles) to nanotubes, as evidenced by dynamic light scattering, transmission electron microscopy, and atomic force microscopy. The morphology change was associated with a transition in the secondary structure. The tripeptide vesicles have inner aqueous compartments and are stable at pH7.4 but rupture rapidly at pH approximate to 6. The pH-sensitive response of the vesicles was exploited for the delivery of a chemotherapeutic anticancer drug, doxorubicin, which resulted in enhanced cytotoxicity for both drug-sensitive and drug-resistant cells. Efficient intracellular release of the drug was confirmed by fluorescence-activated cell sorting analysis, fluorescence microscopy, and confocal microscopy.

Polymer Template Assisted Synthesis of Porous Li1.2Mn0.53Ni0.13Co0.13O2 as a High Capacity and High Rate Capability Positive Electrode Material

A porous layered composite of Li2MnO3 and LiMn1/3Co1/3Ni1/3O2 (composition: Li1.2Mn0.53Ni0.13Co0.13O2) is prepared by reverse microemulsion method employing a soft polymer template and studied as a positive electrode material. The precursor is heated at several temperatures between 500 and 900 degrees C. The product samples possess mesoporosity with broadly distributed pores of about 30 nm diameters. There is a decrease in pore volume as well as in surface area by increasing the temperature of preparation. Nevertheless, the electrochemical activity of the composite increases with an increase in temperature. The discharge capacity values of the samples prepared at 800 and 900 degrees C are about 250 mAh g(-1) at a specific current of 40 mA g(-1) with an excellent cycling stability. A value of 225 mAh g(-1) is obtained at the end of 30 charge-discharge cycles. Both these composite samples possess high rate capability, but the 800 degrees C sample is marginally superior to the 900 degrees C sample. A discharge capacity of 100 mAh g(-1) is obtained at a specific current of 1000 mA g(-1). The high rate capability is attributed to porous nature of the composite samples. (C) 2013 The Electrochemical Society. All rights reserved.

Preparation and electrochemical performance of porous hematite (alpha-Fe2O3) nanostructures as supercapacitor electrode material

Porous alpha-Fe2O3 nanostructures have been synthesized by sol-gel route. The effect of preparation temperature on the morphology, structure, and electrochemical stability upon cycling has been studied for supercapacitor application. The discharge capacitance of alpha-Fe2O3 prepared at 300 A degrees C is 193 F g(-1), when the electrodes are cycled in 0.5 M Na2SO3 at a specific current of 1 A g(-1). The capacitance retention after 1,000 cycles is about 92 % of the initial capacitance at a current density of 2 A g(-1). The high discharge capacitance as well as stability of alpha-Fe2O3 electrodes is attributed to large surface area and porosity of the material. There is a decrease in specific capacitance (SC) on increasing the preparation temperature. As iron oxides are inexpensive, the synthetic route adopted for alpha-Fe2O3 in the present study is convenient and the SC is high with good cycling stability, the porous alpha-Fe2O3 is a potential material for supercapacitors.

An in situ carbon-grafted alkaline iron electrode for iron-based accumulators

An in situ carbon-grafted alkaline iron electrode prepared from the active material obtained by decomposing the alpha-FeC2O4 center dot 2H(2)O-polyvinyl alcohol (PVA) composite at 600 degrees C in a vacuum is reported. The active material comprises a mixture of a-Fe and Fe3O4 with the former as the prominent component. A specific discharge capacity in excess of 400 mA h g(-1) at a current density of 100 mA g(-1) is obtained with a faradaic efficiency of 80% for the iron electrode made from carbon-grafted active material (CGAM). The enhanced performance of the alkaline iron electrode is attributed to the increased amount of metallic iron in the active material and its concomitant in situ carbon grafting.

Reduced Graphene Oxide-Polypyrrole Composite as a Catalyst for Oxygen Electrode of High Rate Rechargeable Li-O-2 Cells

Polypyrrole (PPY) is grown on reduced graphene oxide (RGO) and the composite is studied as a catalyst for O-2 electrode in Li-O-2 cells. PPY is uniformly distributed on the two dimensional RGO layers. Li-O-2 cells assembled in a non-aqueous electrolyte using RGO-PPY catalyst exhibit an initial discharge capacity as high as 3358 mAh g(-1) (3.94 mAh cm(-2)) at a current density of 0.3 mA cm(-2). The voltage gap between the charge and discharge curves is less for Li-O-2(RGO-PPY) cell in comparison with Li-O-2(RGO) cell. The Li-O-2(RGO-PPY) cell delivers a discharge capacity of 550 mAh g(-1) (0.43 mAh cm(-2)) at a current density of 1.0 mA cm(-2). The results suggest that RGO-PPY is a promising catalyst of O-2 electrode for high rate rechargeable Li-O-2 cells. (C) 2014 The Electrochemical Society. All rights reserved.

Voltammetric detection of arsenic on a bismuth modified exfoliated graphite electrode

We present the application of a bismuth modified exfoliated graphite electrode in the detection of arsenic in water. Bismuth film was electrodeposited onto an exfoliated graphite (EG) electrode at a potential of -600 mV. The modification of EG resulted in an increase in the electroactive surface area of the electrode and consequently peak current enhancement in Ru(NH3)(6)(2+/13+) redox probe. Square wave anodic stripping voltammetry was performed with the modified electrode (EG-Bi) in As (III) solutions at the optimum conditions of pH 6, deposition potential of -600 mV and pre-concentration time of 180s. The EG-Bi was able to detect As (III) to the limit of 5 mu g L-1 and was not susceptible to many interfering cations except Cu (II). The EG-Bi is low cost and easy to prepare. (C) 2013 Elsevier Ltd. All rights reserved.

Parallel Flow-Sensitive Pointer Analysis by Graph-Rewriting

Precise pointer analysis is a problem of interest to both the compiler and the program verification community. Flow-sensitivity is an important dimension of pointer analysis that affects the precision of the final result computed. Scaling flow-sensitive pointer analysis to millions of lines of code is a major challenge. Recently, staged flow-sensitive pointer analysis has been proposed, which exploits a sparse representation of program code created by staged analysis. In this paper we formulate the staged flow-sensitive pointer analysis as a graph-rewriting problem. Graph-rewriting has already been used for flow-insensitive analysis. However, formulating flow-sensitive pointer analysis as a graph-rewriting problem adds additional challenges due to the nature of flow-sensitivity. We implement our parallel algorithm using Intel Threading Building Blocks and demonstrate considerable scaling (upto 2.6x) for 8 threads on a set of 10 benchmarks. Compared to the sequential implementation of staged flow-sensitive analysis, a single threaded execution of our implementation performs better in 8 of the benchmarks.