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.

Mercury exposure Aasessment in fish and humans from Sundarban Mangrove Wetland of India

Present study had documented total mercury levels in six commonly consumed fish species, and performed across-sectional study on local residents to gauge their intake of fish (via dietary survey) and mercury exposure (via hair biomarker analyses). Mean total mercury content in edible composites of locally-caught fishes (topse, hilsa, mackerel, topse, sardinella, khoira) was low and ranged from 0.01 to 0.11 mu g g(-1) mercury, dry weight. In a cross-sectional study of 58 area residents, the mercury content in hair ranged from 0.25 to 1.23 mu g g(-1), with a mean of 0.65 +/- 0.23 mu g g(-1), Flair mercury level was not influenced by gender, age, or occupation. Mean number of meals consumed per week was 3.1 +/- 1.1, and all participants consumed at least one fish meal per week. When related to fish consumption, a significant positive association was found between number of fish meals consumed per week and hair mercury levels.

Fish Inspired Biomimetic Ionic Polymer-Metal Composite Pectoral Fins Using Labriform Propulsion

In this article, we analyze and design ionic polymer metal composite (IPMC) underwater propulsors inspired from swimming of labriform fishes. The structural model of the IPMC fin accounts for the electromechanical dynamics of the bean in water. A quasi steady blade element model that accounts for unsteady phenomena, such as added mass effects, dynamic stall, and cumulativeWagner effect is used to estimate the hydrodynamic performance. Dynamic characteristics of IPMC actuated flapping fins having the same size as the actual fins of three different fish species, Gomphosus varius, Scarus frenatus, and Sthethojulis trilineata, are analyzed using numerical simulations.

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.

On the ultrafast charge migration and subsequent charge directed reactivity in Cl center dot center dot center dot N halogen-bonded clusters following vertical ionization

In this article, we have presented ultrafast charge transfer dynamics through halogen bonds following vertical ionization of representative halogen bonded clusters. Subsequent hole directed reactivity of the radical cations of halogen bonded clusters is also discussed. Furthermore, we have examined effect of the halogen bond strength on the electron-electron correlation-and relaxation-driven charge migration in halogen bonded complexes. For this study, we have selected A-Cl (A represents F, OH, CN, NH2, CF3, and COOH substituents) molecules paired with NH3 (referred as ACl:NH3 complex): these complexes exhibit halogen bonds. To the best of our knowledge, this is the first report on purely electron correlation-and relaxation-driven ultrafast (attosecond) charge migration dynamics through halogen bonds. Both density functional theory and complete active space self-consistent field theory with 6-31+G(d, p) basis set are employed for this work. Upon vertical ionization of NCCl center dot center dot center dot NH3 complex, the hole is predicted to migrate from the NH3-end to the ClCN-end of the NCCl center dot center dot center dot NH3 complex in approximately 0.5 fs on the D-0 cationic surface. This hole migration leads to structural rearrangement of the halogen bonded complex, yielding hydrogen bonding interaction stronger than the halogen bonding interaction on the same cationic surface. Other halogen bonded complexes, such as H2NCl:NH3, F3CCl:NH3, and HOOCCl:NH3, exhibit similar charge migration following vertical ionization. On the contrary, FCl:NH3 and HOCl:NH3 complexes do not exhibit any charge migration following vertical ionization to the D-0 cation state, pointing to interesting halogen bond strength-dependent charge migration. (C) 2015 AIP Publishing LLC.

Factors affecting distribution of fish within a tidally drained mangrove forest in the Andaman and Nicobar Islands, India

Mangrove forests in meso-tidal areas are completely drained during low tides, forming only temporary habitats for fish. We hypothesised that in such temporary habitats, where stranding risks are high, distance from tidal creeks that provided access to inundated areas during receding tides would be the primary determinant of fish distribution. Factors such as depth, root density and shade were hypothesised to have secondary effects. We tested these hypotheses in a tidally drained mangrove patch in the Andaman Islands, India. Using stake nets, we measured fish abundance and species richness relative to distance from creeks, root density/m(2), shade, water depth and size (total length) of fish. We also predicted that larger fish (including potential predators) would be closer to creeks, as they faced a greater chance of mortality if stranded. Thus we conducted tethering trials to examine if predation would be greater close to the creeks. Generalised linear mixed effects models showed that fish abundance was negatively influenced by increasing creek distance interacting with fish size and positively influenced by depth. Quantile regression analysis showed that species richness was limited by increasing creek distance. Proportion of predation was greatest close to the creeks (0-25 m) and declined with increasing distance. Abundance was also low very close to the creeks, suggesting that close to the creeks predation pressure may be an important determinant of fish abundance. The overall pattern however indicates that access to permanently inundated areas, may be an important determinant of fish distribution in tidally drained mangrove forests.

Tracking the migration of the Indian continent using the carbonate clumped isotope technique on Phanerozoic soil carbonates

Approximately 140 million years ago, the Indian plate separated from Gondwana and migrated by almost 90 degrees latitude to its current location, forming the Himalayan-Tibetan system. Large discrepancies exist in the rate of migration of Indian plate during Phanerozoic. Here we describe a new approach to paleo-latitudinal reconstruction based on simultaneous determination of carbonate formation temperature and delta O-18 of soil carbonates, constrained by the abundances of C-13-O-18 bonds in palaeosol carbonates. Assuming that the palaeosol carbonates have a strong relationship with the composition of the meteoric water, delta O-18 carbonate of palaeosol can constrain paleo-latitudinal position. Weighted mean annual rainfall delta O-18 water values measured at several stations across the southern latitudes are used to derive a polynomial equation: delta(18)Ow = -0.006 x (LAT)(2) - 0.294 x (LAT) - 5.29 which is used for latitudinal reconstruction. We use this approach to show the northward migration of the Indian plate from 46.8 +/- 5.8 degrees S during the Permian (269 M. y.) to 30 +/- 11 degrees S during the Triassic (248 M. y.), 14.7 +/- 8.7 degrees S during the early Cretaceous (135 M. y.), and 28 +/- 8.8 degrees S during the late Cretaceous ( 68 M. y.). Soil carbonate delta O-18 provides an alternative method for tracing the latitudinal position of Indian plate in the past and the estimates are consistent with the paleo-magnetic records which document the position of Indian plate prior to 135 +/- 3 M. y.