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

Variations of Bi-ionic Potentials on Counterion Concentrations

203-20

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

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

Stereoselective pharmacokinetics of stable isotope (+/-)-[13C]-pantoprazole: Implications for a rapid screening phenotype test of CYP2C19 activity

AIMS: We have previously shown that the (±)-[(13) C]-pantoprazole breath test is a promising noninvasive probe of CYP2C19 activity. As part of that trial, plasma, breath test indices and CYP2C19 (*2, *3, and *17) genotype were collected. Here, we examined whether [(13) C]-pantoprazole exhibits enantioselective pharmacokinetics and whether this enantioselectivity is correlated with indices of breath test. METHODS: Plasma (-)- and (+)-[(13) C]-pantoprazole that were measured using a chiral HPLC were compared between CYP2C19 genotypes and correlated with breath test indices. RESULTS: The AUC( 0-∞) of (+)-[(13) C]-pantoprazole in PM (*2/*2, n = 4) was 10.1- and 5.6-fold higher that EM (*1/*1or *17, n = 10) and IM (*1/*2or *3, n = 10) of CYP2C19, respectively (P < 0.001). The AUC( 0-∞) of (-)-[(13) C]-pantoprazole only significantly differed between PMs and EMs (1.98-fold; P = 0.05). The AUC( 0-∞) ratio of (+)-/(-)-[(13) C]-pantoprazole was 3.45, 0.77, and 0.67 in PM, IM, and EM genotypes, respectively. Breath test index, delta over baseline show significant correlation with AUC( 0-∞) of (+)-[(13) C]-pantoprazole (Pearson's r = 0.62; P < 0.001). CONCLUSIONS: [(13) C]-pantoprazole exhibits enantioselective elimination. (+)-[(13) C]-pantoprazole is more dependent on CYP2C19 metabolic status and may serve as a more attractive probe of CYP2C19 activity than (-)-[(13) C]-pantoprazole or the racemic mixture

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

First trimester fetal heart rate as a predictor of newborn sex

OBJECTIVE: To predict the sex of newborns using first trimester fetal heart rate (FHR). METHODS: This was a retrospective review of medical records and ultrasounds performed between 8 and 13 weeks of gestation. Continuous variables were compared using Student\u27s t-tests while categorical variables were compared using Chi-square test. RESULTS: We found no significant differences between 332 (50.7%) female and 323 (49.3%) male FHRs during the first trimester. The mean FHR for female fetuses was 167.0 +/- 9.1 bpm and for male fetuses 167.3 +/- 10.1 bpm (p = 0.62). There was no significant difference in crown rump length between female and male fetuses (4.01 +/- 1.7 versus 3.98 +/- 1.7 cm; p = 0.78) or in gestational age at birth (38.01 +/- 2.1 versus 38.08 +/- 2.1 weeks; p = 0.67). The males were significantly heavier than females (3305.3 +/- 568.3 versus 3127.5 +/- 579.8 g; p \u3c 0.0001) but there were no differences in the proportion of small for gestational age (SGA), average for gestational age (AGA) and large for gestational age (LGA) infants. CONCLUSIONS: We found no significant difference between the female and male FHR during the first trimester in contrast to the prevailing lay view of females having a faster FHR. The only statistically significant difference was that males weighed more than female newborns

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

Glassy Phase Transition and Stability in Black Holes

Black hole thermodynamics, confined to the semi-classical regime, cannot address the thermodynamic stability of a black hole in flat space. Here we show that inclusion of correction beyond the semi-classical approximation makes a black hole thermodynamically stable. This stability is reached through a phase transition. By using Ehrenfest's scheme we further prove that this is a glassy phase transition with a Prigogine-Defay ratio close to 3. This value is well placed within the desired bound (2 to 5) for a glassy phase transition. Thus our analysis indicates a very close connection between the phase transition phenomena of a black hole and glass forming systems. Finally, we discuss the robustness of our results by considering different normalisations for the correction term.Comment: v3, minor changes over v2, references added, LaTeX-2e, 18 pages, 3 ps figures, to appear in Eour. Phys. Jour.