Enhancing workflow-nets with data for trace completion

The growing adoption of IT-systems for modeling and executing (business) processes or services has thrust the scientific investigation towards techniques and tools which support more complex forms of process analysis. Many of them, such as conformance checking, process alignment, mining and enhancement, rely on complete observation of past (tracked and logged) executions. In many real cases, however, the lack of human or IT-support on all the steps of process execution, as well as information hiding and abstraction of model and data, result in incomplete log information of both data and activities. This paper tackles the issue of automatically repairing traces with missing information by notably considering not only activities but also data manipulated by them. Our technique recasts such a problem in a reachability problem and provides an encoding in an action language which allows to virtually use any state-of-the-art planning to return solutions

Modeling with history-dependent Petri nets

Most information systems that are driven by process models (e.g., workflow management systems) record events in event logs, also known as transaction logs or audit trails. We consider processes that not only keep track of their history in a log, but also make decisions based on this log. Extending our previous work on history-dependent Petri nets we propose and evaluate a methodology for modelling processes by such nets and show how history-dependent nets can combine modelling comfort with analysability

Virus-induced gene silencing database for phenomics and functional genomics in Nicotiana benthamiana

Virus-induced gene silencing (VIGS) is an important forward and reverse genetics method for the study of gene function in many plant species, especially Nicotiana benthamiana. However, despite the widespread use of VIGS, a searchable database compiling the phenotypes observed with this method is lacking. Such a database would allow researchers to know the phenotype associated with the silencing of a large number of individual genes without experimentation. We have developed a VIGS phenomics and functional genomics database (VPGD) that has DNA sequence information derived from over 4,000 N. benthamiana VIGS clones along with the associated silencing phenotype for approximately 1,300 genes. The VPGD has a built-in BLAST search feature that provides silencing phenotype information of specific genes. In addition, a keyword-based search function could be used to find a specific phenotype of interest with the corresponding gene, including its Gene Ontology descriptions. Query gene sequences from other plant species that have not been used for VIGS can also be searched for their homologs and silencing phenotype in N. benthamiana. VPGD is useful for identifying gene function not only in N. benthamiana but also in related Solanaceae plants such as tomato and potato. The database is accessible at http://vigs.noble.org.Noble Research Institute and NSF IOS-102564

Raman Scattered He II λ\lambda 6545 Line in the Symbiotic Star V1016 Cygni

We present a spectrum of the symbiotic star V1016 Cyg observed with the 3.6 m Canada-France-Hawaii Telescope, in order to illustrate a method to measure the covering factor of the neutral scattering region around the giant component with respect to the hot emission region around the white dwarf component. In the spectrum, we find broad wings around H$\alpha$ and a broad emission feature around 6545${\rm \AA}$ that is blended with the [N II]$\lambda$ 6548 line. These two features are proposed to be formed by Raman scattering by atomic hydrogen, where the incident radiation is proposed to be UV continuum radiation around Ly$\beta$ in the former case and He II $\lambda$ 1025 emission line arising from $n=6\to n=2$ transitions for the latter feature. We remove the H$\alpha$ wings by a template Raman scattering wing profile and subtract the [N II] $\lambda$ 6548 line using the 3 times stronger [N II] $\lambda$ 6583 feature in order to isolate the He II Raman scattered 6545 \AA line. We obtain the flux ratio $F_{6545}/F_{6560}=0.24$ of the He II $\lambda$ 6560 emission line and the 6545 \AA feature for V1016 Cyg. Under the assumption that the He II emission from this object is isotropic, this ratio is converted to the ratio $\Phi_{6545}/\Phi_{1025}=0.17$ of the number of the incident photons and that of the scattered photons. This implies that the scattering region with H I column density $N_{HI}\ge 10^{20}{\rm cm^{-2}}$ covers 17 per cent of the emission region. By combining the presumed binary period $\sim 100$ yrs of this system we infer that a significant fraction of the slow stellar wind from the Mira component is ionized and that the scattering region around the Mira extends a few tens of AU, which is closely associated with the mass loss process of the Mira component.Comment: 12 pages, 6 figures, accepted for publication in Ap

Relativistic Generalization of the Gamow Factor for Fermion Pair Production or Annihilation

In the production or annihilation of a pair of fermions, the initial-state or final-state interactions often lead to significant effects on the reaction cross sections. For Coulomb-type interactions, the Gamow factor has been traditionally used to take into account these effects. However the Gamow factor needs to be modified when the magnitude of the coupling constant or the relative velocity of two particles increases. We obtain the relativistic generalization of the Gamow factor in terms of the overlap of the Feynman amplitude with the relativistic wave function of two fermions with an attractive Coulomb-type interaction. An explicit form of the corrective factor is presented for the spin-singlet S-wave state. While the corrective factor approaches the Gamow factor in the non-relativistic limit, we found that the Gamow factor significantly over-estimates the effects when the coupling constant or the velocity is large.Comment: 16 pages, 4 figures in LaTe

Histamine as a marker for hydroxyl radicals

During inflammation an influx of neutrophils and release of mediators from mast cells (such as histamine) take place. The stimulated neutrophils can produce reactive oxygen species (ROS). One of these ROS is the highly reactive hydroxyl radical (OH.). It would be interesting to be able to quantify the extent of ROS formation. We investigated if histamine which is present at the inflammation site can serve as an endogenous marker for the formation of OH.. We found that histamine after incubation with OH. gave two distinct products in our HPLC system. One of the products gave the same characteristics as the synthesized 2-imidazolone derivative of histamine. This suggests that this derivative will be formed when histamine is incubated with OH.

Soundness-preserving refinements of service compositions

Soundness is one of the well-studied properties of processes; it denotes that a final state can be reached from every state that is reachable from the initial state. Soundness-preserving refinements are important for enabling the compositional design of systems. In this paper we concentrate on refinements of service compositions. We model service compositions using Petri nets, and consider specific pairs of places that belong to different services. Starting from a sound service composition, we show how to check whether such a pair of places can be refined by another sound service composition, so that soundness is preserved through the refinement

Magnetic Field Dependence of Macroscopic Quantum Tunneling and Coherence of Ferromagnetic Particle

We calculate the quantum tunneling rate of a ferromagnetic particle of $\sim 100 \AA$ diameter in a magnetic field of arbitrary angle. We consider the magnetocrystalline anisotropy with the biaxial symmetry and that with the tetragonal symmetry. Using the spin-coherent-state path integral, we obtain approximate analytic formulas of the tunneling rates in the small $\epsilon (=1- H/H_c)$-limit for the magnetic field normal to the easy axis ($\theta_H = \pi/2$), for the field opposite to the initial easy axis ($\theta_H = \pi$), and for the field at an angle between these two orientations ($\pi/2 << \theta_H << \pi$). In addition, we obtain numerically the tunneling rates for the biaxial symmetry in the full range of the angle $\theta_H$ of the magnetic field ($\pi/2 < \theta_H \leq \pi$), for the values of \epsilon =0.01 and 0.001.Comment: 25 pages of text (RevTex) and 4 figures (PostScript files), to be published in Phys. Rev.