Grand Challenges of Traceability: The Next Ten Years

In 2007, the software and systems traceability community met at the first Natural Bridge symposium on the Grand Challenges of Traceability to establish and address research goals for achieving effective, trustworthy, and ubiquitous traceability. Ten years later, in 2017, the community came together to evaluate a decade of progress towards achieving these goals. These proceedings document some of that progress. They include a series of short position papers, representing current work in the community organized across four process axes of traceability practice. The sessions covered topics from Trace Strategizing, Trace Link Creation and Evolution, Trace Link Usage, real-world applications of Traceability, and Traceability Datasets and benchmarks. Two breakout groups focused on the importance of creating and sharing traceability datasets within the research community, and discussed challenges related to the adoption of tracing techniques in industrial practice. Members of the research community are engaged in many active, ongoing, and impactful research projects. Our hope is that ten years from now we will be able to look back at a productive decade of research and claim that we have achieved the overarching Grand Challenge of Traceability, which seeks for traceability to be always present, built into the engineering process, and for it to have "effectively disappeared without a trace". We hope that others will see the potential that traceability has for empowering software and systems engineers to develop higher-quality products at increasing levels of complexity and scale, and that they will join the active community of Software and Systems traceability researchers as we move forward into the next decade of research

Quantum Gravity Equation In Schroedinger Form In Minisuperspace Description

We start from classical Hamiltonian constraint of general relativity to obtain the Einstein-Hamiltonian-Jacobi equation. We obtain a time parameter prescription demanding that geometry itself determines the time, not the matter field, such that the time so defined being equivalent to the time that enters into the Schroedinger equation. Without any reference to the Wheeler-DeWitt equation and without invoking the expansion of exponent in WKB wavefunction in powers of Planck mass, we obtain an equation for quantum gravity in Schroedinger form containing time. We restrict ourselves to a minisuperspace description. Unlike matter field equation our equation is equivalent to the Wheeler-DeWitt equation in the sense that our solutions reproduce also the wavefunction of the Wheeler-DeWitt equation provided one evaluates the normalization constant according to the wormhole dominance proposal recently proposed by us.Comment: 11 Pages, ReVTeX, no figur

Effective Values of Komar Conserved Quantities and Their Applications

We calculate the effective Komar angular momentum for the Kerr-Newman (KN) black hole. This result is valid at any radial distance on and outside the black hole event horizon. The effcetive values of mass and angular momentum are then used to derive an identity ($K_{\chi^{\mu}}=2ST$) which relates the Komar conserved charge ($K_{\chi^{\mu}}$) corresponding to the null Killing vector ($\chi^{\mu}$) with the thermodynamic quantities of this black hole. As an application of this identity the generalised Smarr formula for this black hole is derived. This establishes the fact that the above identity is a local form of the inherently non-local generalised Smarr formula.Comment: v3, minor modifications over v2; LaTex, 9 pages, no figures, to appear in Int. Jour. Theo. Phy

Phase transition and scaling behavior of topological charged black holes in Horava-Lifshitz gravity

Gravity can be thought as an emergent phenomenon and it has a nice "thermodynamic" structure. In this context, it is then possible to study the thermodynamics without knowing the details of the underlying microscopic degrees of freedom. Here, based on the ordinary thermodynamics, we investigate the phase transition of the static, spherically symmetric charged black hole solution with arbitrary scalar curvature $2k$ in Ho\v{r}ava-Lifshitz gravity at the Lifshitz point $z=3$. The analysis is done using the canonical ensemble frame work; i.e. the charge is kept fixed. We find (a) for both $k=0$ and $k=1$, there is no phase transition, (b) while $k=-1$ case exhibits the second order phase transition within the {\it physical region} of the black hole. The critical point of second order phase transition is obtained by the divergence of the heat capacity at constant charge. Near the critical point, we find the various critical exponents. It is also observed that they satisfy the usual thermodynamic scaling laws.Comment: Minor corrections, refs. added, to appear in Class. Quant. Grav. arXiv admin note: text overlap with arXiv:1111.0973 by other author

The role of mathematical modeling in VOC analysis using isoprene as a prototypic example

Isoprene is one of the most abundant endogenous volatile organic compounds (VOCs) contained in human breath and is considered to be a potentially useful biomarker for diagnostic and monitoring purposes. However, neither the exact biochemical origin of isoprene nor its physiological role are understood in sufficient depth, thus hindering the validation of breath isoprene tests in clinical routine. Exhaled isoprene concentrations are reported to change under different clinical and physiological conditions, especially in response to enhanced cardiovascular and respiratory activity. Investigating isoprene exhalation kinetics under dynamical exercise helps to gather the relevant experimental information for understanding the gas exchange phenomena associated with this important VOC. A first model for isoprene in exhaled breath has been developed by our research group. In the present paper, we aim at giving a concise overview of this model and describe its role in providing supportive evidence for a peripheral (extrahepatic) source of isoprene. In this sense, the results presented here may enable a new perspective on the biochemical processes governing isoprene formation in the human body.Comment: 17 page

Quantum cosmology with a curvature squared action

The correct quantum description for a curvature squared term in the action can be obtained by casting the action in the canonical form with the introduction of a variable which is the negative of the first derivative of the field variable appearing in the action, only after removing the total derivative terms from the action. We present the Wheeler-DeWitt equation and obtain the expression for the probability density and current density from the equation of continuity. Furthermore, in the weak energy limit we obtain the classical Einstein equation. Finally we present a solution of the wave equation.Comment: 8 pages, revte

Hamilton-Jacobi Tunneling Method for Dynamical Horizons in Different Coordinate Gauges

Previous work on dynamical black hole instability is further elucidated within the Hamilton-Jacobi method for horizon tunneling and the reconstruction of the classical action by means of the null-expansion method. Everything is based on two natural requirements, namely that the tunneling rate is an observable and therefore it must be based on invariantly defined quantities, and that coordinate systems which do not cover the horizon should not be admitted. These simple observations can help to clarify some ambiguities, like the doubling of the temperature occurring in the static case when using singular coordinates, and the role, if any, of the temporal contribution of the action to the emission rate. The formalism is also applied to FRW cosmological models, where it is observed that it predicts the positivity of the temperature naturally, without further assumptions on the sign of the energy.Comment: Standard Latex document, typos corrected, refined discussion of tunneling picture, subsection 5.1 remove

Corrections to Hawking-like Radiation for a Friedmann-Robertson-Walker Universe

Recently, a Hamilton-Jacobi method beyond semiclassical approximation in black hole physics was developed by \emph{Banerjee} and \emph{Majhi}\cite{beyond0}. In this paper, we generalize their analysis of black holes to the case of Friedmann-Robertson-Walker (FRW) universe. It is shown that all the higher order quantum corrections in the single particle action are proportional to the usual semiclassical contribution. The corrections to the Hawking-like temperature and entropy of apparent horizon for FRW universe are also obtained. In the corrected entropy, the area law involves logarithmic area correction together with the standard inverse power of area term.Comment: 10 pages, no figures, comments are welcome; v2: references added and some typoes corrected, to appear in Euro.Phys.J.C; v3:a defect corrected. We thank Dr.Elias Vagenas for pointing out a defect of our pape

Spinning Loop Black Holes

In this paper we construct four Kerr-like spacetimes starting from the loop black hole Schwarzschild solutions (LBH) and applying the Newman-Janis transformation. In previous papers the Schwarzschild LBH was obtained replacing the Ashtekar connection with holonomies on a particular graph in a minisuperspace approximation which describes the black hole interior. Starting from this solution, we use a Newman-Janis transformation and we specialize to two different and natural complexifications inspired from the complexifications of the Schwarzschild and Reissner-Nordstrom metrics. We show explicitly that the space-times obtained in this way are singularity free and thus there are no naked singularities. We show that the transformation move, if any, the causality violating regions of the Kerr metric far from r=0. We study the space-time structure with particular attention to the horizons shape. We conclude the paper with a discussion on a regular Reissner-Nordstrom black hole derived from the Schwarzschild LBH and then applying again the Newmann-Janis transformation.Comment: 18 pages, 18 figure