Mining Unit Tests for Discovery and Migration of Math APIs

Today's programming languages are supported by powerful third-party APIs. For a given application domain, it is common to have many competing APIs that provide similar functionality. Programmer productivity therefore depends heavily on the programmer's ability to discover suitable APIs both during an initial coding phase, as well as during software maintenance. The aim of this work is to support the discovery and migration of math APIs. Math APIs are at the heart of many application domains ranging from machine learning to scientific computations. Our approach, called MATHFINDER, combines executable specifications of mathematical computations with unit tests (operational specifications) of API methods. Given a math expression, MATHFINDER synthesizes pseudo-code comprised of API methods to compute the expression by mining unit tests of the API methods. We present a sequential version of our unit test mining algorithm and also design a more scalable data-parallel version. We perform extensive evaluation of MATHFINDER (1) for API discovery, where math algorithms are to be implemented from scratch and (2) for API migration, where client programs utilizing a math API are to be migrated to another API. We evaluated the precision and recall of MATHFINDER on a diverse collection of math expressions, culled from algorithms used in a wide range of application areas such as control systems and structural dynamics. In a user study to evaluate the productivity gains obtained by using MATHFINDER for API discovery, the programmers who used MATHFINDER finished their programming tasks twice as fast as their counterparts who used the usual techniques like web and code search, IDE code completion, and manual inspection of library documentation. For the problem of API migration, as a case study, we used MATHFINDER to migrate Weka, a popular machine learning library. Overall, our evaluation shows that MATHFINDER is easy to use, provides highly precise results across several math APIs and application domains even with a small number of unit tests per method, and scales to large collections of unit tests.

Multi-component Olivine for Lithium-Ion Hybrid Capacitor

A lithium-ion hybrid capacitor comprising of a battery type multi-component olivine (LiMn1/3Co1/3Ni1/3PO4) cathode and a capacitive type carbon negative electrode is reported. Olivine phosphate synthesized with chelating agent's polyvinylpyrrolidone (PVP) or triethanolamine (TEA) showed uniform carbon coating through in-situ process exhibiting a surface area 5.1 m(2)/g with porosity 0.02 cm(3)/g. The surface area for commercial carbon electrode was observed to be 1450 m(2)/g with high porosity 0.76 cm(3)/g. Galvanostatic charge/discharge cycling tests were conducted in the coin cells, olivine vs. Li, offering a cell voltage of 4.75 V vs. Li with a maximum specific capacitance of 125 F/g. In the case of olivine vs. carbon in a lithium-ion hybrid device delivered a high discharge capacitance of 86 F/g at a specific current of 0.12 A/g with a cycling retention of 53 F/g (38% loss) after 250 cycles. The obtained performance of PVP synthesized olivine material is manifested to uniform carbon coating and the trapped organic products that provide pathways for facile electrochemical reactions than their TEA counterparts.

Antioxidant activity and electrochemical elucidation of the enigmatic redox behavior of curcumin and its structurally modified analogues

Here, we report studies on the antioxidant activity and redox behavior of curcumin and its structurally modified synthetic analogues. We have synthesized a number of analogues of curcumin which abrogate its keto-enol tautomerism or substitute the methylene group at the centre of its heptadione moiety implicated in the hydride transfer and studied their redox property. From cyclic voltammetric studies, it is demonstrated that H-atom transfer from CH2 group at the center of the heptadione link also plays an important role in the antioxidant properties of curcumin along with that of its phenolic -OH group. In addition, we also show that the conversion of 1, 3-dicarbonyl moiety of curcumin to an isosteric heterocycle as in pyrazole curcumin, which decreases its rotational freedom, leads to an improvement of its redox properties as well as its antioxidant activity. (C) 2014 Elsevier Ltd. All rights reserved.

Structural, magnetic and electrochemical investigation of novel binary Na2-x(Fe1-yMny)P2O7 (0 <= y <= 1) pyrophosphate compounds for rechargeable sodium-ion batteries

Pyrophosphate cathodes have been recently reported as a competent family of insertion compounds for sodium-ion batteries. In the current study, we have investigated the binary Na2 - x(Fe1 - yMny)P2O7 (0 <= y <= 1) pyrophosphate family, synthesized by the classical solid-state method. They form a continuous solid solution maintaining triclinic P-1 (#2) symmetry. The local structural coordination differs mainly by different degrees of Na site occupancy and preferential occupation of the Fe2 site by Mn. The structural and magnetic properties of these mixed-metal pyrophosphate phases have been studied. In each case, complete Fe3+/Fe2+ redox activity has been obtained centered at 3 V vs. Na. The Fe3+/Fe2+ redox process involves multiple steps between 2.5 and 3 V owing to Na-cation ordering during electrochemical cycling, which merge to form a broad single Fe3+/Fe2+ redox peak upon progressive Mn-doping. (C) 2014 Elsevier B.V. All rights reserved.

Synthesis, crystal structure and spectroscopic and electrochemical properties of bridged trisbenzoato copper-zinc heterobinuclear complex of 2,2 `-bipyridine

The synthesis of the heterobinuclear copper-zinc complex CuZn(bz)(3)(bpy)(2)]ClO4 (bz = benzoate) from benzoic acid and bipyridine is described. Single crystal X-ray diffraction studies of the heterobinuclear complex reveals the geometry of the benzoato bridged Cu(II)-Zn(II) centre. The copper or zinc atom is pentacoordinate, with two oxygen atoms from bridging benzoato groups and two nitrogen atoms from one bipyridine forming an approximate plane and a bridging oxygen atom from a monodentate benzoate group. The Cu-Zn distance is 3.345 angstrom. The complex is normal paramagnetic having mu(eff) value equal to 1.75 BM, ruling out the possibility of Cu-Cu interaction in the structural unit. The ESR spectrum of the complex in CH3CN at RT exhibit an isotropic four line spectrum centred at g = 2.142 and hyperfine coupling constants A(av) = 63 x 10(-4) cm(-1), characteristic of a mononuclear square-pyramidal copper(II) complexes. At LNT, the complex shows an isotropic spectrum with g(parallel to) = 2.254 and g(perpendicular to) =2.071 and A(parallel to) = 160 x 10(-4) cm(-1). The Hamiltonian parameters are characteristic of distorted square pyramidal geometry. Cyclic voltammetric studies of the complex have indicated quasi-reversible behaviour in acetonitrile solution. (C) 2014 Elsevier B.V. All rights reserved.

Image-Segmentation Technique to Analyze Deformation Profiles in Different Direct Shear Tests

Results from interface shear tests on sand-geosynthetic interfaces are examined in light of surface roughness of the interacting geosynthetic material. Three different types of interface shear tests carried out in the frame of direct shear-test setup are compared to understand the effect of parameters like box fixity and symmetry on the interface shear characteristics. Formation of shear bands close to the interface is visualized in the tests and the bands are analyzed using image-segmentation techniques in MATLAB. A woven geotextile with moderate roughness and a geomembrane with minimal roughness are used in the tests. The effect of surface roughness of the geosynthetic material on the formation of shear bands, movement of sand particles, and interface shear parameters are studied and compared through visual observations, image analyses, and image-segmentation techniques.

Synthesis, luminescence properties and EPR investigation of hydrothermally derived uniform ZnO hexagonal rods

One-dimensional (1D) zinc oxide (ZnO) hexagonal rods have been successfully synthesized by surfactant free hydrothermal process at different temperatures. It can be found that the reaction temperature play a crucial role in the formation of ZnO uniform hexagonal rods. The possible formation processes of 1-D ZnO hexagonal rods were investigated. The zinc hydroxide acts as the morphology-formative intermediate for the formation of ZnO nanorods. Upon excitation at 325 nm, the sample prepared at 180 degrees C show several emission bands at 400 nm (similar to 3.10 eV), 420 nm (similar to 2.95 eV), 482 nm (similar to 2.57 eV) and 524 nm (similar to 2.36 eV) corresponding to different kind of defects. TL studies were carried out by pre-irradiating samples with gamma-rays ranging from 1 to 7 kGy at room temperature. A well resolved glow peak at similar to 354 degrees C was recorded which can be ascribed to deep traps. Furthermore, the defects associated with surface states in ZnO nano-structures are characterized by electron paramagnetic resonance. (C) 2014 Elsevier B.V. All rights reserved.

Effect of radio frequency power and thickness on the electrochemical properties of Li2-x MnO3-y thin films

In the present work, Li2-x MnO3-y (LMO) thin films have been deposited by radio frequency (RF) reactive magnetron sputtering using acid-treated Li2MnO3 powder target. Systematic investigations have been carried out to study the effect of RF power on the physicochemical properties of LMO thin films deposited on platinized silicon substrates. X-ray diffraction, electron microscopy, surface chemical analysis and electrochemical studies were carried out for the LMO films after post deposition annealing treatment at 500 A degrees C for 1 h in air ambience. Galvanostatic charge discharge studies carried out using the LMO thin film electrodes, delivered a highest discharge capacity of 139 mu Ah mu m(-1) cm(-2) in the potential window 2.0-3.5 V vs. Li/Li+ at 100 W RF power and lowest discharge capacity of 80 mu Ah mu m(-1) cm(-2) at 75 W RF power. Thereafter, the physicochemical properties of LMO films deposited using optimized RF power 100 W on stainless steel substrates has been studied in the thickness range of 70 to 300 nm as a case study. From the galvanostatic charge discharge experiments, a stable discharge capacity of 68 mu Ah mu m(-1) cm(-2) was achieved in the potential window 2.0-4.2 V vs. Li/Li+ tested up to 30 cycles. As the thickness increased, the specific discharge capacity started reducing with higher magnitude of capacity fading.

Large Diameter Triaxial Tests on Geosynthetic-Reinforced Granular Subbases

The estimation of strength and stiffness of reinforced aggregates is very important for the design and construction of reinforced unpaved/paved road sections. This paper presents the experimental results from static and cyclic triaxial tests carried out on granular subbase samples reinforced with multiple layers of geogrid reinforcement. Aggregates of different size ranges were mixed in calculated proportions by weight to obtain the gradation specified for rural roads. Triaxial samples of 300 mm diameter and 600 mm height were prepared using this sampled aggregate. The strength and stiffness characteristics of this aggregate reinforced with geogrids at different elevations were determined from static and cyclic triaxial tests. Triaxial tests were also carried out on geocell encased aggregates, and the results are compared. From the experimental results it is observed that reinforced systems carried more stresses than unreinforced systems at the same strain level. The beneficial effect increased with increase in the quantity of reinforcement, whereas for geocell reinforcement, the advantage was evident only at higher strains. (C) 2014 American Society of Civil Engineers.

Electrochemical exfoliation of graphite to produce graphene using tetrasodium pyrophosphate

An electrochemical exfoliation based synthetic methodology to produce graphene is provided. An eco-friendly and non-toxic tetrasodium pyrophosphate solution in which the pyrophosphate anion acts as an intercalating ion was used as the electroactive media. Five different ion intercalation potentials were used. Characterization by microscopy, X-ray diffraction, Raman spectroscopy and UV-Visible spectroscopic techniques confirmed that all the potentials produced nano to micrometer sized graphene sheets. No trace of graphene oxide was detected. It was observed that (i) an increase in the intercalation potential increased the graphene yield and (ii) the defect density of graphene did not change significantly with a change in the intercalation potential.

Electrochemical behavior of Zn-graphene composite coatings

A Zn-graphene composite coating was electrodeposited on mild steel. The graphene was synthesized by electrochemical exfoliation of graphite. Electron microscopy, energy-dispersive X-ray spectroscopy and X-ray diffraction techniques were used to characterize the coatings. Compared to a pure Zn coating, the Zn-graphene coating exhibited reduced grain size, reduced surface defects, hillock structures over the coating surface and an altered texture. The corrosion behavior of the coatings was examined by Tafel polarization and electrochemical impedance spectroscopic methods. A significant improvement in the corrosion resistance in terms of reduction in corrosion current and corrosion rate and increase in polarization resistance was noted in the case of the Zn coating containing graphene.

A Comparative Study on Electrochemical Behaviour of Co3O4 and Co3O4-MWCNTs for Supercapacitors

Co3O4 and Co3O4/MWCNTs were prepared by hydrothermal process under autogenous pressure in Teflon lined autoclave and calcined at 250 degrees C. Both samples were characterized by PXRD, FT-IR, SEM-EDS, TEM & FT-Raman to evaluate their surface and bulk properties. The PXRD pattern of the materials indicated the formation of cubic phase of Co3O4. FT-IR results showed the presence of metal oxygen bond in the samples. The SEM and TEM images of the Co3O4 / MWCNTs indicated spherical and cubic aggregates of metal oxide particles (10-30 nm) decorated both on the surface and inside the tubes of carbon nanotubes. The characteristic Ig and Id (graphitic and defects) Raman bands indicated the retention of tubular structure of MWCNTs even after the deposition of Co3O4. The calcined Co3O4-MWCNTs composites and Co3O4 exhibited specific capacitance of 284 & 205 F/g at a sweep rate of 2mVs(-1) in 6M KOH by cyclic voltammetry. The psuedocapacitance performances of calcined Co3O4-MWCNTs were found to be better than Co3O4. Chronopotentiometric studies made for the materials at a current density of 500mA/g indicated 100% columbic efficiency at 2000th cycle for Co3O4/ MWCNTs which is a better electrode material than Co3O4.

Synthesis and electrochemical behaviour of NiFeCr nanoparticle coatings

NiFeCr nanoparticles with a Ni-rich composition were synthesized using a wet chemical synthesis technique. As-synthesized nanoparticles were crystalline with an average size of 6.8 +/- 2.5 nm. For electrochemical analysis, as-synthesized nanoparticles were mixed with epoxy and coated over a mild steel substrate. Electrochemical measurements exhibited a very high polarization resistance and very low corrosion current for the nanoparticle-epoxy coated sample illustrating high resistance of the NiFeCr nanoparticle-epoxy coating towards highly corrosive media.

Sulfate Chemistry for High-Voltage Insertion Materials: Synthetic, Structural and Electrochemical Insights

Rechargeable batteries based on Li and Na ions have been growing leaps and bounds since their inception in the 1970s. They enjoy significant attention from both the fundamental science point of view and practical applications ranging from portable electronics to hybrid vehicles and grid storage. The steady demand for building better batteries calls for discovery, optimisation and implementation of novel positive insertion (cathode) materials. In this quest, chemists have tried to unravel many future cathode materials by taking into consideration their eco-friendly synthesis, material/process economy, high energy density, safety, easy handling and sustainability. Interestingly, sulfate-based cathodes offer a good combination of sustainable syntheses and high energy density owing to their high-voltage operation, stemming from electronegative SO42- units. This review delivers a sneak peak at the recent advances in the discovery and development of sulfate-containing cathode materials by focusing on their synthesis, crystal structure and electrochemical performance. Several family of cathodes are independently discussed. They are 1) fluorosulfates AMSO(4)F], 2) bihydrated fluorosulfates AMSO(4)F2H(2)O], 3) hydroxysulfate AMSO(4)OH], 4) bisulfates A(2)M(SO4)(2)], 5) hydrated bisulfates A(2)M(SO4)(2)nH(2)O], 6) oxysulfates Fe-2(SO4)(2)O] and 7) polysulfates A(2)M(2)(SO4)(3)]. A comparative study of these sulfate-based cathodes has been provided to offer an outlook on the future development of high-voltage polyanionic cathode materials for next-generation batteries.

Electrochemical exfoliation of graphite for producing graphene using saccharin

A green electrochemical exfoliation route to produce graphene from graphite electrode has been provided. Saccharin which is a non-toxic and biocompatible artificial sweetener was used as an intercalating agent in aqueous media. Graphene samples were produced using five different exfoliation potentials. Microscopic and spectroscopic analysis confirmed the presence of few layer graphene sheets in as-exfoliated product. Important observations made were: (a) graphene layers from nano-to-micro meter sizes were produced; (b) number of graphene layers decreased with increase in the intercalation potential, (c) yield of graphene increased with increase in the exfoliation potential and (d) defect density in the exfoliated graphene layer was sensitive to the exfoliation potential in a way that with increase in the exfoliation potential the defect density initially increased and then eventually decreased.