An Empirical Study of Fault Localization for End-User Programmers

End users develop more software than any other group of programmers, using software authoring devices such as e-mail filtering editors, by-demonstration macro builders, and spreadsheet environments. Despite this, there has been little research on finding ways to help these programmers with the dependability of their software. We have been addressing this problem in several ways, one of which includes supporting end-user debugging activities through fault localization techniques. This paper presents the results of an empirical study conducted in an end-user programming environment to examine the impact of two separate factors in fault localization techniques that affect technique effectiveness. Our results shed new insights into fault localization techniques for end-user programmers and the factors that affect them, with significant implications for the evaluation of those techniques.

Efeito da centrifugação e filtragem do sêmen bovino sobre a criopreservação espermática

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Aproveitamento da água de chuva para fins não potáveis para um condomínio sustentável: um estudo de caso

The End of Course Work this aims, the hydrological cycle of water on our planet, and explain about its importance in the lives of living beings, finally, carry out a detailed analysis regarding the financial feasibility of implementing a system Shauer sustainable in the condominium, the first being the pickup of river water, which will use a reservoir for capitation and filtering, a reservoir for water storage filtered and pumps that will redirects it to outside faucets and toilets use in residences

Prediction of culture performance of juvenile Litopenaeus vannamei by in vitro (pH-stat) degree of feed protein hydrolysis with species-specific enzymes

Rapid in vitro methods for measuring digestibility may be useful in analysing aqua feeds if the extent and limits of their application are clearly defined. The pH-stat protein digestibility routine with shrimp hepatopancreas enzymes was previously related to apparent protein digestibility with juvenile Litopenaeus vannamei fed diets containing different protein ingredients. The potential of the method to predict culture performance of shrimp fed six commercial feeds (T3, T4, T5, T6, T7 and T8) with 350 g kg(-1) declared crude-protein content was assessed. The consistency of results obtained using hepatopancreas enzyme extracts from either pond or clear water-raised shrimp was further verified in terms of reproducibility and possible diet history effects upon in vitro outputs. Shrimps were previously acclimated and then maintained over 56 days (initial mean weight 3.28 g) on each diet in 500-L tanks at 114 ind m(-2), clear water closed system with continuous renewal and mechanical filtering (50 mu m), with four replicates per treatment. Feeds were offered four times daily (six days a week) delivered in trays at feeding rates ranging from 4.0% to 7.0% of stocked shrimp biomass. Feed was accessible to shrimp 4 h daily for 1-h feeding period after which uneaten feed was recovered. Growth and survival were determined every 14 days from a sample of 16 individuals per tank. Water quality was monitored daily (pH, temperature and salinity) and managed by water back flushing filter cleaning every 7-10 days. Feeds were analysed for crude protein, gross energy, amino acids and pepsin digestibility. In vitro pH-stat degree of protein hydrolysis (DH%) was determined for each feed using hepatopancreas enzyme extracts from experimental (clear water) or pond-raised shrimp. Feeds resulted in significant differences in shrimp performance (P < 0.05) as seen by the differences in growth rates (0.56-0.98 g week(-1)), final weight and feed conversion ratio (FCR). Shrimp performance and in vitro DH% with pond-raised shrimp enzymes showed significant correlation (P < 0.05) for yield (R-2 = 0.72), growth rates (R-2 = 0.72-0.80) and FCR (R-2 = -0.67). Other feed attributes (protein : energy ratio, amino acids, true protein, non-protein nitrogen contents and in vitro pepsin digestibility) showed none or limited correlation with shrimp culture performance. Additional correlations were found between growth rates and methionine (R-2 = 0.73), FCR and histidine (R-2 = -0.60), and DH% and methionine or methionine+cystine feed contents (R-2 = 0.67-0.92). pH-stat assays with shrimp enzymes generated reproducible DH% results with either pond (CV <= 6.5%) or clear water (CV <= 8.5%) hepatopancreas enzyme sources. Moreover, correlations between shrimp growth rates and feed DH% were significant regardless of the enzyme origin (pond or clear water-raised shrimp) and showed consistent R-2 values. Results suggest the feasibility of using standardized hepatopancreas enzyme extracts for in vitro protein digestibility.

HYDRODYNAMICS AND SUSPENDED SEDIMENT TRANSPORT IN THE CAMBORIU ESTUARY - BRAZIL: PRE JETTY CONDITIONS

Estuarine hydrodynamics is a key factor in the definition of the filtering capacity of an estuary and results from the interaction of the processes that control the inlet morphodynamics and those that are acting in the mixing of the water in the estuary. The hydrodynamics and suspended sediment transport in the Cambori estuary were assessed by two field campaigns conducted in 1998 that covered both neap and spring tide conditions. The period measured represents the estuarine hydrodynamics and sediment transport prior to the construction of the jetty in 2003 and provides important background information for the Cambori estuary. Each field campaign covered two complete tidal cycles with hourly measurements of currents, salinity, suspended sediment concentration and water level. Results show that the Cambori estuary is partially mixed with the vertical structure varying as a function of the tidal range and tidal phase. The dynamic estuarine structure can be balanced between the stabilizing effects generated by the vertical density gradient, which produces buoyancy and stratification flows, and the turbulent effects generated by the vertical velocity gradient that generates vertical mixing. The main sediment source for the water column are the bottom sediments, periodically resuspended by the tidal currents. The advective salt and suspended sediment transport was different between neap and spring tides, being more complex at spring tide. The river discharge term was important under both tidal conditions. The tidal correlation term was also important, being dominant in the suspended sediment transport during the spring tide. The gravitational circulation and Stokes drift played a secondary role in the estuarine transport processes.

Compact groups of galaxies selected by stellar mass: the 2MASS compact group catalogue

We present a photometric catalogue of compact groups of galaxies (p2MCGs) automatically extracted from the Two-Micron All Sky Survey (2MASS) extended source catalogue. A total of 262 p2MCGs are identified, following the criteria defined by Hickson, of which 230 survive visual inspection (given occasional galaxy fragmentation and blends in the 2MASS parent catalogue). Only one quarter of these 230 groups were previously known compact groups (CGs). Among the 144 p2MCGs that have all their galaxies with known redshifts, 85 (59?per cent) have four or more accordant galaxies. This v2MCG sample of velocity-filtered p2MCGs constitutes the largest sample of CGs (with N = 4) catalogued to date, with both well-defined selection criteria and velocity filtering, and is the first CG sample selected by stellar mass. It is fairly complete up to Kgroup similar to 9 and radial velocity of similar to 6000?km?s-1. We compared the properties of the 78 v2MCGs with median velocities greater than 3000?km?s-1 with the properties of other CG samples, as well as those (mvCGs) extracted from the semi-analytical model (SAM) of Guo et al. run on the high-resolution Millennium-II simulation. This mvCG sample is similar (i.e. with 2/3 of physically dense CGs) to those we had previously extracted on three other SAMs run on the Millennium simulation with 125 times worse spatial and mass resolutions. The space density of v2MCGs within 6000?km?s-1 is 8.0 X 10-5?h3?Mpc-3, i.e. four times that of the Hickson sample [Hickson Compact Group (HCG)] up to the same distance and with the same criteria used in this work, but still 40?per cent less than that of mvCGs. The v2MCG constitutes the first group catalogue to show a statistically large firstsecond ranked galaxy magnitude gap according to TremaineRichstone statistics, as expected if the first ranked group members tend to be the products of galaxy mergers, and as confirmed in the mvCGs. The v2MCG is also the first observed sample to show that first-ranked galaxies tend to be centrally located, again consistent with the predictions obtained from mvCGs. We found no significant correlation of group apparent elongation and velocity dispersion in the quartets among the v2MCGs, and the velocity dispersions of apparently round quartets are not significantly larger than those of chain-like ones, in contrast to what has been previously reported in HCGs. By virtue of its automatic selection with the popular Hickson criteria, its size, its selection on stellar mass, and its statistical signs of mergers and centrally located brightest galaxies, the v2MCG catalogue appears to be the laboratory of choice to study physically dense groups of four or more galaxies of comparable luminosity.

CE-ESI-MS metabolic fingerprinting of Leishmania resistance to antimony treatment

Metabolomics has become an invaluable tool to unveil biology of pathogens, with immediate application to chemotherapy. It is currently accepted that there is not one single technique capable of obtaining the whole metabolic fingerprint of a biological system either due to their different physical-chemical properties or concentrations. In this work, we have explored the capability of capillary electrophoresis mass spectrometry with a sheathless interface with electrospray ionization (CE-ESI-TOF-MS) to separate metabolites in order to be used as a complementary technique to LC. As proof of concept, we have compared the metabolome of Leishmania infantum promastigotes BCN 150 (Sb (III) IC50 = 20.9 mu M) and its variation when treated with 120 mu M of Sb(III) potassium tartrate for 12 h, as well as with its Sb(III) resistant counterpart obtained by growth of the parasites under increasing Sb(III) in a step-wise manner up to 180 mu M. The number of metabolites compared were of 264 for BCN150 Sb(III) treated versus nontreated and of 195 for Sb(III) resistant versus susceptible parasites. After successive data filtering, differences in seven metabolites identified in databases for Leishmania pathways, showed the highest significant differences, corresponding mainly to amino acids or their metabolite surrogates. Most of them were assigned to sulfur containing amino acids and polyamine biosynthetic pathways, of special relevance considering the deterioration of the thiol-dependent redox metabolism in Leishmania by Sb(III). Given the low concentrations typical for most of these metabolites, the assay can be considered a success that should be explored for new biological questions.

Use of recent geoid models to estimate mean dynamic topography and geostrophic currents in South Atlantic and Brazil Malvinas confluence

The use of geoid models to estimate the Mean Dynamic Topography was stimulated with the launching of the GRACE satellite system, since its models present unprecedented precision and space-time resolution. In the present study, besides the DNSC08 mean sea level model, the following geoid models were used with the objective of computing the MDTs: EGM96, EIGEN-5C and EGM2008. In the method adopted, geostrophic currents for the South Atlantic were computed based on the MDTs. In this study it was found that the degree and order of the geoid models affect the determination of TDM and currents directly. The presence of noise in the MDT requires the use of efficient filtering techniques, such as the filter based on Singular Spectrum Analysis, which presents significant advantages in relation to conventional filters. Geostrophic currents resulting from geoid models were compared with the HYCOM hydrodynamic numerical model. In conclusion, results show that MDTs and respective geostrophic currents calculated with EIGEN-5C and EGM2008 models are similar to the results of the numerical model, especially regarding the main large scale features such as boundary currents and the retroflection at the Brazil-Malvinas Confluence.

Motion-based wave estimation: Small-scale tests with a crane-barge model

This paper provides additional validation to the problem of estimating wave spectra based on the first-order motions of a moored vessel. Prior investigations conducted by the authors have attested that even a large-volume ship, such as an FPSO unit, could be adopted for on-board estimation of the wave field. The obvious limitation of the methodology concerns filtering of high-frequency wave components, for which the vessel has no significant response. As a result, the estimation range is directly dependent on the characteristics of the vessel response. In order to extend this analysis, further small-scale tests were performed with a model of a pipe-laying crane-barge. When compared to the FPSO case, the results attest that a broader range of typical sea states can be accurately estimated, including crossed-sea states with low peak periods. (C) 2012 Elsevier Ltd. All rights reserved.

Indices representing landscape as a support for pedological survey in GIS environment

Mapping of soil has been highlighted in the scientific community, because as alertness about the environment increases, it is necessary to understand more and more about the distribution of the soil in the landscape, as well as its potential and its limitations for the use. In that way the main aim of this study was to apply indices representing landscape with the use of geoprocessing to give support in the delimitation of different compartments of landscape. Primary indices used were altitude above channel network (AACN) and secondary channel network base level (CNBL), multiresolution index of valley bottom flatness (MRVBF) and Wetness index (ITW), having as object of study the Canguiri Experimental Farm, located in Pinhais, Curitiba's Metropolitan region. To correlate the chemical attributes and granulometric ones in sampling groups, totalizing 17 points (Sugamosto, 2002), a matrix of a simple linear correlation (Pearson) with the indices of the landscape were generated in the Software Statistica. The conclusion is that the indices representing the landscape used in the analysis of groupings were efficient as support to map soil at the level of suborder of Brazilian Soil Classification System.

Adding value to the Brazilian sisal: acid hydrolysis of its pulp seeking production of sugars and materials

The present work is inserted into the broad context of the upgrading of lignocellulosic fibers. Sisal was chosen in the present study because more than 50% of the world's sisal is cultivated in Brazil, it has a short life cycle and its fiber has a high cellulose content. Specifically, in the present study, the subject addressed was the hydrolysis of the sisal pulp, using sulfuric acid as the catalyst. To assess the influence of parameters such as the concentration of the sulfuric acid and the temperature during this process, the pulp was hydrolyzed with various concentrations of sulfuric acid (30-50%) at 70 A degrees C and with 30% acid (v/v) at various temperatures (60-100 A degrees C). During hydrolysis, aliquots were withdrawn from the reaction media, and the solid (non-hydrolyzed pulp) was separated from the liquid (liquor) by filtering each aliquot. The sugar composition of the liquor was analyzed by HPLC, and the non-hydrolyzed pulps were characterized by viscometry (average molar mass), and X-ray diffraction (crystallinity). The results support the following conclusions: acid hydrolysis using 30% H2SO4 at 100 A degrees C can produce sisal microcrystalline cellulose and the conditions that led to the largest glucose yield and lowest decomposition rate were 50% H2SO4 at 70 A degrees C. In summary, the study of sisal pulp hydrolysis using concentrated acid showed that certain conditions are suitable for high recovery of xylose and good yield of glucose. Moreover, the unreacted cellulose can be targeted for different applications in bio-based materials. A kinetic study based on the glucose yield was performed for all reaction conditions using the kinetic model proposed by Saeman. The results showed that the model adjusted to all 30-35% H2SO4 reactions but not to greater concentrations of sulfuric acid. The present study is part of an ongoing research program, and the results reported here will be used as a comparison against the results obtained when using treated sisal pulp as the starting material.

Comparing non-stationary and irregularly spaced time series

In this paper, we present approximate distributions for the ratio of the cumulative wavelet periodograms considering stationary and non-stationary time series generated from independent Gaussian processes. We also adapt an existing procedure to use this statistic and its approximate distribution in order to test if two regularly or irregularly spaced time series are realizations of the same generating process. Simulation studies show good size and power properties for the test statistic. An application with financial microdata illustrates the test usefulness. We conclude advocating the use of these approximate distributions instead of the ones obtained through randomizations, mainly in the case of irregular time series. (C) 2012 Elsevier B.V. All rights reserved.

Planetary transit candidates in the CoRoT LRa01 field

Context. CoRoT is a pioneering space mission whose primary goals are stellar seismology and extrasolar planets search. Its surveys of large stellar fields generate numerous planetary candidates whose lightcurves have transit-like features. An extensive analytical and observational follow-up effort is undertaken to classify these candidates. Aims. We present the list of planetary transit candidates from the CoRoT LRa01 star field in the Monoceros constellation toward the Galactic anti-center direction. The CoRoT observations of LRa01 lasted from 24 October 2007 to 3 March 2008. Methods. We acquired and analyzed 7470 chromatic and 3938 monochromatic lightcurves. Instrumental noise and stellar variability were treated with several filtering tools by different teams from the CoRoT community. Different transit search algorithms were applied to the lightcurves. Results. Fifty-one stars were classified as planetary transit candidates in LRa01. Thirty-seven (i.e., 73% of all candidates) are "good" planetary candidates based on photometric analysis only. Thirty-two (i.e., 87% of the "good" candidates) have been followed-up. At the time of writing twenty-two cases were solved and five planets were discovered: three transiting hot-Jupiters (CoRoT-5b, CoRoT-12b, and CoRoT-21b), the first terrestrial transiting planet (CoRoT-7b), and another planet in the same system (CoRoT-7c, detected by radial velocity survey only). Evidence of another non-transiting planet in the CoRoT-7 system, namely CoRoT-7d, was recently found as well.

Índices para a representação da paisagem como apoio para levantamento pedológico em ambiente de geoprocessamento

O mapeamento de solos tem ganhado destaque dentro da comunidade científica, pois, à medida em que a preocupação com o meio ambiente aumenta, ocorre a necessidade de se entender cada vez mais a distribuição dos solos na paisagem, tal como seu potencial e limitações de uso. Desta forma, o principal objetivo do trabalho foi aplicar índices de representação da paisagem com o apoio de geoprocessamento, suporte na delimitação dos diferentes compartimentos da paisagem. Foram utilizados índices primários Altitude above channel network (AACN) e secundários Channel network base level (CNBL, Multiresolution índex of valley bottom flatness (MRVBF) e Wetness índex (ITW), cujo estudo foi a Fazenda Experimental Canguiri, no município de Pinhais, região Metropolitana de Curitiba. Para correlacionar os atributos químicos e granulométricos por grupo de amostragem, totalizando 17 pontos (Sugamosto, 2002) foi gerada, no Software Statistica, uma matriz de correlação linear simples (Pearson) com os índices de representação da paisagem, os quais foram não apenas utilizados na análise de agrupamentos mas também eficientes no apoio do mapeamento dos solos, a nível de subordem do Sistema Brasileiro de Classificação de Solo.

Use of recent geoid models to estimate mean dynamic topography and geostrophic currents in South Atlantic and Brazil Malvinas confluence

The use of geoid models to estimate the Mean Dynamic Topography was stimulated with the launching of the GRACE satellite system, since its models present unprecedented precision and space-time resolution. In the present study, besides the DNSC08 mean sea level model, the following geoid models were used with the objective of computing the MDTs: EGM96, EIGEN-5C and EGM2008. In the method adopted, geostrophic currents for the South Atlantic were computed based on the MDTs. In this study it was found that the degree and order of the geoid models affect the determination of TDM and currents directly. The presence of noise in the MDT requires the use of efficient filtering techniques, such as the filter based on Singular Spectrum Analysis, which presents significant advantages in relation to conventional filters. Geostrophic currents resulting from geoid models were compared with the HYCOM hydrodynamic numerical model. In conclusion, results show that MDTs and respective geostrophic currents calculated with EIGEN-5C and EGM2008 models are similar to the results of the numerical model, especially regarding the main large scale features such as boundary currents and the retroflection at the Brazil-Malvinas Confluence.