Converse Ackermann Property and Minimal Negation

A logic S has the Converse Ackermann Property (CAP) if non-necessitive propositions are not derivable in S from necessitive ones. We show in this paper how to introduce minimal negation in positive logics with the CAP. Relational ternary semantics are provided for all the logics considered in this paper

Planetary nebulae in the elliptical galaxy NGC 821: kinematics and distance determination

Using a slitless spectroscopy method with the 8.2 m Subaru telescope and its FOCAS Cassegrain spectrograph, we have increased the number of planetary nebula (PN) detections and PN velocity measurements in the flattened elliptical galaxy NGC 821. A comparison with the detections reported previously by the Planetary Nebula Spectrograph (PN.S) group indicates that we have confirmed most of their detections. The velocities measured by the two groups, using different telescopes, spectrographs and slitless techniques, are in good agreement. We have built a combined sample of 167 PNs and have confirmed the keplerian decline of the line-of-sight velocity dispersion reported previously. We also confirm misaligned rotation from the combined sample. A dark matter halo may exist around this galaxy, but it is not needed to keep the PN velocities below the local escape velocity as calculated from the visible mass. We have measured the m(5007) magnitudes of 145 PNs and produced a statistically complete sample of 40 PNs in NGC 821. The resulting PN luminosity function (PNLF) was used to estimate a distance modulus of 31.4 mag, equivalent to 19 Mpc. We also estimated the PN formation rate. NGC 821 becomes the most distant galaxy with a PNLF distance determination. The PNLF distance modulus is smaller than the surface brightness fluctuation (SBF) distance modulus by 0.4 mag. Our kinematic information permits to rule out the idea that a shorter PNLF distance could be produced by the contamination of the PNLF by background galaxies with emission lines redshifted into the on-band filter transmission curve.Comment: Accepted for publication in ApJ; 16 figure

The twilight zone in the parametric evolution of eigenstates: beyond perturbation theory and semiclassics

Considering a quantized chaotic system, we analyze the evolution of its eigenstates as a result of varying a control parameter. As the induced perturbation becomes larger, there is a crossover from a perturbative to a non-perturbative regime, which is reflected in the structural changes of the local density of states. For the first time the {\em full} scenario is explored for a physical system: an Aharonov-Bohm cylindrical billiard. As we vary the magnetic flux, we discover an intermediate twilight regime where perturbative and semiclassical features co-exist. This is in contrast with the {\em simple} crossover from a Lorentzian to a semicircle line-shape which is found in random-matrix models.Comment: 4 pages, 4 figures, improved versio

Preventing Incomplete/Hidden Requirements: Reflections on Survey Data from Austria and Brazil

Many software projects fail due to problems in requirements engineering (RE). The goal of this paper is analyzing a specific and relevant RE problem in detail: incomplete/hidden requirements. We replicated a global family of RE surveys with representatives of software organizations in Austria and Brazil. We used the data to (a) characterize the criticality of the selected RE problem, and to (b) analyze the reported main causes and mitigation actions. Based on the analysis, we discuss how to prevent the problem. The survey includes 14 different organizations in Austria and 74 in Brazil, including small, medium and large sized companies, conducting both, plan-driven and agile development processes. Respondents from both countries cited the incomplete/hidden requirements problem as one of the most critical RE problems. We identified and graphically represented the main causes and documented solution options to address these causes. Further, we compiled a list of reported mitigation actions. From a practical point of view, this paper provides further insights into common causes of incomplete/hidden requirements and on how to prevent this problem.Comment: in Proceedings of the Software Quality Days, 201

Minimal Negation in the Ternary Relational Semantics

Minimal Negation is defined within the basic positive relevance logic in the relational ternary semantics: B+. Thus, by defining a number of subminimal negations in the B+ context, principles of weak negation are shown to be isolable. Complete ternary semantics are offered for minimal negation in B+. Certain forms of reductio are conjectured to be undefinable (in ternary frames) without extending the positive logic. Complete semantics for such kinds of reductio in a properly extended positive logic are offered

A Case Study on Artefact-based RE Improvement in Practice

Most requirements engineering (RE) process improvement approaches are solution-driven and activity-based. They focus on the assessment of the RE of a company against an external norm of best practices. A consequence is that practitioners often have to rely on an improvement approach that skips a profound problem analysis and that results in an RE approach that might be alien to the organisational needs. In recent years, we have developed an RE improvement approach (called \emph{ArtREPI}) that guides a holistic RE improvement against individual goals of a company putting primary attention to the quality of the artefacts. In this paper, we aim at exploring ArtREPI's benefits and limitations. We contribute an industrial evaluation of ArtREPI by relying on a case study research. Our results suggest that ArtREPI is well-suited for the establishment of an RE that reflects a specific organisational culture but to some extent at the cost of efficiency resulting from intensive discussions on a terminology that suits all involved stakeholders. Our results reveal first benefits and limitations, but we can also conclude the need of longitudinal and independent investigations for which we herewith lay the foundation