The Requirements of Using Provenance in e-Science Experiments

In e-Science experiments, it is vital to record the experimental process for later use such as in interpreting results, verifying that the correct process took place or tracing where data came from. The process that led to some data is called the provenance of that data, and a provenance architecture is the software architecture for a system that will provide the necessary functionality to record, store and use process documentation. However, there has been little principled analysis of what is actually required of a provenance architecture, so it is impossible to determine the functionality they would ideally support. In this paper, we present use cases for a provenance architecture from current experiments in biology, chemistry, physics and computer science, and analyse the use cases to determine the technical requirements of a generic, technology and application-independent architecture. We propose an architecture that meets these requirements and evaluate a preliminary implementation by attempting to realise two of the use cases.

Provenance-based Validation of E-Science Experiments

E-Science experiments typically involve many distributed services maintained by different organisations. After an experiment has been executed, it is useful for a scientist to verify that the execution was performed correctly or is compatible with some existing experimental criteria or standards, not necessarily anticipated prior to execution. Scientists may also want to review and verify experiments performed by their colleagues. There are no existing frameworks for validating such experiments in today's e-Science systems. Users therefore have to rely on error checking performed by the services, or adopt other ad hoc methods. This paper introduces a platform-independent framework for validating workflow executions. The validation relies on reasoning over the documented provenance of experiment results and semantic descriptions of services advertised in a registry. This validation process ensures experiments are performed correctly, and thus results generated are meaningful. The framework is tested in a bioinformatics application that performs protein compressibility analysis.

Provenance: The Bridge Between Experiments and Data

Current scientific applications are often structured as workflows and rely on workflow systems to compile abstract experiment designs into enactable workflows that utilise the best available resources. The automation of this step and of the workflow enactment, hides the details of how results have been produced. Knowing how compilation and enactment occurred allows results to be reconnected with the experiment design. We investigate how provenance helps scientists to connect their results with the actual execution that took place, their original experiment and its inputs and parameters.

An Injection-locked Diode Laser for Cold Rydberg Atom Experiments

A free-running, temperature stabilized diode laser has been injection-locked to an external cavity diode laser for use in cold Rydberg atom experiments. Cold rubidium atoms in a magneto-optical trap (MOT) are excited to Rydberg states using a 10 ns laser pulse. The Rydberg atoms spontaneously ionize due to dipole forces, and the collisional ionization dynamics are observed as a function of atom density and principal quantum number of the Rydberg state, n. The injection-locked diode laser will be used as a repumper in conjunction with a dark spontaneous-force optical trap (SPOT) to increase the Rydberg state density. We report on the design of the injection-locked laser system.

Exogenous shocks and misattribution of responsibility for economic performance: results from survey experiments

Recent models of economic voting assume that citizens can discount exogenous factors when assessing government's economic performance. Yet there is evidence that Latin American voters do not behave in such way, and attribute to presidents outcomes that are beyond their control. This paper presents three survey experiments designed to explore mechanisms that could potentially correct such misattribution, and therefore contribute to debiasing individual behavior towards government evaluation. Our results provide individual-level evidence of the misattribution found in aggregate studies of electorate behavior, and reinforce psychologist's skepticism towards prospects of mental decontamination, as we found very scant evidence that providing information, raising awareness, or increasing motivation to correct biases infuenced individual's evaluation of president's performance.

An essay on impression management: three randomized experiments with financial analysts

This thesis aims to explore the concept of impression management from the financial analysts’ point of view. Impression management is the definition of the act of an agent manipulating an impression that another person have of this agent, in the context of this thesis it happens when a company make graphics to disclosure financial-accounting information in order to manipulate the market’s perception of their performance. Three types of impression management were analyzed: presentation enhancement (color manipulation), measurement distortion (scale manipulation) and selectivity (the disclosure of positive information only). While presentation enhancement improved only the most impulsive financial analysts’ perception of firm’s performance, the measurement distortion improved the perception of performance for both groups of financial analysts (impulsive and reflective). Finally, selectivity improved the financial analysts’ perception of firm’s performance for both groups (impulsive and reflective), although impulsive financial analysts assigned lower ratings when compared to their reflective peers, on average, to a hypothetical company.

Efeito da adubação nitrogenada de cobertura e do espaçamento sobre a produção de rúcula

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Loss of samples in the tissue microarray technique: comparison between slides using adhesive tape and silanized slides

The tissue microarray (TMA) technique allows multiple tissue samples in a single block. Commercial adhesive tape is used to avoid the loss of tissue samples during the immunostaining process. Few reports exist in the literature comparing the use of these adhesive tapes to other adhesive techniques. The objective of this study was to compare loss of sections adhered to slides using commercial adhesive tapes versus using silanized only slides. TMA was constructed with varying tissues using a fixed-base device (Beecher Instruments), placing 108 cylinders of 1 mm diameter in duplicate, spaced 1.2 mm apart. Section of 4 mu m were cut from the TMA block and adhered to 30 silanized slides and 30 commercial glass slides using adhesive tape, according to manufacturer's recommendations. Vimentin immunoexpression was evaluated by immunohistochemistry. Antigenic recovery was realized in citrate buffer using a microwave oven. Cylinder loss in the immunohistochemical process was quantified and expressed as: total (>80%), almost complete (75-79%), or partial (50-74%). The commercial adhesive tape group presented lesser total loss (1.1 versus 6.4%), almost complete loss (2.2 versus 3.5%), and partial loss (2.1 versus 3.8%) than the silanized slide group (ANOVA, P < 0.05). The sum of total and almost complete losses in the silanized slide group was 9.9%, greater than the losses in slides using commercial adhesive tapes (3.3%) and less than reported and considered acceptable in the literature (10-30%). In conclusion, the use of silanized only slides presents very satisfactory results, requires less training, and reduces costs significantly, thus justifying their use in research.

Some experiments with high order compact methods using a computer algebra software - Part I

We consider a procedure for obtaining a compact fourth order method to the steady 2D Navier-Stokes equations in the streamfunction formulation using the computer algebra system Maple. The resulting code is short and from it we obtain the Fortran program for the method. To test the procedure we have solved many cavity-type problems which include one with an analytical solution and the results are compared with results obtained by second order central differences to moderate Reynolds numbers. (c) 2005 Elsevier B.V. All rights reserved.

Some experiments with high order compact methods using a computer algebra software - Part II (non-uniform grid)

We generalize a procedure proposed by Mancera and Hunt [P.F.A. Mancera, R. Hunt, Some experiments with high order compact methods using a computer algebra software-Part 1, Appl. Math. Comput., in press, doi: 10.1016/j.amc.2005.05.015] for obtaining a compact fourth-order method to the steady 2D Navier-Stokes equations in the streamfunction formulation-vorticity using the computer algebra system Maple, which includes conformal mappings and non-uniform grids. To analyse the procedure we have solved a constricted stepped channel problem, where a fine grid is placed near the re-entrant corner by transformation of the independent variables. (c) 2006 Elsevier B.V. All rights reserved.

Genomic DNA microarray comparison of gene expression patterns in Paracoccidioides brasiliensis mycelia and yeasts in vitro

Paracoccidioides brasiliensis is a thermally dimorphic fungus, and causes the most prevalent systemic mycosis in Latin America. Infection is initiated by inhalation of conidia or mycelial fragments by the host, followed by further differentiation into the yeast form. Information regarding gene expression by either form has rarely been addressed with respect to multiple time points of growth in culture. Here, we report on the construction of a genomic DNA microarray, covering approximately 25% of the genome of the organism, and its utilization in identifying genes and gene expression patterns during growth in vitro. Cloned, amplified inserts from randomly sheared genomic DNA (gDNA) and known control genes were printed onto glass slides to generate a microarray of over 12 000 elements. To examine gene expression, mRNA was extracted and amplified from mycelial or yeast cultures grown in semi-defined medium for 5, 8 and 14 days. Principal components analysis and hierarchical clustering indicated that yeast gene expression profiles differed greatly from those of mycelia, especially at earlier time points, and that mycelial gene expression changed less than gene expression in yeasts over time. Genes upregulated in yeasts were found to encode proteins shown to be involved in methionine/cysteine metabolism, respiratory and metabolic processes (of sugars, amino acids, proteins and lipids), transporters (small peptides, sugars, ions and toxins), regulatory proteins and transcription factors. Mycelial genes involved in processes such as cell division, protein catabolism, nucleotide biosynthesis and toxin and sugar transport showed differential expression. Sequenced clones were compared with Histoplasma capsulatum and Coccidioides posadasii genome sequences to assess potentially common pathways across species, such as sulfur and lipid metabolism, amino acid transporters, transcription factors and genes possibly related to virulence. We also analysed gene expression with time in culture and found that while transposable elements and components of respiratory pathways tended to increase in expression with time, genes encoding ribosomal structural proteins and protein catabolism tended to sharply decrease in expression over time, particularly in yeast. These findings expand our knowledge of the different morphological forms of P. brasiliensis during growth in culture.

Stochastic dynamics in exotic and native blowflies: an analysis combining laboratory experiments and a two-patch metapopulation model

In this study we explored the stochastic population dynamics of three exotic blowfly species, Chrysomya albiceps, Chrysomya megacephala and Chrysomya putoria, and two native species, Cochliomyia macellaria and Lucilia eximia, by combining a density-dependent growth model with a two-patch metapopulation model. Stochastic fecundity, survival and migration were investigated by permitting random variations between predetermined demographic boundary values based on experimental data. Lucilia eximia and Chrysomya albiceps were the species most susceptible to the risk of local extinction. Cochliomyia macellaria, C. megacephala and C. putoria exhibited lower risks of extinction when compared to the other species. The simultaneous analysis of stochastic fecundity and survival revealed an increase in the extinction risk for all species. When stochastic fecundity, survival and migration were simulated together, the coupled populations were synchronized in the five species. These results are discussed, emphasizing biological invasion and interspecific interaction dynamics.

Microarray analysis of cytochrome P450 mediated insecticide resistance in Drosophila

Insecticide resistance in laboratory selected Drosophila strains has been associated with upregulation of a range of different cytochrome P450s, however in recent field isolates of D. melanogaster resistance to DDT and other compounds is conferred by one P450 gene, Cyp6g1. Using microarray analysis of all Drosophila P450 genes, here we show that different P450 genes such as Cyp12d1 and Cyp6a8 can also be selected using DDT in the laboratory. We also show, however, that a homolog of Cyp6g1 is over-expressed in a field resistant strain of D. simulans. In order to determine why Cyp6g1 is so widely selected in the field we examine the pattern of cross-resistance of both resistant strains and transgenic flies over-expressing Cyp6g1 alone. We show that all three DDT selected P450s can confer resistance to the neonicotinoid imidacloprid but that Cyp6a8 confers no cross-resistance to malathion. Transgenic flies over-expressing Cyp6g1 also show cross-resistance to other neonicotinoids such as acetamiprid and nitenpyram. We suggest that the broad level of cross-resistance shown by Cyp6g1 may have facilitated its selection as a resistance gene in natural Drosophila populations. (C) 2003 Elsevier B.V. Ltd. All rights reserved.