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.

Melting of an Anchored Bilayer: Molecular Dynamics Simulations of the Structural Transition in (CnH2n+1NH3)(2)PbI4 (n=12, 14, 16, 18)

The thermally driven Structural phase transition in the organic-inorganic hybrid perovskite (CnH2n+1NH3)(2)PbI4 has been investigated using molecular dynamics (MD) simulations. This system consists of positively charged alkyl-amine chains anchored to a rigid negatively charged PbI4 sheet with the chains organized as bilayers with a herringbone arrangement. Atomistic simulations were performed using ail isothermal-isobaric ensemble over a wide temperature range from 65 to 665 K for different alkyl chain lengths, n = 12, 14, 16, and 18. The simulations are able to reproduce the essential Features of the experimental observations of this system, including the existence of a transition, the linear variation of the transition temperature with alkyl chain length, and the expansion of the bilayer thickness at the transition. By use of the distance fluctuation Criteria, it is Shown that the transition is associated With a Melting of the alkyl chains of the anchored bilayer. Ail analysis of the conformation of the alkyl chains shows increased disorder in the form of gauche defects above due melting transition. Simulations also show that the melting transition is characterized by the complete disappearance of all-trans alkyl chains in the anchored bilayer, in agreement with experimental observations. A conformationally disordered chain has a larger effective cross-sectional area, and above due transition a uniformly tilted arrangement of the anchored chains call no longer be Sustained. At the melt the angular distribution of the orientation of the chains are 110 longer uniform; the chains are splayed allowing for increased space for individual chains of the anchored bilayer. This is reflected in a sharp rise in the ratio of the mean head-to-head to tail-to-tail distance of the chains of the bilayer at the transition resulting in in expansion of the bilayer thickness. The present MD simulations provide a simple explanation as to how changes in conformation of individual alkyl-chains gives rise to the observed increase in the interlayer lattice spacing of (CnH2n+1NH3)(2)PbI4 at the melting transition.

Asymmetry in structural and thermo-mechanical behavior of intermetallic NiAl nanowire under tensile/compressive loading: A molecular dynamics study

The asymmetric stress strain behavior under tension/compression in an initial < 100 > B-2-NiAl nanowire is investigated considering two different surface configurations i.e., < 100 >/(0 1 0) (0 0 1) and < 100 >/(0 1 1) (0 - 1 1). This behavior is attributed to two different deformation mechanisms namely a slip dominated deformation under compression and a known twinning dominated deformation under tension. It is also shown that B2 -> BCT (body-centered-tetragonal) phase transformation under tensile loading is independent of the surface configurations for an initial < 100 > oriented NiAl nanowire. Under tensile loading, the nanowire undergoes a stress-induced martensiticphase transformation from an initial B2 phase to BCT phase via twinning along {110} plane with failure strain of similar to 0.30. On the other hand, a compressive loading causes failure of these nanowires via brittle fracture after compressive yielding, with a maximum failure strain of similar to-0.12. Such brittle fracture under compressive loading occurs via slip along {110} plane without any phase transformations. Softening/hardening behavior is also reported for the first time in these nanowires under tensile/compressive loadings, which cause asymmetry in their yield strength behavior in the stress strain space. Result shows that a sharp increase in energy with increasing strain under compressive loading causes hardening of the nanowire, and hence, gives improved yield strength as compared to tensile loading. (C) 2010 Elsevier Ltd. All rights reserved.

Synthesis, Reactivity, Structural Aspects, and Solution Dynamics of Cyclopalladated Compounds of N,N `,N `'-Tris(2-anisyl)guanidine

N,N',N `'-Tris(2-anisyl)guanidine, (ArNH)(2)C=NAr (Ar = 2-(MeO)C6H4), was cyclopallaclated with Pd(OC(O)R)(2) (R = Me, CF3) in toluene at 70 degrees C to afford palladacycles Pd{kappa(2)(C,N)-C6H3-(OMe)-3(NHC(NHAr)(=NAr))-2}(mu-OC(O)R)](2)(R = Me (1a) and CF3 (1b)) in 87% and 95% yield, respectively. Palladacycle 1a was subjected to a metathetical reaction with LiBr in aqueous ethanol at 78 degrees C to afford palladacycle Pd{kappa(2)(C,N)-C6H3(OMe)-3(NHC(NHAr)(=NAr))-2}(mu-Br)](2) (2) in 90% yield. Palladacycle 2 was subjected to a bridge-splitting reaction with Lewis bases in CH2Cl2 to afford the monomeric palladacycles Pd{kappa(2)(C,N)-C6H3(OMe)-3(NHC(NHAr)(=NAr))-2}Br(L)] (L = 2,6-Me2C5H3N (3a), 2,4-Me2C5H3N (3b), 3,5-Me2C5H3N (3c), XyNC (Xy = 2,6-Me2C6H3; 4a), (BuNC)-Bu-t (4b), and PPh3 (5)) in 87-95% yield. Palladacycle 2 upon reaction with 2 equiv of XyNC in CH2Cl2 afforded an unanticipated palladacycle, Pd{kappa(2)(C,N)-C(=NXy)(C6H3(OMe)-4)-2(N=C-(NH Ar)(2))-3} Br(CNXy)] (6) in 93% yield, and the driving force for the formation of 6 was ascribed to a ring contraction followed by amine-imine tautomerization. Palladacycles 1 a,b revealed a dimeric transoid in-in conformation with ``open book'' framework in the solid state. In solution, 1 a exhibited a fluxional behavior ascribed to the six-membered ``(C,N)Pd'' ring inversion and partly dissociates to the pincer type and kappa(2)-O,O'-OAc monomeric palladacycles by an anchimerically assisted acetate cleavage process as studied by variable-temperature H-1 NMR data. Palladacycles 3a,b revealed a unique trans configuration around the palladium with lutidine being placed trans to the Pd-C bond, whereas cis stereochemistry was observed between the Pd-C bond and the Lewis base in 4a (as determined by X-ray diffraction data) and 5 (as determined by P-31 and C-13 NMR data). The aforementioned stereochemical difference was explained by invoking relative hardness/softness of the donor atoms around the palladium center. In solution, palladacycles 3a-c exist as a mixture of two interconverting boat conformers via a planar intermediate without any bond breaking due to the six-membered ``(C,N)Pd'' ring inversion, whereas palladacycles 4a,b and 5 exist as a single isomer, as deduced from detailed H-1 NMR studies.

Brownian dynamics simulation of dense binary colloidal mixtures. I. Structural evolution and dynamics

We have carried out Brownian dynamics simulations of binary mixtures of charged colloidal suspensions of two different diameter particles with varying volume fractions phi and charged impurity concentrations n(i). For a given phi, the effective temperature is lowered in many steps by reducing n(i) to see how structure and dynamics evolve. The structural quantities studied are the partial and total pair distribution functions g(tau), the static structure factors, the time average g(<(tau)over bar>), and the Wendt-Abraham parameter. The dynamic quantity is the temporal evolution of the total meansquared displacement (MSD). All these parameters show that by lowering the effective temperature at phi = 0.2, liquid freezes into a body-centered-cubic crystal whereas at phi = 0.3, a glassy state is formed. The MSD at intermediate times shows significant subdiffusive behavior whose time span increases with a reduction in the effective temperature. The mean-squared displacements for the supercooled liquid with phi = 0.3 show staircase behavior indicating a strongly cooperative jump motion of the particles.

Structural characterization and chain dynamics of poly(alpha-methylstyrene peroxide) by NMR spectroscopy

Poly(alpha-methylstyrene peroxide) has been synthesized and characterized spectroscopically. The H-1 and C-13 NMR spectra are shown to reveal the stereochemical features and the endgroups in the peroxide chain. The preliminary studies on the chain dynamics of the polyperoxide chain has been done by measuring the spin-lattice relaxation times (T-1) of the main chain as well as the side chain carbons. It has been shown from the dependence of the spin-lattice relaxation times that the polyperoxide chain is more flexible compared to the corresponding hydrocarbon-backbone analog.

Structural characterisation of a uracil containing hairpin DNA by NMR and molecular dynamics

Three-dimensional (3D) structure of a hairpin DNA d-CTAGAGGATCCTTTUGGATCCT (22mer; abbreviated as U4-hairpin), which has a uracil nucleotide unit at the fourth position from the 5' end of the tetra-loop has been solved by NMR spectroscopy. The H-1 resonances of this hairpin have been assigned almost completely. NMR restrained molecular dynamics and energy minimisation procedures have been used to describe the 3D structure of the U4 hairpin. This study establishes that the stem of the hairpin adopts a right handed B-DNA conformation while the T-12 and U-15 nucleotide stack upon 3' and 5' ends of the stem, respectively. Further, T-14 stacks upon both T-12 and U-15 while T-13 partially stacks upon T-14. Very weak stacking interaction is observed between T-13 and T-12. All the individual nucleotide bases adopt 'anti' conformation with respect to their sugar moiety. The turning phosphate in the loop is located between T-13 and T-14. The stereochemistry of U-15 mimics the situation where uracil would stack in a B-DNA conformation. This could be the reason as to why the U4-hairpin is found to be the best substrate for its interaction with uracil DNA glycosylase (UDG) compared to the other substrates in which the uracil is at the first, second and third positions of the tetra-loop from its 5' end, as reported previously.

Synthesis, structural characterization, thermal studies and chain dynamics of poly(methacrylonitrile peroxide) by NMR spectroscopy

Poly(methacrylonitrile peroxide) (PMNP) has been synthesized from methacrylonitrile by free radical initiated oxidative polymerization and characterized by different spectroscopic methods. NMR spectroscopy confirmed the alternating copolymer structure with labile peroxy bonds in the main chain. The extreme instability of PMNP was noted from FTIR spectroscopy. Thermal degradation studies by using differential scanning calorimetry and thermogravimetry have revealed that PMNP degrades highly exothermically and the heat of degradation, 42.5 kcal mol−1, is of the same order as that reported for other vinyl polyperoxides. Mass spectral fragmentation pattern under electron impact (EI) condition has also been investigated. The mechanism of the primary exothermic degradation has been substantiated by thermochemical calculations. The chain dynamics of the polyperoxide chain has been studied by means of 13C spin–lattice relaxation times (T1) of the main chain as well as the side chain carbons. The temperature dependence of the spin–lattice relaxation times shows that the PMNP is more flexible compared to the analogous poly(styrene peroxide).

Intermittent Dynamics, Stochastic Resonance and Dynamical Heterogeneity in Supercooled Liquid Water

Here we find through computer simulations and theoretical analysis that the low temperature thermodynamic anomalies of liquid water arises from the intermittent fluctuation between its high density and low density forms, consisting largely of 5-coordinated and 4-coordinated water molecules, respectively. The fluctuations exhibit strong dynamic heterogeneity (defined by the four point time correlation function), accompanied by a divergence like growth of the dynamic correlation length, of the type encountered in fragile supercooled liquids. The intermittency has been explained by invoking a two state model often employed to understand stochastic resonance, with the relevant periodic perturbation provided here by the fluctuation of the total volume of the system.

Stability of Dimeric Interface in Banana Lectin: Insight from Molecular Dynamics Simulations

Banana lectin (Banlec) is a homodimeric non-glycosylated protein. It exhibits the b-prism I structure. High-temperature molecular dynamics simulations have been utilized to monitor and understand early stages of thermally induced unfolding of Banlec. The present study elucidates the behavior of the dimeric protein at four different temperatures and compares the structural and conformational changes to that of the minimized crystal structure. The process of unfolding was monitored by following the radius of gyration, the rms deviation of each residue, change in relative solvent accessibility and the pattern of inter- and intra-subunit interactions. The overall study demonstrates that the Banlec dimer is a highly stable structure, and the stability is mostly contributed by interfacial interactions. It maintains its overall conformation during high-temperature (400–500 K) simulations, with only the unstructured loop regions acquiring greater momentum under such condition. Nevertheless, at still higher temperatures (600 K) the tertiary structure is gradually lost which later extends to loss of secondary structural elements. The pattern of hydrogen bonding within the subunit and at the interface across different stages has been analyzed and has provided rationale for its intrinsic high stability.

Ultrafast Solvation Dynamics of an Ion in the gamma-Cyclodextrin Cavity: The Role of Restricted Environment

A detailed study of the solvation dynamics of a charged coumarin dye molecule in gamma-cyclodextrin/water has been carried out by using two different theoretical approaches. The first approach is based on a multishell continuum model (MSCM). This model predicts the time scales of the dynamics rather well, provided an accurate description of the frequency-dependent dielectric function is supplied. The reason for this rather surprising agreement is 2-fold. First, there is a cancellation of errors, second, the two-zone model mimics the heterogeneous microenvironment surrounding the ion rather well. The second approach is based on the molecular hydrodynamics theory (MI-IT). In this molecular approach, the solvation dynamics has been studied by restricting the translational motion of the solvent molecules enclosed within the cavity. The results from the molecular theory are also in good agreement with the experimental results. Our study indicates that, in the present case, the restricted environment affects only the long time decay of the solvation time correlation function. The short time dynamics is still governed by the librational (and/or vibrational) modes present in bulk water.

Hybrid structural control using magnetorheological dampers for base isolated structures

In this paper two nonlinear model based control algorithms have been developed to monitor the magnetorheological (MR) damper voltage. The main advantage of the proposed algorithms is that it is possible to directly monitor the voltage required to control the structural vibration considering the effect of the supplied and commanded voltage dynamics of the damper. The efficiency of the proposed techniques has been shown and compared taking an example of a base isolated three-storey building under a set of seismic excitations. Comparison of the performances with a fuzzy based intelligent control algorithm and a widely used clipped optimal strategy has also been shown.

Structural Polymorphism of the Nucleosomal DNA and Implications for Protein Binding

A nucleosome forms a basic unit of the chromosome structure. A biologically relevant question is how much of the nucleosomal conformational space is accessible to protein-free DNA, and what proportion of the nucleosomal conformations are induced by bound histones. To investigate this, we have analysed high resolution xray crystal structure datasets of DNA in protein-free as well as protein-bound forms, and compared the dinucleotide step parameters for the two datasets with those for high resolution nucleosome structures. Our analysis shows that most of the dinucleotide step parameter values for the nucleosome structures lie within the range accessible to protein-free DNA, indirectly indicating that the histone core plays more of a stabilizing role. The nucleosome structures are observed to assume smooth and nearly planar curvature, implying that ‘normal’ B-DNA like parameters can give rise to a curved geometry at the gross structural level. Different nucleosome

Dynamics Of Thermotropic Liquid Crystals Across The Isotropic-Nematic Transition And Their Similarity With Glassy Relaxation In Supercooled Liquids

No abstract.