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.

An Expeditious Asymmetric Synthesis of the Polyketide Unit Present in HIV-Inhibitory Depsipeptides Aetheramide A and B

The enantioselective synthesis of the polyketide unit present in depsipeptides aetheramide A and B, which possess potent HIV-inhibitory activity, is accomplished from a chiral furyl carbinol.

Design of an Automated Dispenser Unit

This paper presents our work on developing an automated micro positioner and a low cost disposable dispenser module having a disposable dispenser core. The dispenser core is made up of Polydimethylsiloxane (PDMS). Once the user specifies the dispensing location in the Graphical User Interface (GUI), the movement of the micropositioner is automatic. The design, fabrication and characterization results of the dispenser module are also presented. The dispensing experiments are performed with Di-Ethanol Amine as the working reagent. The minimum dispensed volume achieved is about 4 nL.

A Time-based Low Voltage Body Temperature Monitoring Unit

A neonatal temperature monitoring system operating in subthreshold regime that utilizes time mode signal processing is presented. Resistance deviations in a thermistor due to temperature variations are converted to delay variations that are subsequently quantized by a Delay measurement unit (DMU). The DMU does away with the need for any analog circuitry and is synthesizable entirely from digital logic. An FPGA implementation of the system demonstrates the viability of employing time mode signal processing, and measured results show that temperature resolution better than 0.1 degrees C can be achieved using this approach.

Traveling waves in trimer granular lattice I: Bifurcation structure of traveling waves in the unit-cell model

Present paper is the first one in the series devoted to the dynamics of traveling waves emerging in the uncompressed, tri-atomic granular crystals. This work is primarily concerned with the dynamics of one-dimensional periodic granular trimer (tri-atomic) chains in the state of acoustic vacuum. Each unit cell consists of three spherical particles of different masses subject to periodic boundary conditions. Hertzian interaction law governs the mutual interaction of these particles. Under the assumption of zero pre-compression, this interaction is modeled as purely nonlinear, which means the absence of linear force component. The dynamics of such chains is governed by the two system parameters that scale the mass ratios between the particles of the unit cell. Such a system supports two different classes of periodic solutions namely the traveling and standing waves. The primary objective of the present study is the numerical analysis of the bifurcation structure of these solutions with emphasis on the dynamics of traveling waves. In fact, understanding of the bifurcation structure of the traveling wave solutions emerging in the unit-cell granular trimer is rather important and can shed light on the more complex nonlinear wave phenomena emerging in semi-infinite trimer chains. (c) 2016 Elsevier B.V. All rights reserved.

Distribution of catch-per-unit-of-effort and fishing effort for tuna in the Eastern Tropical Pacific Ocean by months of the year 1951-1960

ENGLISH: Comparison of physical and biological environmental factors affecting the aggregation of tunas with the success of fishing by the commercial fleets, requires that catch and effort data be examined in greater detail than has been presented in these publications. Consequently, the United States Bureau of Commercial Fisheries Biological Laboratory, San Diego, to serve the needs of its program of research on causes of variations in tuna abundance, made arrangements with the Tuna Commission to summarize these catch and effort data by month, by one-degree area, by fishing vessel size-class, for the years 1951-1960 for bait boats and 1953-1960 for purse-seiners. The present paper describes the techniques employed in summarizing these data by automatic data processing methods. It also presents the catch and effort information by months, by five-degree areas and certain combinations of five-degree areas for use by fishermen, industry personnel, and research agencies. Because of space limitations and other considerations, the one-degree tabulations are not included but are available at the Tuna Commission and Bureau laboratories. SPANISH: La comparación de los factores ambientales físicos y biológicos que afectan la agrupación del atún, con el éxito obtenido en la pesca por las flotas comerciales, requiere que los datos sobre la captura y el esfuerzo sean examinados con mayor detalle de lo que han sido presentados en estas publicaciones. En consecuencia, el Laboratorio Biológico del Buró de Pesquerías Comerciales de los Estados Unidos, situado en San Diego, a fin de llenar los requisitos de su programa de investigación sobre las causas de las variaciones en la abundancia del atún, hizo arreglos con la Comisión del Atún para sumarizar esos datos sobre la captura y el esfuerzo por meses, por áreas de un grado, por clases de tamaño de las embarcaciones de pesca durante los años 1951-1960 en lo que concierne a los barcos de carnada y durante el período 1953-1960 en lo que respecta a los barcos rederos. El presente trabajo describe la técnica empleada en la sumarización de dichos datos mediante métodos automáticos de manejo de datos. También se da aquí la información sobre la captura y el esfuerzo por meses, por áreas de cinco grados y ciertas combinaciones de áreas de cinco grados para el uso de los pescadores, del personal de la industria y de las oficinas de investigación. Por falta de espacio y otras razones, las tabulaciones de las áreas de un grado no han sido incluídos en este trabajo, pero están a la disposición de quien tenga interés en los laboratorios de la Comisión del Atún y del Buró.

Catch-per-unit-effort and biological parameters from the Massachusetts coastal lobster (Homarus americanus) resource: Description and trends

Acomprehensive description of the Massachusetts coastal lobster (Homarus americanus) resou,rce was obtained by sampling commercial catches coastwide at sea and at dealerships between 1981 and 1986. Acommercial lobster sea-sampling program, wherein six coastal regions were sampled monthly, with an areal and temporal data weighting design, was the primary source of data. An improved index of catch per trap haul/set-over-day was generated by modeling the relationship between catch and immersion time and standardizing effort. This 6-year time-series of mean annual catch rates tracked closely the landings trend for territorial waters. During the study period there was a gradual increase in indices of exploitation and total annual mortality which corresponded to a gradual decline in mean carapace length of marketable lobster. The frequency of culls escalated from 10.0% in 1981 to 20.9% in 1986, while the percentage of lobster found dead in traps was consistently less than 1%. The sex ratio (%F:%M) was significantly different from 50:50 and approximated a 60:40 relationship during the study period. Male and female weight-length relationships were significantly different. Females weighed more than males at smaller sizes and less than males at larger sizes. A north-south clinal trend was evident wherein lobster north of Cape Cod weighed less at length than those from regions south of Cape Cod. Functional size-maturity relationships were developed for female lobster by staging cement gland development. Proportions mature at size represent more realistic values than those obtained by analyses of percent of females ovigerous. Regional variation occurred in most of the parameters studied. Three lobster groups, differing in major population descriptors, are defined by our data.(PDF file contains 28 pages.)

Clinical factors associated with a Candida albicans Germ Tube Antibody positive test in Intensive Care Unit patients

Background: Poor outcomes of invasive candidiasis (IC) are associated with the difficulty in establishing the microbiological diagnosis at an early stage. New scores and laboratory tests have been developed in order to make an early therapeutic intervention in an attempt to reduce the high mortality associated with invasive fungal infections. Candida albicans IFA IgG has been recently commercialized for germ tube antibody detection (CAGTA). This test provides a rapid and simple diagnosis of IC (84.4% sensitivity and 94.7% specificity). The aim of this study is to identify the patients who could be benefited by the use of CAGTA test in critical care setting. Methods: A prospective, cohort, observational multicentre study was carried out in six medical/surgical Intensive care units (ICU) of tertiary-care Spanish hospitals. Candida albicans Germ Tube Antibody test was performed twice a week if predetermined risk factors were present, and serologically demonstrated candidiasis was considered if the testing serum dilution was >= 1: 160 in at least one sample and no other microbiological evidence of invasive candidiasis was found. Results: Fifty-three critically ill non-neutropenic patients (37.7% post surgery) were included. Twenty-two patients (41.5%) had CAGTA-positive results, none of them with positive blood culture for Candida. Neither corrected colonization index nor antifungal treatment had influence on CAGTA results. This finding could corroborate that the CAGTA may be an important biomarker to distinguish between colonization and infection in these patients. The presence of acute renal failure at the beginning of the study was more frequent in CAGTA-negative patients. Previous surgery was statistically more frequent in CAGTA-positive patients. Conclusions: This study identified previous surgery as the principal clinical factor associated with CAGTA-positive results and emphasises the utility of this promising technique, which was not influenced by high Candida colonization or antifungal treatment. Our results suggest that detection of CAGTA may be important for the diagnosis of invasive candidiasis in surgical patients admitted in ICU.

Catches per unit of effort of bigeye tuna: a new analysis with regression trees and simulated annealing

ENGLISH: We analyzed catches per unit of effort (CPUE) from the Japanese longline fishery for bigeye tuna (Thunnus obesus) in the central and eastern Pacific Ocean (EPO) with regression tree methods. Regression trees have not previously been used to estimate time series of abundance indices fronl CPUE data. The "optimally sized" tree had 139 parameters; year, month, latitude, and longitude interacted to affect bigeye CPUE. The trend in tree-based abundance indices for the EPO was similar to trends estimated from a generalized linear model and fronl an empirical model that combines oceanographic data with information on the distribution of fish relative to environmental conditions. The regression tree was more parsimonious and would be easier to implement than the other two nl0dels, but the tree provided no information about the nlechanisms that caused bigeye CPUEs to vary in time and space. Bigeye CPUEs increased sharply during the mid-1980's and were more variable at the northern and southern edges of the fishing grounds. Both of these results can be explained by changes in actual abundance and changes in catchability. Results from a regression tree that was fitted to a subset of the data indicated that, in the EPO, bigeye are about equally catchable with regular and deep longlines. This is not consistent with observations that bigeye are more abundant at depth and indicates that classification by gear type (regular or deep longline) may not provide a good measure of capture depth. Asimulated annealing algorithm was used to summarize the tree-based results by partitioning the fishing grounds into regions where trends in bigeye CPUE were similar. Simulated annealing can be useful for designing spatial strata in future sampling programs. SPANISH: Analizamos la captura por unidad de esfuerzo (CPUE) de la pesquería palangrera japonesa de atún patudo (Thunnus obesus) en el Océano Pacifico oriental (OPO) y central con métodos de árbol de regresión. Hasta ahora no se han usado árboles de regresión para estimar series de tiempo de índices de abundancia a partir de datos de CPUE. EI árbol de "tamaño optimo" tuvo 139 parámetros; ano, mes, latitud, y longitud interactuaron para afectar la CPUE de patudo. La tendencia en los índices de abundancia basados en árboles para el OPO fue similar a las tendencias estimadas con un modelo lineal generalizado y con un modelo empírico que combina datos oceanográficos con información sobre la distribución de los peces en relación con las condiciones ambientales. EI árbol de regresión fue mas parsimonioso y seria mas fácil de utilizar que los dos otros modelos, pero no proporciono información sobre los mecanismos que causaron que las CPUE de patudo valiaran en el tiempo y en el espacio. Las CPUE de patudo aumentaron notablemente a mediados de los anos 80 y fueron mas variables en los extremos norte y sur de la zona de pesca. Estos dos resultados pueden ser explicados por cambios en la abundancia real y cambios en la capturabilidad. Los resultados de un arbal de regresión ajustado a un subconjunto de los datos indican que, en el OPO, el patudo es igualmente capturable con palangres regulares y profundos. Esto no es consistente con observaciones de que el patudo abunda mas a profundidad e indica que clasificación por tipo de arte (palangre regular 0 profundo) podría no ser una buena medida de la profundidad de captura. Se uso un algoritmo de templado simulado para resumir los resultados basados en el árbol clasificando las zonas de pesca en zonas con tendencias similares en la CPUE de patudo. El templado simulado podría ser útil para diseñar estratos espaciales en programas futuros de muestreo. (PDF contains 45 pages.)

Adaptive Scalable SVD Unit for Fast Processing of Large LSE Problems

Singular Value Decomposition (SVD) is a key linear algebraic operation in many scientific and engineering applications. In particular, many computational intelligence systems rely on machine learning methods involving high dimensionality datasets that have to be fast processed for real-time adaptability. In this paper we describe a practical FPGA (Field Programmable Gate Array) implementation of a SVD processor for accelerating the solution of large LSE problems. The design approach has been comprehensive, from the algorithmic refinement to the numerical analysis to the customization for an efficient hardware realization. The processing scheme rests on an adaptive vector rotation evaluator for error regularization that enhances convergence speed with no penalty on the solution accuracy. The proposed architecture, which follows a data transfer scheme, is scalable and based on the interconnection of simple rotations units, which allows for a trade-off between occupied area and processing acceleration in the final implementation. This permits the SVD processor to be implemented both on low-cost and highend FPGAs, according to the final application requirements.