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.

Expressão de p53 e relação clínico-patológica no adenocarcinoma de reto

O adenocarcinoma colorretal é um dos tumores malignos mais freqüentes no mundo ocidental. Sua incidência varia mundialmente; nos Estados Unidos (EUA), é o terceiro câncer mais comum entre os homens e o segundo mais comum entre as mulheres, sendo a segunda causa de morte por câncer, superada apenas pelo tumor de pulmão. No Brasil, está entre as seis neoplasias mais freqüentes, ocupando a quarta posição em mortalidade. Os principais indicadores prognósticos do adenocarcinoma colorretal incluem a diferenciação histológica, profundidade de invasão e ocorrência de metástases. Recentemente, têm sido realizados diversos estudos usando técnicas de biologia molecular objetivando a identificação de novos parâmetros prognósticos. Entre estes, os fatores que regulam o ciclo celular influenciando no crescimento e mecanismo de apoptose têm demonstrado resultados promissores. O p53 é um gene supressor de tumores, localizado no braço curto do cromossomo 17; produz uma proteína chamada p53. Sua principal função é controlar pontos de checagem do ciclo celular, promover o reparo do DNA através do estímulo de outras proteínas (p21, por exemplo) e estimular a apoptose. Mutações deste gene produzem uma proteína p53 inativa que acumula nas células tumorais. A expressão desta proteína alterada é detectada em 30 a 70% dos tumores de reto e pode estar relacionada a mau prognóstico. O p53 é um dos genes mais comumente mutados no câncer humano. O objetivo deste estudo foi correlacionar a expressão imuno-histoquímica da proteína p53 com variáveis clínico-patológicas do adenocarcinoma de reto e sobrevida. Foram estudados 83 casos de pacientes operados no Hospital de Clínicas de Porto Alegre entre 1985 e 1997 através de reação imunohistoquímica utilizando anticorpo monoclonal Pab-1801 em amostras biológicas fixadas em formalina e armazenadas em blocos de parafina. Com um ponto de corte de 5%, 44 pacientes (53%) demonstraram expressão imunohistoquímica da proteína p53 maior que 5% e, com um ponto de corte de 20%, 36 pacientes (43,4%) demonstraram a expressão maior que 20%. Não houve associação estatisticamente significativa entre a expressão de p53 e as variáveis idade, gênero, localização, tamanho do tumor e comprometimento circunferencial. Encontramos associação entre p53 e óbito, recidiva local, metástases e recidiva total quando utilizado o ponto de corte de 20%, indicando um pior prognóstico nos pacientes com p53 positivos. Na análise multivariada em relação à sobrevida, o p53 teve poder prognóstico independente em relação às variáveis da classificação Astler- Coller e grau de diferenciação histológica da neoplasia.

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.

Infiltrating CD8(+) T lymphocytes, natural killer cells, and expression of IL-10 and TGF-beta 1 in chemically induced neoplasms in male Wistar rats

The present study aimed to estimate the number of CD8(+) T and natural killer (NK) infiltrating cells and the expression of interleukin-10 (IL-10) and transforming growth factor beta 1 (TGF-beta1) in chemically induced neoplasms in an initiation-promotion bioassay for carcinogenesis. Male Wistar rats were treated with N-nitrosodiethylamine, N-methyl-N-nitrosourea, N-butyl-N-(4-hydroxybutyl) nitrosamine, dihydroxy-di-N-propylnitrosamine, and 1,2-dimethylhydrazine for 4 weeks. Two groups were subsequently exposed through diet to phenobarbital (0.05%) or 2-acetylaminofluorene (0.01%) for 25 weeks. An untreated group was used as a control. Immune cells and cytokines were immunohistochemically evaluated in neoplasms and in surrounding normal tissues at the liver, kidneys, lung, and small and large intestines. When compared to the respective normal tissues, an increased number of NK cells was verified infiltrating the colon, lung, and kidney neoplasms, while the number of CD8+ T cells decreased in the intestine and lung neoplasms. Expression of IL-10 was found mainly in kidney tumors. TGF-beta1 was expressed mainly in the liver and kidneys tumors. The results indicate that the differential occurrence of immune cells between neoplastic and normal tissues could be dependent upon tumor microenvironment.

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.

Influence of estradiol and triiodothyronine on breast cancer cell lines proliferation and expression of estrogen and thyroid hormone receptors

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

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.