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

Entropy of the Kerr-Sen Black Hole

We study the entropy of Kerr-Sen black hole of heterotic string theory beyond semiclassical approximations. Applying the properties of exact differentials for three variables to the first law thermodynamics we derive the corrections to the entropy of the black hole. The leading (logarithmic) and non leading corrections to the area law are obtained.Comment: 8 pages. Corrected references

Coupling parameters and the form of the potential via Noether symmetry

We explore the conditions for the existence of Noether symmetries in the dynamics of FRW metric, non minimally coupled with a scalar field, in the most general situation, and with nonzero spatial curvature. When such symmetries are present we find general exact solution for the Einstein equations. We also show that non Noether symmetries can be found. Finally,we present an extension of the procedure to the Kantowski- Sachs metric which is particularly interesting in the case of degenerate Lagrangian.Comment: 13 pages, no figure

Stability of the hcp phase and temperature variation of the axial ratio of iron near Earth-core conditions

We theoretically document the stability of hcp iron for pressure–temperature conditions of the Earth’s inner core by separately computing the electronic and phonon contributions to the free energy. These pseudopotential-based quasi-harmonic calculations reveal that the hcp phase remains stable compared to bcc and that the c/a ratio of lattice parameters exhibits only a modest temperature dependence at inner-core conditions.Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/58123/2/cm7_1_016208.pd

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

Noncommutative Geometry Inspired Rotating Black Hole in Three Dimensions

We find a new rotating black hole in three-dimensional anti-de Sitter space using an anisotropic perfect fluid inspired by the noncommutative black hole. We deduce the thermodynamical quantities of this black hole and compare them with those of a rotating BTZ solution.Comment: 7 page

Global Waste Management Outlook

The Global Waste Management Outlook, a collective effort of the United Nations Environment Programme and the International Waste Management Association, is a pioneering scientific global assessment on the state of waste management and a call for action to the international community. Prepared as a follow up to the Rio+20 Summit and as a response to UNEP Governing Council decision GC 27/12, the document establishes the rationale and the tools for taking a holistic approach towards waste management and recognizing waste and resource management as a significant contributor to sustainable development and climate change mitigation. To complement the Sustainable Development Goals of the Post-2015 Development Agenda, the Outlook sets forth Global Waste Management Goals and a Global Call to Action to achieve those goals

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

Is Noether Symmetric Approach Consistent With Dynamical Equation In Non-minimal Scalar-Tensor Theories?

The form of the coupling of the scalar field with gravity and the potential have been found by applying Noether theorem to two dimensional minisuperspaces in induced gravity model. It has been observed that though the forms thus obtained are consistent with all the equations $\pounds_{X}L=0$, yet they do not satisfy the field equations for $k=\pm 1$, in Robertson-Walker model. It has been pointed out that this is not due to the degeneracy of the Lagrangian, since this problem does not appear in $k=0$ case.It has also been shown that though Noether theorem fails to extract any symmetry from the Lagrangian of such model for $k=\pm 1$, symmetry exists, which can easily be found by studying the continuity equation.Comment: 7 pages, late

The Complex Time WKB Approximation And Particle Production

The complex time WKB (CWKB) approximation has been an effective technique to understand particle production in curved as well as in flat spacetime. Earlier we obtained the standard results on particle production in time dependent gauge in various curved spacetime. In the present work we generalize the technique of CWKB to the equivalent problems in space dependent gauge. Using CWKB, we first obtain the gauge invariant result for particle production in Minkowski spacetime in strong electric field. We then carry out particle production in de-Sitter spacetime in space dependent gauge and obtain the same result that we obtained earlier in time dependent gauge. The results obtained for de-Sitter spacetime has a obvious extension to particle production in black hole spacetime. It is found that the origin of Planckian spectrum is due to repeated reflections between the turning points. As mentioned earlier, it is now explicitly shown that particle production is accompanied by rotation of currents.Comment: 12 pages, Revte