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.

Direct regulation of topoisomerase activity by a nucleoid-associated protein

The topological homeostasis of bacterial chromosomes is maintained by the balance between compaction and the topological organization of genomes. Two classes of proteins play major roles in chromosome organization: the nucleoid-associated proteins (NAPs) and topoisomerases. The NAPs bind DNA to compact the chromosome, whereas topoisomerases catalytically remove or introduce supercoils into the genome. We demonstrate that HU, a major NAP of Mycobacterium tuberculosis specifically stimulates the DNA relaxation ability of mycobacterial topoisomerase I (TopoI) at lower concentrations but interferes at higher concentrations. A direct physical interaction between M. tuberculosis HU (MtHU) and TopoI is necessary for enhancing enzyme activity both in vitro and in vivo. The interaction is between the amino terminal domain of MtHU and the carboxyl terminal domain of TopoI. Binding of MtHU did not affect the two catalytic trans-esterification steps but enhanced the DNA strand passage, requisite for the completion of DNA relaxation, a new mechanism for the regulation of topoisomerase activity. An interaction-deficient mutant of MtHU was compromised in enhancing the strand passage activity. The species-specific physical and functional cooperation between MtHU and TopoI may be the key to achieve the DNA relaxation levels needed to maintain the optimal superhelical density of mycobacterial genomes.

A simplified model for dark matter interacting primarily with gluons

We consider a simple renormalizable model providing a UV completion for dark matter whose interactions with the Standard Model are primarily via the gluons. The model consists of scalar dark matter interacting with scalar colored mediator particles. A novel feature is the fact that (in contrast to more typical models containing dark matter whose interactions are mediated via colored scalars) the colored scalars typically decay into multi-quark final states, with no associated missing energy. We construct this class of models and examine associated phenomena related to dark matter annihilation, scattering with nuclei, and production at colliders.

Improved method makes a soft landing of well path

Research and field experience have shown that well-path control is important in many cases, not only to reach the desired coordinates, but also to arrive at the well completion target from the preferred trajectory.

Rapid electrohydrodynamic lithography using low-viscosity polymers.

This study explores a number of low-viscosity glass-forming polymers for their suitability as high-speed materials in electrohydrodynamic (EHD) lithography. The use of low-viscosity polymer films significantly reduces the patterning time (to below 10 s) compared to earlier approaches, without compromising the high fidelity of the replicated structures. The rapid pace of this process requires a method to monitor the completion of EHD pattern formation. To this end, the leakage current across the device is monitored and the sigmoidal shape of the current curve is correlated with the various stages of EHD pattern formation.

Correspondencias estético-simbólicas en Ordo Virtutum de Hildegarda de Bingen : palabra, imagen, música

Resumen: Ordo Virtutum es la única pieza dramático-musical de Hildegarda de Bingen, traducida generalmente en español como El drama de las Virtudes. Su composición –en lengua latina– data del año 1150 aproximadamente, durante la finalización de su primer libro visionario, el Scivias Domini o Conoce los caminos del Señor. Como figura del siglo XII con la particularidad del don visionario y familiarizada con el estilo de las Sagradas Escrituras, es posible considerar que el símbolo se haya convertido para Hildegarda en el medio más adecuado para poder expresarse. Y como mística, la correspondencia simbólica de múltiples lenguajes estéticos lleva a pensar en un trabajo de creación en el cual una sola de las expresiones no hubiera bastado. Desde el ámbito literario en diálogo con otras artes, en este trabajo observaremos cómo los símbolos provenientes de los lenguajes estéticos empleados por Hildegarda se corresponden y concuerdan, constelados, para ampliar el espectro de sentido de la obra.

Satisfacción laboral y síndrome de burnout en docentes de nivel primario

Resumen: El trabajo docente no se reduce al dictado de clases, implica la ejecución de varias actividades como son el cuidado y mantenimiento de la escuela, la atención de los alumnos en su diversidad, la confección de materiales didácticos, la realización y presentación de trámites administrativos, la inserción en los programas de capacitación, y el contacto con los padres, con las autoridades y compañeros de trabajo; lo que implica un duro esfuerzo, una significativa carga psíquica en el trabajo. Cuando la motivación y la satisfacción por educar disminuyen, cuando el compromiso profesional y la vocación de enseñar no son suficientes para garantizar un desempeño satisfactorio y sobrellevar las diferentes situaciones de la labor cotidiana, aumenta la probabilidad de que el docente experimente malestar psicofísico y agotamiento. El propósito de este estudio fue evaluar el estado de satisfacción laboral de los docentes y su impacto en las dimensiones del Síndrome de Burnout. Se trabajó con una muestra de 229 profesores de nivel primario, de las provincias de Entre Ríos y Buenos Aires. Los resultados indicaron un efecto significativo de la satisfacción laboral sobre las diversas manifestaciones del síndrome. Los maestros más satisfechos con su trabajo mostraron puntuaciones más bajas de cansancio emocional y valores más elevados en ladimensión realización personal del Maslach Burnout Inventory (MBI).

Central Coast Region South District Basin Planning & Habitat Mapping Project

This is a report to the California Department of Fish and Game. Between 2003 and 2008, the Foundation of CSUMB produced fish habitat maps and GIS layers for CDFG based on CDFG field data. This report describes the data entry, mapping, and website construction procedures associated with the project. Included are the maps that have been constructed. This report marks the completion of the Central Coast region South District Basin Planning and Habitat Mapping Project. (Document contains 40 pages)

Carmel River Lagoon Enhancement Project: Water Quality and Aquatic Wildlife Monitoring, 2006-7

This is a report to the California Department of Parks and Recreation. It describes water quality and aquatic invertebrate monitoring after the construction of the Carmel River Lagoon Enhancement Project. Included are data that have been collected for two years and preliminary assessment of the enhanced ecosystem. This report marks the completion of 3-years of monitoring water quality and aquatic habitat. The report adopts the same format and certain background text from previous years’ reporting by the same research group (e.g. Larson et al., 2005). (Document contains 100 pages)

Peces continentales de la Argentina: Bibliografía. Gymnocharacinus bergii.

Espanol: Este trabajo tiene como objetivo la recopilación de la información existente sobre las especies presentes en nuestro territorio. Para ello, se elaboraron fichas que contienen las referencias argentinas y de aquellas revisiones de autores extranjeros que involucran taxas de nuestro país. Como principales fuentes de información se consultaron Ringuelet et al. (1967), CLOFFSCA (2003), López et al. (2003; 2006), Liotta (2006) y las bases de datos on-line de W. N. Eschmeyer y Fish Base. Esta es una publicación abierta, por lo que requerirá de actualización permanente, para lo cual sería necesario se sume a nuestra tarea la buena voluntad y colaboración de la comunidad ictiológica. Esperamos con este aporte colaborar en la construcción de una base de datos de los peces continentales de la Argentina. La concreción de esta herramienta dará soporte a los planes generados desde los diferentes sectores involucrados en el tema, además de fomentar la difusión de la disciplina y la reafirmación de los derechos soberanos sobre nuestros recursos naturales. English: The goal of this work is to compile the existing information about the species present in our country. This has been done by means of datasheets that list both local references and reviews by foreign authors that include Argentine taxa. The main information sources consulted were Ringuelet et al. (1967), CLOFFSCA (2003), López et al. (2003; 2006), Liotta (2006) and the online databases of W. N. Eschmeyer and Fish Base. This is an open-ended publication. As such, it will require permanent updating, which will depend on the good will and collaboration of the ichthyological community. With this contribution, we hope to help to build a database of the freshwater fish of Argentina. The completion of this project will provide support to diverse plans emanating from different sectors, as well as promote the diffusion of this field of research and reaffirm Argentina’s sovereign rights over our natural resources. (Texto en Espanol Y English. PDF tiene nueve paginas.)

Peces continentales de la Argentina: Bibliografía. Lepidosiren paradoxa.

Espanol: Este trabajo tiene como objetivo la recopilación de la información existente sobre las especies presentes en nuestro territorio. Para ello, se elaboraron fichas que contienen las referencias argentinas y de aquellas revisiones de autores extranjeros que involucran taxas de nuestro país. Como principales fuentes de información se consultaron Ringuelet et al. (1967), CLOFFSCA (2003), López et al. (2003; 2006), Liotta (2006) y las bases de datos on-line de W. N. Eschmeyer y Fish Base. Esta es una publicación abierta, por lo que requerirá de actualización permanente, para lo cual sería necesario se sume a nuestra tarea la buena voluntad y colaboración de la comunidad ictiológica. Esperamos con este aporte colaborar en la construcción de una base de datos de los peces continentales de la Argentina. La concreción de esta herramienta dará soporte a los planes generados desde los diferentes sectores involucrados en el tema, además de fomentar la difusión de la disciplina y la reafirmación de los derechos soberanos sobre nuestros recursos naturales. English: The goal of this work is to compile the existing information about the species present in our country. This has been done by means of datasheets that list both local references and reviews by foreign authors that include Argentine taxa. The main information sources consulted were Ringuelet et al. (1967), CLOFFSCA (2003), López et al. (2003; 2006), Liotta (2006) and the online databases of W. N. Eschmeyer and Fish Base. This is an open-ended publication. As such, it will require permanent updating, which will depend on the good will and collaboration of the ichthyological community. With this contribution, we hope to help to build a database of the freshwater fish of Argentina. The completion of this project will provide support to diverse plans emanating from different sectors, as well as promote the diffusion of this field of research and reaffirm Argentina’s sovereign rights over our natural resources. (Texto en English y Espanol. PDF tiene ocho paginas.)

The ontogeny of haematopoiesis in the marine teleost Leiostomus xanthurus and a comparison of the site of initial haematopoiesis with Opsanus tau

The ontogeny of haematopoiesis in the perciform fish, spot Leiostomus xanthurus, differed from that reported as the norm for fishes, as exemplified by the cypriniform zebrafish Danio rerio, and observed in the batrachoidiform oyster toadfish Opsanus tau. Erythropoiesis in spot was first evident in the head kidney of yolk-sac larvae 3 days after hatching (DAH). No embryonic intermediate cell mass (ICM) of primitive stem cells or blood islands on the yolk were apparent within embryos. Erythrocytes were first evident in circulation near the completion of yolk absorption, c. 5 DAH, when larvae were c. 20 mm notochord length (LN). Erythrocyte abundance increased rapidly with larval development for c. 14 to 16 DAH, then became highly variable following changes in cardiac chamber morphology and volume. Erythrocytic haemoglobin (Hb) was not detected within whole larvae until they were 12 DAH or c. 31 mm LN, well after yolk and oil-globule absorption. The Hb was not quantified until larvae were >47 DAH or >7 mm standard length. The delayed appearance of erythrocytes and Hb in spot was similar to that reported for other marine fishes with small embryos and larvae. In oyster toadfish, a marine teleost that exhibits large embryos and larvae, the ICM and Hb were first evident in two bilateral slips of erythropoietic tissue in the embryos, c. 5 days after fertilization. Soon thereafter, erythrocytes were evident in the heart, and peripheral and vitelline circulation. Initial haematopoiesis in oyster toadfish conformed with that described for zebrafish. While the genes that code for the development of haematopoiesis are conserved among vertebrates, gene expression lacks phylogenetic pattern among fishes and appears to conform more closely with phenotypic expression related to physiological and ecological influences of overall body size and environmental oxygen availability.

Science-based restoration monitoring of coastal habitats, Volume One: A framework for monitoring plans under the Estuaries and Clean Waters Act of 2000 (Public Law 160-457)

Executive Summary: The Estuary Restoration Act of 2000 (ERA), Title I of the Estuaries and Clean Waters Act of 2000, was created to promote the restoration of habitats along the coast of the United States (including the US protectorates and the Great Lakes). The NOAA National Centers for Coastal Ocean Science was charged with the development of a guidance manual for monitoring plans under this Act. This guidance manual, titled Science-Based Restoration Monitoring of Coastal Habitats, is written in two volumes. It provides technical assistance, outlines necessary steps, and provides useful tools for the development and implementation of sound scientific monitoring of coastal restoration efforts. In addition, this manual offers a means to detect early warnings that the restoration is on track or not, to gauge how well a restoration site is functioning, to coordinate projects and efforts for consistent and successful restoration, and to evaluate the ecological health of specific coastal habitats both before and after project completion (Galatowitsch et al. 1998). The following habitats have been selected for discussion in this manual: water column, rock bottom, coral reefs, oyster reefs, soft bottom, kelp and other macroalgae, rocky shoreline, soft shoreline, submerged aquatic vegetation, marshes, mangrove swamps, deepwater swamps, and riverine forests. The classification of habitats used in this document is generally based on that of Cowardin et al. (1979) in their Classification of Wetlands and Deepwater Habitats of the United States, as called for in the ERA Estuary Habitat Restoration Strategy. This manual is not intended to be a restoration monitoring “cookbook” that provides templates of monitoring plans for specific habitats. The interdependence of a large number of site-specific factors causes habitat types to vary in physical and biological structure within and between regions and geographic locations (Kusler and Kentula 1990). Monitoring approaches used should be tailored to these differences. However, even with the diversity of habitats that may need to be restored and the extreme geographic range across which these habitats occur, there are consistent principles and approaches that form a common basis for effective monitoring. Volume One, titled A Framework for Monitoring Plans under the Estuaries and Clean Waters Act of 2000, begins with definitions and background information. Topics such as restoration, restoration monitoring, estuaries, and the role of socioeconomics in restoration are discussed. In addition, the habitats selected for discussion in this manual are briefly described. (PDF contains 116 pages)

Habitat mapping effort at the Olympic Coast National Marine Sanctuary – Current status and future needs

With elevating interest to establish conservation efforts for groundfish stocks and continued scrutiny over the value of marine protected areas along the west coast, the importance of enhancing our knowledge of seabed characteristics through mapping activities is becoming increasingly more important, especially in a timely manner. Shortly after the inception of the Seabed Mapping Initiative instituted with the US Geological Survey (USGS), the National Marine Sanctuary Program (NMSP) assembled a panel of habitat mapping experts. They determined that the status of existing data sets and future data acquisition needs varied widely among the individual sanctuaries and that more detailed site assessments were needed to better prioritize mapping efforts and outline an overall joint strategy. To assist with that specific effort and provide pertinent information for the Olympic Coast National Marine Sanctuary’s (OCNMS) Management Plan Review, this report summarizes the mapping efforts that have taken place at the site to date; calculates a timeframe for completion of baseline mapping efforts when operating under current data acquisition limitations; describes an optimized survey strategy to dramatically reduce the required time to complete baseline surveying; and provides estimates for the needed vessel sea-days (DAS) to accomplish baseline survey completion within a 2, 5 and 10 year timeframe. (PDF contains 38 pages.)

E-safety: quick self-assessment tool 2012

The old Ofsted school inspection framework introduced in September 2009 has been re-designed to be applied to the adult sector. An action plan and completion dates have been added. Whilst Ofsted are no longer restricting overall grade if an organisation receives a grade of 4, in e-safety they still want to see that learners feel safe.