Discovering Math APIs by Mining Unit Tests

In today's API-rich world, programmer productivity depends heavily on the programmer's ability to discover the required APIs. In this paper, we present a technique and tool, called MATHFINDER, to discover APIs for mathematical computations by mining unit tests of API methods. Given a math expression, MATHFINDER synthesizes pseudo-code to compute the expression by mapping its subexpressions to API method calls. For each subexpression, MATHFINDER searches for a method such that there is a mapping between method inputs and variables of the subexpression. The subexpression, when evaluated on the test inputs of the method under this mapping, should produce results that match the method output on a large number of tests. We implemented MATHFINDER as an Eclipse plugin for discovery of third-party Java APIs and performed a user study to evaluate its effectiveness. In the study, the use of MATHFINDER resulted in a 2x improvement in programmer productivity. In 96% of the subexpressions queried for in the study, MATHFINDER retrieved the desired API methods as the top-most result. The top-most pseudo-code snippet to implement the entire expression was correct in 93% of the cases. Since the number of methods and unit tests to mine could be large in practice, we also implement MATHFINDER in a MapReduce framework and evaluate its scalability and response time.

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.

Effect of the pyrethroid insecticide fenvalerate on sodium current of rat dorsal root ganglion neuron

Fenvalerate is a widely used pyrethroid insecticide. The report presents our findings on the effect of fenvalerate on isolated whole-cell sodium currents in single rat dorsal root ganglionic neurons in culture, studied with patch-clamp technique. Fenvalerate decreased the amplitude of whole-cell sodium current and slowed the inactivation and tail current kinetics.

Multivariate PLS Modeling of Apicomplexan FabD-Ligand Interaction Space for Mapping Target-Specific Chemical Space and Pharmacophore Fingerprints

Biomolecular recognition underlying drug-target interactions is determined by both binding affinity and specificity. Whilst, quantification of binding efficacy is possible, determining specificity remains a challenge, as it requires affinity data for multiple targets with the same ligand dataset. Thus, understanding the interaction space by mapping the target space to model its complementary chemical space through computational techniques are desirable. In this study, active site architecture of FabD drug target in two apicomplexan parasites viz. Plasmodium falciparum (PfFabD) and Toxoplasma gondii (TgFabD) is explored, followed by consensus docking calculations and identification of fifteen best hit compounds, most of which are found to be derivatives of natural products. Subsequently, machine learning techniques were applied on molecular descriptors of six FabD homologs and sixty ligands to induce distinct multivariate partial-least square models. The biological space of FabD mapped by the various chemical entities explain their interaction space in general. It also highlights the selective variations in FabD of apicomplexan parasites with that of the host. Furthermore, chemometric models revealed the principal chemical scaffolds in PfFabD and TgFabD as pyrrolidines and imidazoles, respectively, which render target specificity and improve binding affinity in combination with other functional descriptors conducive for the design and optimization of the leads.

Yielding of sensitive clays: micromechanical considerations

Test results reported on several natural sensitive soils show significant anisotropy of the yield curves, which are generally oriented along the coefficient of earth pressure at rest (K-0) axis. An attempt is made in this paper to explain the anisotropy in yielding from microstructural considerations. An elliptic pore, with particle domains aligned along the periphery of the pore, and with the major axis of the pore being oriented along the direction of the in situ major principal stress, is chosen as the unit of microstructure. An analysis of forces at the interdomain contacts around the ellipse is carried out with reference to experimentally determined yield stress conditions of one soil, and a yield criteria is defined. The analysis, with the proposed yield criteria, enables one to define the complete yield curve for any other soil from the results of only two tests (one constant eta compression test with eta close to eta(K?0), where eta is the stress ratio (= q/p) and eta(K?0) is the stress ratio corresponding to anisotropic K-0 compression, and another undrained shear test). Predicted yield curves are compared with experimental yield curves of several soils reported in the literature.

Improved root t method to evaluate consolidation test results - Discussion

Taylor (1948) suggested the method for determination of the settlement, d, corresponding to 90% consolidation utilizing the characteristics of the degree of consolidation, U, versus the square root of the time factor, square root of T, plot. Based on the properties of the slope of U versus square root of T curve, a new method is proposed to determine d corresponding to any U above 70% consolidation for evaluation of the coefficient of consolidation, Cn. The effects of the secondary consolidation on the Cn value at different percentages of consolidation can be studied. Cn, closer to the field values, can be determined in less time as compared to Taylor's method. At any U in between 75 and 95% consolidation, Cn(U) due to the new method lies in between Taylor's Cn and Casagrande's Cn.

Interference of Two Closely Spaced Strip Footings on Sand Using Model Tests

By using small scale model tests, the interference effect on the ultimate bearing capacity of two closely spaced strip footings, placed on the surface of dry sand, was investigated. At any time, the footings were assumed to (1) carry exactly the same magnitude of load; and (2) settle to the same extent. No tilt of the footing was allowed. The effect of clear spacing (s) between two footings was explicitly studied. An interference of footings leads to a significant increase in their bearing capacity; the interference effect becomes even more substantial with an increase in the relative density of sand. The bearing capacity attains a peak magnitude at a certain (critical) spacing between two footings. The experimental observations presented in this technical note were similar to those given by different available theories. However, in a quantitative sense, the difference between the experiments and theories was seen to be still significant and it emphasizes the need of doing a further rigorous analysis in which the effect of stress level on the shear strength parameters of soil mass can be incorporated properly.

Ion conductance in electrolyte solutions

We develop a new theoretical formulation to study ion conductance in electrolyte solutions, based on a mode coupling theory treatment of the electrolyte friction. The new theory provides expressions for both the ion atmosphere relaxation and electrophoretic contributions to the total electrolyte friction that acts on a moving ion. While the ion atmosphere relaxation term arises from the time-dependent microscopic interaction of the moving ion with the surrounding ions in the solution, the electrophoretic term originates from the coupling of the ion's velocity to the collective current mode of the ion atmosphere. Mode coupling theory, combined with time-dependent density functional theory of ion atmosphere fluctuations, leads to self-consistent expressions for these two terms which also include the effects of self-motion of the ion under consideration. These expressions have been solved for the concentration dependence of electrolyte friction and ion conductance. It is shown that in the limit of very low ion concentration, the present theory correctly reduces to the well-known Debye-Huckel-Onsager limiting law which predicts a linear dependence of conductance on the square root of ion concentration (c). At moderate and high concentrations, the present theory predicts a significant nonlinear and weaker dependence on root c which is in very good agreement with experimental results. The present theory is self-contained and does not involve any adjustable parameter.

Influence of electroslag refining on the hot ductility of AISI 4340 steel in torsion

Electroslag refining is a useful remelting process by which clean steels can be produced for sophisticated applications. In this investigation, AISI 4340 steel has been electroslag refined and the improvement in its hot ductility has been assessed using hot torsion tests; electroslag refining has improved the hot ductility considerably. The temperature at which peak ductility is obtained has also increased — from 1473 K in the unrefined steel to 1573 K in ESR steel. Results indicate that it should be possible to subject the ESR ingot to much higher strains per unit operation during industrial hot working processes such as forging, which would result in a considerable saving of power. The improvement in hot ductility in ESR steel has been attributed primarily to the removal of non-metallic inclusions and the reduction in sulphur content. From the apparent activation energy estimated from the hot torsion data, the dynamic recrystallization process is identified as the mechanism controlling the rate of hot deformation.

A linear root water uptake model

A model of root water extraction is proposed, in which a linear variation of extraction rate with depth is assumed. Five crops are chosen for simulation studies of the model, and soil moisture depletion under optimal conditions from different layers for each crop is calculated. Similar calculations are also made using the constant extraction rate model. Rooting depth is assumed to vary linearly with potential evapotranspiration for each crop during the vegetative phase. The calculated depletion patterns are compared with measured mean depletion patterns for each crop. It is shown that the constant extraction rate model results in large errors in the prediction of soil moisture depletion, while the proposed linear extraction rate model gives satisfactory results. Hypothetical depletion patterns predicted by the model in combination with a moisture tension-dependent sink term developed elsewhere are indicated.

Analysis of EXCOBULLE two-phase expansion tests

analysis of a complex physical problem and the close agreement they achieved with observations. However, the following points need to be clarified. First of all the authors assume that during the initial phases of expansion, the Tayior's instability sets in due to the acceleraacceleration of lighter fluid against the more dense cold water.

Dynamic Properties Of Soils From Insitu Tests - Discussion

Various field test (namely vibration tests on blocks or plates, steady-state vibration or Rayleigh wave tests, wave propagation tests, and cyclic load tests) were conducted at a number of sites in India to determine the dynamic shear modulus, G. Data obtained at different sites are described. The values of G obtained from the different tests at a given site vary widely. The rational approach for selecting the value of G from field tests for use in the analysis and design of soil-structure interaction problems under dynamic loads must account for the factors affecting G. The suggested approach, which provides a possible answer, is suitable in cohesionless soils below the water table where it is rather difficult, if not impossible, to obtain undisturbed samples.

Tubulin synthesis and auxin-induced root initiation in phaseolus

The auxin-induced formation of roots in the hypocotyls of Phaseolus vulgaris can be prevented by treatment with actinomycin D, colchicine or cytochalasin B if applied within 40 hr of initiation. Shortly after auxin pretreatment, there is an increase in translatable messenger RNA activity. Analysis of the labelled cell-free products indicate, among other changes, a striking increase in a protein co-migrating with tubulin, in the case of RNA isolated from indolebutyric acid (IBA) pretreated hypocotyls. An increase in tubulin content in vivo can also be demonstrated on the basis of SDS-polyacrylamide gel analysis of membrane proteins and functional assays for tubulin polymerization. An increase in the synthesis of tubulin in vivo can also be demonstrated after IBA pretreatment. In addition, the auxin is also able to promote tubulin polymerization when added in vitro. It is suggested that tubulin synthesis and microtubule assembly are early events in auxin-mediated root differentiation.

The mean geometry of the peptide unit from crystal structure data

The average dimensions of the peptide unit have been obtained from the data reported in recent crystal structure analyses of di- and tripeptides. The bond lengths and bond angles agree with those in common use, except for the bond angle C---N---H, which is about 4° less than the accepted value, and the angle C2α---N---H which is about 4° more. The angle τ (Cα) has a mean value of 114° for glycyl residues and 110° for non-glycyl residues. Attention is directed to these mean values as observed in crystal structures, as they are relevant for model building of peptide chain structures.