Using NLP tools in the specification phase

The software quality control is one of the main topics in the Software Engineering area. To put the effort in the quality control during the specification phase leads us to detect possible mistakes in an early steps and, easily, to correct them before the design and implementation steps start. In this framework the goal of SAREL system, a knowledge-based system, is twofold. On one hand, to help software engineers in the creation of quality Software Requirements Specifications. On the other hand, to analyze the correspondence between two different conceptual representations associated with two different Software Requirements Specification documents. For the first goal, a set of NLP and Knowledge management tools is applied to obtain a conceptual representation that can be validated and managed by the software engineer. For the second goal we have established some correspondence measures in order to get a comparison between two conceptual representations. This information will be useful during the interaction.Postprint (published version

The Synonym management process in SAREL

The specification phase is one of the most important and least supported parts of the software development process. The SAREL system has been conceived as a knowledge-based tool to improve the specification phase. The purpose of SAREL (Assistance System for Writing Software Specifications in Natural Language) is to assist engineers in the creation of software specifications written in Natural Language (NL). These documents are divided into several parts. We can distinguish the Introduction and the Overall Description as parts that should be used in the Knowledge Base construction. The information contained in the Specific Requirements Section corresponds to the information represented in the Requirements Base. In order to obtain high-quality software requirements specification the writing norms that define the linguistic restrictions required and the software engineering constraints related to the quality factors have been taken into account. One of the controls performed is the lexical analysis that verifies the words belong to the application domain lexicon which consists of the Required and the Extended lexicon. In this sense a synonym management process is needed in order to get a quality software specification. The aim of this paper is to present the synonym management process performed during the Knowledge Base construction. Such process makes use of the Spanish Wordnet developed inside the Eurowordnet project. This process generates both the Required lexicon and the Extended lexicon that will be used during the Requirements Base construction.Postprint (published version

Perspectives in Neutrino Physics: Monochromatic Neutrino Beams

In the last few years spectacular results have been achieved with the demonstration of non vanishing neutrino masses and flavour mixing. The ultimate goal is the understanding of the origin of these properties from new physics. In this road, the last unknown mixing $[U_{e3}]$ must be determined. If it is proved to be non-zero, the possibility is open for Charge Conjugation-Parity (CP) violation in the lepton sector. This will require precision experiments with a very intense neutrino source. Here a novel method to create a monochromatic neutrino beam, an old dream for neutrino physics, is proposed based on the recent discovery of nuclei that decay fast through electron capture. Such nuclei will generate a monochromatic directional neutrino beam when decaying at high energy in a storage ring with long straight sections. We also show that the capacity of such a facility to discover new physics is impressive, so that fine tuning of the boosted neutrino energy allows precision measurements of the oscillation parameters even for a $[U_{e3}]$ mixing as small as 1 degree. We can thus open a window to the discovery of CP violation in neutrino oscillations.Comment: 15 pages, 7 figures. Contribution to the proceedings of GUSTAVOFEST - Symposium in Honour of Gustavo C. Branco: CP Violation and the Flavour Puzzle, Lisbon, Portugal, 19-20 July 200

Sports foods and dietary supplements for optimal function and performance enhancement in track and field athletes

Numerous nutritional products are marketed with claims of optimizing athlete health and function and/or enhancing performance. Products that fall under the banner of “Sports Foods” or “Dietary Supplements,” may be used to support performance during training and competition or for enhancing aspects of training adaptation, recovery, immune function, and/or overall athlete health. Effective marketing campaigns and athlete endorsements may convince us that certain sports foods and supplements are fundamental in allowing athletes to reach their sporting goals. However, this approach is naive in understanding the true foundations of athlete success, such as the inherent genetic predisposition for athletic characteristics, the many hours of well-structured/periodized training, appropriate underlying nutrition, adequate sleep and recovery, and of course, good overall physical and mental health. Nevertheless, if these variables are all accounted for, there may be a role for sports foods and dietary supplements in an athlete’s training and competition routine, particularly within elite sport where marginal performance gains are pursued. The following review presents general considerations for track-and-field athletes using sports foods and dietary supplements to enhance performance, in addition to exploring the potential therapeutic/prophylactic use of these nutritional aids

Physics Potential of the SPL Super Beam

Performances of a neutrino beam generated by the CERN SPL proton driver are computed considering a 440 kton water Cerenkov detector at 130 km from the target. $\theta_{13}$ sensitivity down to $1.2^\circ$ and a $\delta$ sensitivity comparable to a Neutrino Factory, for $\theta_{13} \geq 3^\circ$, are within the reach of such a project.Comment: Invited talk at the Nufact02 Workshop, Imperial College of Science, Technology and Medicine, London, July 200

Physics Potential of Very Intense Conventional Neutrino Beams

The physics potential of high intensity conventional beams is explored. We consider a low energy super beam which could be produced by a proposed new accelerator at CERN, the Super Proton Linac. Water Cherenkov and liquid oil scintillator detectors are studied as possible candidates for a neutrino oscillation experiment which could improve our current knowledge of the atmospheric parameters and measure or severely constrain the parameter connecting the atmospheric and solar realms. It is also shown that a very large water detector could eventually observe leptonic CP violation. The reach of such an experiment to the neutrino mixing parameters would lie in-between the next generation of neutrino experiments (MINOS, OPERA, etc) and a future neutrino factory.Comment: Talk given at the Venice Conference on Neutrino Telescopes, Venice, March, 200