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.

Role of degree of saturation in denitrification of unsaturated sand specimens

Nitrate contamination of groundwater arises from anthropogenic activities, such as, fertilizer and animal manure applications and infiltration of wastewater/leachates. During migration of wastewater and leachates, the vadose zone (zone residing above the groundwater table), is considered to facilitate microbial denitrification. Particle voids in vadose zone are deficient in dissolved oxygen as the voids are partially filled by water and the remainder by air. Discontinuities in liquid phase would also restrict oxygen diffusion and therefore facilitate denitrification in the vadose/unsaturated soil zone. The degree of saturation of soil specimen (S (r)) quantifies the relative volume of voids filled with air and water. Unsaturated specimens have S (r) values ranging between 0 and 100 %. Earlier studies from naturally occurring nitrate losses in groundwater aquifers in Mulbagal town, Kolar District, Karnataka, showed that the sub-surface soils composed of residually derived sandy soil; hence, natural sand was chosen in the laboratory denitrification experiments. With a view to understand the role of vadose zone in denitrification process, experiments are performed with unsaturated sand specimens (S (r) = 73-90 %) whose pore water was spiked with nitrate and ethanol solutions. Experimental results revealed 73 % S (r) specimen facilitates nitrate reduction to 45 mg/L in relatively short durations of 5.5-7.5 h using the available natural organic matter (0.41 % on mass basis of sand); consequently, ethanol addition did not impact rate of denitrification. However, at higher S (r) values of 81 and 90 %, extraneous ethanol addition (C/N = 0.5-3) was needed to accelerate the denitrification rates.

Development, in vitro and in vivo characterization of zoledronic acid functionalized hydroxyapatite nanoparticle based formulation for treatment of osteoporosis in animal model

We investigated the potential of using novel zoledronic acid (ZOL)-hydroxyapatite (HA) nanoparticle based drug formulation in a rat model of postmenopausal osteoporosis. By a classical adsorption method, nanoparticles of HA loaded with ZOL (HNLZ) drug formulation with a size range of 100-130 nm were prepared. 56 female Wistar rats were ovariectomized (OVX) or sham-operated at 3 months of age. Twelve weeks post surgery, rats were randomized into seven groups and treated with various doses of HNLZ (100, 50 and 25 mu g/kg, intravenous single dose), ZOL (100 mu g/kg, intravenous single dose) and HA nanoparticle (100 mu g/kg, intravenous single dose). Untreated OVX and sham OVX served as controls. After three months treatment period, we evaluated the mechanical properties of the lumbar vertebra and femoral mid-shaft. Femurs were also tested for trabecular microarchitecture. Sensitive biochemical markers of bone formation and bone resorption in serum were also determined. With respect to improvement in the mechanical strength of the lumbar spine and the femoral mid-shaft, the therapy with HNLZ drug formulation was more effective than ZOL therapy in OVX rats. Moreover, HNLZ drug therapy preserved the trabecular microarchitecture better than ZOL therapy in OVX rats. Furthermore, the HNLZ drug formulation corrected increase in serum levels of bone-specific alkaline phosphatase, procollagen type I N-terminal propeptide, osteocalcin, tartrate-resistant acid phosphatase 5b and C-telopeptide of type 1 collagen better than ZOL therapy in OVX rats. The results strongly suggest that HNLZ novel drug formulation appears to be more effective approach for treating severe osteoporosis in humans. (C) 2014 Elsevier B.V. All rights reserved.

The Evolution of Animal Welfare and the 3Rs in Brazil, China, and India

Increasingly, scientific collaborations and contracts cross country borders. The need for assurance that the quality of animal welfare and the caliber of animal research conducted are equivalent among research partners around the globe is of concern to the scientific and laboratory animal medicine communities, the general public, and other key stakeholders. Therefore, global harmonization of animal care and use standards and practices, with the welfare of the animals as a cornerstone, is essential. In the evolving global landscape of enhanced attention to animal welfare, a widely accepted path to achieving this goal is the successful integration of the 3Rs in animal care and use programs. Currently, awareness of the 3Rs, their implementation, and the resulting animal care and use standards and practices vary across countries. This variability has direct effects on the animals used in research and potentially the data generated and may also have secondary effects on the country's ability to be viewed as a global research partner. Here we review the status of implementation of the 3Rs worldwide and focus on 3 countries-Brazil, China and India-with increasing economic influence and an increasing footprint in the biomedical research enterprise.

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.

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.

Experimental Investigations on Interaction of Two Drops by Thermocapillary-Buoyancy Migration

Experiments were performed, in a terrestrial environment, to study the migration and interaction of two drops with different diameters in matrix liquid under temperature gradient field. Pure soybean oil and silicon oil were used as matrix liquid and the drop liquid, respectively. The information on the motions of two drops was recorded by CCD camera system in the experiments to analyze the trajectories and velocities of the drops. Our experiments showed that, upon two drops approaching each other, the influence of the larger drop on the motion of the smaller one became significant. Meanwhile the smaller drop had a little influence on the larger one all the time. The oscillation of migration velocities of both drops was observed as they were approaching. For a short period the smaller drop even moved backward when it became side by side with the larger one during the migration. Although our experimental results on the behavior of two drops are basically consistent with the theoretical predictions, there are also apparent differences. 2006 Elsevier Ltd. All rights reserved. Keywords: Thermocapillary migration; Drop; Interaction; Oscillation 1. Introduction A bubble or drop will move when placed in another fluid with temperature gradient. This motion happens as a consequence of the variation of interfacial tension with temperature. Such a phenomenon is already known as Marangoni migration problem. With the development of microgravity science, bubble dynamics and droplet dynamics became a hot point problem of research because this investigation is very important for basic research as well as for applications in reduced gravity environment, such as space material science, chemical engineering and so on. Young et al. first investigated the thermocapillary migration of

Experimental investigation of thermocapillary migration of isolated drops

Experimental hardware has been developed to perform experiments on the Marangoni migration of drops in the case of intermediate Reynolds numbers in a microgravity environment. The experiments were conducted using the drop shaft free fall facility with a 4.5 second microgravity period in the Microgravity Laboratory of Japan. In this experiment, the thermocapillary velocity of drop migration was measured for drops of different sizes in a series of temperature gradients.

Caracterización de subproductos no convencionales en la alimentación animal

El presente estudio se realizó en 30 empresas ubicadas en la Zona Centro Occidental de Nicaragua, con el objetivo de buscar alternativas de alimentación para los animales en la época del verano. Se realizó un censo de las empresas abastecedoras de subproductos, se llenó una ficha de encuesta y se efectuó un muestreo de cada uno de los subproductos que se procesaban en dichas empresas. A cada muestra se le realizó análisis bromatológicos. según metodología de la A.O.A.C., (1984). De los 27 subproductos analizados 16 son considerados basura y se botan, el resto de los subproductos se venden. Se eligieron 5 subproductos de importancia para la alimentación animal, los cuales no son utilizados de forma alguna y son destinados a la basura como es el caso del Tomate, Banano, Levadura, Camarón y Pescado. Todos a excepción del Tomate son procesados durante casi todo el año y éste último su período de cosecha coincide con la época seca. Estos cinco subproductos tienen un buen contenido en nutrientes y algunos constituyen una enorme cantidad de desperdicio.

Prácticas productivas de sanidad animal comprendidas desde: 1 Oct - 17 Dic 1992

I. INTRODUCCION..............1; 1.1. Objetivos................ 3; 1.2. Deberes y Derechos........4; 1.3. Logros obtenidos...........5; II. CARACTERIZACION DEL CENTRO DE PRODUCCION...........6; III. GINECOLOGIA Y OBSTETRICIA......................16; IV. SANIDAD ANIMAL.......34; 4.1. Anatomía patológica (necropsia>.... 34; 4.2. Parasitología.....38; 4.3. Epizootiología....42; V. SITUACION TOXICOLOGICA DE LA ZONA.....46; VI. EVALUACION DE LAS PERDIDAS ECONOMICAS.....49; VII. CONCLUSIONES........54; VIII. RECOMENDACIONES.......55; IX. BIBLIOGRAFIA.........56; X. ANEXOS .............57

Unsteady Model of Drop Marangoni Migration in Microgravity

The experiments of drop Marangoni migration have been performed by the drop shift facility of short period of 4.5 s, and the drop accelerates gradually to an asymptotic velocity during the free fall. The unsteady and axisymmetric model is developed to study the drop migration for the case of moderate Reynolds number Re = O(1), and the results are compared with the experimental ones in the present paper. Both numerical and experimental results show that the migration velocity for moderate Reynolds number is several times smaller than that given by the linear YGB theory.

Determinacion de frecuencia de politraumatismo oseo (ptos) en mascotas caninas en el hospital animal El Dorado

Ante la falta de información acerca de la frecuencia, diagnóstico, tratamiento y primeros auxilios de la mascota canina politraumatizada en nuestro país, y la falta de medios para la praxis ortopédica, se propuso este estudio de tesis; cuyo titulo es: Determinación de frecuencia de politraumatismo óseo con diagnostico radiológico en mascotas caninas en el Hospital Animal El Dorado. Para lo cual se procedió a establecer los siguientes objetivos: la evaluación de la frecuencia de politraumatismos óseos (PTO) atendidos en la clínica veterinaria El Dorado con diagnostico radiológico, para esto se realizó dicho estudio en un periodo de 3 meses, en el cual se estudiaron expedientes y recopilación de datos, con este estudio de tesis se logró comprobar que la mayor afectación por fracturas la sufren los canes de raza criolla, seguidos por los Pastores Alemanes, así mismo se determinó que el manejo de las mascotas es determinante y predisponente a que una mascota sufra una fractura. Se identificó que los animales menores de 2 años sufren mayormente fracturas. Se concluyó que debido a los altos costos de la praxis, muchos veterinarios no atienden a sus pacientes y también debido a la misma razón muchos dueños de mascotas optan por la eutanasia o simplemente dejan que el tiempo repare las fracturas. Este estudio pretende ser una herramienta que permita al estudiante de Medicina Veterinaria tener un mayor entendimiento acerca de los politraumatismos. Para el profesional una referencia. Se concluyó que la raza y edad de las mascotas, así mismo, como la época del año (invierno) son factores determinantes en el surgimiento de Politraumatismo óseo, los cuales se localizan con mayor frecuencia en mascotas a nivel cubito/radio, fémur, tibia y peroné, la terapia mayormente utilizada fue la conservadora mediante el uso de férulas seguida de la quirúrgica con el uso de cerclaje.

Estudio general de las politicas vigentes en cuarentena animal de Nicaragua, en los puestos fronterizos El Espino y Peñas Blancas en el periodo de Enero-Mayo 2009

En Nicaragua existen leyes, requisitos, y procedimientos que se aplican, para llevar a cabo la protección agropecuaria a nivel de los puestos fronterizos del país, por eso se propuso este trabajo monográfico que lleva por título "Estudio de las políticas vigentes en cuarentena animal de Nicaragua en los puestos fronterizo El Espino y Peñas Blancas en el periodo de Enero a Mayo del 2009", el cual se baso en los procedimientos de inspección en cuarentena animal, productos y subproductos según la Ley Básica de Salud Animal y Sanidad Vegetal (Ley 291). Este estudio se realizo en un periodo de cinco meses mediante la estadía en dichos puestos, los datos recopilados se obtuvieron de formatos oficiales de la Dirección General de protección agropecuaria (DGPSA) dentro de ellos tenemos los certificados zoosanitarios, permisos de importación, formatos de inspección, actas de retención, decomiso, destrucción y rechazo. Se confirmo que los puestos cumplen con los procedimientos de inspección cuarentenaria tomando en cuenta la ley 291 y manuales de inspección. Durante la etapa de investigación constatamos que existe una gran discrepancia entre el Puesto de El Espino y Peñas Blancas, tanto en el trabajo a realizar como en instalaciones, no obstante. ambos puestos carecen de instalaciones adecuadas para la inspección, cuentan con bajo presupuesto y poco personal, pero a pesar de las condíciones en que se encuentran los inspectores realizan un arduo esfuerzo por efectuar su trabajo. Se recomienda que todos los puestos cuarentenarios del país cumplan con las condiciones adecuadas, infraestructuras seguras y personal profesionalmente capacitado y debidamente actualizado con las enfermedades exóticas que puedan ingresar al país.

Planar Thermocapillary Migration of Two Bubbles in Microgravity Environment

A theoretical investigation is performed on the thermocapillary motion of two bubbles in arbitrary configuration in microgravity environment under the assumption that the surface tension is high enough to keep the bubbles spherical. The two bubbles are dr