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.

Characterization of Interactions Involving Bromine in 2,2-Dibromo2,3-dihydroinden-1-one via Experimental Charge Density Analysis

Experimental and theoretical charge density analyses on 2,2-dibromo-2,3-dihydroinden-1-one have been carried out to quantify the topological features of a short CBr....O halogen bond with nearly linear geometry (2.922 angstrom, angle CBr....O = 172.7 degrees) and to assess the strength of the interactions using the topological features of the electron density. The electrostatic potential map indicates the presence of the s-hole on bromine, while the interaction energy is comparable to that of a moderate OH....O hydrogen bond. In addition, the energetic contribution of CH.....Br interaction is demonstrated to be on par with that of the CBr....O halogen bond in stabilizing the crystal structure.

Field dependent and disorder-induced nonlinear charge transport in electrochemically doped polypyrrole devices

Electric field activated charge transport is studied in the metal/polymer/metal device structure of electropolymerized polypyrrole down to 10 K with varying carrier density and disorder. Disorder induced nonlinear behaviour is observed in polypyrrole devices grown at room temperature which is correlated to delocalization of states. The slope parameter of currentvoltage characteristics (in log-log scale) increases as the temperature decreases, which indicates the onset of stronger field dependence. The field dependence of mobility becomes dominant as the carrier density decreases. The sharp dip in differential conductance indicates the localization of carriers at low temperatures which reduces the effective number of carriers involved in the transport.

Charge density distribution and electrostatic interactions of ethionamide: an inhibitor of the enoyl acyl carrier protein reductase (inhA) enzyme of Mycobacterium tuberculosis

An experimental charge density analysis of an anti-TB drug ethionamide was carried out from high resolution X-ray diffraction at 100 K to understand its charge density distribution and electrostatic properties. The experimental results were validated from periodic theoretical charge density calculations performed using CRYSTAL09 at the B3LYP/6-31G** level of theory. The electron density rho(bcp)(r) and the Laplacian of electron density del(2)(rho bcp)(r) of the molecule calculated from both the methods display the charge density distribution of the ethionamide molecule in the crystal field. The electrostatic potential map shows a large electropositive region around the pyridine ring and a large electronegative region at the vicinity of the thiol atom. The calculated experimental dipole moment is 10.6D, which is higher than the value calculated from theory (8.2D). The topological properties of C-H center dot center dot center dot S, N-H center dot center dot center dot N and N-H center dot center dot center dot S hydrogen bonds were calculated, revealing their strength. The charge density analysis of the ethionamide molecule determined from both the experiment and theory gives the topological and electrostatic properties of the molecule, which allows to precisely understand the nature of intra and intermolecular interactions.

Herringbone to cofacial solid state packing via H-bonding in diketopyrrolopyrrole (DPP) based molecular crystals: influence on charge transport

Themono-alkylation of DPP derivatives leads to cofacial pi-pi stacking via H-bonding unlike their di-alkylated counterparts, which exhibit a classical herringbone packing pattern. Single crystal organic field-effect transistor (OFET) measurements reveal a significant enhancement of charge carrier mobility for mono-hexyl DPP derivatives.

Zinc oxide based photocatalysis: tailoring surface-bulk structure and related interfacial charge carrier dynamics for better environmental applications

As an alternative to the gold standard TiO2 photocatalyst, the use of zinc oxide (ZnO) as a robust candidate for wastewater treatment is widespread due to its similarity in charge carrier dynamics upon bandgap excitation and the generation of reactive oxygen species in aqueous suspensions with TiO2. However, the large bandgap of ZnO, the massive charge carrier recombination, and the photoinduced corrosion-dissolution at extreme pH conditions, together with the formation of inert Zn(OH)(2) during photocatalytic reactions act as barriers for its extensive applicability. To this end, research has been intensified to improve the performance of ZnO by tailoring its surface-bulk structure and by altering its photogenerated charge transfer pathways with an intention to inhibit the surface-bulk charge carrier recombination. For the first time, the several strategies, such as tailoring the intrinsic defects, surface modification with organic compounds, doping with foreign ions, noble metal deposition, heterostructuring with other semiconductors and modification with carbon nanostructures, which have been successfully employed to improve the photoactivity and stability of ZnO are critically reviewed. Such modifications enhance the charge separation and facilitate the generation of reactive oxygenated free radicals, and also the interaction with the pollutant molecules. The synthetic route to obtain hierarchical nanostructured morphologies and study their impact on the photocatalytic performance is explained by considering the morphological influence and the defect-rich chemistry of ZnO. Finally, the crystal facet engineering of polar and non-polar facets and their relevance in photocatalysis is outlined. It is with this intention that the present review directs the further design, tailoring and tuning of the physico-chemical and optoelectronic properties of ZnO for better applications, ranging from photocatalysis to photovoltaics.

Experimental validation of `pnicogen bonding' in nitrogen by charge density analysis

The participation of a nitrogen atom acting as an electrophile in pnicogen bonding, a hitherto unexplored interaction has been established by experimental charge density analysis. QTAIM and NBO analyses ratify this observation.

Strategy for Enhancing the Dielectric Constant of Organic Semiconductors Without Sacrificing Charge Carrier Mobility and Solubility

Current organic semiconductors for organic photovoltaics (OPV) have relative dielectric constants (relative permittivities, epsilon(r)) in the range of 2-4. As a consequence, Coulombically bound electron-hole pairs (excitons) are produced upon absorption of light, giving rise to limited power conversion efficiencies. We introduce a strategy to enhance epsilon(r) of well-known donors and acceptors without breaking conjugation, degrading charge carrier mobility or altering the transport gap. The ability of ethylene glycol (EG) repeating units to rapidly reorient their dipoles with the charge redistributions in the environment was proven via density functional theory (DFT) calculations. Fullerene derivatives functionalized with triethylene glycol side chains were studied for the enhancement of epsilon(r) together with poly(p-phenylene vinylene) and diketo-pyrrolopyrrole based polymers functionalized with similar side chains. The polymers showed a doubling of epsilon(r) with respect to their reference polymers in identical backbone. Fullerene derivatives presented enhancements up to 6 compared with phenyl-C-61-butyric acid methyl ester (PCBM) as the reference. Importantly, the applied modifications did not affect the mobility of electrons and holes and provided excellent solubility in common organic solvents.

Heterogeneity in Dye-TiO2 Interactions Dictate Charge Transfer Efficiencies for Diketopyrrolopyrrole-Based Polymer Sensitized Solar Cells

Power conversion efficiency of a solar cell is a complex parameter which usually hides the molecular details of the charge generation process. For rationally tailoring the overall device efficiency of the dye-sensitized solar cell, detailed molecular understanding of photoinduced reactions at the dye-TiO2 interface has to be achieved. Recently, near-IR absorbing diketopyrrolopyrrole-based (DPP) low bandgap polymeric dyes with enhanced photostabilities have been used for TiO2 sensitization with moderate efficiencies. To improve the reported device performances, a critical analysis of the polymerTiO(2) interaction and electron transfer dynamics is imperative. Employing a combination of time-resolved optical measurements complemented by low temperature EPR and steady-state Raman spectroscopy on polymerTiO(2) conjugates, we provide direct evidence for photoinduced electron injection from the TDPP-BBT polymer singlet state into TiO2 through the C-O group of the DPP-core. A detailed excited state description of the electron transfer process in films reveals instrument response function (IRF) limited (<110 fs) charge injection from a minor polymer fraction followed by a picosecond recombination. The major fraction of photoexcited polymers, however, does not show injection indicating pronounced ground state heterogeneity induced due to nonspecific polymerTiO(2) interactions. Our work therefore underscores the importance of gathering molecular-level insight into the competitive pathways of ultrafast charge generation along with probing the chemical heterogeneity at the nanoscale within the polymerTiO2 films for optimizing photovoltaic device efficiencies.

Charge Transfer Induces Formation of Stimuli-Responsive, Chiral, Cohesive Vesicles-on-a-String that Eventually Turn into a Hydrogel

A charge transfer (CT) mediated two-component, multistimuli responsive supergelation involving a L-histidine-appended pyrenyl derivative (PyHisOMe) as a donor and an asymmetric bolaamphiphilic naphthalene-diimide (Asym-NDI) derivative as an acceptor in a 2: 1 mixture of H2O/MeOH was investigated. Asym-NDI alone self-assembled into pH-responsive vesicular nanostructures in water. Excellent selectivity in CT gel formation was achieved in terms of choosing amino acid appended pyrenyl donor scaffolds. Circular di-chroism and morphological studies suggested formation of chiral, interconnected vesicular assemblies resembling ``pearls-on-a-string'' from these CT mixed stacks. XRD studies revealed the formation of monolayer lipid membranes from these CT mixed stacks that eventually led to the formation of individual vesicles. Strong cohesive forces among the interconnected vesicles originate from the protrusion of the oxyethylene chains from the surfaces of the chiral vesicles.

Electron-Rich Triphenylamine-Based Sensors for Picric Acid Detection

This paper demonstrates the role of solvent in selectivity and sensitivity of a series of electron-rich compounds for the detection of trace amounts of picric acid. Two new electron-rich fluorescent esters (6, 7) containing a triphenylamine backbone as well as their analogous carboxylic acids (8, 9) have been synthesized and characterized. Fluorescent triphenylamine coupled with an ethynyl moiety constitutes p-electron-rich selective and sensitive probes for electron-deficient picric acid (PA). In solution, the high sensitivity of all the sensors toward PA can be attributed to a combined effect of the ground-state charge-transfer complex formation and resonance energy transfer between the sensor and analyte. The acids 8 and 9 also showed enhanced sensitivity for nitroaromatics in the solid state, and their enhanced sensitivity could be attributed to exciton migration due to close proximity of the neighboring acid molecules, as evident from the X-ray diffraction study. The compounds were found to be quite sensitive for the detection of trace amount of nitroaromatics in solution, solid, and contact mode.

Holographic charge diffusion in non-relativistic branes

In this paper, based on the principles of gauge/gravity duality and considering the so called hydrodynamic limit we compute various charge transport properties for a class of strongly coupled non-relativistic CFTs corresponding to z=2 fixed point whose dual gravitational counter part could be realized as the consistent truncation of certain non-relativistic Dp branes in the non-extremal limit. From our analysis we note that unlike the case for the AdS black branes, the charge diffusion constant in the non-relativistic background scales differently with the temperature. This shows a possible violation of the universal bound on the charge conductivity to susceptibility ratio in the context of non-relativistic holography. (C) 2015 The Author. Published by Elsevier B.V.

``Conformational Simulation'' of Sulfamethizole by Molecular Complexation and Insights from Charge Density Analysis: Role of Intramolecular S center dot center dot center dot O Chalcogen Bonding

Intramolecular S center dot center dot center dot O chalcogen bonding and its potential to lock molecular conformation have been examined in the crystal forms of sulfamethizole, a sulfonamide antibiotic. Molecular complexes of sulfamethizole, including salts and cocrystal, have been synthesized, and their crystal structures were analyzed in order to examine the possible conformational preferences of the molecule in various ionic states and supramolecular environments (neutral/cocrystal, anionic salt, and cationic salt forms). The electrostatic potential mapped on Hirshfeld surfaces generated for these crystal forms provides insights into the possible binding modes of the drug in different environments. Further, the observed conformation locking feature has been rationalized in terms of the experimental charge density features of the intramolecular S center dot center dot O chalcogen bonding in sulfamethizole. The study quantitatively illustrates and rationalizes an intriguing case of a local minimum of molecular conformation being exclusively preferred over the global minimum, as it facilitates more efficient intermolecular interactions in a supramolecular environment.

Novel anti IGFBP2 single chain variable fragment inhibits glioma cell migration and invasion

Insulin like growth factor binding protein 2 (IGFBP2) is highly up regulated in glioblastoma (GBM) tissues and has been one of the prognostic indicators. There are compelling evidences suggesting important roles for IGFBP2 in glioma cell proliferation, migration and invasion. Extracellular IGFBP2 through its carboxy terminal arginine glycine aspartate (RGD) motif can bind to cell surface alpha 5 beta 1 integrins and activate pathways downstream to integrin signaling. This IGFBP2 activated integrin signaling is known to play a crucial role in IGFBP2 mediated invasion of glioma cells. Hence a molecular inhibitor of carboxy terminal domain of IGFBP2 which can inhibit IGFBP2-cell surface interaction is of great therapeutic importance. In an attempt to develop molecular inhibitors of IGFBP2, we screened single chain variable fragment (scFv) phage display libraries, Tomlinson I (Library size 1.47 x 10(8)) and Tomlinson J (Library size 1.37 x 10(8)) using human recombinant IGFBP2. After screening we obtained three IGFBP2 specific binders out of which one scFv B7J showed better binding to IGFBP2 at its carboxy terminal domain, blocked IGFBP2-cell surface association, reduced activity of matrix metalloprotease 2 in the conditioned medium of glioma cells and inhibited IGFBP2 induced migration and invasion of glioma cells. We demonstrate for the first time that in vitro inhibition of extracellular IGFBP2 activity by using human scFv results in significant reduction of glioma cell migration and invasion. Therefore, the inhibition of IGFBP2 can serve as a potential therapeutic strategy in the management of GBM.

A zero charge-pump mismatch current tracking loop for reference spur reduction in PLLs

The charge-pump (CP) mismatch current is a dominant source of static phase error and reference spur in the nano-meter CMOS PLL implementations due to its worsened channel length modulation effect. This paper presents a charge-pump (CP) mismatch current reduction technique utilizing an adaptive body bias tuning of CP transistors and a zero CP mismatch current tracking PLL architecture for reference spur suppression. A chip prototype of the proposed circuit was implemented in 0.13 mu m CMOS technology. The frequency synthesizer consumes 8.2 mA current from a 13 V supply voltage and achieves a phase noise of -96.01 dBc/Hz @ 1 MHz offset from a 2.4 GHz RF carrier. The charge-pump measurements using the proposed calibration technique exhibited a mismatch current of less than 0.3 mu A (0.55%) over the VCO control voltage range of 0.3-1.0 V. The closed loop measurements show a minimized static phase error of within +/- 70 ps and a similar or equal to 9 dB reduction in reference spur level across the PLL output frequency range 2.4-2.5 GHz. The presented CP calibration technique compensates for the DC current mismatch and the mismatch due to channel length modulation effect and therefore improves the performance of CP-PLLs in nano-meter CMOS implementations. (C) 2015 Elsevier Ltd. All rights reserved.