Connecting Scientific Data to Scientific Experiments with Provenance

As scientific workflows and the data they operate on, grow in size and complexity, the task of defining how those workflows should execute (which resources to use, where the resources must be in readiness for processing etc.) becomes proportionally more difficult. While "workflow compilers", such as Pegasus, reduce this burden, a further problem arises: since specifying details of execution is now automatic, a workflow's results are harder to interpret, as they are partly due to specifics of execution. By automating steps between the experiment design and its results, we lose the connection between them, hindering interpretation of results. To reconnect the scientific data with the original experiment, we argue that scientists should have access to the full provenance of their data, including not only parameters, inputs and intermediary data, but also the abstract experiment, refined into a concrete execution by the "workflow compiler". In this paper, we describe preliminary work on adapting Pegasus to capture the process of workflow refinement in the PASOA provenance system.

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.

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.

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.

Complementarity of eastern and western hemisphere long-baseline neutrino oscillation experiments

We present a general formalism for extracting information on the fundamental parameters associated with neutrino masses and mixings from two or more long baseline neutrino oscillation experiments. This formalism is then applied to the current most likely experiments using neutrino beams from the Japan Hadron Facility (JHF) and Fermilab's NuMI beamline. Different combinations of muon neutrino or muon anti-neutrino running are considered. The type of neutrino mass hierarchy is extracted using the effects of matter on neutrino propogation. Contrary to naive expectation, we find that both beams using neutrinos is more suitable for determining the hierarchy provided that the neutrino energy divided by baseline (E/L) for NuMI is smaller than or equal to that of JHF, whereas to determine the small mixing angle, theta(13), and the CP or T violating phase delta, one neutrino and the other anti-neutrino are most suitable. We make extensive use of bi-probability diagrams for both understanding and extracting the physics involved in such comparisons.

Method for determination of vertical bar U(e)3 vertical bar in neutrino oscillation appearance experiments

We point out that determination of the MNS matrix element \U-e3\ = s(13) in long-baseline nu(mu) --> nu(e) neutrino oscillation experiments suffers from large intrinsic uncertainty due to the unknown CP violating phase delta and sign of Deltam(13)(2). We propose a new strategy for accurate determination of theta(13); tune the beam energy at the oscillation maximum and do the measurement both in neutrino and antineutrino channels. We show that it automatically resolves the problem of parameter ambiguities which involves delta, theta(13), and the sign of Deltam(13)(2). (C) 2002 Elsevier B.V. B.V. All rights reserved.

Application of Factorial Design Experiments to the Development of a Disposable Amperometric DNA Biosensor

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Brillouin scattering in planar waveguides. II. Experiments

Silica-titania planar waveguides of different thicknesses and compositions have been produced by radio-frequency sputtering and dip coating on silica substrates. Waveguides were also produced by silver exchange on a soda-lime silicate glass substrate. Brillouin scattering of the samples has been studied by coupling the exciting laser beam with a prism to different transverse-electric (TE) modes of the waveguides, and collecting the scattered light from the front surface. In multimode waveguides, the spectra depend on the m mode of excitation. For waveguides with a step index profile, two main peaks due to longitudinal phonons are present, apart from the case of the TE0 excitation, where a single peak is observed. The energy separation between the two peaks increases with the mode index. In graded-index waveguides, m-1 peaks of comparable intensities are observed. The spectra are reproduced very well by a model which considers the space distribution of the exciting field in the mode, a simple space dependence of the elasto-optic coefficients, through the value of the refraction index, and neglects the refraction of phonons. A single-fit parameter, i.e., the longitudinal sound velocity, is used to calculate as many spectra as is the number of modes in the waveguide. (C) 2003 American Institute of Physics.